Petar Maksimović

Cited by

	All	Since 2019
Citations	390	266
h-index	12	9
i10-index	14	9

201120122013201420152016201720182019202020212022202320242 2 25 4 13 25 20 28 39 46 57 50 59 15

Public access

View all

10 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
José Fragoso SantosInstituto Superior Técnico, INESC-IDVerified email at tecnico.ulisboa.pt
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Sacha-Élie AyounImperial College LondonVerified email at imperial.ac.uk
Zoran OgnjanovicResearch Professor, Matematicki institut SANUVerified email at mi.sanu.ac.rs
Alan SchmittInria, IRISAVerified email at inria.fr
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs
Ioannis KokkinisUniversity of the AegeanVerified email at aegean.gr
Thomas StuderUniversität BernVerified email at iam.unibe.ch
Théotime GrohensCentro de Regulación GenómicaVerified email at insa-lyon.fr
Julian DolbyIBM Thomas J. Watson Research CenterVerified email at us.ibm.com
Dragan DoderUtrecht UniversityVerified email at uu.nl
Aleksandar PerovicFull Professor of Mathematics, University of Belgrade, Faculty of Transport and Traffic EngineeringVerified email at sf.bg.ac.rs
Conrad WattAssistant Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Neelakantan R. KrishnaswamiUniversity of CambridgeVerified email at cl.cam.ac.uk
Tatjana DavidovicResearch Professor, Mathematical Institute of Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs
Paola GlavanHigher teaching assistant, Faculty of Mechanical Engineering and Naval Architecture, University ofVerified email at fsb.hr
Predrag JanicicFull professor of Computer Science, Faculty of Mathematics, University of BelgradeVerified email at matf.bg.ac.rs

Petar Maksimović

Research Fellow @ Imperial College London

Verified email at imperial.ac.uk

Program Analysis and Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
First steps towards probabilistic justification logic I Kokkinis, P Maksimović, Z Ognjanović, T Studer Logic Journal of the IGPL 23 (4), 662-687, 2015	54	2015
JaVerT: JavaScript verification toolchain J Fragoso Santos, P Maksimović, D Naudžiūnienė, T Wood, P Gardner Proceedings of the ACM on Programming Languages 2 (POPL), 1-33, 2017	48	2017
Symbolic Execution for JavaScript JF Santos, P Maksimović, T Grohens, J Dolby, P Gardner Proceedings of the 20th International Symposium on Principles and Practice …, 2018	37	2018
Gillian, part i: a multi-language platform for symbolic execution J Fragoso Santos, P Maksimović, SÉ Ayoun, P Gardner Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	36	2020
JaVerT 2.0: Compositional Symbolic Execution for JavaScript J Fragoso Santos, P Maksimović, G Sampaio, P Gardner Proceedings of the ACM on Programming Languages 3 (POPL), 66, 2019	35	2019
HOCore in Coq P Maksimović, A Schmitt International Conference on Interactive Theorem Proving, 278-293, 2015	24	2015
Gillian, Part II: Real-World Verification for JavaScript and C P Maksimović, SÉ Ayoun, JF Santos, P Gardner International Conference on Computer Aided Verification, 827-850, 2021	20	2021
A logic with conditional probability operators D Doder, B Marinković, P Maksimović, A Perović Publications de l'Institut Mathematique 87 (107), 85-96, 2010	19	2010
LFP: A Logical Framework with External Predicates F Honsell, M Lenisa, L Liquori, P Maksimovic, I Scagnetto Proceedings of the seventh international workshop on Logical frameworks and …, 2012	17	2012
A Program Logic for First-Order Encapsulated WebAssembly C Watt, P Maksimović, NR Krishnaswami, P Gardner arXiv preprint arXiv:1811.03479, 2018	14	2018
An open logical framework F Honsell, M Lenisa, I Scagnetto, L Liquori, P Maksimovic Journal of Logic and Computation 26 (1), 293-335, 2013	14	2013
Parameter calibration in the bee colony optimization algorithm P Maksimović, T Davidović XI Balcan Conference on Operational Research, BALCOR 2013, 263-272, 2013	12	2013
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads F Honsell, L Liquori, P Maksimovic, I Scagnetto arXiv preprint arXiv:1702.07214, 2017	11	2017
An extension and cooperation mechanism for heterogeneous overlay networks V Ciancaglini, L Liquori, GN Hoang, P Maksimović International Conference on Research in Networking, 10-18, 2012	11	2012
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications G Sampaio, J Fragoso Santos, P Maksimović, P Gardner 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020	6	2020
A backward-compatible protocol for inter-routing over heterogeneous overlay networks GN Hoang, L Liquori, V Ciancaglini, P Maksimovic, HN Chan Proceedings of the 28th Annual ACM Symposium on Applied Computing, 649-651, 2013	6	2013
Analyzing the exhaustiveness of the Synapse protocol B Marinković, V Ciancaglini, Z Ognjanović, P Glavan, L Liquori, ... Peer-to-Peer Networking and Applications 8 (5), 793-806, 2015	5	2015
Towards Logic-Based Verification of JavaScript Programs JF Santos, P Gardner, P Maksimović, D Naudžiūnienė International Conference on Automated Deduction, 8-25, 2017	4	2017
Simple characterization of functionally complete one‐element sets of propositional connectives P Maksimović, P Janičić Mathematical Logic Quarterly 52 (5), 498-504, 2006	4	2006
Exact Separation Logic P MAKSIMOVIĆ, C CRONJÄGER, J SUTHERLAND, A LÖÖW, ...	4*

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors