pith. sign in

Matteo Rossi

Identifiers

  • name variant Matteo Rossi 0.60 · backfill

Papers (17)

  1. Towards an Agentic LLM-based Approach to Requirement Formalization from Unstructured Specifications cs.SE · 2026 · author #4
  2. The Darkside-20k Data Acquisition System physics.ins-det · 2026 · author #222
  3. Orbital inversion and emergent lattice dynamics in infinite layer CaCoO$_2$ cond-mat.str-el · 2024 · author #5
  4. Experimental Determination of Momentum-Resolved Electron-Phonon Coupling cond-mat.supr-con · 2019 · author #1
  5. Multipartite entanglement detection for hypergraph states quant-ph · 2017 · author #3
  6. Experimental generation of entanglement from classical correlations via non-unital local noise quant-ph · 2015 · author #5
  7. Engineering decoherence for two-qubit systems interacting with a classical environment quant-ph · 2014 · author #1
  8. Witnessing entanglement in hybrid systems quant-ph · 2014 · author #2
  9. Randomized Graph States and their Entanglement Properties quant-ph · 2014 · author #2
  10. Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach cs.LO · 2012 · author #4
  11. Constraint LTL Satisfiability Checking without Automata cs.LO · 2012 · author #5
  12. SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability cs.LO · 2010 · author #5
  13. Bounded Reachability for Temporal Logic over Constraint Systems cs.LO · 2010 · author #5
  14. A Theory of Sampling for Continuous-time Metric Temporal Logic cs.LO · 2009 · author #2
  15. Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms cs.LO · 2009 · author #4
  16. Modeling Time in Computing: A Taxonomy and a Comparative Survey cs.GL · 2008 · author #4
  17. Practical Automated Partial Verification of Multi-Paradigm Real-Time Models cs.LO · 2008 · author #3

Mentions

  • 1503.05084 #5 · backfill · confidence 0.70 Matteo Rossi
  • 1408.3010 #1 · backfill · confidence 0.70 Matteo Rossi
  • 1404.6083 #2 · backfill · confidence 0.70 Matteo Rossi
  • 1403.3828 #2 · backfill · confidence 0.70 Matteo Rossi
  • 1206.0911 #4 · backfill · confidence 0.70 Matteo Rossi
  • 1205.0946 #5 · backfill · confidence 0.70 Matteo Rossi
  • 1004.2873 #5 · backfill · confidence 0.70 Matteo Rossi
  • 1004.1077 #5 · backfill · confidence 0.70 Matteo Rossi
  • 0911.5642 #2 · backfill · confidence 0.70 Matteo Rossi
  • 0907.5074 #4 · backfill · confidence 0.70 Matteo Rossi
  • 0807.4132 #4 · backfill · confidence 0.70 Matteo Rossi
  • 0804.4383 #3 · backfill · confidence 0.70 Matteo Rossi

Frequent Coauthors