Marie Duflot

From MaRDI portal
Person:476178

Available identifiers

zbMath Open duflot.marieMaRDI QIDQ476178

List of research outcomes





PublicationDate of PublicationType
Randomized Dining Philosophers without Fairness Assumption2020-12-04Paper
Applications of an expressive statistical model checking approach to the analysis of genetic circuits2015-09-29Paper
Bounding messages for free in security protocols -- extension to various security properties2014-11-28Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC2013-09-26Paper
Measuring Permissivity in Finite Games2009-10-22Paper
Decidability of Parameterized Probabilistic Information Flow2008-06-03Paper
Bounding Messages for Free in Security Protocols2008-04-24Paper
https://portal.mardi4nfdi.de/entity/Q44360552003-11-23Paper
https://portal.mardi4nfdi.de/entity/Q47918512003-02-03Paper

Research outcomes over time

This page was built for person: Marie Duflot

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