![]() |
# of records = 99
homepages/71/1981 conf/hybrid/2009 conf/cav/MajumdarX09 conf/ecoop/FischerMMM09 conf/formats/GantyM09 conf/isqed/LeeHMH09 conf/popl/GantyMR09 conf/tacas/GuptaMR09 conf/tacas/EmmiJKM09 journals/csur/JhalaM09 conf/spin/2008 conf/aplas/ChatterjeeAM08 conf/kbse/FischerMS08 conf/cav/BeyerZM08 conf/dac/HuSMH08 conf/fsttcs/ChatterjeeAMR08 conf/hybrid/ChatterjeeMH08 conf/iccad/HuFHM08 conf/icws/FischerM08 conf/issta/XuGM08 conf/popl/GuptaHMRX08 conf/sagt/ErcalIMM08 journals/corr/abs-0804-4525 journals/corr/abs-0805-2622 journals/corr/abs-0806-4956 journals/corr/abs-0809-1236 journals/corr/abs-0809-4326 journals/tcad/HuSMH08 journals/lmcs/AlfaroMRS08 conf/kbse/MajumdarX07 conf/kbse/FischerM07 conf/sigsoft/MajumdarX07 conf/sigsoft/MajumdarX07a conf/iccad/HuSMH07 conf/icse/MajumdarS07 conf/issta/EmmiMS07 conf/lics/AlfaroMRS07 conf/pepm/FischerMM07 conf/pldi/BeyerHMR07 conf/popl/EmmiFJM07 conf/popl/JhalaM07 conf/tacas/JhalaMX07 conf/vmcai/EmmiM07 conf/vmcai/BeyerHMR07 journals/sttt/BeyerHJM07 conf/hybrid/EmmiM06 conf/qest/ChatterjeeAFHMS06 conf/sas/JhalaMX06 conf/sigsoft/KapurMZ06 conf/sigsoft/JhalaM06 conf/stacs/ChatterjeeMH06 journals/tcs/HenzingerKM06 conf/charme/ChakrabartiCHKM05 conf/emsoft/AlfaroRFM05 conf/sigsoft/FischerJM05 conf/sigsoft/HenzingerJM05 conf/fase/BeyerHJM05 conf/formats/HenzingerMP05 conf/pldi/JhalaM05 conf/spin/HenzingerJM05 conf/uai/ChatterjeeHJM05 journals/tocl/HenzingerMR05 journals/tcs/AlfaroFHMS05 conf/csl/ChatterjeeMJ04 conf/icse/BeyerCM04 conf/iwpc/BeyerHJM04 conf/pepm/BeyerCHJM04 conf/pldi/HenzingerJM04 conf/popl/HenzingerJMM04 conf/ppdp/BeyerCHJM04 conf/sas/BeyerCHJM04 conf/tacas/AlfaroFHMS04 journals/tcad/WongMP04 journals/iandc/ChatterjeeMMZHP04 journals/jcss/AlfaroM04 conf/cav/HenzingerJMQ03 conf/concur/AlfaroFHMS03 conf/icalp/AlfaroHM03 conf/icalp/HenzingerJM03 conf/sas/ChatterjeeMMZHP03 conf/spin/HenzingerJMS03 conf/tacas/HenzingerKM03 conf/birthday/HenzingerJMS03 conf/cav/HenzingerJMNSW02 conf/emsoft/HenzingerKMM02 conf/popl/HenzingerJMS02 conf/concur/AlfaroHM01 conf/dac/MajumdarW01 conf/icse/AlurAGHKKMMW01 conf/lics/AlfaroHM01 conf/pldi/BallMMR01 conf/stoc/AlfaroM01 journals/corr/cs-LO-0101013 conf/hybrid/HenzingerHMW00 conf/sas/HenzingerMMR00 conf/stacs/HenzingerM00 conf/tacas/HenzingerM00 conf/concur/HenzingerHM99 conf/asian/MajumdarS96
Copyright © 2009-11-29 by Michael Ley (ley@uni-trier.de)