Concepedia

Jovanka Pantović

JP

5

Publications

109

Citations

5

H-Index

2004

Active since

Affiliations

University of Novi Sad(Current)

Imperial College London

Jovanka Pantović is an author at University of Novi Sad specializing in computer engineering, parallel computing, and engineering.

Top concepts

EngineeringComputer ScienceCluster ComputingParallel ComputingComputer EngineeringParallel ProgrammingComputer ArchitectureVerificationFormal MethodsProgram Analysis

Publications per year

2004–2022

5

Publications

5

Precise subtyping for synchronous multiparty sessions

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 39 citations

Cluster Computing, Engineering, Synchronization Protocol +8

Precise subtyping for synchronous multiparty sessions

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić et al. · Electronic Proceedings in Theoretical Computer Science · 2016 · 24 citations · Full text

Cluster Computing, Engineering, Type Theory +23

Precise subtyping for asynchronous multiparty sessions

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić et al. · Proceedings of the ACM on Programming Languages · 2021 · 23 citations · Full text

Precise Subtyping for Asynchronous Multiparty Sessions

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić et al. · ACM Transactions on Computational Logic · 2022 · 13 citations · Full text

Minimal partial hyperclones on a two-element set

Jovanka Pantović, Gradimir Vojvodić · 2004 · 10 citations

Lattice (Order), Minimal Partial Hyperclones, Extremal Set Theory +5

Rows per page

1–5 of 5