dblp.uni-trier.dewww.uni-trier.de

DBLP Keys for 'Matthew Hennessy'

# of records = 127

homepages/h/MatthewHennessy conf/concur/DengGHM09 conf/tamc/Hennessy09 conf/birthday/BoudolCHNW08 journals/corr/abs-0810-3708 journals/iandc/FrancalanzaH08 journals/lmcs/DengGHM08 conf/esop/FrancalanzaH07 conf/lics/DengGHMZ07 journals/entcs/DengGHMZ07 journals/entcs/GlabbeekH07 journals/jlp/FrancalanzaH07 journals/tcs/HymH07 conf/fossacs/FrancalanzaH06 conf/ppdp/GorlaHS06 journals/toplas/MerroH06 journals/entcs/HymH06 conf/concur/FrancalanzaH05 conf/forte/CiaffaglioneHR05 journals/acta/HennessyRY05 journals/corr/abs-cs-0506061 journals/entcs/GorlaHS05 journals/jlp/Hennessy05 journals/lmcs/GorlaHS05 conf/fossacs/HennessyRY04 journals/mscs/HennessyR04 journals/tcs/EidenbenzHBRWC04 journals/tcs/HennessyMR04 conf/fossacs/HennessyMR03 journals/jar/RielyH03 conf/icalp/2002 conf/popl/MerroH02 journals/toplas/HennessyR02 journals/entcs/HennessyR02 journals/iandc/HennessyR02 journals/iandc/YoshidaH02 journals/tcs/Hennessy02 journals/scp/HennessyLR01 journals/tcs/RielyH01 conf/icalp/HennessyR00 conf/lics/YoshidaH00 conf/birthday/FerreiraHJ00 conf/concur/YoshidaH99 conf/fct/Hennessy99 conf/ifm/Hennessy99 conf/popl/RielyH99 conf/ecoopw/HennessyR99 journals/tcs/FerreiraH99 conf/ecoopw/HennessyR98 conf/fsttcs/CastellaniH98 conf/popl/RielyH98 journals/entcs/Hennessy98 journals/entcs/HennessyR98 journals/iandc/HartonasH98 journals/jfp/FerreiraHJ98 journals/tcs/HennessyR98 conf/csl/HartonasH97 conf/icalp/RielyH97 conf/tacs/RathkeH97 journals/fuin/KiehnH97 conf/icfp/FerreiraHJ96 journals/fac/HennessyL96 conf/concur/HennessyR95 conf/mfcs/FerreiraH95 journals/acta/HennessyL95 journals/acta/Hennessy95 journals/iandc/HennessyR95 journals/tcs/HennessyL95 conf/icalp/Hennessy94 journals/fac/BoudolCHK94 journals/iandc/Hennessy94 journals/iandc/AcetoH94 conf/cav/HennessyL93 conf/concur/HennessyL93 conf/lics/Hennessy93 conf/mfcs/Hennessy93 journals/fac/CleavelandH93 journals/fac/HennessyI93 journals/iandc/AcetoH93 journals/iandc/HennessyI93 journals/tcs/BoudolCHK93 conf/concur/BoudolCHK92 conf/concur/Hennessy92 journals/acta/Arun-KumarH92 journals/jacm/AcetoH92 conf/icalp/AcetoH91 conf/mfcs/BoudolCHK91 conf/tacs/Arun-KumarH91 journals/fac/Hennessy91 conf/concur/Hennessy90 conf/forte/HennessyR90 conf/icalp/HennessyI90 journals/iandc/CleavelandH90 conf/avmfss/CleavelandH89 conf/fsttcs/Hennessy89 conf/lics/AcetoH89 conf/mfps/AcetoH89 journals/jacm/CastellaniH89 conf/lics/CleavelandH88 conf/rex/Hennessy88 journals/siamcomp/Hennessy88 conf/tapsoft/NicolaH87 journals/tcs/Hennessy87 conf/ibm/Hennessy86 journals/toplas/Hennessy86 conf/icalp/Hennessy85 journals/iandc/HennessyS85 journals/jacm/HennessyM85 journals/jacm/Hennessy85 conf/mfcs/HennessyS84 conf/stoc/Hennessy84 journals/acta/Hennessy84 journals/tcs/NicolaH84 conf/icalp/NicolaH83 conf/ifip/Hennessy83 journals/iandc/Hennessy83 conf/programm/Hennessy82 conf/icdcs/HennessyLP81 journals/iandc/Hennessy81 conf/icalp/HennessyM80 conf/mfcs/HennessyP80 journals/jcss/Hennessy80 journals/siamcomp/Hennessy80 journals/tcs/HennessyA80 conf/mfcs/HennessyP79 conf/stoc/HennessyA77 conf/icalp/HennessyA76

XML

Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)