Autori: Maksimovic Petar
| Naslov | Plugging-in proof development environments using Locks in LF (Article; Proceedings Paper) |
| Autori | Honsell Furio Liquori Luigi Maksimovic Petar Scagnetto Ivan |
| Info | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, (2018), vol. 28 br. 9, str. 1578-1605 |
| Projekat | COST Action [CA15123 EUTYPES]; Serbian Ministry of Education, Science, and Technological Development [ON174026, III44006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | LLFP: Alogical Framework for Modeling External Evidence, Side Conditions, and Proof Irrelevance Using Monads (Article) |
| Autori | Honsell Furio Liquori Luigi Maksimovic Petar Scagnetto Ivan |
| Info | LOGICAL METHODS IN COMPUTER SCIENCE, (2017), vol. 13 br. 3, str. - |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | An open logical framework (Article) |
| Autori | Honsell Furio Lenisa Marina Scagnetto Ivan Liquori Luigi Maksimovic Petar |
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2016), vol. 26 br. 1, str. 293-335 |
| Projekat | Serbian Ministry of Education, Science, and Technological Development [ON174026, III044006] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | First steps towards probabilistic justification logic (Article) |
| Autori | Kokkinis Ioannis Maksimovic Petar Ognjanovic Zoran D Studer Thomas |
| Info | LOGIC JOURNAL OF THE IGPL, (2015), vol. 23 br. 4, str. 662-687 |
| Projekat | SNSF [153169]; Serbian Ministry of Education, Science and Technological Development [III44006, ON174026] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Analyzing the exhaustiveness of the Synapse protocol (Article) |
| Autori | Marinkovic Bojan B Ciancaglini Vincenzo Ognjanovic Zoran D Glavan Paola Liquori Luigi Maksimovic Petar |
| Info | PEER-TO-PEER NETWORKING AND APPLICATIONS, (2015), vol. 8 br. 5, str. 793-806 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through Matematicki Institut SANU [ON174026, III44006]; Ministarstvo znanosti, obrazovanja i sporta republike Hrvatske |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | A Logic with Conditional Probability Operators (Article) |
| Autori | Doder Dragan J Marinkovic Bojan B Maksimovic Petar Perovic Aleksandar M |
| Info | PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, (2010), vol. 87 br. 101, str. 85-96 |
| Projekat | Ministry of Science, Republic of Serbia [144013] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Simple characterization of functionally complete one-element sets of propositional connectives (Article) |
| Autori | Maksimovic Petar Janicic Predrag |
| Info | MATHEMATICAL LOGIC QUARTERLY, (2006), vol. 52 br. 5, str. 498-504 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
