Dino Mandrioli

Identifiers

• name variant Dino Mandrioli 0.60 · backfill

Papers (10)

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

Mentions

• 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

• Matteo Pradella 5 shared papers
• Violetta Lonati 3 shared papers
• Angelo Morzenti 2 shared papers
• Carlo A. Furia 2 shared papers
• Matteo Rossi 2 shared papers
• Antonio Filieri 1 shared papers
• Carlo Ghezzi 1 shared papers
• Domenico Bianculli 1 shared papers
• Federica Panella 1 shared papers
• Luca Ferrucci 1 shared papers
• Manfred Droste 1 shared papers
• Paul Z. Kolano 1 shared papers
• Richard A. Kemmerer 1 shared papers
• Stefan D\"uck 1 shared papers
• Stefano Crespi Reghizzi 1 shared papers