Certified Graph View Maintenance with Regular Datalog von BONIFATI, ANGELA, DUMBRAVA, STEFANIA, ARIAS, EMILIO JESÚS GALLEGO

Volltext

mCoq: Mutation Analysis for Coq Verification Projects von Jain, Kush, Palmskog, Karl, Celik, Ahmet, Gallego Arias, Emilio Jesús, Gligoric, Milos

Volltext bestellen

jsCoq: Towards Hybrid Theorem Proving Interfaces von Gallego Arias, Emilio Jesús, Pin, Benoît, Jouvelot, Pierre

Volltext

Constraint logic programming with a relational machine von Gallego Arias, Emilio Jesús, Lipton, James, Mariño, Julio

Volltext

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy von Barthe, Gilles, Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin, Roth, Aaron, Strub, Pierre-Yves

Volltext

Dual Query: Practical Private Query Release for High Dimensional Data von Gaboardi, Marco, Gallego Arias, Emilio Jesús, Hsu, Justin, Roth, Aaron, Wu, Zhiwei Steven

Volltext

Computer-Aided Verification for Mechanism Design von Barthe, Gilles, Gaboardi, Marco, Arias, Emilio Jesús Gallego, Hsu, Justin, Roth, Aaron, Strub, Pierre-Yves

Volltext

First-order unification using variable-free relational algebra von Arias, Emilio Jesús Gallego, Lipton, James, Mariño, Julio, Nogueira, Pablo

Volltext

Differentially Private Bayesian Programming von Barthe, Gilles, Farina, Gian Pietro, Gaboardi, Marco, Emilio Jesùs Gallego Arias, Gordon, Andy, Hsu, Justin, Strub, Pierre-Yves

Volltext

Declarative Compilation for Constraint Logic Programming von Arias, Emilio Jesús Gallego, Lipton, James, Mariño, Julio

Volltext

jsCoq: Towards Hybrid Theorem Proving Interfaces von Emilio Jesús Gallego Arias, Pin, Benoît, Jouvelot, Pierre

Volltext

Computer-aided verification in mechanism design von Barthe, Gilles, Gaboardi, Marco, Emilio Jesús Gallego Arias, Hsu, Justin, Roth, Aaron, Strub, Pierre-Yves

Volltext

Really Natural Linear Indexed Type Checking von Azevedo de Amorim, Arthur, Emilio Jesús Gallego Arias, Gaboardi, Marco, Hsu, Justin

Volltext

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy von Barthe, Gilles, Gaboardi, Marco, Emilio Jesús Gallego Arias, Hsu, Justin, Roth, Aaron, Strub, Pierre-Yves

Volltext

La preuve de théorèmes pour les masses (soniques) von Gallego Arias, Emilio Jesús, Pin, Benoît, Jouvelot, Pierre

Volltext

Proving differential privacy in Hoare logic von Barthe, Gilles, Gaboardi, Marco, Emilio Jesús Gallego Arias, Hsu, Justin, Kunz, César, Strub, Pierre-Yves

Volltext

Certified Graph View Maintenance with Regular Datalog von Bonifati, Angela, Dumbrava, Stefania, Arias, Emilio Jesus Gallego

Volltext bestellen

Supplementary material for the ITP'23 article "Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users" von de Almeida Borges, Ana, Casanueva Artís, Annalí, Falleri, Jean-Rémy, Gallego Arias, Emilio Jesús, Martin-Dorel, Érik, Palmskog, Karl, Serebrenik, Alexander, Zimmermann, Théo

Volltext bestellen

Certified Graph View Maintenance with Regular Datalog von Bonifati, Angela, Dumbrava, Stefania, Emilio Jesus Gallego Arias

Volltext

Dual Query: Practical Private Query Release for High Dimensional Data von Gaboardi, Marco, Arias, Emilio Jesús Gallego, Hsu, Justin, Roth, Aaron, Wu, Zhiwei Steven

Volltext bestellen