Paul Caspi

Available identifiers

zbMath Open caspi.paulDBLP19/4978WikidataQ3370824 ScholiaQ3370824MaRDI QIDQ1185018

List of research outcomes

Publication	Date of Publication	Type
Implementing Synchronous Models on Loosely Time Triggered Architectures	2018-06-12	Paper
An algorithm for reducing binary branchings	2017-01-19	Paper
Synchronous Kahn networks	2016-09-01	Paper
Timed regular expressions	2015-10-30	Paper
Actors without Directors: A Kahnian View of Heterogeneous Systems	2009-04-30	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4473710	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4444743	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4439585	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4439589	2003-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q2767016	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2766634	2002-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4764003	2000-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4222947	1999-01-06	Paper
Clocks in dataflow languages	1992-06-28	Paper
A functional model for describing and reasoning about time behaviour of computing systems	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3721827	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3910456	1980-01-01	Paper

Research outcomes over time

This page was built for person: Paul Caspi