DBLP Keys for 'Andreas Podelski'

# of records = 108

homepages/p/APodelski conf/fm/HoenickeLPSW09 conf/sas/SeghirPW09 conf/sas/HeizmannHP09 conf/tacas/WehrleKP09 journals/sttt/DragerFP09 conf/cav/PodelskiRW08 conf/cav/KupferschmidWNP08 conf/aips/WehrleKP08 conf/vmcai/DimitrovaP08 conf/vstte/Podelski08 conf/ppdp/2007 conf/vmcai/2007 conf/formats/PodelskiW07 conf/hybrid/PodelskiW07 conf/padl/PodelskiR07 conf/pldi/CookPR07 conf/popl/CookGPRV07 conf/sas/MalkisPR07 conf/spin/SeghirP07 conf/tacas/KupferschmidDHFDPB07 journals/toplas/PodelskiR07 journals/it/BeckerPDFOW07 conf/cav/CookPR06 conf/hybrid/PodelskiW06 conf/ictac/MalkisPR06 conf/mochart/HoffmannSRKP06 conf/pldi/CookPR06 conf/spin/DragerFP06 conf/vmcai/WiesKLPR06 journals/corr/abs-cs-0609104 journals/sttt/JensenP06 conf/esop/PodelskiSW05 conf/popl/PodelskiR05 conf/sas/PodelskiW05 conf/sas/CookPR05 conf/tacas/PnueliPR05 journals/tcs/BlanchetP05 journals/tcs/JensenP05 conf/tacas/2004 conf/cp/Podelski04 conf/lics/PodelskiR04 conf/vmcai/PodelskiR04 journals/tplp/LeuschelPRU04 conf/fossacs/BlanchetP03 conf/vmcai/Podelski03 journals/sttt/BallPR03 conf/iclp/CharatonikMP02 conf/sara/MukhopadhyayP02 conf/tacas/BallPR02 conf/vmcai/CharatonikMP02 journals/iandc/CharatonikP02 conf/ershov/MukhopadhyayP01 conf/padl/MukhopadhyayP01 conf/sofsem/ArgonDMP01 conf/tacas/BallPR01 journals/sttt/DelzannoP01 conf/cl/MukhopadhyayP00 conf/popl/EsparzaP00 conf/popl/CharatonikPT00 conf/sas/Podelski00 journals/constraints/MullerNP00 conf/csl/DelzannoEP99 conf/esop/PodelskiCM99 conf/fsttcs/MukhopadhyayP99 conf/jfplc/DelzannoP99 conf/tacas/DelzannoP99 conf/lics/CharatonikMNPW98 conf/rta/CharatonikP98 conf/sas/CharatonikP98 conf/tacas/CharatonikP98 conf/cp/MullerNP97 conf/cp/PacholskiP97 conf/csl/AyariBP97 conf/slp/Podelski97 conf/lics/CharatonikP97 conf/tapsoft/MullerNP97 journals/jlp/Ait-KaciPG97 journals/siamcomp/NivatP97 journals/tcs/PodelskiS97 conf/cp/CharatonikP96 journals/lncs/1994-910 conf/cp/PodelskiS95 conf/cp/PodelskiR95 conf/iclp/PodelskiS95 conf/iclp/PodelskiS95a conf/slp/PodelskiR94 journals/toplas/Ait-KaciP94 journals/tcs/Ait-KaciPS94 journals/tcs/BeauquierP94 conf/slp/Ait-KaciPG93 conf/slp/PodelskiR93 conf/lpar/Ait-KaciP93 conf/mfcs/BeauquierP93 conf/mfps/CalbrixNP93 conf/ppcp/Ait-KaciP93 conf/rta/NiehrenPT93 conf/tapsoft/NiehrenP93 journals/dm/NivatP93 journals/jlp/Ait-KaciP93 books/el/Nivat92 conf/elp/Ait-KaciP92 conf/fgcs/Ait-KaciPS92 conf/icalp/PeladeauP92 books/el/treeauto1992/Podelski92 conf/plilp/Ait-KaciP91 journals/mst/CourcelleNP91 journals/eatcs/NivatP89

XML