| |
# of records = 116
homepages/k/DexterKozen conf/icml/KarampatziakisK09 journals/corr/abs-0908-2793 conf/lics/Kozen08 conf/mpc/KozenT08 journals/jlp/Aboul-HosnK08 conf/calco/KozenR07 conf/nips/SheldonEK07 journals/corr/abs-0711-0194 journals/lmcs/Kozen07 journals/scp/Kozen07 conf/cade/KozenKR06 conf/lics/Kozen06 conf/mfcs/Kozen06 conf/mpc/Aboul-HosnK06 conf/RelMiCS/Aboul-HosnK06 journals/jancl/Aboul-HosnK06 journals/tcs/QueirozK06 conf/sigcse/BotevCCCDGGGLPRRYACGKMSS05 journals/entcs/KotK05 conf/mpc/2004 journals/apal/Kozen04 journals/scp/Kozen04 conf/discex/StillermanK03 journals/tocl/KozenT03 conf/acsac/AdelsteinSK02 conf/fics/Kozen02 conf/ftrtft/KozenS02 conf/mpc/Kozen02 journals/iandc/GivanMWK02 journals/iandc/Kozen02 conf/lics/KozenT01 conf/stacs/Kozen01 journals/isci/KozenT01 conf/cl/KozenP00 conf/RelMiCS/KozenT00 journals/tocl/CohenK00 journals/tocl/Kozen00 conf/lics/Kozen99 conf/lics/HopkinsK99 conf/mfcs/Kozen99 conf/dcc/KozenMS98 journals/iandc/Kozen98 conf/lics/Kozen97 journals/toplas/Kozen97 journals/jsc/KozenS97 conf/csl/KozenS96 conf/icalp/ChengK96 conf/lics/McAllesterGWK96 conf/tacas/Kozen96 journals/eatcs/Kozen96 journals/jsc/KozenLZ96 journals/tcs/Kozen96 conf/tapsoft/Kozen95 journals/cjtcs/KlarlundK95 journals/iandc/AikenKW95 journals/mscs/KozenPS95 conf/ants/KozenLZ94 conf/ccl/Kozen94 conf/focs/CaiFKL94 conf/fsttcs/Kozen94 journals/eccc/ECCC-TR94-016 journals/iandc/Kozen94 journals/jcss/KozenPS94 journals/tcs/KozenZ94 conf/csl/AikenKVW93 conf/csl/Kozen93 conf/icalp/KozenZ93 conf/popl/KozenPS93 conf/focs/KozenPS92 journals/eatcs/Kozen92 conf/lics/Kozen91 conf/lics/KlarlundK91 conf/mfcs/Kozen90 books/el/leeuwen90/KozenT90 journals/iandc/ImmermanK89 journals/jsc/KozenL89 journals/siamcomp/Ben-OrFKT88 conf/focs/GathenKL87 conf/lics/ImmermanK87 conf/stoc/Ben-OrFKT86 journals/ipl/AptK86 journals/jcss/Ben-OrKR86 conf/focs/KozenY85 conf/fsttcs/KozenVV85 journals/iandc/BlassGK85 journals/jcss/Kozen85 conf/lop/1983 conf/popl/FrancezK84 conf/stoc/Kozen84 conf/stoc/Ben-OrKR84 journals/iandc/HarelK84 conf/lop/KozenP83 conf/stoc/Kozen83 journals/tcs/Kozen83 conf/lop/1981 conf/icalp/HarelK82 conf/icalp/Kozen82 journals/jcss/HarelKP82 conf/lop/Kozen81 journals/ibmrd/Kozen81 journals/jacm/ChandraKS81 journals/jcss/Kozen81 journals/tcs/KozenP81 conf/focs/HarelKP80 conf/icalp/Kozen80 journals/tcs/Kozen80 journals/tcs/Kozen80a conf/fct/Kozen79 conf/focs/Kozen79 conf/lop/Kozen79 conf/focs/BlumK78 conf/stoc/Kozen78 conf/focs/Kozen77 conf/stoc/Kozen77 conf/focs/Kozen76
Copyright © 2010-01-03 by Michael Ley (ley@uni-trier.de)