The following pages link to Matteo Rossi (Q262135):
Displaying 35 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- Modeling time in computing. (Q714629) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment (Q728913) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- Automated compositional proofs for real-time systems (Q882449) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- On the initialization of clocks in timed formalisms (Q1989329) (← links)
- Book review of: J. F. Groote and M. R. Mousavi, Modeling and analysis of communicating systems (Q2026378) (← links)
- PuRSUE -- from specification of robotic environments to synthesis of controllers (Q2198133) (← links)
- Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (Q2637308) (← links)
- Entanglement and nonclassical properties of hypergraph states (Q2878649) (← links)
- A Logical Characterization of Timed (non-)Regular Languages (Q2922004) (← links)
- A theory of sampling for continuous-time metric temporal logic (Q2946625) (← links)
- Completeness of the Bounded Satisfiability Problem for Constraint LTL (Q3172864) (← links)
- (Q3396620) (← links)
- On the Expressiveness of MTL Variants over Dense Time (Q3510842) (← links)
- Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling (Q3511237) (← links)
- MTL with Bounded Variability: Decidability and Complexity (Q3543293) (← links)
- Non-Markovianity by undersampling in quantum optical simulators (Q4584372) (← links)
- Multipartite entanglement detection for hypergraph states (Q4606164) (← links)
- (Q4992507) (← links)
- Quantum frequency estimation with conditional states of continuously monitored independent dephasing channels (Q5114354) (← links)
- Model Checking MITL Formulae on Timed Automata (Q5121277) (← links)
- Quantum hypergraph states (Q5141597) (← links)
- Deciding Continuous-Time Metric Temporal Logic with Counting Modalities (Q5168514) (← links)
- Engineering decoherence for two-qubit systems interacting with a classical environment (Q5247038) (← links)
- Fundamental Approaches to Software Engineering (Q5316439) (← links)
- Quantum transport efficiency in noisy random-removal and small-world networks (Q5883782) (← links)
- Ultimate limits for quantum magnetometry via time-continuous measurements (Q6124562) (← links)
- Monte Carlo tree search for automatic differential characteristics search: application to SPECK (Q6169475) (← links)
- Probing the diamagnetic term in light-matter interaction (Q6272993) (← links)
- Dataset for Noisy quantum metrology enhanced by continuous nondemolition measurement (Q6704720) (← links)
- Supporting data for PRX Quantum 2, 040342 (2021) (Q6704728) (← links)
