PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Maksimovic, Petar"

Author of the publication

copydeleteadd this publication to your clipboard
An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks.

, , , and . Networking Workshops, volume 7291 of Lecture Notes in Computer Science, page 10-18. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Maksimovic, Petar
add a person with the name Maksimovic, Petar
 

Other publications of authors with the same name

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