| Publication | Date of Publication | Type |
|---|
| An adequate first order interval logic | 2025-03-19 | Paper |
| Discounted duration calculus | 2020-01-03 | Paper |
No need knowing numerous neighbours. Towards a realizable interpretation of MLSL
Lecture Notes in Computer Science | 2015-11-04 | Paper |
An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic
Journal of Logical and Algebraic Methods in Programming | 2014-12-03 | Paper |
A practical approach to model checking duration calculus using Presburger arithmetic
Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
Decidability of a hybrid duration calculus
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
A robust forward-displacement analysis of spherical parallel robots
Mechanism and Machine Theory | 2010-01-08 | Paper |
Models and formal verification of multiprocessor system-on-chips
The Journal of Logic and Algebraic Programming | 2008-11-06 | Paper |
Semantics and Verification of a Language for Modelling Hardware Architectures
Formal Methods and Hybrid Real-Time Systems | 2008-09-25 | Paper |
A Theory of Duration Calculus with Application
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Timed Traces and Strand Spaces
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Deciding an Interval Logic with Accumulated Durations
Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
| scientific article; zbMATH DE number 2111736 (Why is no real title available?) | 2004-10-28 | Paper |
Duration calculus. A formal approach to real-time systems.
Monographs in Theoretical Computer Science. An EATCS Series | 2004-03-28 | Paper |
Duration calculus: Logical foundations
Formal Aspects of Computing | 1999-12-07 | Paper |
An efficient method for synthesis of planar multibody systems including shape of bodies as design variables
Multibody System Dynamics | 1999-08-19 | Paper |
| scientific article; zbMATH DE number 994705 (Why is no real title available?) | 1997-11-09 | Paper |
Finite divergence
Theoretical Computer Science | 1997-02-28 | Paper |
Model-checking discrete duration calculus
Formal Aspects of Computing | 1995-04-09 | Paper |
| scientific article; zbMATH DE number 512815 (Why is no real title available?) | 1994-03-10 | Paper |
| scientific article; zbMATH DE number 4210119 (Why is no real title available?) | 1990-01-01 | Paper |
Integrating relational databases and constraint languages
Computer Languages | 1989-01-01 | Paper |
Algebraic Optimization Of Recursive Database Queries
INFOR: Information Systems and Operational Research | 1988-01-01 | Paper |
