| |
# of records = 66
homepages/k/DanielKroening conf/cav/BaslerMWK09 conf/date/PurandareWK09 conf/date/DSilvaK09 conf/sat/ChebiryakWKH09 conf/sbmf/BlancK09 series/faia/Kroening09 journals/fac/KroeningS09 journals/sttt/BryantKOSSB09 conf/atva/KroeningSTTW08 conf/iccad/BlancK08 conf/iccad/WangGWLK08 conf/tacas/BlancKS08 conf/vmcai/DSilvaPK08 journals/corr/abs-0811-3521 journals/tcad/JainKSC08 journals/tcad/DSilvaKW08 journals/tit/ZinovikKC08 journals/jsat/ChebiryakK08 conf/ab/ZinovikKC07 conf/kbse/WitkowskiBKW07 conf/kbse/BlancGK07 conf/date/KroeningS07 conf/fmcad/KroeningW07 conf/hvc/BaslerKW07 conf/iccad/KroeningS07 conf/sat/JussilaBSKW07 conf/spin/BaslerKW07 conf/tacas/BryantKOSSB07 conf/tacas/JainKSC07 conf/swb/SharyginaK07 journals/fmsd/ClarkeJK07 journals/tcs/CookKS07 conf/cav/KroeningW06 conf/fmcad/CookKS06 conf/hvc/BarnerEGKR06 conf/tacas/KroeningS06 journals/entcs/Kroening06 journals/sttt/GroceCKS06 journals/sttt/BeyerJKLP06 conf/cav/CookKS05 conf/dac/JainKSC05 conf/memocode/KroeningS05 conf/spin/CookKS05 conf/tacas/ClarkeKSY05 conf/vstte/Kroening05 journals/entcs/GroceK05 journals/sttt/ClarkeKOS05 conf/cav/KroeningOSS04 conf/cav/GroceKL04 conf/dac/ChauhanCK04 conf/dsn/MorrisKK04 conf/iccad/KroeningC04 conf/icfem/KroeningGC04 conf/icfem/ClarkeK04 conf/isola/CookKS04 conf/memocode/JainKC04 conf/tacas/ClarkeKL04 conf/vmcai/ClarkeKOS04 journals/fmsd/ClarkeKSY04 conf/charme/BeyerJKLP03 conf/dac/ClarkeKY03 conf/iccd/ClarkeKY03 conf/vmcai/KroeningS03 conf/dac/KroeningP01 conf/arcs/MuellerLDGK99
Copyright © 2010-01-04 by Michael Ley (ley@uni-trier.de)