( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Differentially Private Bayesian Programming.

, , , , , , и . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Julián Jesús Fernández Arias

Pedro Miguel d' Jesús Montilva

Jesús Araiza

Jesús Arambarri

Jesús Odriozola

 

Другие публикации лиц с тем же именем

An overview of the Sloth2005 curry system: system description., и . WCFLP, стр. 66-69. ACM, (2005)First-order unification using variable-free relational algebra., , , и . Logic Journal of the IGPL, 19 (6): 790-820 (2011)Towards Principled Compilation of Ethereum Smart Contracts (SoK).. NTMS, стр. 1-5. IEEE, (2019)Mutation Analysis for Coq., , , , и . ASE, стр. 539-551. IEEE, (2019)Logic Programming in Tabular Allegories., и . ICLP (Technical Communications), том 17 из LIPIcs, стр. 334-347. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)First-order unification using variable-free relational algebra., , , и . UNIF, стр. 40-54. (2008)Relational and Allegorical Semantics for Constraint Logic Programming.. Technical University of Madrid, Spain, (2012)mCoq: mutation analysis for Coq verification projects., , , , и . ICSE (Companion Volume), стр. 89-92. ACM, (2020)The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms., , , и . FARM@ICFP, стр. 35-46. ACM, (2021)Mutation Analysis for Coq, , , , и . 34th IEEE/ACM International Conference on Automated Software Engineering, стр. 539--551. (ноября 2019)