Keijo Heljanko

Available identifiers

zbMath Open heljanko.keijoWikidataQ60651608 ScholiaQ60651608MaRDI QIDQ338628

List of research outcomes

Publication	Date of Publication	Type
Progress in certifying hardware model checking results	2022-03-25	Paper
LCTD: test-guided proofs for C programs on LLVM	2016-11-07	Paper
Unfolding-Based Process Discovery	2016-01-08	Paper
Synchronous counting and computational algorithm design	2015-12-11	Paper
https://portal.mardi4nfdi.de/entity/Q2845508	2013-08-30	Paper
Asynchronous Multi-core Incremental SAT Solving	2013-08-05	Paper
Concurrent Clause Strengthening	2013-08-05	Paper
Exploiting step semantics for efficient bounded model checking of asynchronous systems	2012-07-20	Paper
Solving parity games by a reduction to SAT	2012-05-11	Paper
Analyzing Context-Free Grammars Using an Incremental SAT Solver	2008-08-19	Paper
Unfoldings: A partial-order approach to model checking.	2008-04-23	Paper
Planning as satisfiability: parallel plans and algorithms for plan search	2007-10-23	Paper
Linear Encodings of Bounded LTL Model Checking	2007-10-11	Paper
Bounded Model Checking for Weak Alternating Büchi Automata	2007-09-05	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Computer Aided Verification	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Bounded LTL model checking with stable models	2004-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4472254	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4798010	2003-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4791837	2003-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4536597	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4531752	2002-05-23	Paper
https://portal.mardi4nfdi.de/entity/Q2753752	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754166	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4507820	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4264234	1999-09-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Keijo Heljanko