Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Mendler
A Novel WCET Semantics of Synchronous Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Characterization of Observable Program Properties
DAIMI Report Series
Related publications
The Ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Algebraic Framework for Synchronous Language Semantics
Fine-Grained Semantics for Probabilistic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tighter WCET Analysis of Input Dependent Programs With Classified-Cache Memory Architecture
On the Semantics of Logic Programs With Preferences
Journal of Artificial Intelligence Research
Artificial Intelligence
Revisiting the Semantics of Interval Probabilistic Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Declarative Semantics for Contradictory Modular Logic Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Task Implementation of Multi-Periodic Synchronous Programs
Discrete Event Dynamic Systems: Theory and Applications
Control
Electronic Engineering
Systems Engineering
Simulation
Electrical
Modeling
Bulk: A Modern C++ Interface for Bulk-Synchronous Parallel Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
