( en | de | ru )

 

Disambiguierung von "de Sousa, Simão Melo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Derivative Automata Formalized in Coq.

, , , und . CIAA, Volume 6482 von Lecture Notes in Computer Science, Seite 59-68. Springer, (2010)

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.

João Simão

Amândio Miguel Simão

Gerard de Melo

Theresa de Sousa

Ágabo Borges de Sousa

 

Weitere Publikationen von Autoren mit dem selben Namen

Tool-Assisted Specification and Verification of the JavaCard Platform., , , und . AMAST, Volume 2422 von Lecture Notes in Computer Science, Seite 41-59. Springer, (2002)Jakarta: A Toolset for Reasoning about JavaCard., , , und . E-smart, Volume 2140 von Lecture Notes in Computer Science, Seite 2-18. Springer, (2001)A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction., , , und . PADL, Volume 7752 von Lecture Notes in Computer Science, Seite 43-59. Springer, (2013)A tool for implementing privacy in Nano., , und . DAPPS, Seite 159-163. IEEE, (2020)A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines., , , und . VMCAI, Volume 2294 von Lecture Notes in Computer Science, Seite 32-45. Springer, (2002)Learning Stochastic Timed Automata from Sample Executions., , und . ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 508-523. Springer, (2012)Deciding Kleene algebra terms equivalence in Coq., , und . J. Log. Algebraic Methods Program., 84 (3): 377-401 (2015)A tool for proving Michelson Smart Contracts in WHY3*., , , und . Blockchain, Seite 409-414. IEEE, (2020)E-Id Authentication and Uniform Access to Cloud Storage Service Providers., , , und . CloudCom (1), Seite 487-492. IEEE Computer Society, (2013)IS 2006 PC Co-chairs' Message., , und . OTM Workshops (1), Volume 4277 von Lecture Notes in Computer Science, Seite 311. Springer, (2006)