Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Agostino Cortesi
Combining Symbolic and Numerical Domains for Information Leakage Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A New Scale for Attribute Dependency in Large Database Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cooperative Query Answering by Abstract Interpretation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Quality and Impact Monitoring for Local eGovernment Services
Transforming Government: People, Process and Policy
Computer Science Applications
E-learning
Information Systems
Management
Public Administration
Static Analysis of Android Auto Infotainment and On‐board Diagnostics II Apps
Software - Practice and Experience
Software
A Hierarchical and Abstraction-Based Blockchain Model
Applied Sciences (Switzerland)
Instrumentation
Materials Science
Fluid Flow
Engineering
Computer Science Applications
Process Chemistry
Transfer Processes
Technology
Introduction to Special Issue on ‘Intelligent Computing and Adaptive Systems’
Innovations in Systems and Software Engineering
Software
ROLAP Based Data Warehouse Schema to XML Schema Conversion
Operational and Abstract Semantics of the Query Language G-Log
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Reexecution-Based Analysis of Logic Programs With Delay Declarations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
