( en | de | ru )

 

Disambiguierung von "Bonelli, Eduardo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions.

, , , , , , , und . CS2Bio, Volume 293 von Electronic Notes in Theoretical Computer Science, Seite 35-49. Elsevier, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Antonio Bonelli

Raquel Regina Bonelli

Eduardo Maurô

Eduardo Ospina

Eduardo Klein

 

Weitere Publikationen von Autoren mit dem selben Namen

Type-based information flow analysis for bytecode languages with variable object field policies., und . SAC, Seite 347-351. ACM, (2008)The Logic of Proofs as a Foundation for Certifying Mobile Computation., und . LFCS, Volume 5407 von Lecture Notes in Computer Science, Seite 76-91. Springer, (2009)The Linear Logical Abstract Machine.. MFPS, Volume 158 von Electronic Notes in Theoretical Computer Science, Seite 99-121. Elsevier, (2006)Optimality and the Linear Substitution Calculus., und . FSCD, Volume 84 von LIPIcs, Seite 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Pattern Matching and Fixed Points: Resource Types and Strong Call-By-Need: Extended Abstract., , und . PPDP, Seite 6:1-6:12. ACM, (2018)Justification Logic and History Based Computation., und . ICTAC, Volume 6255 von Lecture Notes in Computer Science, Seite 337-351. Springer, (2010)BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions., , , , , , , und . CS2Bio, Volume 293 von Electronic Notes in Theoretical Computer Science, Seite 35-49. Elsevier, (2012)Strong Bisimulation for Control Operators (Invited Talk)., , und . CSL, Volume 152 von LIPIcs, Seite 4:1-4:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A Typed Assembly Language for Non-interference., , und . ICTCS, Volume 3701 von Lecture Notes in Computer Science, Seite 360-374. Springer, (2005)The Intensional Lambda Calculus., und . LFCS, Volume 4514 von Lecture Notes in Computer Science, Seite 12-25. Springer, (2007)