PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Maksimovic, Petar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing the exhaustiveness of the Synapse protocol.

, , , , , und . Peer-to-Peer Networking and Applications, 8 (5): 793-806 (2015)

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.

Keine Personen gefunden für den Autorennamen Maksimovic, Petar
Eine Person hinzufügen mit dem Namen Maksimovic, Petar
 

Weitere Publikationen von Autoren mit dem selben Namen

A Program Logic for First-Order Encapsulated WebAssembly., , , und . CoRR, (2018)Towards Logic-Based Verification of JavaScript Programs., , , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 8-25. Springer, (2017)Symbolic Execution for JavaScript., , , , und . PPDP, Seite 11:1-11:14. ACM, (2018)A backward-compatible protocol for inter-routing over heterogeneous overlay networks., , , , und . SAC, Seite 649-651. ACM, (2013)An open logical framework., , , , und . J. Log. Comput., 26 (1): 293-335 (2016)Plugging-in proof development environments using Locks in LF., , , und . Mathematical Structures in Computer Science, 28 (9): 1578-1605 (2018)First steps towards probabilistic justification logic., , , und . Logic Journal of the IGPL, 23 (4): 662-687 (2015)Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks., , , und . LFMTP, Volume 185 von EPTCS, Seite 3-17. (2015)JaVerT: JavaScript verification toolchain., , , , und . Proc. ACM Program. Lang., 2 (POPL): 50:1-50:33 (2018)Simple characterization of functionally complete one-element sets of propositional connectives., und . Math. Log. Q., 52 (5): 498-504 (2006)