Juha Kortelainen

According to our database, Juha Kortelainen authored at least 36 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A microservices-based architecture for data and software management of heavy equipment digital twins.

Victor Zhidchenko, Egor Startcev, Juha Kortelainen, Akhtar Zeb, Leo Torvikoski, Saeid Torkabadi, Heikki Handroos

Proceedings of the 21st IEEE International Conference on Industrial Informatics, 2023

2022

On the alleviation of imminent technical and business challenges of long-lasting functional digital twins.

Akhtar Zeb, Juha Kortelainen, Tero Rantala, Minna Saunila, Juhani Ukko

Comput. Ind., 2022

Physics-Based Digital Twins Merging With Machines: Cases of Mobile Log Crane and Rotating Machine.

Emil Kurvinen, Antero Kutvonen, Juhani Ukko, Qasim Khadim, Yashar Shabbouei Hagh, Suraj Jaiswal, Neda Neisi, Victor Zhidchenko, Juha Kortelainen, Mira Timperi, Kirsi Kokkonen, Juha Virtanen, Akhtar Zeb, Ville Lämsä, Vesa Nieminen, Jukka Junttila, Mikko Savolainen, Tuija Rantala, Tiina Valjakka, Ilkka Donoghue, Kalle Elfvengren, Mina Nasiri, Tero Rantala, Ilya Kurinov, Eerik Sikanen, Lauri Pyrhönen, Lea Hannola, Heikki Handroos, Hannu Rantanen, Minna Saunila, Jussi T. Sopanen, Aki Mikkola

IEEE Access, 2022

2020

Enhancing Technical Simulations with Machine Learning.

Hamid Asgari, Juha Kortelainen, Mikko Tahkola

ERCIM News, 2020

Surrogate Modeling of Electrical Machine Torque Using Artificial Neural Networks.

Mikko Tahkola, Janne Keränen, Denis Sedov, Mehrnaz Farzam Far, Juha Kortelainen

IEEE Access, 2020

2018

Automatic Generation of Simulation-based Digital Twins of Industrial Process Plants.

Gerardo Santillán Martínez, Tommi Karhela, Reino Ruusu, Juha Kortelainen

ERCIM News, 2018

Thirty Years of Electro-Hybrid Powertrain Simulation.

Kari Tammi, Tatiana A. Minav, Juha Kortelainen

IEEE Access, 2018

2015

On simple generators of recursively enumerable languages.

Juha Kortelainen

J. Comput. Syst. Sci., 2015

Multi-parameterised compositional verification of safety properties.

Antti Siirtola, Juha Kortelainen

Inf. Comput., 2015

Semantic restrictions and rules in applications of multibody dynamics.

Juha Kortelainen, Aki Mikkola

Eng. Comput., 2015

2014

New Second Preimage Attack Variants against the MD-Structure.

Tuomas Kortelainen, Juha Kortelainen

Proceedings of the Cryptology and Network Security - 13th International Conference, 2014

2013

Unavoidable regularities in long words with bounded number of symbol occurrences.

Juha Kortelainen, Tuomas Kortelainen, Ari Vesanen

J. Comb. Optim., 2013

On Diamond Structures and Trojan Message Attacks.

Tuomas Kortelainen, Juha Kortelainen

Proceedings of the Advances in Cryptology - ASIACRYPT 2013, 2013

2012

Generalized Iterated Hash Fuctions Revisited: New Complexity Bounds for Multicollision Attacks.

Tuomas Kortelainen, Ari Vesanen, Juha Kortelainen

Proceedings of the Progress in Cryptology, 2012

2011

On Partitions Separating Words.

Stepan Holub, Juha Kortelainen

Int. J. Algebra Comput., 2011

Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functions.

Juha Kortelainen

Proceedings of the Proceedings 8th International Conference Words 2011, 2011

There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages.

Juha Kortelainen, Tuukka Salmi

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

2010

Multicollision attacks and generalized iterated hash functions.

Juha Kortelainen, Kimmo Halunen, Tuomas Kortelainen

J. Math. Cryptol., 2010

CFD modelling as an integrated part of multi-level simulation of process plants: semantic modelling approach.

Marek Gayer, Juha Kortelainen, Tommi Karhela

Proceedings of the SummerSim '10, 2010

Variants of Multicollision Attacks on Iterated Hash Functions.

Tuomas Kortelainen, Juha Kortelainen, Kimmo Halunen

Proceedings of the Information Security and Cryptology - 6th International Conference, 2010

Combinatorial Multicollision Attacks on Generalized Iterated Hash Functions.

Kimmo Halunen, Juha Kortelainen, Tuomas Kortelainen

Proceedings of the 8th Australasian Information Security Conference 2010, 2010

2009

Algorithmic Verification with Multiple and Nested Parameters.

Antti Siirtola, Juha Kortelainen

Proceedings of the Formal Methods and Software Engineering, 2009

Parameterised Process Algebraic Verification by Precongruence Reduction.

Antti Siirtola, Juha Kortelainen

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Towards a Ready-to-Use Drivers' Vigilance Monitoring System.

Rodolfo Ibarra-Orozco, Miguel González-Mendoza, Neil Hernández-Gress, Frederik Diederichs, Juha Kortelainen

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

2007

On systems of word equations with simple loop sets.

Stepan Holub, Juha Kortelainen

Theor. Comput. Sci., 2007

2005

Polynomial Generators of Recursively Enumerable Languages.

Juha Kortelainen

Proceedings of the Developments in Language Theory, 9th International Conference, 2005

2001

Linear size test sets for certain commutative languages.

Stepan Holub, Juha Kortelainen

RAIRO Theor. Informatics Appl., 2001

1999

On the System of Word Equations <i>x</i>₀<i>u</i>^<i>i</i>₁<i>x</i>₁<i>u</i>^<i>i</i>₂<i>x</i>₂<i>u</i>^<i>i</i>₃<i>x</i>₃=<i>y</i>₀<i>v</i>^<i>i</i>₁<i>y</i>₁<i>v</i>^<i>i</i>₂<i>y</i>₂<i>v</i>^<i>i</i>₃<i>y</i>₃(<i>i</i>=0, 1, 2, ...) in a Free Monoid.

Ismo Hakala, Juha Kortelainen

Theor. Comput. Sci., 1999

1998

Remarks about Commutative Context-Free Languages.

Juha Kortelainen

J. Comput. Syst. Sci., 1998

On the System of Word Equations x₀u₁ⁱx₁u₂ⁱx₂ ... u_mⁱx_m = y₀v₁ⁱy₁v₂ⁱy₂ ... v_nⁱy_n (i=0, 1, 2, ...) in a Free Monoid.

Juha Kortelainen

J. Autom. Lang. Comb., 1998

1997

Polynomial Size Test Sets for Commutative Languages.

Ismo Hakala, Juha Kortelainen

RAIRO Theor. Informatics Appl., 1997

On the System of word equations x^i_1 x^i_2 ... x^i_m = y^i_1 y^i_2 ...y^i_n (i=1, 2, ...) in a Free Monoid.

Ismo Hakala, Juha Kortelainen

Acta Informatica, 1997

1989

The conjecture of Fliess on commutative context-free languages.

Juha Kortelainen

J. ACM, 1989

1986

Every Commutative Quasirational Language is Regular.

Juha Kortelainen

RAIRO Theor. Informatics Appl., 1986

1982

A result concerning the trios generated by commutative slip-languages.

Juha Kortelainen

Discret. Appl. Math., 1982

1981

Some Properties of Language Families Generated by Commutative Languages.

Juha Kortelainen

Proceedings of the Fundamentals of Computation Theory, 1981