dblp keys for David Monniaux

David Monniaux

Keys

# of data records = 120

homepages/m/DavidMonniaux conf/cpp/Monniaux24 journals/pacmpl/GourdinBBMB23 journals/tecs/MonniauxS23 conf/tap/MonniauxGBL23 journals/corr/abs-2312-08117 conf/arith/MonniauxP22 conf/cpp/SixGBMFN22 conf/esop/MonniauxB22 conf/fmcad/VigourouxEMMP22 journals/corr/abs-2201-10280 journals/corr/abs-2201-13056 journals/corr/abs-2202-11955 journals/corr/abs-2207-08420 journals/corr/abs-2211-00973 journals/corr/abs-2211-09572 journals/concurrency/CotiMY21 journals/fmsd/Monniaux21 conf/lctrts/MonniauxS21 conf/sas/BraineGM21 journals/corr/abs-2105-01344 journals/pacmpl/SixBM20 journals/corr/abs-2009-14435 journals/acta/Monniaux19 journals/jacm/MonniauxT19 journals/pacmpl/TouzeauMMR19 conf/iccS/CotiMY19 conf/sas/YuM19 journals/corr/abs-1904-06079 journals/corr/abs-1911-09755 conf/sas/BakhirkinM18 conf/synasc/BoulmeMMPY18 journals/corr/abs-1811-01670 journals/corr/abs-1811-01740 conf/cav/TouzeauMMR17 conf/sas/BakhirkinM17 conf/sas/MarechalMP17 conf/vmcai/2017 journals/corr/TouzeauMM17 journals/corr/BakhirkinM17 journals/corr/abs-1709-04382 journals/corr/abs-1709-10008 conf/casc/Monniaux16 conf/hvc/KarpenkovM16 conf/sas/MonniauxG16 conf/vmcai/KarpenkovMW16 conf/vmcai/MarechalFKMP16 journals/corr/Monniaux16 journals/corr/KarpenkovM16 conf/pldi/GonnordMR15 conf/sac/AlbertiM15 conf/sas/MonniauxA15 journals/corr/MonniauxA15 journals/corr/KarpenkovMW15 journals/corr/MonniauxG15 journals/jar/BraibantJM14 conf/lctrts/HenryAMM14 conf/sas/MonniauxS14 journals/corr/MonniauxS14 journals/corr/HenryAMM14 conf/itp/BraibantJM13 conf/sas/FouilheMP13 journals/corr/abs-1304-0864 journals/corr/abs-1304-6038 journals/corr/BraibantJM13 journals/corr/abs-1209-0643 conf/cade/OliveiraM12 conf/cade/PhanBM12 conf/sas/HenryMM12 journals/entcs/HenryMM12 journals/corr/abs-1206-4234 journals/corr/abs-1207-3937 conf/aplas/MonniauxB11 conf/esop/GawlitzaM11 conf/itp/MonniauxC11 conf/sas/MonniauxG11 journals/entcs/MonniauxG12 journals/corr/abs-1101-2812 journals/corr/abs-1105-4421 journals/corr/abs-1106-2637 journals/corr/abs-1109-1905 journals/corr/abs-1109-2405 journals/corr/abs-1005-4844 conf/cav/Monniaux10 books/hal/Monniaux09 journals/lisp/Monniaux09 conf/cav/Monniaux09 conf/popl/Monniaux09 journals/corr/abs-0902-3722 journals/corr/abs-0904-3525 journals/corr/abs-0909-4013 journals/toplas/Monniaux08 conf/lpar/Monniaux08 journals/corr/abs-0803-1575 journals/corr/abs-0811-0166 conf/emsoft/Monniaux07 conf/sas/Monniaux07 conf/tase/CousotCFMMMR07 journals/corr/abs-0706-0252 journals/corr/abs-cs-0701191 journals/corr/abs-cs-0701192 journals/corr/abs-cs-0701193 journals/corr/abs-cs-0701195 conf/asian/CousotCFMMMR06 journals/scp/Monniaux05 conf/aplas/Monniaux05 conf/cav/Monniaux05 conf/esop/CousotCFMMMR05 journals/scp/Monniaux03 conf/pldi/BlanchetCCFMMMR03 conf/sas/Monniaux03 conf/vmcai/Monniaux03 conf/birthday/BlanchetCCFMMMR02 phd/hal/Monniaux01 conf/esop/Monniaux01 conf/popl/Monniaux01 conf/sas/Monniaux01 conf/sas/Monniaux00 conf/csfw/Monniaux99 conf/sas/Monniaux99

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.