Juha Kortelainen

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