Emilio Jes\'us Gallego Arias

Identifiers

• name variant Emilio Jes\'us Gallego Arias 0.60 · backfill

Papers (6)

1. Really Natural Linear Indexed Type Checking cs.LO · 2015 · author #2
2. Computer-aided verification in mechanism design cs.GT · 2015 · author #3
3. Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy cs.PL · 2014 · author #3
4. Proving differential privacy in Hoare logic cs.LO · 2014 · author #3
5. Dual Query: Practical Private Query Release for High Dimensional Data cs.DS · 2014 · author #2
6. The Ciao clp(FD) Library. A Modular CLP Extension for Prolog cs.PL · 2013 · author #1

Mentions

• 1503.04522 #2 · backfill · confidence 0.70 Emilio Jes\'us Gallego Arias
• 1502.04052 #3 · backfill · confidence 0.70 Emilio Jes\'us Gallego Arias
• 1407.6845 #3 · backfill · confidence 0.70 Emilio Jes\'us Gallego Arias
• 1407.2988 #3 · backfill · confidence 0.70 Emilio Jes\'us Gallego Arias
• 1402.1526 #2 · backfill · confidence 0.70 Emilio Jes\'us Gallego Arias
• 1301.7702 #1 · backfill · confidence 0.70 Emilio Jes\'us Gallego Arias

Frequent Coauthors

• Justin Hsu 5 shared papers
• Marco Gaboardi 5 shared papers
• Aaron Roth 3 shared papers
• Gilles Barthe 3 shared papers
• Pierre-Yves Strub 3 shared papers
• Arthur Azevedo de Amorim 1 shared papers
• C\'esar Kunz 1 shared papers
• Jos\'e F. Morales 1 shared papers
• Manuel V. Hermenegildo 1 shared papers
• R\'emy Haemmerl\'e 1 shared papers
• Zhiwei Steven Wu 1 shared papers