| Publication | Date of Publication | Type |
|---|
| Quantified Coalition Logic of Knowledge, Belief and Certainty | 2020-08-05 | Paper |
| Common Object Discovery as Local Search for Maximum Weight Cliques in a Global Object Similarity Graph | 2019-10-16 | Paper |
| Scheduling blocking flowshops with setup times via constraint guided and accelerated local search | 2019-07-09 | Paper |
| Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* | 2019-01-31 | Paper |
| A first-order coalition logic for BDI-agents | 2019-01-22 | Paper |
| Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems | 2019-01-22 | Paper |
| A complete coalition logic of temporal knowledge for multi-agent systems | 2018-12-19 | Paper |
| Constraint guided accelerated search for mixed blocking permutation flowshop scheduling | 2018-12-03 | Paper |
| A Dynamic-Logical Characterization of Solutions to Sight-limited Extensive Games | 2018-05-03 | Paper |
| CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability | 2017-05-16 | Paper |
| CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability | 2017-01-05 | Paper |
| New local search methods for partial MaxSAT | 2016-10-21 | Paper |
| Preference dynamics in games with short sight | 2016-05-02 | Paper |
| Symbolic Model Checking for Dynamic Epistemic Logic | 2015-12-17 | Paper |
| A logical characterization of extensive games with short sight | 2015-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455584 | 2015-12-11 | Paper |
| CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability | 2015-11-20 | Paper |
| Lower and Upper Bounds for Random Mimimum Satisfiability Problem | 2015-11-12 | Paper |
| Local search for Boolean satisfiability with configuration checking and subscore | 2015-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939519 | 2015-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939522 | 2015-01-22 | Paper |
| Scoring functions based on second level score for \(k\)-SAT with long clauses | 2014-11-13 | Paper |
| FWLS: A Local Search for Graph Coloring | 2014-04-03 | Paper |
| A Logic for Extensive Games with Short Sight | 2013-11-06 | Paper |
| Primitive recursiveness of real numbers under different representations | 2013-05-10 | Paper |
| NuMVC: an efficient local search algorithm for minimum vertex cover | 2013-05-02 | Paper |
| Solving Difficult SAT Problems by Using OBDDs and Greedy Clique Decomposition | 2012-07-16 | Paper |
| Local search with edge weighting and configuration checking heuristics for minimum vertex cover | 2011-11-17 | Paper |
| Symbolic model checking the knowledge in Herbivore protocol | 2011-05-27 | Paper |
| The BDD-Based Dynamic A* Algorithm for Real-Time Replanning | 2009-07-14 | Paper |
| Primitive recursive real numbers | 2007-09-17 | Paper |
| Bounded model checking for temporal epistemic logic in synchronous multi-agent systems | 2007-04-05 | Paper |
| Knowledge structure approach to verification of authentication protocols | 2007-02-20 | Paper |
| Representation of graphs and its algorithms based on BDD | 2006-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5465433 | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4823626 | 2004-10-28 | Paper |
| More on representation theory for default logic | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4551392 | 2002-09-05 | Paper |
| A solution to a problem of Marek and Truszcyński | 2002-08-05 | Paper |
| Constraints on extensions of a default theory | 2002-07-22 | Paper |
| Two alternative notions of 'possibility' satisfying Halpern's conditions | 2001-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943322 | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4235216 | 1999-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364595 | 1997-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4333071 | 1997-06-03 | Paper |
| Some semantic results about the \(\underset\sim O\) operator in Levesque's logic of belief | 1996-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4879700 | 1996-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4867681 | 1996-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4848184 | 1995-10-18 | Paper |
| \(R\)-reconstruction in open logic | 1995-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4311719 | 1995-03-15 | Paper |
| Default logic about assertions | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4300301 | 1994-11-08 | Paper |
