| |
# of records = 91
homepages/m/DaleMiller conf/ppdp/NigamM09 journals/corr/abs-0908-1390 journals/entcs/GacekMN09 journals/entcs/Miller09 conf/ifipTCS/ChaudhuriMS08 conf/cade/NigamM08 conf/lics/GacekMN08 conf/lics/DelandeM08 journals/corr/abs-0802-0865 journals/corr/abs-0804-3914 journals/corr/abs-0805-2785 conf/cade/BaeldeGMNT07 conf/csl/MillerS07 conf/csl/LiangM07 conf/csl/MillerN07 conf/lpar/BaeldeM07 journals/corr/abs-0708-2230 journals/corr/abs-0708-2252 journals/corr/abs-cs-0702116 conf/gpce/LeavensABBCFHJMJSSS06 conf/cade/Miller06 conf/ppdp/Miller06 journals/entcs/MillerS06 journals/entcs/ZieglerMP06 journals/entcs/Miller06 conf/galop/MillerS05 conf/lpar/PimentelM05 journals/tocl/MillerT05 journals/entcs/TiuM05 conf/csl/Miller04 conf/lics/MillerT03 conf/tphol/Miller03 journals/entcs/Miller03 journals/tcs/McDowellMP03 conf/amast/Miller02 conf/fsttcs/MillerT02 conf/tableaux/MillerP02 journals/tocl/McDowellM02 journals/tcs/Miller01 conf/cl/Miller00 journals/corr/cs-LO-0003062 journals/tcs/McDowellM00 journals/csur/MillerP99 conf/lics/McDowellM97 conf/lacl/Miller96 journals/csur/Miller96 journals/entcs/McDowellMP96 journals/tcs/Miller96 conf/agp/Miller95 conf/alp/Miller94 conf/lics/Miller94 conf/plilp/Miller94 journals/iandc/HodasM94 conf/elp/Miller93 conf/vr/SoderbergM93 conf/vr/CalvinDGMMO93 conf/cscw/NeuwirthCKEMM92 conf/elp/Miller92 journals/jsc/Miller92 journals/mscs/HannanM92 conf/iclp/Miller91 conf/iclp/Miller91a conf/lics/HodasM91 conf/lpar/Miller91 journals/apal/MillerNPS91 journals/logcom/Miller91 conf/cade/FeltyM90 conf/cade/FeltyGMP90 conf/iclp/PareschiM90 conf/iclp/HodasM90 conf/iclp/Miller90 conf/lfp/HannanM90 journals/jacm/NadathurM90 conf/elp/Miller89 conf/iclp/Miller89 conf/mpc/HannanM89 journals/jlp/Miller89 conf/cade/FeltyM88 conf/cade/FeltyGHMNS88 conf/iclp/NadathurM88 conf/iclp/HannanM88 conf/meta/HannanM88 conf/lics/MillerNS87 conf/slp/MillerN87 conf/aaai/MillerF86 conf/hlt/JoshiFMSW86 conf/iclp/MillerN86 conf/slp/Miller86 conf/cade/Miller84 conf/cade/MillerCA82
Copyright © 2009-11-25 by Michael Ley (ley@uni-trier.de)