Pietro Sala (University of Verona

Identifiers

• name variant Pietro Sala (University of Verona 0.60 · backfill

Papers (4)

1. Model Checking the Logic of Allen's Relations Meets and Started-by is $P^NP$-Complete cs.LO · 2016 · author #9
2. A decidable weakening of Compass Logic based on cone-shaped cardinal directions cs.LO · 2015 · author #4
3. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture cs.LO · 2012 · author #7
4. Begin, After, and Later: a Maximal Decidable Interval Temporal Logic cs.LO · 2010 · author #4

Mentions

• 1510.03319 #4 · backfill · confidence 0.70 Pietro Sala (University of Verona
• 1210.2479 #7 · backfill · confidence 0.70 Pietro Sala (University of Verona
• 1006.1407 #4 · backfill · confidence 0.70 Pietro Sala (University of Verona

Frequent Coauthors

• Italy) 4 shared papers
• Angelo Montanari (University of Udine 3 shared papers
• Spain) 3 shared papers
• Davide Bresolin (University of Verona 2 shared papers
• Guido Sciavicco (University of Murcia 2 shared papers
• Adriano Peron (University of Napoli "Federico II" 1 shared papers
• Alberto Molinari (University of Udine 1 shared papers
• Dario Della Monica (Reykjavik University 1 shared papers
• Gabriele Puppis (LaBRI - CNRS) 1 shared papers
• Iceland) 1 shared papers
• Laura Bozzelli (Technical University of Madrid (UPM) 1 shared papers
• Murcia 1 shared papers
• Verona 1 shared papers