Some Properties of Language Families Generated by Commutative Languages. - Juha Kortelainen (FCT, 1981)

A result concerning the trios generated by commutative slip-languages. - Juha Kortelainen (Discret. Appl. Math., 1982)

Every Commutative Quasirational Language is Regular. - Juha Kortelainen (RAIRO Theor. Informatics Appl., 1986)

The conjecture of Fliess on commutative context-free languages. - Juha Kortelainen (J. ACM, 1989)

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)

Polynomial Size Test Sets for Commutative Languages. - Ismo Hakala; Juha Kortelainen (RAIRO Theor. Informatics Appl., 1997)

On the System of Word Equations x0u1ix1u2ix2 ... umixm = y0v1iy1v2iy2 ... vniyn (i=0, 1, 2, ...) in a Free Monoid. - Juha Kortelainen (J. Autom. Lang. Comb., 1998)

Remarks about Commutative Context-Free Languages. - Juha Kortelainen (J. Comput. Syst. Sci., 1998)

On the System of Word Equations x0ui1x1ui2x2ui3x3=y0vi1y1vi2y2vi3y3(i=0, 1, 2, ...) in a Free Monoid. - Ismo Hakala; Juha Kortelainen (Theor. Comput. Sci., 1999)

Linear size test sets for certain commutative languages. - Stepan Holub; Juha Kortelainen (RAIRO Theor. Informatics Appl., 2001)

Polynomial Generators of Recursively Enumerable Languages. - Juha Kortelainen (Developments in Language Theory, 2005)

On systems of word equations with simple loop sets. - Stepan Holub; Juha Kortelainen (Theor. Comput. Sci., 2007)

Towards a Ready-to-Use Drivers' Vigilance Monitoring System. - Rodolfo Ibarra-Orozco; Miguel González-Mendoza 001; Neil Hernández-Gress; Frederik Diederichs; Juha Kortelainen (CIMCA/IAWTIC/ISE, 2008)

Parameterised Process Algebraic Verification by Precongruence Reduction. - Antti Siirtola; Juha Kortelainen (ACSD, 2009)

Algorithmic Verification with Multiple and Nested Parameters. - Antti Siirtola; Juha Kortelainen (ICFEM, 2009)

Combinatorial Multicollision Attacks on Generalized Iterated Hash Functions. - Kimmo Halunen; Juha Kortelainen; Tuomas Kortelainen (AISC, 2010)

Variants of Multicollision Attacks on Iterated Hash Functions. - Tuomas Kortelainen; Juha Kortelainen; Kimmo Halunen (Inscrypt, 2010)

CFD modelling as an integrated part of multi-level simulation of process plants: semantic modelling approach. - Marek Gayer; Juha Kortelainen; Tommi Karhela (SummerSim, 2010)

Multicollision attacks and generalized iterated hash functions. - Juha Kortelainen; Kimmo Halunen; Tuomas Kortelainen (J. Math. Cryptol., 2010)

There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages. - Juha Kortelainen; Tuukka Salmi (Developments in Language Theory, 2011)

Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functions. - Juha Kortelainen (WORDS, 2011)

On Partitions Separating Words. - Stepan Holub; Juha Kortelainen (Int. J. Algebra Comput., 2011)

Generalized Iterated Hash Fuctions Revisited: New Complexity Bounds for Multicollision Attacks. - Tuomas Kortelainen; Ari Vesanen; Juha Kortelainen (INDOCRYPT, 2012)

On Diamond Structures and Trojan Message Attacks. - Tuomas Kortelainen; Juha Kortelainen (ASIACRYPT (2), 2013)

Unavoidable regularities in long words with bounded number of symbol occurrences. - Juha Kortelainen; Tuomas Kortelainen; Ari Vesanen (J. Comb. Optim., 2013)

New Second Preimage Attack Variants against the MD-Structure. - Tuomas Kortelainen; Juha Kortelainen (CANS, 2014)

Semantic restrictions and rules in applications of multibody dynamics. - Juha Kortelainen; Aki Mikkola (Eng. Comput., 2015)

Multi-parameterised compositional verification of safety properties. - Antti Siirtola; Juha Kortelainen (Inf. Comput., 2015)

On simple generators of recursively enumerable languages. - Juha Kortelainen (J. Comput. Syst. Sci., 2015)

Thirty Years of Electro-Hybrid Powertrain Simulation. - Kari Tammi; Tatiana A. Minav; Juha Kortelainen (IEEE Access, 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)

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)

Enhancing Technical Simulations with Machine Learning. - Hamid Asgari; Juha Kortelainen; Mikko Tahkola (ERCIM News, 2020)

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; et al. (IEEE Access, 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)

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 (INDIN, 2023)