( en | de | ru )

 

Disambiguierung von "Coglio, Alessandro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Roadmap for enhanced languages and methods to aid verification.

, , , , , , , , , , , , und . GPCE, Seite 221-236. ACM, (2006)

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.

Alessandro Valeri

Fluorescence resonance energy transfer between multiple chromophores studied by single-molecule spectroscopy. Uni Düsseldorf, (2009)

Alessandro Nova

Alessandro Zivelonghi

Alessandro Mirizzi

Alessandro Manfredini

 

Weitere Publikationen von Autoren mit dem selben Namen

Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions., und . Concurr. Comput. Pract. Exp., 13 (13): 1153-1171 (2001)A Versatile, Sound Tool for Simplifying Definitions., , und . ACL2, Volume 249 von EPTCS, Seite 61-77. (2017)Second-Order Functions and Theorems in ACL2.. ACL2, Volume 192 von EPTCS, Seite 17-33. (2015)Towards Model-Based Intent-Driven Adaptive Software., , , und . ISoLA, Volume 13036 von Lecture Notes in Computer Science, Seite 378-392. Springer, (2021)Adding 32-bit Mode to the ACL2 Model of the x86 ISA., und . ACL2, Volume 280 von EPTCS, Seite 77-94. (2018)The OMRS project: state of the art., , und . WRLA, Volume 15 von Electronic Notes in Theoretical Computer Science, Seite 127-146. Elsevier, (1998)Comprehensive Java Metadata Tracking for Attack Detection and Repair., , , und . DSN, Seite 39-51. IEEE, (2020)Simple verification technique for complex Java bytecode subroutines.. Concurr. Pract. Exp., 16 (7): 647-670 (2004)Pop-Refinement.. Arch. Formal Proofs, (2014)A Simple Java Code Generator for ACL2 Based on a Deep Embedding of ACL2 in Java.. ACL2, Volume 280 von EPTCS, Seite 1-17. (2018)