Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ambra Ceccato
Context-Sensitive Equivalences for Non-Interference Based Protocol Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Demand-Driven Context-Sensitive Alias Analysis for Java
Testing Equivalences for Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Context-Sensitive Visualization
Approach to Context Computation for Implicit Context-Sensitive Graph Grammars
A Unified Approach for Context-Sensitive Recommendations
A Cross-Layer Routing Protocol for Mobile Ad Hoc Networks Based on Minimum Interference Duration
Applied Mechanics and Materials
Understanding Context in Knowledge Translation: A Concept Analysis Study Protocol
Journal of Advanced Nursing
Nursing
Formal Analysis of a Non-Repudiation Protocol
Equivalences for Truth Predicates
Review of Symbolic Logic
Mathematics
Philosophy
Logic
