Rémi Morin

From MaRDI portal
Person:2769438

Available identifiers

zbMath Open morin.remiMaRDI QIDQ2769438

List of research outcomes





PublicationDate of PublicationType
Catching a structural bug with a flower2016-05-02Paper
Exhibition of a structural bug with wings2014-07-08Paper
Shared-memory systems and charts2011-06-17Paper
Unambiguous shared-memory systems2010-09-06Paper
Pomset Languages of Finite Step Transition Systems2009-06-30Paper
The Synthesis Problem of Netcharts2009-04-02Paper
Semantics of Deterministic Shared-Memory Systems2008-11-25Paper
MSO Logic for Unambiguous Shared-Memory Systems2008-10-30Paper
Synthesis of Safe Message-Passing Systems2008-04-24Paper
Unfolding Synthesis of Asynchronous Automata2007-05-02Paper
Mathematical Foundations of Computer Science 20052006-10-20Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper
https://portal.mardi4nfdi.de/entity/Q47368682004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44722552004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44845012003-06-12Paper
https://portal.mardi4nfdi.de/entity/Q48078312003-05-26Paper
https://portal.mardi4nfdi.de/entity/Q45366182002-11-28Paper
https://portal.mardi4nfdi.de/entity/Q27694392002-02-05Paper
https://portal.mardi4nfdi.de/entity/Q44992112001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q45083022000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q49343422000-01-17Paper
https://portal.mardi4nfdi.de/entity/Q42700741999-11-10Paper
https://portal.mardi4nfdi.de/entity/Q42519251999-06-17Paper
https://portal.mardi4nfdi.de/entity/Q42230091999-01-07Paper

Research outcomes over time

This page was built for person: Rémi Morin

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2769438&oldid=7863794"
Powered by MediaWiki