Paul Caspi

MaRDI QIDQ1185018zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Implementing Synchronous Models on Loosely Time Triggered Architectures IEEE Transactions on Computers	2018-06-12	Paper
An algorithm for reducing binary branchings Lecture Notes in Computer Science	2017-01-19	Paper
Synchronous Kahn networks Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96	2016-09-01	Paper
Timed regular expressions Journal of the ACM	2015-10-30	Paper
Actors without Directors: A Kahnian View of Heterogeneous Systems Hybrid Systems: Computation and Control	2009-04-30	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-05-02	Paper
Formal Methods for Components and Objects Lecture Notes in Computer Science	2005-08-22	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2080753 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2033527 (Why is no real title available?)	2004-01-27	Paper
scientific article; zbMATH DE number 2017355 (Why is no real title available?)	2003-12-14	Paper
scientific article; zbMATH DE number 2017358 (Why is no real title available?)	2003-12-14	Paper
scientific article; zbMATH DE number 1696765 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1696499 (Why is no real title available?)	2002-06-17	Paper
scientific article; zbMATH DE number 749820 (Why is no real title available?)	2000-07-04	Paper
scientific article; zbMATH DE number 1231624 (Why is no real title available?)	1999-01-06	Paper
Clocks in dataflow languages Theoretical Computer Science	1992-06-28	Paper
A functional model for describing and reasoning about time behaviour of computing systems Acta Informatica	1986-01-01	Paper
scientific article; zbMATH DE number 3952018 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3720835 (Why is no real title available?)	1980-01-01	Paper

Research outcomes over time

This page was built for person: Paul Caspi