| Publication | Date of Publication | Type |
|---|
Processes, systems \& tests: defining contextual equivalences
| 2024-12-06 | Paper |
Diamonds for security: a non-interleaving operational semantics for the applied \(\pi\)-calculus
| 2024-08-13 | Paper |
The correctness of concurrencies in (reversible) concurrent calculi
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
| 2024-02-06 | Paper |
Replications in reversible concurrent calculi
Reversible Computation | 2024-01-11 | Paper |
Implementation of a reversible distributed calculus
Reversible Computation | 2024-01-11 | Paper |
Distributing and parallelizing non-canonical loops
Lecture Notes in Computer Science | 2023-08-17 | Paper |
Concurrencies in reversible concurrent calculi
| 2022-11-11 | Paper |
Processes against tests: on defining contextual equivalences
Journal of Logical and Algebraic Methods in Programming | 2022-09-30 | Paper |
scientific article; zbMATH DE number 7559463 (Why is no real title available?)
| 2022-07-18 | Paper |
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity
| 2022-03-08 | Paper |
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
Reversible Computation | 2021-11-03 | Paper |
An extended and more practical mwp flow analysis
| 2021-06-24 | Paper |
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs
| 2021-06-24 | Paper |
scientific article; zbMATH DE number 7324256 (Why is no real title available?)
| 2021-03-17 | Paper |
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
| 2020-05-14 | Paper |
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
| 2020-05-14 | Paper |
Reversible barbed congruence on configuration structures
| 2020-02-14 | Paper |
Categories for Me, and You?
| 2019-10-11 | Paper |
scientific article; zbMATH DE number 6917940 (Why is no real title available?)
| 2018-08-15 | Paper |
Contextual equivalences in configuration structures and reversibility
Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
Characterizingco-NLby a group action
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Unary resolution: characterizing \textsc{Ptime}
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Logarithmic space and permutations
Information and Computation | 2016-05-03 | Paper |
Logic programming and logarithmic space
Programming Languages and Systems | 2016-02-26 | Paper |
An in-between "implicit" and "explicit" complexity: Automata
| 2015-01-31 | Paper |
Memoization for Unary Logic Programming: Characterizing PTIME
| 2015-01-21 | Paper |
Unification and Logarithmic Space
Lecture Notes in Computer Science | 2014-07-24 | Paper |
