Ponce-de-León, Hernán
- Unfolding-Based Process Discovery
2015/07/09 by Ponce-de-León, Hernán, Rodríguez, César, Carmona, Josep +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models
2021/11/30 by Antonio Paolillo, Paolillo, Antonio, Ponce-de-León, Hernán +7 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Operating Systems (cs.OS) #Parallel Computing and Optimization Techniques #Security and Verification in Computing