Nombre de documents

10

CV de Petar Maksimovic


Thèse1 document

  • Petar Maksimović. Development and verification of probability logics and logical frameworks. Logic in Computer Science [cs.LO]. Université Nice Sophia Antipolis; Univerzitet u Novom Sadu, 2013. English. <NNT : 2013NICE4074>. <tel-00907854v3>

Article dans une revue2 documents

  • Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, et al.. Analyzing the exhaustiveness of the synapse protocol. Peer-to-Peer Networking and Applications, Springer, Springer, 2015, Includes a Special Issue on Cloud, Grid, P2P, and Internet Computing, 8 (5), pp.793--806. <10.1007/s12083-014-0293-z>. <hal-01146050>
  • Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. An Open Logical Framework. Journal of Logic and Computation, Oxford University Press (OUP), 2013, 25 (2), 43 p. <10.1093/logcom/ext028>. <hal-00906391>

Communication dans un congrès6 documents

  • Petar Maksimovic, Alan Schmitt. HOCore in Coq. Interactive Theorem Proving, Aug 2015, Nanjing, China. Springer, Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015), 9236, 2015, Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015). <10.1007/978-3-319-22102-1_19>. <hal-01243017>
  • Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan. A Backward-Compatible Protocol for Inter-routing over Heterogeneous Overlay Networks. 28th Annual ACM Symposium on Applied Computing, SAC 13, Coimbra, Portugal, ACM press, 2013., Mar 2013, coimbra, Portugal. ACM, pp.649-651, 2013, <10.1145/2480362.2480485>. <hal-00906835>
  • Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates (Announcement and survey). Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, Nov 2013, Tel Aviv, Israel. 2013. <hal-00906807v2>
  • Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic. An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Zdenek Becvar and Robert Bestak and Lukas Kencl. International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 2012, Prague, Czech Republic. Springer Verlag, 7291, pp.10-18, 2012, Lecture Notes in Computer Science. <10.1007/978-3-642-30039-4_2>. <hal-00909486>
  • Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP - A Logical Framework with External Predicates. LFMTP - 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - 2012, Sep 2012, Copenhagen, Denmark. ACM, pp.13-22, 2012, <10.1145/2364406.2364409>. <hal-00909455>
  • Furio Honsell, Marina Lenisa, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto. LFP – A Logical Framework with External Predicates. 7th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP 2012. Copenhagen, Denmark - September 9, 2012, Sep 2012, Copenhagen, Denmark. ACM, pp.13-22, 2013, <10.1145/2364406.2364409>. <hal-01146691>

Rapport1 document

  • Petar Maksimovic, Thuriez Sebastien, Luigi Liquori. A Secure Protocol for Tracking Customer Flow. [Contract] INRIA Sophia-Antipolis Méditerranée, équipe LOGNET. 2012, (rapport final) 60 p. + (appendix) 15 p. <hal-00909692>