Hern\'an Ponce-de-Le\'on

Identifiers

• name variant Hern\'an Ponce-de-Le\'on 0.60 · backfill

Papers (3)

1. Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models cs.PL · 2017 · author #1
2. Unfolding-Based Process Discovery cs.LO · 2015 · author #1
3. Distributed Diagnosability Analysis with Petri Nets cs.LO · 2015 · author #3

Mentions

• 1502.07744 #3 · backfill · confidence 0.70 Hern\'an Ponce-de-Le\'on

Frequent Coauthors

• Keijo Heljanko 2 shared papers
• Agnes Madalinski 1 shared papers
• C\'esar Rodr\'iguez 1 shared papers
• Florian Furbach 1 shared papers
• Josep Carmona 1 shared papers
• Laura Brand\'an-Briones 1 shared papers
• Roland Meyer 1 shared papers
• Stefan Haar 1 shared papers