| |
# of records = 78
homepages/39/3354 journals/iandc/CervesatoS09 conf/acns/MitchellRRS08 conf/ccs/BlanchetJST08 journals/iandc/CervesatoJSTW08 journals/jcs/BackesPS08 conf/csfw/BackesPS07 conf/csfw/KanovichRS07 conf/sigsoft/Scedrov07 journals/entcs/BackesS07 conf/asian/CervesatoJSTW06 conf/esorics/BackesCJST06 conf/tcc/DattaDMRS06 journals/entcs/CervesatoS06 journals/jar/ChadhaKS06 journals/tcs/MitchellRST06 journals/tcs/ButlerCJSW06 conf/csfw/AdaoBS05 conf/esorics/AdaoBHS05 conf/popl/CervesatoJSW05 journals/jlp/ChadhaMSS05 conf/csfw/ChadhaKS04 conf/fossacs/RamanathanMST04 conf/isss2/2002 conf/concur/MateusMS03 conf/concur/ChadhaMSS03 conf/isss2/ButlerCJS03 journals/tcs/GirardOS03 journals/tcs/KanovichOS03 conf/csfw/ButlerCJS02 conf/isss2/CervesatoDLMS02 conf/ccs/ChadhaKS01 conf/csfw/ScedrovCGWW01 conf/lics/MitchellRST01 journals/entcs/MitchellRST01 conf/csfw/CervesatoDMLS00 conf/csfw/CervesatoDLMS99 conf/fm/LincolnMMS99 journals/entcs/BrookesJMS99 journals/tcs/LincolnMS99 conf/ccs/LincolnMMS98 conf/focs/MitchellMS98 journals/entcs/KanovichOS98 journals/entcs/KanovichOS97 journals/bsl/LincolnMS96 journals/entcs/GirardOS96 journals/entcs/LincolnMS96 journals/iandc/LafontS96 conf/lics/LincolnSS95 journals/tcs/ScedrovDZ95 journals/apal/Scedrov94 journals/iandc/CardelliMMS94 journals/iandc/Scedrov94 journals/tcs/LincolnS94 journals/apal/LincolnSS93 conf/csl/MitchellS92 journals/apal/LincolnMSS92 journals/apal/BlassS92 journals/tcs/GirardSS92 conf/lics/LincolnSS91 conf/tacs/CardelliMMS91 journals/apal/MillerNPS91 journals/iandc/Breazu-TannenCGS91 conf/focs/LincolnMSS90 conf/lfp/TannenGS90 journals/eatcs/Scedrov90 journals/tcs/BainbridgeFSS90 conf/lics/Breazu-TannenCGS89 conf/lics/NerodeRS89 conf/cade/FeltyGHMNS88 conf/lics/FreydGSS88 conf/lics/FreydS87 conf/lics/MillerNS87 conf/mfps/CarboniFS87 journals/jsyml/BlassS86 journals/jsyml/Scedrov86 conf/logicColl/Scedrov85 journals/jsyml/BeesonS84
Copyright © 2009-11-28 by Michael Ley (ley@uni-trier.de)