Keijo Heljanko
- Unfolding-Based Process Discovery
2015/07/09 by Hernán Ponce-de-León, Ponce-de-León, Hernán, César Rodríguez +8 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services #cs.LO
- Certifying Phase Abstraction
2024/05/07 by Nils Froleyks, Emily Yu, Froleyks, Nils +5 · 2 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Radiation Effects in Electronics #Safety Systems Engineering in Autonomy #Symbolic Computation (cs.SC)
- Solving parity games by a reduction to SAT
2011/05/20 by Keijo Heljanko, Misa Keinänen, Martin Lange +1 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems