Keijo Heljanko

Identifiers

• name variant Keijo Heljanko 0.60 · backfill

Papers (8)

1. Scalable Domain-decomposed Monte Carlo Neutral Transport for Nuclear Fusion physics.comp-ph · 2025 · author #5
2. Classifying Process Instances Using Recurrent Neural Networks cs.LG · 2018 · author #3
3. Structural Feature Selection for Event Logs cs.LG · 2017 · author #3
4. Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models cs.PL · 2017 · author #3
5. Unfolding-Based Process Discovery cs.LO · 2015 · author #4
6. Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation cs.DC · 2011 · author #2
7. Linear Encodings of Bounded LTL Model Checking cs.LO · 2006 · author #2
8. Bounded LTL Model Checking with Stable Models cs.LO · 2003 · author #1

Mentions

• 1111.0064 #2 · backfill · confidence 0.70 Keijo Heljanko

Frequent Coauthors

• Alexander Jung 2 shared papers
• Hern\'an Ponce-de-Le\'on 2 shared papers
• Markku Hinkka 2 shared papers
• Teemu Lehto 2 shared papers
• Armin Biere 1 shared papers
• C\'esar Rodr\'iguez 1 shared papers
• Dmitriy V. Borodin 1 shared papers
• Florian Furbach 1 shared papers
• Huw Leggate 1 shared papers
• Ilkka Niemel\"a 1 shared papers
• Jan {\AA}str\"om 1 shared papers
• Ji\v{r}\'i Barnat 1 shared papers
• Josep Carmona 1 shared papers
• Oskar Lappi 1 shared papers
• Roland Meyer 1 shared papers
• Stefan Haar 1 shared papers
• Timo Latvala 1 shared papers
• Tommi Junttila 1 shared papers
• Viktor Schuppan 1 shared papers
• Yannick Marandet 1 shared papers