Robert de Simone

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
Instant-based and state-based analysis of infinite logical clock Structured Object-Oriented Formal Language and Method	2021-05-20	Paper
Divergence detection for CCSL specification via clock causality chain	2018-08-16	Paper
Explicit routing schemes for implementation of cellular automata on processor arrays Natural Computing	2016-04-21	Paper
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling Lecture Notes in Computer Science	2015-09-14	Paper
Periodic scheduling of marked graphs using balanced binary words Theoretical Computer Science	2012-11-08	Paper
From concurrent multi-clock programs to deterministic asynchronous implementations Fundamenta Informaticae	2012-07-04	Paper
Computer Aided Verification Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 2090842 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 177262 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 3980501 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3967922 (Why is no real title available?)	1985-01-01	Paper
Higher-level synchronising devices in Meije-SCCS Theoretical Computer Science	1985-01-01	Paper
On Meije and SCCS: Infinite sum operators vs. non-guarded definitions Theoretical Computer Science	1984-01-01	Paper
Langages infinitaires et produit de mixage Theoretical Computer Science	1984-01-01	Paper

Research outcomes over time

This page was built for person: Robert de Simone