Hugo Pacheco

Identifiers

• name variant Hugo Pacheco 0.60 · backfill

Papers (2)

1. Model checking of hyperproperties for high-level relational models cs.SE · 2025 · author #2
2. A Generic Scheme and Properties of Bidirectional Transformations cs.PL · 2013 · author #1

Mentions

• 1306.4473 #1 · backfill · confidence 0.70 Hugo Pacheco

Frequent Coauthors

• Nuno Macedo 2 shared papers
• Alcino Cunha 1 shared papers
• Janis Voigtl\"ander 1 shared papers