Marc Pouzet

Available identifiers

zbMath Open pouzet.marcWikidataQ102428870 ScholiaQ102428870MaRDI QIDQ439951

List of research outcomes

Publication	Date of Publication	Type
Multi-mode DAE models -- challenges, theory and implementation	2022-02-16	Paper
Deterministic concurrency: a clock-synchronised shared memory approach	2019-09-13	Paper
A type-based analysis of causality loops in hybrid systems modelers	2017-11-16	Paper
N -synchronous Kahn networks	2017-08-21	Paper
Structural Analysis of Multi-Mode DAE Systems	2017-07-11	Paper
Zélus	2017-05-16	Paper
A type-based analysis of causality loops in hybrid systems modelers	2017-05-16	Paper
Synchronous Kahn networks	2016-09-01	Paper
Non-standard semantics of hybrid systems modelers	2012-08-17	Paper
Lucy-n: a n-Synchronous Extension of Lustre	2010-07-26	Paper
Abstraction of Clocks in Synchronous Data-Flow Systems	2009-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q2763676	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4222947	1999-01-06	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: Marc Pouzet