| Publication | Date of Publication | Type |
|---|
| Causally deterministic Markov decision processes | 2026-02-10 | Paper |
A product version of dynamic linear time temporal logic
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
A theory of distributed Markov chains
Fundamenta Informaticae | 2021-05-20 | Paper |
A trace semantics for Petri Nets
Automata, Languages and Programming | 2019-12-04 | Paper |
Decidability of a partial order based temporal logic
Automata, Languages and Programming | 2019-03-29 | Paper |
Approximate verification of the symbolic dynamics of Markov chains
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Succinct discrete time approximations of distributed hybrid automata
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
Approximate verification of the symbolic dynamics of Markov chains
Journal of the ACM | 2015-08-14 | Paper |
Distributed Markov chains
Lecture Notes in Computer Science | 2015-02-04 | Paper |
Rabin's theorem in the concurrency setting: a conjecture
Theoretical Computer Science | 2014-07-25 | Paper |
In memoriam: Carl Adam Petri
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
The Discrete Time Behaviour of Restricted Linear Hybrid Automata
Modern Applications of Automata Theory | 2013-02-26 | Paper |
Dynamic Bayesian networks: a factored model of probabilistic dynamics
Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
Modular discrete time approximations of distributed hybrid automata
Theoretical Computer Science | 2012-05-30 | Paper |
Component-based construction of bio-pathway models: the parameter estimation problem
Theoretical Computer Science | 2011-06-28 | Paper |
Probabilistic approximations of ODEs based bio-pathway dynamics
Theoretical Computer Science | 2011-05-03 | Paper |
Quasi-static scheduling of communicating tasks
Information and Computation | 2010-10-07 | Paper |
Netcharts: bridging the gap between HMSCs and executable specifications.
Lecture Notes in Computer Science | 2010-03-30 | Paper |
Causal message sequence charts
Theoretical Computer Science | 2009-09-29 | Paper |
Quasi-Static Scheduling of Communicating Tasks
CONCUR 2008 - Concurrency Theory | 2008-11-25 | Paper |
Causal Message Sequence Charts
CONCUR 2007 – Concurrency Theory | 2008-09-18 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Designing communicating transaction processes by supervisory control theory
Formal Methods in System Design | 2007-04-26 | Paper |
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
An expressively complete linear time temporal logic for Mazurkiewicz traces
Information and Computation | 2006-10-10 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
CONCUR 2004 - Concurrency Theory
Lecture Notes in Computer Science | 2005-08-23 | Paper |
| scientific article; zbMATH DE number 2088670 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2088655 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2087498 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1927560 (Why is no real title available?) | 2003-06-12 | Paper |
| scientific article; zbMATH DE number 1759605 (Why is no real title available?) | 2002-11-28 | Paper |
Product interval automata
Sādhanā | 2002-11-27 | Paper |
| scientific article; zbMATH DE number 1759427 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1304990 (Why is no real title available?) | 2002-06-13 | Paper |
| scientific article; zbMATH DE number 1754607 (Why is no real title available?) | 2002-06-12 | Paper |
Branching time controllers for discrete event systems
Theoretical Computer Science | 2002-03-03 | Paper |
Models and logics for true concurrency.
Sādhanā | 2002-02-18 | Paper |
| scientific article; zbMATH DE number 1670862 (Why is no real title available?) | 2001-12-06 | Paper |
| scientific article; zbMATH DE number 1500652 (Why is no real title available?) | 2000-11-07 | Paper |
| scientific article; zbMATH DE number 1500642 (Why is no real title available?) | 2000-09-04 | Paper |
| scientific article; zbMATH DE number 1302050 (Why is no real title available?) | 2000-04-06 | Paper |
Dynamic linear time temporal logic
Annals of Pure and Applied Logic | 1999-07-20 | Paper |
| scientific article; zbMATH DE number 1231685 (Why is no real title available?) | 1999-01-07 | Paper |
| scientific article; zbMATH DE number 1114033 (Why is no real title available?) | 1998-02-08 | Paper |
| scientific article; zbMATH DE number 1059327 (Why is no real title available?) | 1997-09-10 | Paper |
An event structure semantics for general Petri nets
Theoretical Computer Science | 1997-02-28 | Paper |
A logical study of distributed transition systems
Information and Computation | 1995-08-01 | Paper |
Transition systems, event structures, and unfoldings
Information and Computation | 1995-07-10 | Paper |
A trace semantics for Petri nets
Information and Computation | 1995-07-05 | Paper |
TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
International Journal of Foundations of Computer Science | 1993-01-16 | Paper |
Elementary transition systems
Theoretical Computer Science | 1992-09-26 | Paper |
A logical characterization of well branching event structures
Theoretical Computer Science | 1992-09-26 | Paper |
Event structures and trace monoids
Theoretical Computer Science | 1992-06-28 | Paper |
Elementary transition systems and refinement
Acta Informatica | 1992-01-01 | Paper |
Some behavioural aspects of net theory
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4208063 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4119639 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4070337 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4049019 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4033101 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4037216 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3982529 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3958739 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3890743 (Why is no real title available?) | 1984-01-01 | Paper |
A theory of bipolar synchronization scheme
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3810937 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3819107 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3688732 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3742641 (Why is no real title available?) | 1980-01-01 | Paper |
On the Interconnection of Asynchronous Control Structures
Journal of the ACM | 1975-01-01 | Paper |
On the Equivalence of Asynchronous Control Structures
SIAM Journal on Computing | 1973-01-01 | Paper |
