Matteo Rossi

From MaRDI portal
Person:262135

Available identifiers

zbMath Open rossi.matteo-a-cWikidataQ96201195 ScholiaQ96201195MaRDI QIDQ262135

List of research outcomes





PublicationDate of PublicationType
Ultimate limits for quantum magnetometry via time-continuous measurements2024-03-28Paper
Monte Carlo tree search for automatic differential characteristics search: application to SPECK2023-08-14Paper
https://portal.mardi4nfdi.de/entity/Q61668252023-08-03Paper
Quantum transport efficiency in noisy random-removal and small-world networks2023-03-23Paper
Supporting data for PRX Quantum 2, 040342 (2021)2021-11-29Dataset
https://portal.mardi4nfdi.de/entity/Q49925072021-06-09Paper
Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems2021-05-19Paper
Quantum hypergraph states2020-12-18Paper
Model Checking MITL Formulae on Timed Automata2020-09-11Paper
PuRSUE -- from specification of robotic environments to synthesis of controllers2020-09-09Paper
Using formal verification to evaluate the execution time of Spark applications2020-07-27Paper
Quantum frequency estimation with conditional states of continuously monitored independent dephasing channels2020-06-22Paper
Dataset for Noisy quantum metrology enhanced by continuous nondemolition measurement2020-05-29Dataset
On the initialization of clocks in timed formalisms2020-04-21Paper
Non-Markovianity by undersampling in quantum optical simulators2018-09-03Paper
Multipartite entanglement detection for hypergraph states2018-03-01Paper
An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment2016-12-20Paper
A logical characterization of timed regular languages2016-12-19Paper
A temporal logic for micro- and macro-step-based real-time systems: foundations and applications2016-08-01Paper
Probing the diamagnetic term in light-matter interaction2016-04-28Paper
A tool for deciding the satisfiability of continuous-time metric temporal logic2016-03-29Paper
An SMT-based approach to satisfiability checking of MITL2015-12-07Paper
A theory of sampling for continuous-time metric temporal logic2015-09-17Paper
Engineering decoherence for two-qubit systems interacting with a classical environment2015-04-22Paper
A Logical Characterization of Timed (non-)Regular Languages2014-10-14Paper
Entanglement and nonclassical properties of hypergraph states2014-09-04Paper
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities2014-07-07Paper
Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata2014-02-11Paper
Modeling time in computing.2012-10-11Paper
Completeness of the bounded satisfiability problem for constraint LTL2011-10-07Paper
https://portal.mardi4nfdi.de/entity/Q33966202009-09-19Paper
MTL with Bounded Variability: Decidability and Complexity2008-12-02Paper
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling2008-07-08Paper
On the Expressiveness of MTL Variants over Dense Time2008-07-03Paper
Automated compositional proofs for real-time systems2007-05-23Paper
Fundamental Approaches to Software Engineering2005-09-13Paper

Research outcomes over time

This page was built for person: Matteo Rossi