Pierluigi San Pietro

Identifiers

• name variant Pierluigi San Pietro 0.60 · backfill

Papers (8)

1. Deque languages, automata and planar graphs cs.FL · 2018 · author #2
2. Non-erasing Chomsky-Sch{\"u}tzenberger theorem with grammar-independent alphabet cs.FL · 2018 · author #2
3. Efficient Large-scale Trace Checking Using MapReduce cs.SE · 2015 · author #5
4. Offline Trace Checking of Quantitative Properties of Service-Based Applications cs.SE · 2014 · author #4
5. Constraint LTL Satisfiability Checking without Automata cs.LO · 2012 · author #6
6. Bounded Reachability for Temporal Logic over Constraint Systems cs.LO · 2010 · author #6
7. Dense-choice Counter Machines revisited cs.LO · 2009 · author #3
8. A Metric Encoding for Bounded Model Checking (extended version) cs.LO · 2009 · author #3

Mentions

• 1409.4653 #4 · backfill · confidence 0.70 Pierluigi San Pietro
• 1205.0946 #6 · backfill · confidence 0.70 Pierluigi San Pietro
• 1004.1077 #6 · backfill · confidence 0.70 Pierluigi San Pietro
• 0911.3405 #3 · backfill · confidence 0.70 Pierluigi San Pietro
• 0907.3085 #3 · backfill · confidence 0.70 Pierluigi San Pietro

Frequent Coauthors

• Angelo Morzenti 3 shared papers
• Marcello M. Bersani 3 shared papers
• Matteo Pradella 3 shared papers
• Achille Frigeri 2 shared papers
• Carlo Ghezzi 2 shared papers
• Domenico Bianculli 2 shared papers
• Matteo Rossi 2 shared papers
• Srdan Krstic 2 shared papers
• Stefano Crespi Reghizzi 2 shared papers
• Alain Finkel 1 shared papers
• Florent Bouchy 1 shared papers