@ARTICLE{
author={Honsell Furio,Liquori Luigi,Maksimovic Petar,Scagnetto Ivan},
year={2018},
title={Plugging-in proof development environments using Locks in LF},
journal={MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE},
volume={28},
number={9},
pages={1578-1605},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Santos Jose Fragoso,Gardner Philippa,Maksimovic Petar,Naudziuniene Daiva},
year={2017},
title={Towards Logic-Based Verification of JavaScript Programs},
journal={AUTOMATED DEDUCTION - CADE 26},
volume={10395},
number={},
pages={8-25},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Honsell Furio,Liquori Luigi,Maksimovic Petar,Scagnetto Ivan},
year={2017},
title={LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={13},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Honsell Furio,Lenisa Marina,Scagnetto Ivan,Liquori Luigi,Maksimovic Petar},
year={2016},
title={An open logical framework},
journal={JOURNAL OF LOGIC AND COMPUTATION},
volume={26},
number={1},
pages={293-335},
document_type={Article},
} 

@ARTICLE{
author={Maksimovic Petar,Schmitt Alan},
year={2015},
title={HOCore in Coq},
journal={INTERACTIVE THEOREM PROVING},
volume={9236},
number={},
pages={278-293},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Kokkinis Ioannis,Maksimovic Petar,Ognjanovic Zoran D,Studer Thomas},
year={2015},
title={First steps towards probabilistic justification logic},
journal={LOGIC JOURNAL OF THE IGPL},
volume={23},
number={4},
pages={662-687},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar},
year={2015},
title={Analyzing the exhaustiveness of the Synapse protocol},
journal={PEER-TO-PEER NETWORKING AND APPLICATIONS},
volume={8},
number={5},
pages={793-806},
document_type={Article},
} 

@ARTICLE{
author={Ciancaglini Vincenzo,Liquori Luigi,Giang Ngo Hoang,Maksimovic Petar},
year={2012},
title={An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks},
journal={NETWORKING 2012 WORKSHOPS},
volume={7291},
number={},
pages={10-18},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Doder Dragan J,Marinkovic Bojan B,Maksimovic Petar,Perovic Aleksandar M},
year={2010},
title={A Logic with Conditional Probability Operators},
journal={PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD},
volume={87},
number={101},
pages={85-96},
document_type={Article},
} 

@ARTICLE{
author={Maksimovic Petar,Janicic Predrag},
year={2006},
title={Simple characterization of functionally complete one-element sets of propositional connectives},
journal={MATHEMATICAL LOGIC QUARTERLY},
volume={52},
number={5},
pages={498-504},
document_type={Article},
}