| |
# of records = 119
homepages/s/JosephSifakis conf/cav/Sifakis09 conf/cav/BensalemBNS09 conf/cav/BasuBPS09 conf/date/Sifakis09 conf/wdag/BasuBBS09 conf/emsoft/BozgaSS09 conf/apn/Sifakis09 conf/sies/BozgaJS09 conf/spin/Sifakis09 conf/spin/QueilleS08 conf/atva/BensalemBSN08 conf/concur/BliudzeS08 conf/ecai/BasuGLNBIS08 conf/forte/BasuBBS08 conf/models/ChkouriRBS08 journals/tc/BliudzeS08 journals/rts/CombazFSS08 conf/emsoft/BliudzeS07 conf/fmco/BliudzeS07 conf/ipps/CombazFSS07 conf/nca/BasuMPPS07 conf/sofsem/GosslerGMMS07 journals/computer/HenzingerS07 conf/fm/HenzingerS06 conf/ipps/Sifakis06 conf/monterey/PoulhiesPRS06 conf/birthday/GosslerGMMS06 conf/sefm/BasuBS06 books/sp/BouyssounouseS05 conf/date/CombazFLS05 conf/emsoft/CombazFLS05 conf/sefm/Sifakis05 journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05 journals/scp/GosslerS05 conf/opodis/Sifakis04 conf/rtss/Sifakis04 conf/sfm/BozgaGOOS04 conf/fmco/GosslerS03 conf/fsttcs/GosslerS03 journals/pieee/SifakisTY03 conf/emsoft/2002 conf/fmco/GosslerS02 conf/ftrtft/Sifakis02 journals/entcs/ButtazzoEHPS02 journals/rts/AltisenGS02 conf/cav/ClossePPSVWY01 conf/emsoft/Sifakis01 conf/ecrts/BertinPPS00 conf/ftrtft/AltisenGS00 conf/tacas/BornotGS00 journals/iandc/BornotS00 conf/cav/Sifakis99 conf/rtss/AltisenGPSTY99 conf/sdl/BozgaFGGKMS99 conf/fm/Sifakis99 journals/iandc/KestenPSY99 conf/ftrtft/Sifakis98 conf/hybrid/BornotS98 conf/compos/BornotST97 conf/hybrid/BornotS97 conf/apn/Sifakis97 conf/ftcs/AyacheCHRSG96 conf/stacs/SifakisY96 journals/csur/Sifakis96a journals/csur/Sifakis96 conf/forte/Sifakis95 conf/isss/Sifakis95 conf/stacs/MalerPS95 journals/fmsd/LoiseauxGSBB95 journals/tcs/AlurCHHHNOSY95 conf/cav/OliveroSY94 conf/concur/FernandezSS94 journals/iandc/HenzingerNSY94 journals/iandc/NicollinS94 conf/lics/BouajjaniES93 journals/acta/NicollinSY93 conf/cav/BensalemBLS92 conf/hybrid/NicollinOSY92 conf/hybrid/KestenPSY92 conf/icse/FernandezGMRRS92 conf/lics/HenzingerNSY92 journals/tse/NicollinSY92 conf/cav/NicollinS91 conf/cav/CourcoubetisGS91 conf/icalp/BouajjaniFGRS91 conf/rex/NicollinS91 conf/rex/NicollinSY91 conf/tapsoft/BouajjaniS91 conf/avmfss/1989 conf/pstv/GaravelS90 conf/rex/BouajjaniGS88 conf/icalp/GrafS87 conf/pstv/RichierRSV87 conf/tls/GrafS87 conf/ifip/Sifakis86 journals/acta/GrafS86 journals/iandc/GrafS86a journals/iandc/GrafS86b conf/lop/GrafS85 conf/icalp/GrafS84 conf/lop/Sifakis83 conf/acs/FernandezSS83 journals/acta/QueilleS83 conf/focs/QueilleS82 conf/icalp/Sifakis82 conf/moreal/Sifakis82 conf/programm/QueilleS82 journals/iandc/Sifakis82 journals/tcs/Sifakis82 conf/apn/QueilleS81 conf/mfcs/Sifakis80 journals/actaC/Sifakis80 conf/mfcs/MoallaPS78 conf/mfcs/Sifakis78 conf/performance/Sifakis77 conf/isca/MoallaSSZ76 conf/ac/Sifakis75 conf/ac/AndreDGS75
Copyright © 2009-11-20 by Michael Ley (ley@uni-trier.de)