Concepedia

Author

Emilio Jesús Gallego Arias

University of DundeeORCID

Also Known As

Arias, Emilio Jesús Gallego, E. J. G. Arias, Emilio J. Gallego Arias, Emilio Jesus Gallego Arias, Emilio Jesús Gallego Arias, GALLEGO ARIAS, Emilio Jesús, Gallego Arias, Emilio Jesús, Marco Gaboardi

39

Publications

233

Citations

8

H-Index

34

Concepts

All Affiliations

University of DundeeUniversity of PennsylvaniaIMDEA Software InstituteCalifornia University of PennsylvaniaCentre de Recherche en Informatique
EJ

About

Emilio Jesús Gallego Arias is an author at University of Dundee specializing in computer science, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

158

2

Computer Science

6

6

158

3

Data Management

2

2

35

4

Data Science

1

1

24

5

Computer Architecture

1

1

11

Emilio Jesús Gallego Arias

×

6

Publications

158

Citations

6

H-Index

YearCitations

Proving Differential Privacy in Hoare Logic

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias,

2014

59

Really Natural Linear Indexed Type Checking

Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias,

2014

27

Dual Query: Practical Private Query Release for High Dimensional Data

Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu,

Journal of Privacy and Confidentiality

2017

24

Sensitivity analysis using type-based constraints

Loris D’Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias,

2013

19

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy

Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias,

ACM SIGPLAN Notices

2015

18

SerAPI: Machine-Friendly, Data-Centric Serialization for COQ

Emilio Jesús Gallego Arias

SPIRE - Sciences Po Institutional REpository

2016

11

Page 1