| Publication | Date of Publication | Type |
|---|
Incremental Rewriting Modulo SMT
| 2024-04-26 | Paper |
On the formalization and computational complexity of resilience problems for cyber-physical systems
Lecture Notes in Computer Science | 2023-07-28 | Paper |
scientific article; zbMATH DE number 7700608 (Why is no real title available?)
| 2023-06-23 | Paper |
Detection and diagnosis of deviations in distributed systems of autonomous agents
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
Soft subexponentials and multiplexing
| 2022-11-09 | Paper |
Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
| 2022-08-19 | Paper |
On the complexity of verification of time-sensitive distributed systems
| 2022-07-13 | Paper |
scientific article; zbMATH DE number 7455723 (Why is no real title available?)
| 2022-01-11 | Paper |
Proof search and certificates for evidential transactions
| 2021-12-01 | Paper |
A rewriting framework for activities subject to regulations
| 2020-05-27 | Paper |
Symbolic timed trace equivalence
| 2020-03-03 | Paper |
A multiset rewriting model for specifying and verifying timing aspects of security protocols
| 2020-03-03 | Paper |
Mechanizing focused linear logic in Coq
| 2019-11-12 | Paper |
Subexponentials in non-commutative linear logic
Mathematical Structures in Computer Science | 2019-10-09 | Paper |
A logical framework with commutative and non-commutative subexponentials
| 2018-10-18 | Paper |
Proof-relevant logical relations for name generation
Logical Methods in Computer Science | 2018-04-25 | Paper |
Multi-focused proofs with different polarity assignments
| 2018-04-23 | Paper |
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Lecture Notes in Computer Science | 2018-02-16 | Paper |
On the accuracy of formal verification of selective defenses for TDoS attacks
Journal of Logical and Algebraic Methods in Programming | 2017-12-01 | Paper |
On subexponentials, focusing and modalities in concurrent systems
Theoretical Computer Science | 2017-09-12 | Paper |
On the complexity of linear authorization logics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
A rewriting framework and logic for activities subject to regulations
Mathematical Structures in Computer Science | 2017-04-03 | Paper |
Counting successes: effects and transformations for non-deterministic programs
A List of Successes That Can Change the World | 2016-08-17 | Paper |
An extended framework for specifying and reasoning about proof systems
Journal Of Logic And Computation | 2016-07-07 | Paper |
Dynamic spaces in concurrent constraint programming
| 2016-05-10 | Paper |
Subexponential concurrent constraint programming
Theoretical Computer Science | 2015-12-08 | Paper |
Bounded memory protocols
Computer Languages, Systems & Structures | 2015-03-31 | Paper |
Specifying proof systems in linear logic with subexponentials
Electronic Notes in Theoretical Computer Science | 2015-03-18 | Paper |
A proof theoretic study of soft concurrent constraint programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Bounded memory Dolev-Yao adversaries in collaborative systems
Information and Computation | 2014-10-20 | Paper |
A framework for linear authorization logics
Theoretical Computer Science | 2014-05-06 | Paper |
Abstract effects and proof-relevant logical relations
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
A general proof system for modalities in concurrent constraint programming
CONCUR 2013 – Concurrency Theory | 2013-08-12 | Paper |
Proof-relevant logical relations for name generation
Lecture Notes in Computer Science | 2013-06-28 | Paper |
Maintaining distributed logic programs incrementally
Computer Languages, Systems & Structures | 2012-10-25 | Paper |
A framework for proof systems
Journal of Automated Reasoning | 2010-10-08 | Paper |
Incorporating Tables into Proofs
Computer Science Logic | 2009-03-05 | Paper |
Focusing in Linear Meta-logic
Automated Reasoning | 2008-11-27 | Paper |
Fuzzy logic based variable step size algorithm for blind delayed source separation
Fuzzy Sets and Systems | 2006-10-20 | Paper |
