| Publication | Date of Publication | Type |
|---|
| Adaptive directions for Bernstein-based polynomial set evolution | 2024-10-23 | Paper |
| A Process Algebra for (Delimited) Persistent Stochastic Non-Interference | 2024-03-14 | Paper |
Quantum encoding of dynamic directed graphs
Journal of Logical and Algebraic Methods in Programming | 2024-02-12 | Paper |
Mirrors and memory in quantum automata
Quantitative Evaluation of Systems | 2023-06-02 | Paper |
Parameter synthesis of polynomial dynamical systems
Information and Computation | 2022-12-08 | Paper |
| Directed graph encoding in quantum computing supporting edge-failures | 2022-11-11 | Paper |
Proportional lumpability and proportional bisimilarity
Acta Informatica | 2022-05-17 | Paper |
| Reasoning about proportional lumpability | 2022-03-24 | Paper |
| scientific article; zbMATH DE number 7447774 (Why is no real title available?) | 2021-12-17 | Paper |
scientific article; zbMATH DE number 7447774 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
Persistent stochastic non-interference
Fundamenta Informaticae | 2021-10-25 | Paper |
\textit{D\_PSNI}: delimited persistent stochastic non-interference
Theoretical Computer Science | 2021-08-27 | Paper |
| Proportional lumpability | 2020-05-05 | Paper |
Parameter synthesis through temporal logic specifications
FM 2015: Formal Methods | 2019-12-19 | Paper |
Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
Information and Computation | 2018-05-30 | Paper |
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Parallelotope Bundles for Polynomial Reachability
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Reachability computation for polynomial dynamical systems
Formal Methods in System Design | 2017-05-12 | Paper |
Towards quantum programs verification: from Quipper circuits to QPMC
Reversible Computation | 2016-08-10 | Paper |
| Is hyper-extensionality preservable under deletions of graph elements? | 2016-08-05 | Paper |
Rank and simulation: the well-founded case
Journal Of Logic And Computation | 2015-12-28 | Paper |
A graph-theoretic approach to map conceptual designs to XML schemas
ACM Transactions on Database Systems | 2015-09-03 | Paper |
External Interactions on Hybrid Models of Biological Systems
Formal Methods in Macro-Biology | 2015-08-06 | Paper |
Unwinding biological systems
Theoretical Computer Science | 2015-06-10 | Paper |
External control in process algebra for systems biology
Electronic Notes in Theoretical Computer Science | 2015-03-19 | Paper |
\(\epsilon\)-semantics computations on biological systems
Information and Computation | 2014-06-06 | Paper |
Hybrid Automata in Systems Biology: How Far Can We Go?
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Rank-based symbolic bisimulation: (and model checking)
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Transforming processes to check and ensure information flow security
Algebraic Methodology and Software Technology | 2011-05-06 | Paper |
A proof system for information flow security
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Hybrid automata, reachability, and systems biology
Theoretical Computer Science | 2010-05-11 | Paper |
Information flow security and recursive systems.
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology
Discrete Event Dynamic Systems | 2010-01-18 | Paper |
Inclusion dynamics hybrid automata
Information and Computation | 2009-02-03 | Paper |
Action Refinement in Process Algebra and Security Issues
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Decidable Compositions of O-Minimal Automata
Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Unwinding Conditions for Security in Imperative Languages
Logic Based Program Synthesis and Transformation | 2008-04-24 | Paper |
Symbolic graphs: Linear solutions to connectivity related problems
Algorithmica | 2008-02-18 | Paper |
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
Algebraic Biology | 2007-11-29 | Paper |
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Ackermann encoding, bisimulations and OBDDs
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
Simulating polyadic modal logics by monadic ones
Journal of Symbolic Logic | 2005-02-09 | Paper |
Disunification in ACI1 theories
Constraints | 2005-01-19 | Paper |
Verifying persistent security properties
Computer Languages, Systems & Structures | 2004-11-18 | Paper |
Nesting analysis of mobile ambients
Computer Languages, Systems & Structures | 2004-11-18 | Paper |
An efficient algorithm for computing bisimulation equivalence
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 2086504 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2080064 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080938 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2079387 (Why is no real title available?) | 2004-07-28 | Paper |
From bisimulation to simulation: Coarsest partition problems
Journal of Automated Reasoning | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 1956599 (Why is no real title available?) | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1953033 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1953024 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1950549 (Why is no real title available?) | 2003-07-17 | Paper |
| scientific article; zbMATH DE number 1796125 (Why is no real title available?) | 2002-09-04 | Paper |
| scientific article; zbMATH DE number 1612563 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1420800 (Why is no real title available?) | 2000-12-05 | Paper |
| scientific article; zbMATH DE number 1538020 (Why is no real title available?) | 2000-12-03 | Paper |
