( en | de | ru )

 

Disambiguierung von "Pinto, Jorge Sousa"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Deductive Verification Platform for Cryptographic Software.

, , , und . ECEASST, (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.

Jorge Gómez Sousa

Gideon Sousa

Carlos Sousa

Ágabo Borges de Sousa

Maria Constança Dias Urbano Sousa

 

Weitere Publikationen von Autoren mit dem selben Namen

Sequential and Concurrent Abstract Machines for Interaction Nets.. FoSSaCS, Volume 1784 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2000)A Bounded Model Checker for SPARK Programs., , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 24-30. Springer, (2014)Monitoring for a Decidable Fragment of MTL-∫., , , und . RV, Volume 9333 von Lecture Notes in Computer Science, Seite 169-184. Springer, (2015)A Compositional Monitoring Framework for Hard Real-Time Systems., , , und . NASA Formal Methods, Volume 8430 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2014)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 493-495. Springer, (2012)GamaSlicer: an online laboratory for program verification and analysis., , und . LDTA, Seite 3. ACM, (2010)Verification conditions for source-level imperative programs., und . Comput. Sci. Rev., 5 (3): 252-277 (2011)Combining interaction nets with externally defined programs., , und . APPIA-GULP-PRODE, Seite 297-312. Departamento de Informática, Universidade de Évora, (2001)Recursion patterns and time-analysis., , und . ACM SIGPLAN Notices, 40 (5): 45-54 (2005)Weak reduction and garbage collection in interaction nets.. WRS, Volume 86 von Electronic Notes in Theoretical Computer Science, Seite 625-640. Elsevier, (2003)