Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Paola Giannini
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science
Applied Mathematics
Computer Science
Related publications
Type Soundness Proofs With Definitional Interpreters
Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages
An Efficient Deblocking Filter Algorithm for Reduction of Blocking Artifacts in HEVC Standard
International Journal of Image, Graphics and Signal Processing
Big Types in Little Runtime: Open-World Soundness and Collaborative Blame for Gradual Type Systems
ACM SIGPLAN Notices
Computer Science
Industry Soundness
Journal of the American Water Works Association
Water Science
Chemistry
Technology
Artifacts and Fantasy
Zero Knowledge and Soundness Are Symmetric
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computational Soundness of Formal Indistinguishability and Static Equivalence
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Financial Soundness Index for the Private Corporate Sector in Colombia
