| Publication | Date of Publication | Type |
|---|
Generalizing logical execution time
Lecture Notes in Computer Science | 2023-08-10 | Paper |
| The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices | 2021-06-10 | Paper |
The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices
(available as arXiv preprint) | 2021-06-10 | Paper |
| Observation and interaction. Invited paper | 2019-12-04 | Paper |
| Models of timed systems | 2018-12-06 | Paper |
| scientific article; zbMATH DE number 6783107 (Why is no real title available?) | 2017-09-29 | Paper |
Requirements for hybrid cosimulation standards
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
The fixed-point theory of strictly causal functions
Theoretical Computer Science | 2015-02-24 | Paper |
Constructive collisions
From Programs to Systems. The Systems perspective in Computing | 2014-07-24 | Paper |
A modular formal semantics for Ptolemy
MSCS. Mathematical Structures in Computer Science | 2013-08-26 | Paper |
On fixed points of strictly causal functions
Lecture Notes in Computer Science | 2013-08-16 | Paper |
On the verification of timed discrete-event models
Lecture Notes in Computer Science | 2013-08-16 | Paper |
An axiomatization of the theory of generalized ultrametric semilattices of linear signals
Fundamentals of Computation Theory | 2013-08-16 | Paper |
Verifying hierarchical Ptolemy II discrete-event models using real-time maude
Science of Computer Programming | 2013-06-06 | Paper |
From transitions to executions
Coalgebraic Methods in Computer Science | 2012-09-20 | Paper |
| scientific article; zbMATH DE number 5666832 (Why is no real title available?) | 2010-02-05 | Paper |
Concurrent Semantics Without the Notions of State or State Transitions
Lecture Notes in Computer Science | 2008-07-08 | Paper |
| scientific article; zbMATH DE number 5203726 (Why is no real title available?) | 2007-10-23 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
A behavioral type system and its application in Ptolemy II
Formal Aspects of Computing | 2004-10-01 | Paper |
| scientific article; zbMATH DE number 2080762 (Why is no real title available?) | 2004-08-04 | Paper |
The semantics and execution of a synchronous block-diagram language.
Science of Computer Programming | 2003-08-13 | Paper |
| scientific article; zbMATH DE number 1956639 (Why is no real title available?) | 2003-07-30 | Paper |
Resynchronization for multiprocessor DSP systems
IEEE Transactions on Circuits and Systems. I: Fundamental Theory and Applications | 2002-03-25 | Paper |
| scientific article; zbMATH DE number 1629952 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1026592 (Why is no real title available?) | 1997-06-25 | Paper |
Capacity penalty due to ideal zero-forcing decision-feedback equalization
IEEE Transactions on Information Theory | 1997-02-25 | Paper |
| scientific article; zbMATH DE number 918595 (Why is no real title available?) | 1996-08-21 | Paper |
Generating compact code from dataflow specifications of multirate signal processing algorithms
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications | 1995-06-21 | Paper |
| scientific article; zbMATH DE number 43845 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 48969 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 4166963 (Why is no real title available?) | 1988-01-01 | Paper |
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
IEEE Transactions on Computers | 1987-01-01 | Paper |
