| |
# of records = 45
homepages/47/4244 conf/pldi/KawaguchiRJ09 conf/pldi/ChughMJL09 conf/tacas/EmmiJKM09 journals/csur/JhalaM09 conf/oopsla/TatlockTSJL08 conf/pldi/RondonKJ08 conf/pldi/ChughVJL08 conf/cav/JhalaM07 conf/sigsoft/VoungJL07 conf/hipeac/ChuangNCJ07 conf/icse/TuckerSJL07 conf/nsdi/KillianAJV07 conf/pldi/KillianABJV07 conf/popl/EmmiFJM07 conf/popl/JhalaM07 conf/tacas/JhalaMX07 journals/corr/abs-0706-0523 journals/lmcs/JhalaM07 journals/sttt/BeyerHJM07 conf/sas/JhalaMX06 conf/sigsoft/JhalaM06 conf/tacas/JhalaM06 conf/cav/JhalaM05 conf/sigsoft/FischerJM05 conf/sigsoft/HenzingerJM05 conf/fase/BeyerHJM05 conf/pldi/JhalaM05 conf/spin/HenzingerJM05 conf/uai/ChatterjeeHJM05 conf/icse/BeyerCM04 conf/iwpc/BeyerHJM04 conf/pepm/BeyerCHJM04 conf/pldi/HenzingerJM04 conf/popl/HenzingerJMM04 conf/ppdp/BeyerCHJM04 conf/sas/BeyerCHJM04 conf/cav/HenzingerJMQ03 conf/icalp/HenzingerJM03 conf/spin/HenzingerJMS03 conf/birthday/HenzingerJMS03 conf/cav/HenzingerJMNSW02 conf/popl/HenzingerJMS02 conf/cav/JhalaM01 conf/concur/AlfaroHJ01
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)