Person:272774

Available identifiers

zbMath Open de-simone.robertMaRDI QIDQ272774

List of research outcomes

Publication	Date of Publication	Type
Instant-Based and State-Based Analysis of Infinite Logical Clock	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	2016-04-21	Paper
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling	2015-09-14	Paper
Periodic scheduling of marked graphs using balanced binary words	2012-11-08	Paper
From Concurrent Multi-clock Programs to Deterministic Asynchronous Implementations	2012-07-04	Paper
Computer Aided Verification	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4813394	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4037120	1993-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3745292	1986-01-01	Paper
Higher-level synchronising devices in Meije-SCCS	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3735084	1985-01-01	Paper
On Meije and SCCS: Infinite sum operators vs. non-guarded definitions	1984-01-01	Paper
Langages infinitaires et produit de mixage	1984-01-01	Paper

Research outcomes over time

This page was built for person: Robert de Simone