Angelo Morzenti

Identifiers

• name variant Angelo Morzenti 0.60 · backfill

Papers (6)

1. Parsing methods streamlined cs.FL · 2013 · author #3
2. Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach cs.LO · 2012 · author #3
3. Constraint LTL Satisfiability Checking without Automata cs.LO · 2012 · author #3
4. Bounded Reachability for Temporal Logic over Constraint Systems cs.LO · 2010 · author #3
5. A Metric Encoding for Bounded Model Checking (extended version) cs.LO · 2009 · author #2
6. Modeling Time in Computing: A Taxonomy and a Comparative Survey cs.GL · 2008 · author #3

Mentions

• 1309.7584 #3 · backfill · confidence 0.70 Angelo Morzenti
• 1206.0911 #3 · backfill · confidence 0.70 Angelo Morzenti
• 1205.0946 #3 · backfill · confidence 0.70 Angelo Morzenti
• 1004.1077 #3 · backfill · confidence 0.70 Angelo Morzenti
• 0907.3085 #2 · backfill · confidence 0.70 Angelo Morzenti
• 0807.4132 #3 · backfill · confidence 0.70 Angelo Morzenti

Frequent Coauthors

• Matteo Rossi 4 shared papers
• Matteo Pradella 3 shared papers
• Pierluigi San Pietro 3 shared papers
• Achille Frigeri 2 shared papers
• Dino Mandrioli 2 shared papers
• Marcello M. Bersani 2 shared papers
• Carlo A. Furia 1 shared papers
• Luca Breveglieri 1 shared papers
• Luca Ferrucci 1 shared papers
• Stefano Crespi Reghizzi 1 shared papers