dblp keys for Pierre Ganty

Pierre Ganty

Keys

# of data records = 86

homepages/16/5983 conf/tacas/DoveriGH23 conf/cav/DoveriGM22 journals/corr/abs-2209-09333 journals/corr/abs-2204-11804 journals/corr/abs-2207-13549 journals/fuin/GantyGV21 journals/tocl/GantyRV21 conf/concur/DoveriGPR21 journals/corr/abs-2109-07798 journals/corr/abs-2104-11453 conf/mfcs/GantyG020 conf/pldi/VilaGGK20 journals/corr/abs-2007-00359 conf/dcc/Ganty019 conf/mfcs/GantyGV19 conf/sas/GantyR019 conf/vecos/2019 journals/corr/abs-1901-05252 journals/corr/abs-1904-01388 journals/corr/abs-1906-06194 journals/corr/abs-1912-09770 journals/tplp/KafleGG18 conf/concur/EsparzaGMW18 conf/fsttcs/GantyG18 conf/lics/BonchiGGP18 journals/corr/abs-1803-01448 journals/corr/abs-1804-10507 journals/corr/abs-1807-06071 journals/corr/abs-1810-01351 journals/acta/EsparzaGLM17 journals/fmsd/Durand-Gasselin17 journals/sttt/GantyIK17 conf/atva/GangeGS17 conf/atva/GantyKV17 conf/fct/GantyG17 journals/corr/GantyG17 journals/jacm/EsparzaGM16 conf/fsttcs/EsparzaGLM16 journals/corr/KafleGG16 journals/corr/GantyV16 conf/tgc/2015 journals/corr/GantyKV16 conf/cav/Durand-Gasselin15 conf/concur/EsparzaGLM15 conf/esop/EmmiGMR15 conf/fct/GantyI15 conf/memocode/GantyGLP15 journals/corr/KafleGG15 journals/corr/Durand-Gasselin15 journals/toplas/EsparzaGP14 conf/lata/GantyR14 journals/corr/GantyI14 conf/cav/EsparzaGM13 conf/cav/GantyG13 conf/tacas/GantyIK13 journals/corr/abs-1302-4539 journals/corr/abs-1304-1185 journals/fmsd/GantyMM12 journals/toplas/GantyM12 conf/lics/EsparzaGM12 journals/corr/abs-1201-3194 journals/corr/abs-1210-4289 journals/ipl/EsparzaGKL11 conf/fsttcs/AtigG11 conf/popl/EsparzaG11 conf/rp/BozzelliG11 journals/entcs/GantyM11 conf/bytecode/2011 journals/corr/abs-1105-1657 journals/tcs/GantyMR10 conf/cav/GantyMM10 journals/corr/abs-1006-3825 journals/corr/abs-1011-0551 journals/tsi/GantyGRB09 conf/formats/GantyM09 conf/popl/GantyMR09 conf/wia/GantyMR09 journals/fuin/GantyRB08 journals/corr/abs-0809-1236 conf/apn/GantyRB07 conf/sas/CousotGR07 conf/vmcai/GantyRB06 conf/sas/EsparzaGS05 conf/tacas/DelzannoG04 conf/fm/ArmandoCG03

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.