| |
# of records = 31
homepages/h/KeijoHeljanko conf/rv/KahkonenLHN09 conf/fmoods/DubrovinJH08 conf/icalp/AxelssonHL08 conf/cav/HeljankoJKLL06 journals/ai/RintanenHN06 journals/corr/abs-cs-0611029 journals/lmcs/BiereHJLS06 conf/acsd/HeljankoS05 conf/cav/HeljankoJL05 conf/vmcai/LatvalaBHJ05 journals/sttt/JussilaHN05 conf/fmcad/LatvalaBHJ04 conf/jelia/RintanenHN04 conf/acsd/PyhalaH03 journals/corr/cs-LO-0305040 journals/entcs/JussilaHN03 journals/tplp/HeljankoN03 conf/tacas/HeljankoKK02 journals/sttt/TauriainenH02 conf/asp/HeljankoN01 conf/concur/Heljanko01 conf/lpnmr/HeljankoN01 conf/spin/EsparzaH01 conf/concur/Heljanko00 conf/icalp/EsparzaH00 conf/spin/TauriainenH00 journals/fuin/LatvalaH00 conf/tacas/Heljanko99 journals/fuin/Heljanko99 conf/cav/VarpaaniemiHL97
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)