Honsell Furio,Liquori Luigi,Maksimovic Petar,Scagnetto Ivan (2018) Plugging-in proof development environments using Locks in LF, MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, vol. 28, br. 9, str. 1578-1605 (Article; Proceedings Paper) 

Honsell Furio,Liquori Luigi,Maksimovic Petar,Scagnetto Ivan (2017) LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 13, br. 3, str. - (Article) 

Honsell Furio,Lenisa Marina,Scagnetto Ivan,Liquori Luigi,Maksimovic Petar (2016) An open logical framework, JOURNAL OF LOGIC AND COMPUTATION, vol. 26, br. 1, str. 293-335 (Article) 

Kokkinis Ioannis,Maksimovic Petar,Ognjanovic Zoran D,Studer Thomas (2015) First steps towards probabilistic justification logic, LOGIC JOURNAL OF THE IGPL, vol. 23, br. 4, str. 662-687 (Article) 

Marinkovic Bojan B,Ciancaglini Vincenzo,Ognjanovic Zoran D,Glavan Paola,Liquori Luigi,Maksimovic Petar (2015) Analyzing the exhaustiveness of the Synapse protocol, PEER-TO-PEER NETWORKING AND APPLICATIONS, vol. 8, br. 5, str. 793-806 (Article) 

Doder Dragan J,Marinkovic Bojan B,Maksimovic Petar,Perovic Aleksandar M (2010) A Logic with Conditional Probability Operators, PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, vol. 87, br. 101, str. 85-96 (Article) 

Maksimovic Petar,Janicic Predrag (2006) Simple characterization of functionally complete one-element sets of propositional connectives, MATHEMATICAL LOGIC QUARTERLY, vol. 52, br. 5, str. 498-504 (Article)