| |
# of records = 188
homepages/a/RAlur conf/cav/CernyA09 conf/cav/KanadeAIRSS09 conf/csl/AlurCW09 conf/fossacs/Alur09 conf/fossacs/AlurDMW09 conf/hybrid/WeissFAA09 journals/jacm/AlurM09 conf/spin/Alur08 conf/amast/Alur08 conf/cav/AlurKW08 conf/emsoft/AlurW08 conf/emsoft/AlurKRS08 conf/rtas/AlurW08 journals/corr/abs-0811-0537 journals/fmsd/AlurP08 journals/fmsd/NamMA08 journals/lmcs/AlurABEIL08 conf/csr/Alur07 conf/hybrid/WeissA07 conf/hybrid/BernadskyA07 conf/lics/AlurABEIL07 conf/pldi/BurckhardtAM07 conf/pods/Alur07 conf/spin/ChaudhuriA07 conf/tacas/AlurCC07 journals/jcss/AlurC07 conf/atva/NamA06 conf/cav/AlurCM06 conf/cav/BurckhardtAM06 conf/dlt/AlurM06 conf/emsoft/NghiemPAG06 conf/fsttcs/AlurC06 conf/hybrid/AlurB06 conf/icalp/AlurCZ06 conf/memocode/Alur06 conf/popl/AlurCM06 journals/tecs/AlurDI06 journals/jlp/AlurGLS06 journals/tcs/AlurTM06 journals/tcs/AlurDI06 conf/cav/AlurMN05 conf/concur/Alur05 conf/hybrid/AlurTM05 conf/icalp/AlurKMV05 conf/rtas/AlurC05 conf/popl/AlurCMN05 conf/rtss/YazarelGPA05 conf/tacas/AlurCEM05 conf/vmcai/BurckhardtAM05 conf/vstte/Alur05 journals/tecs/AlurL05 journals/toplas/AlurBEGRY05 journals/fmsd/AlurMP05 journals/sttt/AlurMN05 journals/tcs/AlurEY05 conf/hybrid/2004 conf/cav/2004 conf/atva/Alur04 conf/emsoft/McDougallAG04 conf/fmcad/YangA04 conf/formats/BernadskySA04 conf/icalp/AlurBM04 conf/sfm/AlurM04 conf/stoc/AlurM04 conf/tacas/AlurEM04 journals/tocl/AlurT04 journals/toplas/AlurG04 journals/fmsd/AlurKT04 journals/sttt/AlurAGLLNPAZ04 journals/tcs/AlurTP04 conf/emsoft/2003 conf/cav/AlurTM03 conf/concur/AlurTM03 conf/concur/AlurCEGY03 conf/hybrid/AlurDI03 conf/lctrts/AlurIKLS03 conf/tacas/AlurDI03 conf/tacas/AlurTM03 conf/birthday/Alur03 journals/entcs/MadhusudanNA03 journals/tse/AlurEY03 journals/pieee/AlurDEHIKMPS03 conf/cases/GoodloeMGA02 conf/cav/AlurMY02 conf/hybrid/AlurDI02 conf/hipc/AlurBIKRSSW02 journals/ijrr/FierroDSEKOPTHALGS02 journals/jacm/AlurHK02 conf/kbse/AlurG01 conf/cav/AlurW01 conf/cav/AlurEY01 conf/charme/MollerA01 conf/emsoft/AlurDEFHIKLMPS01 conf/hybrid/AlurBI01 conf/hybrid/AlurGLS01 conf/hybrid/AlurTP01 conf/icalp/AlurEY01 conf/icse/AlurAGHKKMMW01 conf/lics/AlurT01 journals/tocl/AlurETP01 journals/toplas/AlurY01 journals/fmsd/AlurBHQR01 journals/iandc/AlurH01 conf/cav/AlurGM00 conf/concur/Alur00 conf/fmcad/AlurGW00 conf/hybrid/AlurGHKL00 conf/icse/AlurEY00 conf/iser/AlurDEFGHKLLOPSST00 conf/popl/AlurG00 journals/iandc/AlurMP00 conf/cav/Alur99 conf/concur/AlurY99 conf/concur/AlurAHM99 conf/concur/AlurW99 conf/hybrid/AlurKT99 conf/icalp/AlurTEP99 conf/icalp/AlurKY99 conf/fm/AlurEKKL99 journals/fmsd/AlurH99 journals/fmsd/AlurH99a journals/fmsd/AlurH99b journals/ipl/AlurP99 journals/tcs/AlurFH99 conf/cav/AlurHMQRT98 conf/concur/AlurHKV98 conf/europar/MalonyA98 conf/fsttcs/Alur98 conf/icalp/AlurMP98 conf/rtss/AlurKV98 conf/sigsoft/AlurY98 conf/tacas/AlurHR98 journals/toplas/AlurH98 conf/cav/AlurBHQR97 conf/compos/AlurHK97 conf/concur/AlurH97 conf/focs/AlurHK97 conf/icse/AlurJKO97 journals/fmsd/AlurCH97 journals/siamcomp/AlurAT97 journals/sttt/AlurH97 conf/hybrid/1995 conf/cav/1996 conf/concur/TasiranAKB96 conf/lics/AlurH96 conf/lics/AlurMP96 conf/tacas/AlurHP96 journals/csur/Alur96 journals/dc/AlurT96 journals/tse/AlurHH96 journals/iandc/AlurT96 journals/jacm/AlurFH96 journals/stp/AlurHP96 conf/cav/AlurH95 conf/hybrid/AlurK95 conf/lics/AlurPP95 conf/stoc/AlurCY95 journals/iandc/AlurIKY95 journals/tcs/AlurCHHHNOSY95 conf/cav/AlurFH94 conf/concur/AlurCH94 conf/lics/AlurH94 conf/podc/AlurT94 conf/stoc/AlurAT94 journals/jacm/AlurH94 journals/tcs/AlurD94 conf/cav/AlurCH93 conf/rtss/AlurHH93 conf/spdp/AlurT93 conf/stoc/AlurHV93 journals/iandc/AlurCD93 journals/iandc/AlurH93 conf/cav/AlurIKY92 conf/concur/AlurCHDW92 conf/focs/AlurH92 conf/hybrid/AlurCHH92 conf/rtss/AlurT92 conf/rtss/AlurCDHW92 conf/icalp/AlurCD91 conf/podc/AlurFH91 conf/rex/AlurCD91 conf/rex/AlurD91 conf/rex/AlurH91 conf/icalp/AlurD90 conf/lics/AlurH90 conf/lics/AlurCD90 conf/focs/AlurH89
Copyright © 2009-11-27 by Michael Ley (ley@uni-trier.de)