Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mark Reitblatt
Abstractions for Network Update
Related publications
Database Abstractions for Managing Sensor Network Data
Proceedings of the IEEE
Electronic Engineering
Electrical
Computer Science
Abstractions for Mobile Computation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Abstractions for Distributed Systems (DPA 2008)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Structure Preserving Data Abstractions for Statecharts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Water Abstractions
Annotating User-Defined Abstractions for Optimization
Ideal Abstractions for Well-Structured Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial-Coherence Abstractions for Relaxed Memory Models
ACM SIGPLAN Notices
Secure Implementations for Typed Session Abstractions
20th IEEE Computer Security Foundations Symposium (CSF'07)