Petar Maksimovic

According to our database1, Petar Maksimovic authored at least 17 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
JaVerT 2.0: compositional symbolic execution for JavaScript.
PACMPL, 2019

A Program Logic for First-Order Encapsulated WebAssembly.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
JaVerT: JavaScript verification toolchain.
PACMPL, 2018

Plugging-in proof development environments using Locks in LF.
Mathematical Structures in Computer Science, 2018

Symbolic Execution for JavaScript.
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017
LLF𝒫: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads.
Logical Methods in Computer Science, 2017

Towards Logic-Based Verification of JavaScript Programs.
Proceedings of the Automated Deduction - CADE 26, 2017

2016
An open logical framework.
J. Log. Comput., 2016

2015
Analyzing the exhaustiveness of the Synapse protocol.
Peer-to-Peer Networking and Applications, 2015

First steps towards probabilistic justification logic.
Logic Journal of the IGPL, 2015

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.
Proceedings of the Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, 2015

HOCore in Coq.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2013
Development and verification of probability logics and logical frameworks. (Développement et vérification des logiques probabilistes et des cadres logiques).
PhD thesis, 2013

A backward-compatible protocol for inter-routing over heterogeneous overlay networks.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks.
Proceedings of the NETWORKING 2012 Workshops, 2012

2008
Open Science Grid Study of the Coupling between Conformation and Water Content in the Interior of a Protein.
Journal of Chemical Information and Modeling, 2008

2006
Simple characterization of functionally complete one-element sets of propositional connectives.
Math. Log. Q., 2006


  Loading...