Ernesto Pimentel
Identifiers
- name variant Ernesto Pimentel 0.60 · backfill
Papers (3)
- StableShots: Online Shot Stopping for Quantum Circuit Execution quant-ph · 2026 · author #3
- Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software cs.LO · 2011 · author #1
- Composing Programs in a Rewriting Logic for Declarative Programming cs.LO · 2002 · author #2
Mentions
- 2606.22170 #3 · arxiv_oai · confidence 0.70 Ernesto Pimentel
- 1109.2399 #1 · backfill · confidence 0.70 Ernesto Pimentel
Frequent Coauthors
- Alessandro Bocci 1 shared papers
- Antonio Brogi 1 shared papers
- Giuseppe Bisicchia 1 shared papers
- Juan M. Molina 1 shared papers
- Valent\'in Valero 1 shared papers