Marco Comini

Identifiers

• name variant Marco Comini 0.60 · backfill

Papers (2)

1. Towards an Effective Decision Procedure for LTL formulas with Constraints cs.LO · 2013 · author #1
2. Abstract Diagnosis for Timed Concurrent Constraint programs cs.PL · 2011 · author #1

Mentions

• 1308.4171 #1 · backfill · confidence 0.70 Marco Comini
• 1109.1587 #1 · backfill · confidence 0.70 Marco Comini

Frequent Coauthors

• Alicia Villanueva 2 shared papers
• Laura Titolo 2 shared papers