dblp keys for Pierre Wolper

Pierre Wolper

Keys

# of data records = 85

homepages/w/PierreWolper journals/fmsd/LarsenSWJ21 conf/tacas/LindenW13 conf/spin/LindenW11 journals/tocl/LegayW10 conf/spin/LindenW10 journals/ijfcs/CantinLW09 conf/tableaux/Wolper09 journals/corr/abs-0901-4080 conf/wia/CantinLW08 journals/corr/abs-0809-2214 conf/dagstuhl/AutexierMTWW06 conf/dagstuhl/2006P6000 journals/tocl/BoigelotJW05 journals/entcs/LegayW06 conf/tacas/BoigelotLW04 journals/entcs/BouajjaniLW05 conf/cav/BoigelotLW03 journals/corr/cs-LO-0303019 conf/iclp/BoigelotW02 journals/iandc/KupfermanVW01 conf/cade/BoigelotJW01 conf/time/Wolper01 journals/corr/cs-LO-0101017 journals/ipl/BouajjaniEFMRWW00 journals/jacm/KupfermanVW00 conf/eef/Wolper00 conf/tacas/WolperB00 conf/cdb/Wolper00 journals/jcss/BaudinetCW99 journals/tcs/PeledWW98 conf/cav/WolperB98 conf/icalp/BoigelotRW98 conf/lopstr/Wolper98 journals/sttt/Wolper97 conf/podc/NitscheW97 conf/sas/BoigelotGWW97 journals/entcs/FinkelWW97 journals/csur/Wolper96 journals/csur/Wolper96a conf/concur/PeledWW96 conf/lics/WillemsW96 journals/jcss/KabanzaSW95 conf/icdt/BaudinetCW95 conf/pstv/GerthPVW95 conf/sas/WolperB95 conf/cav/1995 journals/iandc/GodefroidW94 journals/iandc/VardiW94 conf/cav/BoigelotW94 conf/cav/BernholtzVW94 conf/ppcp/BaudinetCW94 journals/fmsd/GodefroidW93 conf/cav/WolperL93 conf/concur/WolperG93 books/bc/tanselCGSS93/BaudinetCW93 conf/pstv/1993 journals/fmsd/CourcoubetisVWY92 conf/cav/GodefroidW91 conf/lics/GodefroidW91 conf/pods/BaudinetNW91 journals/toplas/AggarwalCW90 conf/cav/CourcoubetisVWY90 conf/dimacs/CourcoubetisVWY90 conf/pods/KabanzaSW90 conf/avmfss/WolperL89 conf/dimacs/ToussaintW89 conf/icalp/AbadiLW89 journals/tcs/SistlaVW87 conf/tls/Wolper87 journals/jcss/VardiW86 conf/lics/VardiW86 conf/popl/Wolper86 conf/stoc/CourcoubetisVW86 conf/icalp/SistlaVW85 journals/toplas/MannaW84 conf/podc/PinterW84 conf/stoc/VardiW84 journals/iandc/Wolper83 conf/focs/WolperVS83 conf/lop/VardiW83 phd/us/Wolper82 conf/popl/Wolper82 conf/focs/Wolper81 conf/lop/MannaW81

a service of  Schloss Dagstuhl - Leibniz Center for Informatics