| Publication | Date of Publication | Type |
|---|
| \textsc{delphic}: practical DEL planning via possibilities | 2024-05-29 | Paper |
Correctness Notions for Petri Nets with Identifiers
Fundamenta Informaticae | 2024-02-08 | Paper |
From DB-nets to Coloured Petri Nets with Priorities
Application and Theory of Petri Nets and Concurrency | 2024-01-29 | Paper |
| There and back again. On the reconstructability and rediscoverability of typed Jackson nets | 2023-11-16 | Paper |
| Optimising business process discovery using answer set programming | 2023-04-04 | Paper |
CTL* model checking for data-aware dynamic systems with arithmetic
(available as arXiv preprint) | 2022-12-07 | Paper |
| Combined covers and Beth definability | 2022-11-09 | Paper |
Combination of uniform interpolants via Beth definability
Journal of Automated Reasoning | 2022-10-24 | Paper |
| Data and process resonance. Identifier soundness for models of information systems | 2022-08-19 | Paper |
Semantic DMN: formalizing decision models with domain knowledge
Rules and Reasoning | 2022-07-01 | Paper |
Soundness verification of data-aware process models with variable-to-variable conditions
Fundamenta Informaticae | 2022-02-01 | Paper |
| Well structured transition systems with history | 2021-12-03 | Paper |
Well structured transition systems with history
(available as arXiv preprint) | 2021-12-03 | Paper |
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
Journal of Automated Reasoning | 2021-11-24 | Paper |
Semantic DMN: formalizing and reasoning about decisions in the presence of background knowledge
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
SMT-based verification of data-aware processes: a model-theoretic approach
Mathematical Structures in Computer Science | 2020-12-08 | Paper |
| From model completeness to verification of data aware processes | 2020-06-04 | Paper |
| Model completeness, covers and superposition | 2020-03-10 | Paper |
Compliance in business processes with incomplete information and time constraints: a general framework based on abductive reasoning
Fundamenta Informaticae | 2018-10-02 | Paper |
Evaluating compliance: from LTL to abductive logic programming
Fundamenta Informaticae | 2018-05-03 | Paper |
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
Information and Computation | 2018-03-21 | Paper |
Model checking Petri nets with names using data-centric dynamic systems
Formal Aspects of Computing | 2016-09-20 | Paper |
| Verification of description logic knowledge and action bases | 2015-12-11 | Paper |
Verification of description logic knowledge and action bases
(available as arXiv preprint) | 2015-12-11 | Paper |
Verification of context-sensitive knowledge and action bases
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Description logic knowledge and action bases
Journal of Artificial Intelligence Research | 2013-05-02 | Paper |
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action | 2012-07-23 | Paper |
| Abductive logic programming as an effective technology for the static verification of declarative business processes | 2011-06-10 | Paper |
A logic-based, reactive calculus of events
Fundamenta Informaticae | 2011-03-28 | Paper |
Specification and verification of declarative open interaction models. A logic-based approach
Lecture Notes in Business Information Processing | 2010-09-28 | Paper |
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework
Multiagent and Grid Systems | 2010-09-14 | Paper |
Social commitments in time: satisfied or compensated
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
${\cal B}$ -Tropos
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Verification from Declarative Specifications Using Logic Programming
Logic Programming | 2009-01-22 | Paper |
