| Publication | Date of Publication | Type |
|---|
Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Formal Methods in System Design | 2025-10-24 | Paper |
| Reproduction Artifact for TACAS 2024 paper "Scalable Tree-based Register Automata Learning" | 2023-12-29 | Dataset |
Parallel Graph-Based Stateless Model Checking
1517.68245 | 2022-12-22 | Paper |
Comparing Source Sets and Persistent Sets for Partial Order Reduction
Lecture Notes in Computer Science | 2020-02-24 | Paper |
Stateless model checking for TSO and PSO
Tools and Algorithms for the Construction and Analysis of Systems | 2019-09-17 | Paper |
| Optimal dynamic partial order reduction with observers | 2019-09-16 | Paper |
An abstract machine for fixed-order dynamically stratified programs
Automated Deduction — Cade-13 | 2019-01-15 | Paper |
Source sets: a foundation for optimal dynamic partial order reduction
Journal of the ACM | 2018-05-17 | Paper |
Stateless model checking for TSO and PSO
Acta Informatica | 2017-12-01 | Paper |
Termination proofs for logic programs with tabling
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Optimal dynamic partial order reduction
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Efficient memory management for concurrent programs that use message passing
Science of Computer Programming | 2006-08-17 | Paper |
Efficient manipulation of binary data using pattern matching
Journal of Functional Programming | 2006-01-13 | Paper |
| scientific article; zbMATH DE number 2090841 (Why is no real title available?) | 2004-08-13 | Paper |
| scientific article; zbMATH DE number 2090526 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1950446 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1942462 (Why is no real title available?) | 2003-06-30 | Paper |
The limits of fixed-order computation
Theoretical Computer Science | 2001-08-20 | Paper |
| scientific article; zbMATH DE number 1487846 (Why is no real title available?) | 2001-03-12 | Paper |
An abstract machine for efficiently computing queries to well-founded models
The Journal of Logic Programming | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1508930 (Why is no real title available?) | 2000-09-18 | Paper |
Efficient access mechanisms for tabled logic programs
The Journal of Logic Programming | 1999-05-04 | Paper |
Semantics-based program analysis for logic-based languages using XSB
International Journal on Software Tools for Technology Transfer. STTT | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 972138 (Why is no real title available?) | 1997-01-28 | Paper |
