# Petar Maksimovic

According to our database

Collaborative distances:

^{1}, Petar Maksimovic authored at least 16 papers between 2006 and 2019.Collaborative distances:

## 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

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