dblp keys for Tommi A. Junttila

Tommi A. Junttila

Keys

# of data records = 63

homepages/j/TommiAJunttila series/faia/DrechslerJN21 journals/jsc/JunttilaKKK20 conf/sat/JunttilaKKK17 journals/corr/JunttilaKKK17 journals/corr/LaitinenJN14 journals/corr/LaitinenJN14a conf/acsd/KindermannJN13 conf/lpar/LaitinenJN13 journals/corr/abs-1304-7209 journals/corr/LaitinenJN13 journals/scp/DubrovinJH12 conf/cp/LaitinenJN12 conf/formats/KindermannJN12 conf/forte/KindermannJN12 conf/ictai/LaitinenJN12 conf/sat/LaitinenJN12 journals/corr/abs-1204-5639 journals/corr/abs-1207-0988 journals/fuin/HyvarinenJN11 journals/iet-cdt/LauniainenHJ11 conf/acsd/KindermannJN11 conf/cp/HyvarinenJN11 conf/ictai/LaitinenJN11 conf/tapas/JunttilaK11 conf/acsd/LauniainenHJ10 conf/cp/JunttilaK10 conf/ecai/LaitinenJN10 conf/lpar/HyvarinenJN10 journals/constraints/JarvisaloJ09 journals/jsat/HyvarinenJN09 conf/aiia/HyvarinenJN09 conf/fmcad/CimattiDJR09 series/faia/DrechslerJN09 conf/aaai/JarvisaloJ08 conf/acsd/DubrovinJ08 conf/aimsa/HyvarinenJN08 conf/aisc/HyvarinenJN08 conf/ecai/JarvisaloJN08 conf/fmoods/DubrovinJH08 conf/lpar/JarvisaloJN08 conf/lpar/JunttilaD08 conf/alenex/JunttilaK07 conf/cp/JarvisaloJ07 journals/iandc/BozzanoBCJRRS06 journals/lmcs/BiereHJLS06 conf/cav/HeljankoJKLL06 conf/sat/HyvarinenJN06 journals/corr/abs-cs-0611029 journals/amai/JarvisaloJN05 journals/jar/BozzanoBCJRSS05 conf/cade/BozzanoBCJRSS05 conf/cav/HeljankoJL05 conf/cav/BozzanoBCJRRS05 conf/tacas/BozzanoBCJRSS05 conf/vmcai/LatvalaBHJ05 conf/acsd/Junttila04 conf/apn/Junttila04 conf/fmcad/LatvalaBHJ04 conf/isaim/JarvisaloJN04 journals/jucs/Junttila01 conf/cl/JunttilaN00 journals/fuin/Junttila99

a service of  Schloss Dagstuhl - Leibniz Center for Informatics