Marie Duflot

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Randomized dining philosophers without fairness assumption Foundations of Information Technology in the Era of Network and Mobile Computing	2020-12-04	Paper
Applications of an expressive statistical model checking approach to the analysis of genetic circuits Theoretical Computer Science	2015-09-29	Paper
Bounding messages for free in security protocols -- extension to various security properties Information and Computation	2014-11-28	Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC	2013-09-26	Paper
Measuring Permissivity in Finite Games CONCUR 2009 - Concurrency Theory	2009-10-22	Paper
Decidability of Parameterized Probabilistic Information Flow Computer Science – Theory and Applications	2008-06-03	Paper
Bounding Messages for Free in Security Protocols FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science	2008-04-24	Paper
scientific article; zbMATH DE number 2006656 (Why is no real title available?)	2003-11-23	Paper
scientific article; zbMATH DE number 1863180 (Why is no real title available?)	2003-02-03	Paper

Research outcomes over time

This page was built for person: Marie Duflot