| |
# of records = 90
homepages/n/TobiasNipkow conf/tphol/2009 conf/cade/Nipkow08 conf/tphol/WenzelPN08 conf/tphol/AehligHN08 journals/jar/ChaiebN08 journals/jar/AutexierMMN08 conf/se/WasserrabNST07 conf/tphol/BulwahnKN07 conf/cade/Nipkow07 journals/entcs/MerzN07 conf/fm/2006 conf/ictac/Nipkow06 conf/cade/NipkowBS06 conf/oopsla/WasserrabNST06 journals/toplas/KleinN06 conf/esop/WildmoserN05 conf/lpar/ChaiebN05 conf/dagstuhl/NipkowB05 conf/tphol/NipkowP05 journals/entcs/WildmoserCN05 journals/iandc/MehtaN05 conf/ifipTCS/WildmoserNKN04 conf/sefm/BerghoferN04 conf/tphol/WildmoserN04 conf/cade/MehtaN03 journals/jar/Nipkow03 journals/tcs/KleinN03 books/sp/NipkowPW02 conf/csl/Nipkow02 conf/fm/OheimbN02 conf/tphol/BauerN02 conf/types/Nipkow02 conf/cade/2001 conf/fossacs/Nipkow01 journals/concurrency/KleinN01 journals/jar/Nipkow01 conf/tphol/BerghoferN00 conf/types/BerghoferN00 journals/iandc/Nipkow00 conf/cade/Nipkow99 conf/fase/NipkowN99 conf/java/OheimbN99 journals/jar/NaraschewskiN99 journals/jfp/MullerNOS99 conf/rta/1998 conf/popl/NipkowO98 conf/tphol/Nipkow98 journals/fac/Nipkow98 journals/tcs/MayrN98 conf/tapsoft/MullerN97 conf/cade/Nipkow96 conf/fsttcs/Nipkow96 conf/tphol/NazarethN96 conf/types/NaraschewskiN96 conf/rta/Nipkow95 conf/tacas/MullerN95 journals/jfp/NipkowP95 conf/types/1993 conf/hoa/1993 conf/fsttcs/BroyHNPS94 conf/types/NipkowS94 journals/jar/QianN94 conf/lics/Nipkow93 conf/popl/NipkowP93 conf/tlca/Nipkow93 conf/cade/NipkowQ92 conf/cade/NipkowP92 conf/fpca/NipkowS91 conf/lics/Nipkow91 conf/rta/NipkowQ91 journals/cj/Nipkow91 journals/jsc/Nipkow91 conf/cade/MartinN90 conf/ctrs/Nipkow90 conf/lics/Nipkow90 journals/jacm/Nipkow90 conf/rex/Nipkow89 conf/rta/Nipkow89 journals/fac/Nipkow89 journals/jsc/MartinN89 journals/scp/Nipkow89 conf/caap/Nipkow88 journals/jar/MartinN88 conf/adt/Nipkow87 conf/stacs/Nipkow87 conf/adt/Nipkow86 conf/cade/MartinN86 journals/acta/Nipkow86 conf/tcs/NipkowW83
Copyright © 2009-11-23 by Michael Ley (ley@uni-trier.de)