Keijo Heljanko
发表
Jivr'i Barnat,
Keijo Heljanko,
2011
.
Keijo Heljanko,
Antti Siirtola,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2012,
2012 12th International Conference on Application of Concurrency to System Design.
Keijo Heljanko,
Tommi A. Junttila,
Tuomas Kuismin,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Keijo Heljanko,
Antti Siirtola,
Keijo Heljanko,
2015,
ACM Trans. Embed. Comput. Syst..
Martin Lange,
Keijo Heljanko,
Roland Axelsson,
2008
.
Martin Lange,
Timo Latvala,
Keijo Heljanko,
2006,
CAV.
Siert Wieringa,
Keijo Heljanko,
Matti Niemenmaa,
2009,
PDMC.
Ilkka Niemelä,
Keijo Heljanko,
Keijo Heljanko,
2001,
Answer Set Programming.
Jeremy T. Bradley,
William J. Knottenbelt,
Nigel Thomas,
2013,
Electron. Notes Theor. Comput. Sci..
Javier Esparza,
Keijo Heljanko,
Hernán Ponce de León,
2017,
ACM Trans. Embed. Comput. Syst..
Keijo Heljanko,
Jori Dubrovin,
Xiang Gan,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Keijo Heljanko,
Kari Kähkönen,
2014
.
Ilkka Niemelä,
Jan-Erik Holmberg,
Keijo Heljanko,
2008
.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2013
.
Ilkka Niemelä,
Keijo Heljanko,
Kim Björkman,
2009
.
Keijo Heljanko,
Jussi Lahtinen,
Tuomas Kuismin,
2015,
Reliab. Eng. Syst. Saf..
Kary Främling,
Keijo Heljanko,
Andrea Buda,
2018,
2018 IEEE 4th World Forum on Internet of Things (WF-IoT).
Ilkka Niemelä,
Keijo Heljanko,
Keijo Heljanko,
2001,
Theory and Practice of Logic Programming.
Siert Wieringa,
Keijo Heljanko,
Keijo Heljanko,
2013,
SAT.
Alexander Jung,
Markku Hinkka,
Keijo Heljanko,
2018,
Business Process Management Workshops.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2014,
Automated Software Engineering.
Ilkka Niemelä,
Keijo Heljanko,
Jussi Lahtinen,
2012,
Reliab. Eng. Syst. Saf..
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2012,
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008
.
Timo Latvala,
Keijo Heljanko,
Keijo Heljanko,
2000,
Fundam. Informaticae.
Ilkka Niemelä,
Keijo Heljanko,
Kim Björkman,
2009
.
Keijo Heljanko,
Tommi Junttila,
Tuomas Launiainen,
2009
.
Eija Korpelainen,
Keijo Heljanko,
Matti Niemenmaa,
2011
.
Keijo Heljanko,
Jori Dubrovin,
Xiang Gan,
2011
.
Keijo Heljanko,
Jussi Lahtinen,
Tuomas Launiainen,
2012
.
Keijo Heljanko,
Tommi A. Junttila,
Tuomas Kuismin,
2011,
IET Comput. Digit. Tech..
Keijo Heljanko,
Keijo Heljanko,
1999,
Fundam. Informaticae.
Markku Hinkka,
Keijo Heljanko,
Teemu Lehto,
2019,
ADBIS.
Maciej Koutny,
Victor Khomenko,
Keijo Heljanko,
2002,
TACAS.
Markku Hinkka,
Keijo Heljanko,
Teemu Lehto,
2016,
2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP).
Keijo Heljanko,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Keijo Heljanko,
Tuomo Pyhälä,
Keijo Heljanko,
2003,
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
Keijo Heljanko,
2014
.
Patrik Simons,
Keijo Heljanko,
2001
.
Keijo Heljanko,
Alin Stefanescu,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Keijo Heljanko,
Olli Saarikivi,
2015,
NFM.
Ilkka Niemelä,
Keijo Heljanko,
Kari Kähkönen,
2009,
RV.
Keijo Heljanko,
1999,
Fundam. Informaticae.
Keijo Heljanko,
Kari Kähkönen,
2018,
ACM Trans. Embed. Comput. Syst..
Ilkka Niemelä,
Keijo Heljanko,
Kim Björkman,
2009
.
Keijo Heljanko,
Kari Kähkönen,
Jani Lampinen,
2009
.
Keijo Heljanko,
Olli Saarikivi,
2016,
TACAS.
Jeremy T. Bradley,
William J. Knottenbelt,
Nigel Thomas,
2013
.
Armin Biere,
Gianpiero Cabodi,
Stefano Quer,
2014,
J. Satisf. Boolean Model. Comput..
Patrik Simons,
Keijo Heljanko,
2001
.
Johan Lilius,
Keijo Heljanko,
Kimmo Varpaaniemi,
1997,
CAV.
Keijo Heljanko,
Kari Kähkönen,
2014,
TAP@STAF.
Jens Brandt,
Keijo Heljanko,
Keijo Heljanko,
2012
.
Armin Biere,
Timo Latvala,
Keijo Heljanko,
2005,
VMCAI.
Veli Mäkinen,
Keijo Heljanko,
Daniel Valenzuela,
2020,
BigData.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008,
Monographs in Theoretical Computer Science. An EATCS Series.
Jens Brandt,
Keijo Heljanko,
2012,
ACSD 2012.
Iiro Harjunkoski,
Keijo Heljanko,
Teemu J. Ikonen,
2020,
Comput. Chem. Eng..
Kimmo Valkealahti,
Keijo Heljanko,
Tomi Janhunen,
2000
.
Roland Meyer,
Keijo Heljanko,
Hernán Ponce de León,
2019,
CAV.
Ilkka Niemelä,
Keijo Heljanko,
Ilkka Karanta,
2008
.
Eija Korpelainen,
Gianluigi Zanetti,
Keijo Heljanko,
2013,
Bioinform..
Keijo Heljanko,
Keijo Heljanko,
2002
.
Ilkka Niemelä,
Jussi Rintanen,
Keijo Heljanko,
2004,
JELIA.
Keijo Heljanko,
Tuomo Pyhälä,
Keijo Heljanko,
2003
.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2001,
SPIN '01.
Ilkka Niemelä,
Jan-Erik Holmberg,
Keijo Heljanko,
2008
.
Keijo Heljanko,
Joakim Dillner,
Davit Bzhalava,
2017,
Bioinform..
Javier Esparza,
Keijo Heljanko,
Hernán Ponce de León,
2015,
2015 15th International Conference on Application of Concurrency to System Design.
Keijo Heljanko,
Tommi A. Junttila,
Jori Dubrovin,
2008,
FMOODS.
Keijo Heljanko,
Keijo Heljanko,
2001,
CONCUR.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008
.
Keijo Heljanko,
Keijo Heljanko,
2000,
CONCUR.
Jérémy Robert,
Kary Främling,
Keijo Heljanko,
2019,
2019 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops).
Ilkka Niemelä,
Keijo Heljanko,
2000
.
Keijo Heljanko,
Heikki Tauriainen,
Keijo Heljanko,
2002,
International Journal on Software Tools for Technology Transfer.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2000,
ICALP.
Armin Biere,
Tom van Dijk,
Keijo Heljanko,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Viktor Schuppan,
Armin Biere,
Timo Latvala,
2006,
Log. Methods Comput. Sci..
Siert Wieringa,
Keijo Heljanko,
Keijo Heljanko,
2013,
TACAS.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008
.
Ilkka Niemelä,
Keijo Heljanko,
2003,
Theory Pract. Log. Program..
Roland Meyer,
Keijo Heljanko,
Hernán Ponce de León,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Eija Korpelainen,
Keijo Heljanko,
Matti Niemenmaa,
2012,
Bioinform..
Ilkka Niemelä,
Keijo Heljanko,
Kari Kähkönen,
2010,
SPIN.
Stavros Tripakis,
Keijo Heljanko,
Antti Siirtola,
2015,
ACSD.
Alexander Jung,
Markku Hinkka,
Keijo Heljanko,
2017,
Business Process Management Workshops.
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation: Preface
Keijo Heljanko,
Jiří Barnat,
2011
.
Roland Meyer,
Keijo Heljanko,
Hernán Ponce de León,
2017,
SAS.
Stavros Tripakis,
Keijo Heljanko,
Antti Siirtola,
2015,
2015 15th International Conference on Application of Concurrency to System Design.
Keijo Heljanko,
Tuomas Kuismin,
2013,
Haifa Verification Conference.
Roland Meyer,
Keijo Heljanko,
Hernán Ponce de León,
2020,
TACAS.
Keijo Heljanko,
Tommi Junttila,
Jori Dubrovin,
2008
.
Keijo Heljanko,
Tommi A. Junttila,
Jori Dubrovin,
2012,
Sci. Comput. Program..
Ilkka Niemelä,
Keijo Heljanko,
Olli Saarikivi,
2011
.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008
.
Keijo Heljanko,
Ilkka Niemelä,
Kim Björkman,
2009
.
Keijo Heljanko,
Jori Dubrovin,
Xiang Gan,
2012
.
Tero Tyrväinen,
Keijo Heljanko,
Kim Björkman,
2013
.
Keijo Heljanko,
Heikki Tauriainen,
Keijo Heljanko,
2000,
SPIN.
Timo Latvala,
Keijo Heljanko,
Tommi A. Junttila,
2005,
CAV.
Ilkka Niemelä,
Keijo Heljanko,
Toni Jussila,
2003,
Electron. Notes Theor. Comput. Sci..
Roland Meyer,
Keijo Heljanko,
Hernán Ponce de León,
2017,
ArXiv.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008
.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2012
.
Keijo Heljanko,
Antti Siirtola,
Keijo Heljanko,
2020,
Sci. Comput. Program..
Keijo Heljanko,
Kari Kähkönen,
2014,
2014 14th International Conference on Application of Concurrency to System Design.
Armin Biere,
Timo Latvala,
Keijo Heljanko,
2004,
FMCAD.
Martin Lange,
Keijo Heljanko,
Roland Axelsson,
2008,
ICALP.
Ilkka Niemelä,
Keijo Heljanko,
Olli Saarikivi,
2011
.
Jérémy Robert,
Keijo Heljanko,
Kary Främling,
2020,
Journal of Grid Computing.
Siert Wieringa,
Keijo Heljanko,
Matti Niemenmaa,
2009
.
Keijo Heljanko,
Olli Saarikivi,
2016,
J. Log. Algebraic Methods Program..
Keijo Heljanko,
Armin Biere,
Zhengqi Yu,
2019,
ICFEM.
Ilkka Niemelä,
Keijo Heljanko,
Toni Jussila,
2004,
International Journal on Software Tools for Technology Transfer.
Keijo Heljanko,
Antti Siirtola,
Keijo Heljanko,
2018,
FACS.
Eija Korpelainen,
Keijo Heljanko,
Luca Pireddu,
2013
.
Javier Esparza,
Keijo Heljanko,
Keijo Heljanko,
2008
.
Johan Lilius,
Keijo Heljanko,
Kimmo Varpaaniemi,
1996
.
Josep Carmona,
Stefan Haar,
Keijo Heljanko,
2015,
ATVA.
Ilkka Niemelä,
Keijo Heljanko,
Ilkka Karanta,
2008
.
Ilkka Niemelä,
Jan-Erik Holmberg,
Keijo Heljanko,
2008
.
Ilkka Niemelä,
Keijo Heljanko,
Kari Kähkönen,
2010
.
Iiro Harjunkoski,
Hossein Mostafaei,
Keijo Heljanko,
2020
.
Keijo Heljanko,
Olli Saarikivi,
Kari Kähkönen,
2013
.
Ilkka Niemelä,
Jussi Rintanen,
Keijo Heljanko,
2006,
Artif. Intell..
Michael Baldea,
Iiro Harjunkoski,
Thomas F. Edgar,
2021,
Industrial & Engineering Chemistry Research.
Armin Biere,
Keijo Heljanko,
Emily Yu,
2021,
CAV.
Jan-Erik Holmberg,
Keijo Heljanko,
Kim Björkman,
2008
.
Keijo Heljanko,
2011
.
Markku Hinkka,
Keijo Heljanko,
Teemu Lehto,
2019,
SIMPDA.
Keijo Heljanko,
Keijo Heljanko,
1996
.