Laura Titolo

Identifiers

• name variant Laura Titolo 0.60 · backfill

Papers (4)

1. Eliminating Unstable Tests in Floating-Point Programs cs.PL · 2018 · author #1
2. Modeling Hybrid Systems in Hy-tccp cs.PL · 2014 · author #3
3. Towards an Effective Decision Procedure for LTL formulas with Constraints cs.LO · 2013 · author #2
4. Abstract Diagnosis for Timed Concurrent Constraint programs cs.PL · 2011 · author #2

Mentions

• 1412.4550 #3 · backfill · confidence 0.70 Laura Titolo
• 1308.4171 #2 · backfill · confidence 0.70 Laura Titolo
• 1109.1587 #2 · backfill · confidence 0.70 Laura Titolo

Frequent Coauthors

• Alicia Villanueva 2 shared papers
• Marco Comini 2 shared papers
• Cesar A. Mu\~noz 1 shared papers
• Damian Adalid 1 shared papers
• Marco A. Feliu 1 shared papers
• Maria del Mar Gallardo 1 shared papers
• Mariano M. Moscato 1 shared papers