Heljanko, Keijo

1. Exploiting Event Log Event Attributes in RNN Based Prediction
   2019/04/15 by Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo · 3 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
2. Stratified Certification for k-Induction
   2022/08/02 by Yu, Emily, Froleyks, Nils, Biere, Armin +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Unfolding-Based Process Discovery
   2015/07/09 by Ponce-de-León, Hernán, Rodríguez, César, Carmona, Josep +2 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Certifying Phase Abstraction
   2024/05/07 by Froleyks, Nils, Yu, Emily, Biere, Armin +1 · 2 citations
   #FOS: Computer and information sciences #Symbolic Computation (cs.SC)