Person:1092154

Available identifiers

zbMath Open picaronny.claudineMaRDI QIDQ1092154

List of research outcomes

Publication	Date of Publication	Type
Polynomial interrupt timed automata: verification and expressiveness	2021-04-13	Paper
Randomized Dining Philosophers without Fairness Assumption	2020-12-04	Paper
Polynomial interrupt timed automata	2017-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q2848422	2013-09-26	Paper
Coupling and self-stabilization	2013-06-07	Paper
Coupling and Importance Sampling for Statistical Model Checking	2012-06-29	Paper
Coupling and Self-stabilization	2005-08-17	Paper
A well-structured framework for analysing Petri net extensions	2005-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q4436055	2003-11-23	Paper
Accepting zeno words: A way toward timed refinements	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4699292	1999-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4016237	1992-12-14	Paper
Quelques remarques sur un thème de Knörr. (Some remarks on a theme of Knörr)	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3798846	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684284	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: Claudine Picaronny