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
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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Matteo Rossi