| |
# of records = 164
homepages/l/KimGuldstrandLarsen conf/fm/LarsenLNP09 conf/fm/HjortRLPS09 conf/formats/BulychevCDL09 conf/hybrid/CassezJLRR09 conf/ictac/BenesKLS09 conf/tase/Larsen09 conf/tfm/AcetoILS09 journals/entcs/FahrenbergL09 journals/entcs/AntonikHLNW09 journals/entcs/FahrenbergL09a journals/tcs/BenesKLS09 conf/date/DavidLLN08 conf/formats/BouyerFLMS08 conf/fossacs/AntonikHLNW08 conf/fortest/HesselLMNPS08 conf/jtres/BogholmKOTL08 conf/tacas/KupferschmidHL08 journals/corr/abs-0805-1457 journals/entcs/DavidLLN08 journals/fmsd/BouyerBL08 journals/lmcs/BouyerLM08 journals/tcs/LarsenR08 conf/atva/CassezDLLR07 conf/cav/BehrmannCDFLL07 conf/concur/LarsenNW07 conf/esop/LarsenNW07 conf/formats/DierksKL07 conf/formats/JessenRLD07 conf/fossacs/BouyerLM07 conf/tacas/RasmussenBL07 journals/sttt/LarsenNW07 conf/caine/SchiolerJDL06 conf/fm/LarsenNW06 conf/formats/DavidHLP06 conf/fsttcs/BouyerLMR06 conf/qest/BehrmannDLHPYH06 journals/fmsd/RasmussenLS06 journals/jec/SchiolerNLJ06 journals/sttt/BehrmannBLP06 conf/concur/CassezDFLL05 conf/cata/SchiolerJDL05 conf/emsoft/LarsenMNS05 conf/fase/LarsenLW05 conf/formats/BehrmannLR05 conf/fossacs/LarsenR05 conf/sac/DiazLPCV05 journals/entcs/BouyerCFL05 journals/sigmetrics/BehrmannLR05 conf/kbse/MikucionisLN04 conf/fates/LarsenMN04 conf/fmco/BehrmannLR04 conf/fsttcs/BouyerCFL04 conf/hybrid/BouyerBL04 conf/dagstuhl/LarsenMN04 conf/sfm/BehrmannDL04 conf/tacas/RasmussenLS04 conf/tacas/BehrmannBLP04 conf/formats/2003 conf/cav/BehrmannLP03 conf/emsoft/Larsen03 conf/fates/HesselLNPS03 conf/formats/HesselLNPS03 conf/formats/HendriksBLNV03 conf/spin/DavidBLY03 conf/tacas/BehrmannBFL03 journals/ita/EsikL03 journals/rts/LarsenLPY03 journals/tcs/AcetoBBL03 conf/cav/2002 conf/unu/DavidBLY02 conf/ftrtft/BehrmannBDLPY02 conf/papm/DArgenioJJL02 journals/entcs/HendriksL02 journals/fmsd/BehrmannLAHL02 journals/jlp/BengtssonGKLLPY02 conf/concur/2001 conf/cav/LarsenBBFHPR01 conf/hybrid/BehrmannFHLPRV01 conf/papm/DArgenioJJL01 journals/fmsd/Lind-NielsenAHBKL01 journals/njc/HuneLP01 conf/concur/CassezL00 conf/ecrts/IversenKLLMMPT00 conf/ftrtft/JensenLS00 conf/apn/Larsen00 conf/icdcsw/HuneLP00 conf/movep/AmnellBBDDFHJLMPWY00 journals/computer/StaunstrupAHLLBKSLT00 conf/arts/HavelundLS99 conf/cav/BehrmannLPWY99 conf/tacas/BehrmannLAHL99 journals/njc/LarsenPWY99 conf/icalp/1998 conf/forte/LaroussinieL98 conf/fsttcs/AcetoBBL98 conf/tacas/Lind-NielsenABHKL98 conf/tacas/AcetoBL98 conf/cav/LarsenPY97 conf/rtss/LarsenLPY97 conf/rtss/HavelundSLL97 conf/tapsoft/KristoffersenLLPY97 journals/iandc/LarsenW97 journals/sttt/LarsenPY97 journals/sttt/LarsenSW97 conf/cav/BengtssonGKLLPY96 conf/tacas/BengtssonLLPY96 conf/tacas/1995 conf/concur/LaroussinieL95 conf/fct/LarsenPY95 conf/hybrid/BengtssonLLPY95 conf/hybrid/LarsenPY95 conf/hybrid/LarsenSW95 conf/icalp/AndersenKLN95 conf/rtss/LarsenPY95 conf/mfcs/GodskesenL95 conf/mfcs/LaroussinieLW95 conf/tacas/LarsenSW95 journals/fmsd/BorjessonLS95 journals/njc/GodskesenL95 conf/dagstuhl/LarsenSW94 conf/pstv/GodskesenLS94 conf/pstv/HavelundL94 journals/njc/HavelundL94 conf/cav/CeransGL93 conf/concur/JensenLJL93 conf/icalp/HavelundL93 conf/mfps/LarsenY93 journals/tcs/Larsen93 conf/cav/1991 conf/cav/Larsen92 conf/concur/LarsenS92 conf/forte/BorjessonLS92 conf/fsttcs/GodskesenL92 conf/napaw/GodskesenL92 conf/pstv/YiL92 journals/iandc/LarsenM92 journals/tcs/BoudolL92 conf/cav/HolmerLY91 conf/icalp/Larsen91 conf/lics/JonssonL91 conf/tapsoft/JonssonL91 journals/iandc/LarsenW91 journals/iandc/LarsenS91 journals/logcom/LarsenX91 journals/tcs/LarsenT91 conf/caap/BoudolL90 conf/concur/Larsen90 conf/icalp/LarsenX90 conf/lics/LarsenX90 journals/tcs/Larsen90 conf/avmfss/Larsen89 conf/ershov/HuttelL89 conf/popl/LarsenS89 conf/rex/Larsen89 conf/caap/Larsen88 conf/lics/LarsenT88 conf/mfcs/LarsenT88 conf/icalp/LarsenM87 journals/tcs/Larsen87 journals/tcs/JensenL87 conf/fsttcs/JensenL85 conf/icalp/Larsen85 conf/sdt/WinskelL84
Copyright © 2009-11-26 by Michael Ley (ley@uni-trier.de)