Matteo Rossi

Available identifiers

zbMath Open rossi.matteo-a-cWikidataQ96201195 ScholiaQ96201195MaRDI QIDQ262135

List of research outcomes

Publication	Date of Publication	Type
Ultimate limits for quantum magnetometry via time-continuous measurements	2024-03-28	Paper
Monte Carlo tree search for automatic differential characteristics search: application to SPECK	2023-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q6166825	2023-08-03	Paper
Quantum transport efficiency in noisy random-removal and small-world networks	2023-03-23	Paper
Supporting data for PRX Quantum 2, 040342 (2021)	2021-11-29	Dataset
https://portal.mardi4nfdi.de/entity/Q4992507	2021-06-09	Paper
Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems	2021-05-19	Paper
Quantum hypergraph states	2020-12-18	Paper
Model Checking MITL Formulae on Timed Automata	2020-09-11	Paper
PuRSUE -- from specification of robotic environments to synthesis of controllers	2020-09-09	Paper
Using formal verification to evaluate the execution time of Spark applications	2020-07-27	Paper
Quantum frequency estimation with conditional states of continuously monitored independent dephasing channels	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	2020-04-21	Paper
Non-Markovianity by undersampling in quantum optical simulators	2018-09-03	Paper
Multipartite entanglement detection for hypergraph states	2018-03-01	Paper
An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment	2016-12-20	Paper
A logical characterization of timed regular languages	2016-12-19	Paper
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications	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	2016-03-29	Paper
An SMT-based approach to satisfiability checking of MITL	2015-12-07	Paper
A theory of sampling for continuous-time metric temporal logic	2015-09-17	Paper
Engineering decoherence for two-qubit systems interacting with a classical environment	2015-04-22	Paper
A Logical Characterization of Timed (non-)Regular Languages	2014-10-14	Paper
Entanglement and nonclassical properties of hypergraph states	2014-09-04	Paper
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities	2014-07-07	Paper
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata	2014-02-11	Paper
Modeling time in computing.	2012-10-11	Paper
Completeness of the bounded satisfiability problem for constraint LTL	2011-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q3396620	2009-09-19	Paper
MTL with Bounded Variability: Decidability and Complexity	2008-12-02	Paper
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling	2008-07-08	Paper
On the Expressiveness of MTL Variants over Dense Time	2008-07-03	Paper
Automated compositional proofs for real-time systems	2007-05-23	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper

Research outcomes over time

This page was built for person: Matteo Rossi