Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dan Katz
Abstractions for Distributed Systems (DPA 2008)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Ideal Abstractions for Well-Structured Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
CPAL: High-Level Abstractions for Safe Embedded Systems
Compositional Abstractions for Long-Run Properties of Stochastic Systems
Visualizing Global Manifold Based on Distributed Local Data Abstractions
Programming Abstractions and Optimization Techniques for GPU-based Heterogeneous Systems
Organisational Abstractions for the Analysis and Design of Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Agent Abstractions for Engineering IoT Systems: A Case Study in Smart Healthcare
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Distributed Games and Distributed Control for Asynchronous Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
