Juha Kortelainen

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 10

Top Topics

Industrial Process

Top Venues

J. Comput. Syst. Sci.

Publications

Victor Zhidchenko, Egor Startcev, Juha Kortelainen, Akhtar Zeb, Leo Torvikoski, Saeid Torkabadi, Heikki Handroos
A microservices-based architecture for data and software management of heavy equipment digital twins. INDIN (2023)
Akhtar Zeb, Juha Kortelainen, Tero Rantala, Minna Saunila, Juhani Ukko
On the alleviation of imminent technical and business challenges of long-lasting functional digital twins. Comput. Ind. 141 (2022)
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
Physics-Based Digital Twins Merging With Machines: Cases of Mobile Log Crane and Rotating Machine. IEEE Access 10 (2022)
Hamid Asgari, Juha Kortelainen, Mikko Tahkola
Enhancing Technical Simulations with Machine Learning. ERCIM News 2020 (122) (2020)
Mikko Tahkola, Janne Keränen, Denis Sedov, Mehrnaz Farzam Far, Juha Kortelainen
Surrogate Modeling of Electrical Machine Torque Using Artificial Neural Networks. IEEE Access 8 (2020)
Gerardo Santillán Martínez, Tommi Karhela, Reino Ruusu, Juha Kortelainen
Automatic Generation of Simulation-based Digital Twins of Industrial Process Plants. ERCIM News 2018 (115) (2018)
Kari Tammi, Tatiana A. Minav, Juha Kortelainen
Thirty Years of Electro-Hybrid Powertrain Simulation. IEEE Access 6 (2018)
Antti Siirtola, Juha Kortelainen
Multi-parameterised compositional verification of safety properties. Inf. Comput. 244 (2015)
Juha Kortelainen, Aki Mikkola
Semantic restrictions and rules in applications of multibody dynamics. Eng. Comput. 31 (1) (2015)
Juha Kortelainen
On simple generators of recursively enumerable languages. J. Comput. Syst. Sci. 81 (1) (2015)
Tuomas Kortelainen, Juha Kortelainen
New Second Preimage Attack Variants against the MD-Structure. CANS (2014)
Tuomas Kortelainen, Juha Kortelainen
On Diamond Structures and Trojan Message Attacks. ASIACRYPT (2) (2013)
Juha Kortelainen, Tuomas Kortelainen, Ari Vesanen
Unavoidable regularities in long words with bounded number of symbol occurrences. J. Comb. Optim. 26 (4) (2013)
Tuomas Kortelainen, Ari Vesanen, Juha Kortelainen
Generalized Iterated Hash Fuctions Revisited: New Complexity Bounds for Multicollision Attacks. INDOCRYPT (2012)
Stepan Holub, Juha Kortelainen
On Partitions Separating Words. Int. J. Algebra Comput. 21 (8) (2011)
Juha Kortelainen
Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functions. WORDS (2011)
Juha Kortelainen, Tuomas Kortelainen, Ari Vesanen
Unavoidable Regularities in Long Words with Bounded Number of Symbol Occurrences. COCOON (2011)
Juha Kortelainen, Tuukka Salmi
There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages. Developments in Language Theory (2011)
Juha Kortelainen, Kimmo Halunen, Tuomas Kortelainen
Multicollision attacks and generalized iterated hash functions. J. Math. Cryptol. 4 (3) (2010)
Kimmo Halunen, Juha Kortelainen, Tuomas Kortelainen
Combinatorial Multicollision Attacks on Generalized Iterated Hash Functions. AISC (2010)
Tuomas Kortelainen, Juha Kortelainen, Kimmo Halunen
Variants of Multicollision Attacks on Iterated Hash Functions. Inscrypt (2010)
Marek Gayer, Juha Kortelainen, Tommi Karhela
CFD modelling as an integrated part of multi-level simulation of process plants: semantic modelling approach. SummerSim (2010)
Antti Siirtola, Juha Kortelainen
Algorithmic Verification with Multiple and Nested Parameters. ICFEM (2009)
Antti Siirtola, Juha Kortelainen
Parameterised Process Algebraic Verification by Precongruence Reduction. ACSD (2009)
Rodolfo Ibarra-Orozco, Miguel González-Mendoza, Neil Hernández-Gress, Frederik Diederichs, Juha Kortelainen
Towards a Ready-to-Use Drivers' Vigilance Monitoring System. CIMCA/IAWTIC/ISE (2008)
Stepan Holub, Juha Kortelainen
On systems of word equations with simple loop sets. Theor. Comput. Sci. 380 (3) (2007)
Juha Kortelainen
Polynomial Generators of Recursively Enumerable Languages. Developments in Language Theory (2005)
Stepan Holub, Juha Kortelainen
Linear size test sets for certain commutative languages. RAIRO Theor. Informatics Appl. 35 (5) (2001)
Ismo Hakala, Juha Kortelainen
=0, 1, 2, ...) in a Free Monoid. Theor. Comput. Sci. 225 (1-2) (1999)
Juha Kortelainen
(i=0, 1, 2, ...) in a Free Monoid. J. Autom. Lang. Comb. 3 (1) (1998)
Juha Kortelainen
Remarks about Commutative Context-Free Languages. J. Comput. Syst. Sci. 56 (1) (1998)
Ismo Hakala, Juha Kortelainen
Polynomial Size Test Sets for Commutative Languages. RAIRO Theor. Informatics Appl. 31 (3) (1997)
Ismo Hakala, Juha Kortelainen
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. Acta Informatica 34 (3) (1997)
Juha Kortelainen
The conjecture of Fliess on commutative context-free languages. J. ACM 36 (4) (1989)
Juha Kortelainen
Every Commutative Quasirational Language is Regular. RAIRO Theor. Informatics Appl. 20 (3) (1986)
Juha Kortelainen
Every Commutative Quasirational Language is Regular. ICALP (1985)
Juha Kortelainen
A result concerning the trios generated by commutative slip-languages. Discret. Appl. Math. 4 (3) (1982)
Juha Kortelainen
Some Properties of Language Families Generated by Commutative Languages. FCT (1981)