Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Enea Zaffanella
Widening Operators for Weakly-Relational Numeric Abstractions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Numeric Abstractions for Heap-Manipulating Programs
Almost Weakly Compact Operators
Bulletin of the Polish Academy of Sciences Mathematics
Logahedra: A New Weakly Relational Domain
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Representing Non-Weakly Compact Operators
Studia Mathematica
Mathematics
Uniform Factorization for Compact Sets of Weakly Compact Operators
Studia Mathematica
Mathematics
On Centered and Weakly Centered Operators
Journal of Functional Analysis
Analysis
Relevant Classes of Weakly Picard Operators
Annals of West University of Timisoara - Mathematics and Computer Science
Weakly Almost Periodic Semigroups of Operators
Pacific Journal of Mathematics
Mathematics
Numeric Implementation of Wave-Equation Migration Velocity Analysis Operators
Geophysics
Petrology
Energy
Geochemistry
Geophysics