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 | Towards Logic-Based Verification of JavaScript Programs (Proceedings Paper) |
| Autori | Santos Jose Fragoso Gardner Philippa Maksimovic Petar Naudziuniene Daiva |
| Info | AUTOMATED DEDUCTION - CADE 26, (2017), vol. 10395 br. , str. 8-25 |
| Projekat | EPSRC Programme Grant REMS: Rigorous Engineering for Mainstream Systems [EP/K008528/1]; Department of Computing in Imperial College London; EPSRC DTA award; Serbian Ministry of Education and Science through the Mathematical Institute of Serbian Academy of |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| 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 | HOCore in Coq (Proceedings Paper) |
| Autori | Maksimovic Petar Schmitt Alan |
| Info | INTERACTIVE THEOREM PROVING, (2015), vol. 9236 br. , str. 278-293 |
| Projekat | ANRFrench National Research Agency (ANR) [2010-BLAN-0305 PiCoq]; 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 | 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 | An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks (Proceedings Paper) |
| Autori | Ciancaglini Vincenzo Liquori Luigi Giang Ngo Hoang Maksimovic Petar |
| Info | NETWORKING 2012 WORKSHOPS, (2012), vol. 7291 br. , str. 10-18 |
| Ispravka | ISI/Web of Science 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 |
