Robert de Simone

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Robert de Simone