EDUARDO AUGUSTO BONELLI

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE LA PLATA / FACULTAD DE INFORMATICA
Título	Doctorat en Informatique
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Otros campos
Especialidad	Fundamentos de la informática

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-10 de 10

Artículo BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions

Compagnoni, Adriana; Sharma, Vishaka; Bao, Yifei; Libera, Matthew; Sukhishvili, Svetlana; Bidinger, Philippe; Boglio, Livio; Bonelli, Eduardo Augusto (Elsevier, 2013-03-11)
Artículo Foundations of strong call by need

Balabonski, Thibaut; Barenbaum, Pablo ; Bonelli, Eduardo Augusto ; Kesner, Delia (Association for Computing Machinery, 2017-08)
Artículo Hypothetical Logic of Proofs

Bonelli, Eduardo Augusto ; Steren, Gabriela (Springer, 2014-03)
Artículo Intuitionistic Hypothetical Logic of Proof

Steren, Gabriela; Bonelli, Eduardo Augusto (Elsevier Science, 2013-10)
Artículo Justification logic and audited computation

Bavera, Francisco Pedro ; Bonelli, Eduardo Augusto (Oxford University Press, 2015-06)
Artículo Justification Logic as a foundation for certifying mobile computation

Bonelli, Eduardo Augusto ; Feller, Federico (Elsevier Science, 2012-07)
Artículo On abstract normalisation beyond neededness

Bonelli, Eduardo Augusto ; Kesner, Delia; Lombardi, Carlos; Rios, Alejandro Norberto (Elsevier Science, 2017-04)
Artículo Optimality & the linear substitution calculus

Barenbaum, Pablo ; Bonelli, Eduardo Augusto (Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2017-09)
Artículo The First-Order Hypothetical Logic of Proofs

Steren, Gabriela; Bonelli, Eduardo Augusto (Oxford University Press, 2017-09)
Artículo Type Soundness for Path Polymorphism

Viso, Andrés Ezequiel ; Bonelli, Eduardo Augusto ; Ayala Rincón, Mauricio (Elsevier, 2016-11)

Mostrando ítems 1-10 de 10