The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Emilio Jesús Gallego Arias" ( http://dblp.L3S.de/Authors/Emilio_Jesús_Gallego_Arias )

  Author page on DBLP  Author page in RDF  Community of Emilio Jesús Gallego Arias in ASPL-2

Publication years (Num. hits)
2005-2015 (16) 2016-2019 (9)
Publication types (Num. hits)
article(13) inproceedings(12)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 26 publication records. Showing 25 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Emilio Jesús Gallego Arias Towards Principled Compilation of Ethereum Smart Contracts (SoK). Search on Bibsonomy NTMS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Angela Bonifati, Stefania Dumbrava, Emilio Jesús Gallego Arias Certified Graph View Maintenance with Regular Datalog. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, James Lipton, Julio Mariño Constraint logic programming with a relational machine. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Zhiwei Steven Wu Dual Query: Practical Private Query Release for High Dimensional Data. Search on Bibsonomy J. Priv. Confidentiality The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub Differentially Private Bayesian Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot jsCoq: Towards Hybrid Theorem Proving Interfaces. Search on Bibsonomy UITP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Gian Pietro Farina, Marco Gaboardi, Emilio Jesús Gallego Arias, Andy Gordon, Justin Hsu, Pierre-Yves Strub Differentially Private Bayesian Programming. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub Computer-Aided Verification for Mechanism Design. Search on Bibsonomy WINE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub Computer-aided verification in mechanism design. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu Really Natural Linear Indexed Type Checking. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub Proving differential privacy in Hoare logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Zhiwei Steven Wu Dual Query: Practical Private Query Release for High Dimensional Data. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Pierre-Yves Strub Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Arthur Azevedo de Amorim, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu Really Natural Linear Indexed Type Checking. Search on Bibsonomy IFL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, César Kunz, Pierre-Yves Strub Proving Differential Privacy in Hoare Logic. Search on Bibsonomy CSF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, James Lipton, Julio Mariño-Carballo Declarative Compilation for Constraint Logic Programming. Search on Bibsonomy LOPSTR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth 0001, Zhiwei Steven Wu Dual Query: Practical Private Query Release for High Dimensional Data. Search on Bibsonomy ICML The full citation details ... 2014 DBLP  BibTeX  RDF
1Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales The Ciao clp(FD) Library. A Modular CLP Extension for Prolog Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Loris D'Antoni, Marco Gaboardi, Emilio Jesús Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce Sensitivity analysis using type-based constraints. Search on Bibsonomy FPCDSL@ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, James Lipton Logic Programming in Tabular Allegories. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira First-order unification using variable-free relational algebra. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, Julio Mariño-Carballo, José María Rey Poza A Proposal for Disequality Constraints in Curry. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Emilio Jesús Gallego Arias, Julio Mariño An overview of the Sloth2005 curry system: system description. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraint definitional trees, sloth, type classes, curry
Displaying result #1 - #25 of 25 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license