default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuha Kortelainen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c16]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: 1-8- 2022
- [j20]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: 45962-45978 (2022) - [j19]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: 103701 (2022) - 2020
- [j18]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: 220027-220045 (2020) - [i2]Hamid Asgari, Juha Kortelainen, Mikko Tahkola:
Enhancing Technical Simulations with Machine Learning. ERCIM News 2020(122) (2020)
2010 – 2019
- 2018
- [j17]Kari Tammi, Tatiana A. Minav, Juha Kortelainen:
Thirty Years of Electro-Hybrid Powertrain Simulation. IEEE Access 6: 35250-35259 (2018) - [i1]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) - 2015
- [j16]Juha Kortelainen, Aki Mikkola:
Semantic restrictions and rules in applications of multibody dynamics. Eng. Comput. 31(1): 85-97 (2015) - [j15]Antti Siirtola, Juha Kortelainen:
Multi-parameterised compositional verification of safety properties. Inf. Comput. 244: 23-48 (2015) - [j14]Juha Kortelainen:
On simple generators of recursively enumerable languages. J. Comput. Syst. Sci. 81(1): 249-257 (2015) - 2014
- [c15]Tuomas Kortelainen, Juha Kortelainen:
New Second Preimage Attack Variants against the MD-Structure. CANS 2014: 98-110 - 2013
- [j13]Juha Kortelainen, Tuomas Kortelainen, Ari Vesanen:
Unavoidable regularities in long words with bounded number of symbol occurrences. J. Comb. Optim. 26(4): 670-686 (2013) - [c14]Tuomas Kortelainen, Juha Kortelainen:
On Diamond Structures and Trojan Message Attacks. ASIACRYPT (2) 2013: 524-539 - 2012
- [c13]Tuomas Kortelainen, Ari Vesanen, Juha Kortelainen:
Generalized Iterated Hash Fuctions Revisited: New Complexity Bounds for Multicollision Attacks. INDOCRYPT 2012: 172-190 - 2011
- [j12]Stepan Holub, Juha Kortelainen:
On Partitions Separating Words. Int. J. Algebra Comput. 21(8): 1305-1316 (2011) - [c12]Juha Kortelainen, Tuomas Kortelainen, Ari Vesanen:
Unavoidable Regularities in Long Words with Bounded Number of Symbol Occurrences. COCOON 2011: 519-530 - [c11]Juha Kortelainen, Tuukka Salmi:
There Does Not Exist a Minimal Full Trio with Respect to Bounded Context-Free Languages. Developments in Language Theory 2011: 312-323 - [c10]Juha Kortelainen:
Combinatorics on words in information security: Unavoidable regularities in the construction of multicollision attacks on iterated hash functions. WORDS 2011: 22-29 - 2010
- [j11]Juha Kortelainen, Kimmo Halunen, Tuomas Kortelainen:
Multicollision attacks and generalized iterated hash functions. J. Math. Cryptol. 4(3): 239-270 (2010) - [c9]Kimmo Halunen, Juha Kortelainen, Tuomas Kortelainen:
Combinatorial Multicollision Attacks on Generalized Iterated Hash Functions. AISC 2010: 86-93 - [c8]Tuomas Kortelainen, Juha Kortelainen, Kimmo Halunen:
Variants of Multicollision Attacks on Iterated Hash Functions. Inscrypt 2010: 139-154 - [c7]Marek Gayer, Juha Kortelainen, Tommi Karhela:
CFD modelling as an integrated part of multi-level simulation of process plants: semantic modelling approach. SummerSim 2010: 219-227
2000 – 2009
- 2009
- [c6]Antti Siirtola, Juha Kortelainen:
Parameterised Process Algebraic Verification by Precongruence Reduction. ACSD 2009: 158-167 - [c5]Antti Siirtola, Juha Kortelainen:
Algorithmic Verification with Multiple and Nested Parameters. ICFEM 2009: 561-580 - 2008
- [c4]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: 802-807 - 2007
- [j10]Stepan Holub, Juha Kortelainen:
On systems of word equations with simple loop sets. Theor. Comput. Sci. 380(3): 363-372 (2007) - 2005
- [c3]Juha Kortelainen:
Polynomial Generators of Recursively Enumerable Languages. Developments in Language Theory 2005: 320-326 - 2001
- [j9]Stepan Holub, Juha Kortelainen:
Linear size test sets for certain commutative languages. RAIRO Theor. Informatics Appl. 35(5): 453-475 (2001)
1990 – 1999
- 1999
- [j8]Ismo Hakala, Juha Kortelainen:
On the System of Word Equations x0ui1x1ui2x2ui3x3=y0vi1y1vi2y2vi3y3(i=0, 1, 2, ...) in a Free Monoid. Theor. Comput. Sci. 225(1-2): 149-161 (1999) - 1998
- [j7]Juha Kortelainen:
On the System of Word Equations x0u1ix1u2ix2 ... umixm = y0v1iy1v2iy2 ... vniyn (i=0, 1, 2, ...) in a Free Monoid. J. Autom. Lang. Comb. 3(1): 43-57 (1998) - [j6]Juha Kortelainen:
Remarks about Commutative Context-Free Languages. J. Comput. Syst. Sci. 56(1): 125-129 (1998) - 1997
- [j5]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): 217-230 (1997) - [j4]Ismo Hakala, Juha Kortelainen:
Polynomial Size Test Sets for Commutative Languages. RAIRO Theor. Informatics Appl. 31(3): 291-304 (1997)
1980 – 1989
- 1989
- [j3]Juha Kortelainen:
The conjecture of Fliess on commutative context-free languages. J. ACM 36(4): 870-872 (1989) - 1986
- [j2]Juha Kortelainen:
Every Commutative Quasirational Language is Regular. RAIRO Theor. Informatics Appl. 20(3): 319-337 (1986) - 1985
- [c2]Juha Kortelainen:
Every Commutative Quasirational Language is Regular. ICALP 1985: 348-355 - 1982
- [j1]Juha Kortelainen:
A result concerning the trios generated by commutative slip-languages. Discret. Appl. Math. 4(3): 233-236 (1982) - 1981
- [c1]Juha Kortelainen:
Some Properties of Language Families Generated by Commutative Languages. FCT 1981: 210-217
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
