Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Thomas Wies
Ideal Abstractions for Well-Structured Transition Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Explaining Inconsistent Code
Related publications
Formula Based Abstractions of Transition Systems for Real-Time Model Checking
Abstractions for Distributed Systems (DPA 2008)
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
Structured Transition Protocol for Children With Cystinosis
Frontiers in Pediatrics
Child Health
Pediatrics
Perinatology
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
On a Representation Theory for Ideal Systems
Pacific Journal of Mathematics
Mathematics
