| Publication | Date of Publication | Type |
|---|
Ultimate limits for quantum magnetometry via time-continuous measurements
New Journal of Physics | 2024-03-28 | Paper |
Monte Carlo tree search for automatic differential characteristics search: application to SPECK
Lecture Notes in Computer Science | 2023-08-14 | Paper |
| scientific article; zbMATH DE number 7722346 (Why is no real title available?) | 2023-08-03 | Paper |
Quantum transport efficiency in noisy random-removal and small-world networks
Journal of Physics A: Mathematical and Theoretical | 2023-03-23 | Paper |
| Supporting data for PRX Quantum 2, 040342 (2021) | 2021-11-29 | Dataset |
| Deciding the satisfiability of MITL specifications | 2021-06-09 | Paper |
Deciding the satisfiability of MITL specifications
(available as arXiv preprint) | 2021-06-09 | Paper |
Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems
Formal Aspects of Computing | 2021-05-19 | Paper |
Quantum hypergraph states
New Journal of Physics | 2020-12-18 | Paper |
Model checking MITL formulae on timed automata. A logic-based approach
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
PuRSUE -- from specification of robotic environments to synthesis of controllers
Formal Aspects of Computing | 2020-09-09 | Paper |
Using formal verification to evaluate the execution time of Spark applications
Formal Aspects of Computing | 2020-07-27 | Paper |
Quantum frequency estimation with conditional states of continuously monitored independent dephasing channels
International Journal of Quantum Information | 2020-06-22 | Paper |
| Dataset for Noisy quantum metrology enhanced by continuous nondemolition measurement | 2020-05-29 | Dataset |
On the initialization of clocks in timed formalisms
Theoretical Computer Science | 2020-04-21 | Paper |
Non-Markovianity by undersampling in quantum optical simulators
International Journal of Quantum Information | 2018-09-03 | Paper |
Multipartite entanglement detection for hypergraph states
Journal of Physics A: Mathematical and Theoretical | 2018-03-01 | Paper |
An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment
Journal of Computational Physics | 2016-12-20 | Paper |
A logical characterization of timed regular languages
Theoretical Computer Science | 2016-12-19 | Paper |
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
Theoretical Computer Science | 2016-08-01 | Paper |
| Probing the diamagnetic term in light-matter interaction | 2016-04-28 | Paper |
A tool for deciding the satisfiability of continuous-time metric temporal logic
Acta Informatica | 2016-03-29 | Paper |
An SMT-based approach to satisfiability checking of MITL
Information and Computation | 2015-12-07 | Paper |
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Engineering decoherence for two-qubit systems interacting with a classical environment
International Journal of Quantum Information | 2015-04-22 | Paper |
A logical characterization of timed (non-)regular languages
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Entanglement and nonclassical properties of hypergraph states
Journal of Physics A: Mathematical and Theoretical | 2014-09-04 | Paper |
Deciding continuous-time metric temporal logic with counting modalities
Lecture Notes in Computer Science | 2014-07-07 | Paper |
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
Journal of Computer Science and Technology | 2014-02-11 | Paper |
Modeling time in computing.
Monographs in Theoretical Computer Science. An EATCS Series | 2012-10-11 | Paper |
Completeness of the bounded satisfiability problem for constraint LTL
Lecture Notes in Computer Science | 2011-10-07 | Paper |
| scientific article; zbMATH DE number 5605122 (Why is no real title available?) | 2009-09-19 | Paper |
MTL with Bounded Variability: Decidability and Complexity
Lecture Notes in Computer Science | 2008-12-02 | Paper |
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Lecture Notes in Computer Science | 2008-07-08 | Paper |
On the Expressiveness of MTL Variants over Dense Time
Lecture Notes in Computer Science | 2008-07-03 | Paper |
Automated compositional proofs for real-time systems
Theoretical Computer Science | 2007-05-23 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
