pith. sign in

Dino Mandrioli

Identifiers

  • name variant Dino Mandrioli 0.60 · backfill

Papers (11)

  1. Syntax-driven Incremental Program Verification of Matching Logic Properties cs.SE · 2026 · author #4
  2. Generalizing input-driven languages: theoretical and practical benefits cs.FL · 2017 · author #1
  3. Weighted Operator Precedence Languages cs.FL · 2017 · author #3
  4. A Syntactic-Semantic Approach to Incremental Verification cs.SE · 2013 · author #4
  5. Operator Precedence \omega-languages cs.FL · 2013 · author #3
  6. Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach cs.LO · 2012 · author #2
  7. Logic Characterization of Floyd Languages cs.FL · 2012 · author #2
  8. Precedence Automata and Languages cs.FL · 2010 · author #2
  9. Refinement and Verification of Real-Time Systems cs.LO · 2010 · author #4
  10. Algebraic properties of structured context-free languages: old approaches and novel developments cs.FL · 2009 · author #2
  11. Modeling Time in Computing: A Taxonomy and a Comparative Survey cs.GL · 2008 · author #2

Mentions

  • 2606.08824 #4 · arxiv_oai · confidence 0.70 Dino Mandrioli
  • 1304.8034 #4 · backfill · confidence 0.70 Dino Mandrioli
  • 1301.2476 #3 · backfill · confidence 0.70 Dino Mandrioli
  • 1206.0911 #2 · backfill · confidence 0.70 Dino Mandrioli
  • 1204.4639 #2 · backfill · confidence 0.70 Dino Mandrioli
  • 1012.2321 #2 · backfill · confidence 0.70 Dino Mandrioli
  • 1002.1796 #4 · backfill · confidence 0.70 Dino Mandrioli
  • 0907.2130 #2 · backfill · confidence 0.70 Dino Mandrioli
  • 0807.4132 #2 · backfill · confidence 0.70 Dino Mandrioli

Frequent Coauthors