| |
# of records = 67
homepages/v/HelmutVeith conf/wdag/BokorSSV09 conf/icfem/BokorSSV09 conf/sat/SamerV09 conf/vmcai/HolzerSTV09 conf/vmcai/KinderZV09 conf/spin/5000 conf/lpar/2008 conf/cav/HolzerSTV08 conf/cav/KinderV08 conf/tacas/ClarkeTV08 conf/cav/ChakiSV07 conf/eurocast/HolzerKV07 conf/sp/JhaKV07 conf/lpar/SamerV07 journals/corr/abs-cs-0701187 journals/virology/ChristodorescuJKKV07 conf/vmcai/ClarkeTV06 journals/dam/PikhurkoVV06 conf/dimva/KinderKSV05 conf/ifm/ChakiCGOSTV05 conf/sec/DittmannKSV05 conf/sicherheit/KatzenbeisserSV05 conf/time/SamerV05 conf/vissas/SamerV05 conf/vstte/ClarkeGJV05 books/sp/necs2005/ClarkeFJV05 journals/corr/abs-cs-0503080 journals/logcom/ChakiCJV05 conf/concur/ClarkeTTV04 conf/fmcad/SamerV04 conf/icalp/SamerV04 journals/tse/ChakiCGJV04 conf/csl/SamerV03 conf/csl/Veith03 conf/drm/AdelsbachKV03 conf/icse/ChakiCGJV03 conf/sat/ClarkeTVW03 conf/seke/ChakiFGJKV03 conf/birthday/ClarkeV03 journals/jacm/ClarkeGJLV03 conf/fmcad/ChauhanCKSVW02 conf/lics/ClarkeJLV02 journals/tocl/GottlobGV02 journals/tcs/EiterV02 conf/charme/ChauhanCJKVW01 conf/iccad/ChauhanCJKSVW01 conf/icse/CampaillaCCJV01 conf/dagstuhl/ClarkeGJLV01 journals/apal/BaazH01 conf/cav/ClarkeGJLV00 conf/fmcad/ClarkeGLVW00 conf/tableaux/BaazFV00 conf/fsttcs/BaazCFV99 journals/apal/GottlobLV99 journals/aml/BaazV99 conf/csl/BaazV98 conf/gvd/Veith98 conf/coco/Veith98 conf/mfcs/BaazCFV98 journals/iandc/Veith98 conf/esslli/EiterGV97 conf/lpnmr/EiterGV97 journals/ipl/Veith97 conf/coco/Veith96 conf/mfcs/GottlobLV95 journals/eccc/ECCC-TR95-048
Copyright © 2010-01-02 by Michael Ley (ley@uni-trier.de)