Publications

External links: DBLP, Google Scholar, MathSciNet,
ORCID orcid.org/0000-0003-2253-8285
Research repository Mathematical Institute SASA

2024

Brenda Murphy, Carla Teixeira Lopes, Emanuela Merelli, Mara Gabriela Diaconu, Marie Gallais, Paula Alexandra Silva, Silvia Ghilezan, Steve Kremer
From Ph.D. to Professor, COST EUGAIN

2023

Ivan Prokić, Silvia Ghilezan, Simona Kašterović, Miroslav Popovic, Marko Popovic, Ivan Kaštelan
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP
ECBS 2023 - 8th International Conference on the Engineering of Computer Based Systems, Västerås, Sweden, Lecture Notes in Computer Science 14390, pp 274–288 (2023)
arXiv 2306.14529 doi

Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan
A Simple Python Testbed for Federated Learning Algorithms
ZINC 2023 - Zooming Innovation in Consumer Technologies Conference, Novi Sad, Serbia, 2023, pp 148-153, doi: 10.1109/ZINC58345.2023.10173859
arXiv abs/2305.20027 (2023)

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida
Precise-Subtyping-for-Asynchronous-Multiparty-Sessions|Precise Subtyping for Asynchronous Multiparty Sessions
ACM Transactions on Computational Logic Vol.24(2) Article No.: 14, pp 1–73. (2023)
open access doi

2022

Silvia Ghilezan, Luigi Liquori, Bojan Marinković, Simona Kašterović, Zoran Ognjanović, Tamara Stefanović
Federating Digital Contact Tracing using Structured Overlay Networks
ComSIS – Computer Science and Information Systems Vol. 19, No. 3, 1261-1282. (2022)
open access doi

Silvia Ghilezan, Simona Kašterović
Semantics for combinatory logic with intersection types
Frontiers in Computer Science, 2022
doi

Henning Basold, Jesper Cockx, Silvia Ghilezan
Post-Proceedings of the 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)
LIPIcs 239, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-254-9
open access

Silvia Ghilezan
Types in Logic, Topology and Structure
Keynote speaker UNILOG 2022 - 7th World Congress and School on Universal Logic
Workshop Logic and Structure, 6-11 April 2022, Orthodox Academy of Crete, Greece

Silvia Ghilezan, Tamara Stefanović
Privacy preserving Contact Tracing
to appear in “Mathematics for human flourishing in the time of COVID-19 and post COVID-19”
(Eds M. N. Hounkonnou, M. Mitrović), DeGruyter Proceedings, ISBN 978-3-11-073862-9, 2022.

Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Pierre Lescanne
L-types for resource awareness: an implicit name approach
arXiv

2021

Niccolò Veltri, Nick Benton, Silvia Ghilezan
PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming
Tallinn, Estonia, September 6-8, 2021
ACM ICPS Proceedings 2021, ISBN 978-1-4503-8689-0
doi

Silvia Ghilezan
Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote)
ECBS 2021 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia
ICPS Proceedings article no. 3 pp 1-2, ACM Digital Library
abstract
video

Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions
POPL 2021 Proceedings of the ACM on Programming Languages 5, article no. 16
open access [ doi ]
pre-recroded talks

Tamara Stefanović, Silvia Ghilezan
Preserving Privacy in Caller ID Applications
accepted in IFIP Advances in Information and Communication Technology vol. 619
Privacy and Identity Management, Friedewald, Michael, Schiffner, Stefan, Krenn, Stephan (Eds.)
[ doi ]

2020

Simona Kašterović, Silvia Ghilezan
Kripke semantics and completeness for full simply typed lambda calculus
Journal of Logic and Computation Volume 30, issue 8: 1567-1608 (2020), online 29 September 2020.
[ doi ]

Zvonimir Šikić, Silvia Ghilezan, Zoran Ognjanović, Thomas Studer
Logic and Applications - LAP Meeting
Logic, Language and Security
Lecture Notes in Computer Science 12300: 98-100 (2020)
[ doi ]

Snežana Smederevac, Dejan Pajić, Sanja Radovanović, Silvia Ghilezan, Petar Čolović, Branko Milosavljević
Otvorena nauka: praksa i perspektive
Univerzitet u Novom Sadu, april 2020.
open access

Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović, Nenad Savić
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
FoIKS 2020 - Foundations of Information and Knowledge Systems - 11th International Symposium, February 17-21, 2020, Dortmund, Germany, Lecture Notes in Computer Science 12012: 122--139 (2020).
[ doi ]

2019

Paul Downen, Zena M. Ariola, Silvia Ghilezan
The Duality of Classical Intersection and Union Types
Fundamenta Informaticae 170(1-3): 39-92 (2019).
[ doi ] semantic scholar

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Alceste Scalas, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions
Journal of Logical and Algebraic Methods in Programming 104: 127-173 (2019).
open access [ doi ]

Marko Popović, Miroslav Popović, Silvia Ghilezan, Branislav Kordić
Formal Verification of Local and Distributed Python Software Transactional Memories
Revue roumaine des sciences techniques Série Électrotechnique et Énergétique, issue 4, 2019: 423-428.
open access

Miroslav Popović, Marko Popović, Silvia Ghilezan, Branislav Kordić
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model
ECBS 2019 6th European Conference on the Engineering of Computer Based Systems ECBS 2019: 6:1-6:8. September 2-3, 2019, Bucharest, Romania.

Branislav Kordić, Miroslav Popović, Silvia Ghilezan
Formal Verification of Python Software Transactional Memory Based on Timed Automata
Acta Polytechnica Hungarica Vol. 16, No. 7: 197-216 (2019).
open access [ doi ]

2018

Silvia Ghilezan, Jelena Ivetić, Simona Kašterović, Zoran Ognjanović, Nenad Savić
Probabilistic reasoning about simply typed lambda terms
LFCS 2018 - Logical Foundations of Computer Science, Florida, USA, January 2018
Lecture Notes in Computer Science 10703: 170-189 (2018).
doi

Silvia Ghilezan, Herman Geuvers, Jelena Ivetić: 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. Post-proceedings LIPIcs 97 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018.
open access [ contents dblp ]

2017

José Espirito Santo, Silvia Ghilezan: Characterization of strong normalizability for a sequent lambda calculus with co-control, PPDP 2017 - 19th International Symposium on Principles and Practice of Declarative Programming, 163-174, ACM 2017. doi

Branislav Kordić, Miroslav Popović, Silvia Ghilezan and Ilija Bašičević: An Approach to Formally Verified Python Software Transactional Memory, ECBS 2017 - 5th European Conference on the Engineering of Computer Based Systems, 13:1-13:10, ACM 2017. Larnaca, Cyprus, August 2017. doi

Svetlana Jakšić, Jovanka Pantović and Silvia Ghilezan: Linked Data Privacy, Mathematical Structures in Computer Science 27(1): 33-53 (2017), online 15 March 2015. doi .pdf.

2016

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira
Dynamic Role Authorisation in Multiparty Conversations
Formal Aspects of Computing 28 (4): 643–667 (2016) [ doi ]
open access

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida: Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Theory and Practice of Formal Methods 2016, Lecture Notes in Computer Science 9660: 155-172 (2016). doi [ .pdf ]

Jovanka Pantović, Silvia Ghilezan, Joviša D. Žunić: Encoding of Multi Level S-Threshold Functions. Multiple-Valued Logic and Soft Computing 26(1-2): 89-108 (2016).

2015

Silvia Ghilezan: Finite vs Infinite - A lesson on scientific rigor and mathematical preciseness, Farewell lecture Henk Barendregt, Liber Amicorum Henk Barendregt, 2015.

Silvia Ghilezan, editor, Logic in Computer Science II, Zbornik radova, Mathematical Institute SASA 18(26) (2015).

Silvia Ghilezan, Jelena Ivetić, Silvia Likavec, Pierre Lescanne: Structural rules and resource control in logic and computation, Logic in Computer Science II, Zbornik radova, Mathematical Institute SASA 18(26): 79-109, (2015). [ .pdf ]

Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Denielou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović, Jorge A. Perez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira: Combining behavioural types with security analysis, Journal of Logical and Algebraic Methods in Programming 84 (2015) 763–780. doi [ .pdf ]

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira: A Typed Model for Dynamic Authorizations. PLACES 2015 EPTCS 203 73-84. doi

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida: Precise subtyping for synchronous multiparty sessions. PLACES 2015 EPTCS 203 29-44.\\ doi

2014

Silvia Ghilezan, Svetlana Jakšić , Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira: Dynamic Role Authorization in Multiparty Conversations. BEAT 2014. EPTCS 162: 1-9 (2014). doi [ .pdf ]

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan: Preciseness of subtyping on intersection and union types. Typed Lambda Calculus and Application, RTA & TLCA 2014, Lecture Notes in Computer Science 8560: 194-207 (2014). doi [ .pdf ]

Jovanka Pantović, Silvia Ghilezan, Joviša Žunić: On the Number of S-Threshold Functions on not Necessarily Binary Input, ISMVL 2014.

Silvia Ghilezan, Jovanka Pantović, Gradimir Vojvodić: Binary relations and algebras on multisets. Publications de l'Institut Mathematique (N.S.) 95 (109): 111-117 (2014). [ .pdf ]

2013

Henk Barendregt, Wil Dekkers, Richard Statman, and 11 contributors: Lambda Calculus with Types, Cambridge University Press, 2013. In Chapter 6 Applications: Proof Theory (6.3) pp 351-363 Google book

Sedrik Vilani: Živa teorema, strucna redaktura prevoda knjige Le theorem vivant, Cedric Villani.

2012

Silvia Ghilezan, Luca Paolini: Intersection types and related systems. Preface. Fundamenta Informaticae 121(1-4) (2012).

Mirjana Borisavljević, Silvia Ghilezan, Predrag Janičić, Aleksandar Krapež, Miloš Kurilić, Žarko Mijajlović, Zoran Marković, Zoran Ognjanović, Jovanka Pantović, Zoran Petrić, Miomir S. Stanković, Radomir S. Stanković, Ivan Stojmenović, Djordje Vukomanović, History of Mathematical Logic in Serbia, in: Logic in Central and Eastern Europe: History, Science, and Discourse (edited by Andrew Schumann), December 2012, University Press of America, 467-492. link [ Semantic scholar ]

Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Mariangiola Dezani-Ciancaglini: Types and Roles for Web Security. Transactions on Advanced Research, 8: 16-21 (2012). [ .pdf ]

2011

S. Ghilezan, J. Ivetić, P. Lescanne, S. Likavec: Intersection Types for the Resource Control Lambda Calculi. ICTAC 2011, Lecture Notes in Computer Science 6916: 116-134 (2011).

S. Ghilezan, J. Ivetić, P. Lescanne, D. Žunić: Intuitionistic sequent-style calculus with explicit structural rules, Tbilisi 2009 - The Eight International Tbilisi Symposium on Language, Logic and Computation, Lecture Notes in Artifficial Inteligenece 6618: 101-124 (2011).

2010

M. Dezani-Ciancaglini, S. Ghilezan, S. Jakšić, J. Pantović: Types for role based access control of dynamic web data. WFLP'10, Lecture Notes in Computer Science 6559: 1-29 (2011). [ .pdf ]

2009

S. Ghilezan, S. Likavec: Computational interpretations of logics. Zbornik radova, Mathematical Institute SANU 12(20) :159-215, (2009), (special issue Logic in Computer Science, ed Z. Ognjanovic, invited paper). [ .pdf ]

2008

M.Dezani-Ciancaglini, S. Ghilezan, J. Pantović, D. Varacca: Security types for dynamic web data, Theoretical Computer Science 402: 156-171 (2008). [ .pdf ]

H. Herbelin and S. Ghilezan: An approach to call-by-name delimited continuations, POPL 2008 - The 35th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, San Francisco, USA, January 2008, ACM SIGPLAN Notices 43 (1): 383-394 (2008).
open access

D. Dougherty, S. Ghilezan and P. Lescanne: Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage, Theoretical Computer Science (special issue Festschrift Coppo, Dezani, Ronchi, eds S. Berardi, U de' Liquoro) 398: 114-128 (2008) [ .pdf ]
open access

J. Espirito Santo, S. Ghilezan and J. Ivetić: Characterizing strongly normalising intuitionistic sequent terms, TYPES 2007, Lecture Notes in Computer Science 4941: 85-99 (2008).

2007

S. Ghilezan: Terms for Natural Deduction, Sequent Calculus and Cut Elimination in Classical Logic. In Reflections on Type Theory, Lambda Calculus and the Mind, Essays dedicated to Henk Barendregt, eds E. Barendsen, V. Capretta, H. Geuvers, M. Niqui, 115-124. (2007). [ .pdf ]

D. Dougherty, S. Ghilezan, and P. Lescanne: A general technique for analyzing termination in symmetric proof calculi. WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007. [ .pdf ]

S. Ghilezan, J. Pantović and J. Žunić: Separating Points by Parallel Hyperplanes -- Characterization Problem, IEEE Transactions of Neural Networks 18 (5): 1356-1363 (2007).

S.Ghilezan, J.Ivetić: Intersection types for intuitionistic lambda- Gentzen calculus. Publications de l'Institute Mathematique, vol. 82 (96) 159-164 (2007).

2006

M.Dezani-Ciancaglini, S. Ghilezan and J. Pantović: Security types for dynamic web data, TGC'06 - Trustworthy Global Computing, Lucca, Italy, November 2006, Lecture Notes in Computer Science 4661: 263-280 (2006).

2005

D.Dougherty, S.Ghilezan, P.Lescanne and S.Likavec: Strong normalization of the classical sequent calculus, LPAR 2005 12th International Conference Logic Programming and Artificial Reasoning, Montego Bay, Jamaica, December 2005, Lecture Notes in Computer Science 3835: 169-183 (2005). [ .pdf ]

D. Dougherty, S. Ghilezan and P. Lescanne: Intersection and union types in the lambda-mu-mu~ calculus, ,ITRS'04 Workshop on Intersection Types and related Systems, Turku, Finland, July 2004. Electronic Notes in Theoretical Computer Science, 136: 153-172 (2005). [ .pdf ]

S. Ghilezan, J. Pantović and J. Žunić: Partitioning Finite d-Dimensional Integer Grids with Application, in T. Gonzalez, editor, Handbook of Approximation Algorithms and Metaheuristic, (2005) publisher Taylor & Fransis Group, USA.

2004

D. Dougherty, S. Ghilezan and P. Lescanne: Characterizing strong normalization in a language with control operators, PPDP 2004 - 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming, Verona, Italy, August 2004. [ .pdf ]

S. Ghilezan and P. Lescanne: Classical proofs, typed processes and intersection types, TYPES 2003 , Lecture Notes in Computer Science 3085, 226-241.

M. Dezani-Ciancaglini, S. Ghilezan and S. Likavec: Behavioural inverse limit lambda models, Theoretical Computer Science Vol 316/1-3 (May 2004) 49-74.

2003

M. Dezani-Ciancaglini and S. Ghilezan: A behavioural lambda model, Schedae Informaticae Universitas Iagelonica 12, 35-47.

S.Ghilezan and S. Likavec: Extensions of the reducibility method, PLS4 - The 4th Panhellenic Logic Symposium 107-112.

2002

M. Dezani-Ciancaglini and S. Ghilezan: Two behavioural lambda models, TYPES 2002, Lecture Notes in Computer Science 2646, 127-147.

S. Ghilezan and S. Likavec: Reducibility: a ubiguitous method in lambda calculus with intersection types, ITRS'02, Electronic Notes in Theoretical Computer Science 70 (2002).

2001

S. Ghilezan: Full intersection types and topologies in lambda calculus, Journal of Computer and System Sciences, 62 (2001) 1-14.

M. Dezani-Ciancaglini and S. Ghilezan : A lambda model characterizing computational behaviours of terms, invited talk at Rewriting in Proofs and Computation, (RPC'01) (Y. Toyama ed.) Sendai, Japan, (2001) 100-118 .

S. Ghilezan and V. Kunčak: Reducibility method in simply typed lambda calculus, Novi Sad Journal of Mathematics 31 (2001) 27-32.

S. Ghilezan and V. Kunčak: Confluence of untyped lambda calculus via simple types, The 5th Italian Conference on Theoretical Computer Science, (ICTCS'01) (A. Restivo, S. Ronchi della Rocca, L. Roversi eds) Turin, Italy, Lecture Notes in Computer Science 2201, 38-49.

S. Ghilezan: Types and confluence in lambda calculus, Proceedings of the 3rd Panhellenic Logic Symposium, (PLS3) (E. Kranakis ed.) Crete, Greece (2001).

S. Ghilezan, V. Kunčak, and S. Likavec: Reducibility method for termination properties of typed lambda terms, Extended abstracts of the 5th International Workshop on Termination, (WST'01) (N. Dershowitz ed.) Utrecht, The Netherlands (2001) 14-16.

2000

H.P. Barendregt and S. Ghilezan: Lambda terms for natural deduction, sequent calculus and cut elimination, Journal of Functional Programming, 10 (2000) 121-134. [ pdf ]

S. Ghilezan: Intersection types and topologies in lambda calculus, Proceedings of the Workshop on Intersection Types and Related Systems, (ITRS'00) Geneva, Switzerland (2000).

Silvia Ghilezan and Viktor Kuncak. Reducibility method in simply typed lambda calculus. In XIV Conference on Applied Mathematics PRIM, Palić, June 2000. Also in: Novi Sad J. Math. 31 (2001), no. 1, 27-32.

1999

S. Ghilezan : Natural deduction and sequent typed lambda calculus, Novi Sad Journal of Mathematics 29, (1999) 209-220 (1999) [ pdf ]

S. Ghilezan: Topologies in lambda calculus, Proceedings of the 2nd Panhellenic Logic Symposium (Ph. Kolaitis and G. Koletsos eds), Delphi, Greece (1999) 102-106.

H.P. Barendregt and S. Ghilezan: Lambda terms for natural deduction, sequent calculus and cut elimination, School of Logic and Computation, Edinburgh, U.K. (1999)

1997

M. Dezani-Ciancaglini, S. Ghilezan, and B. Venneri: The `relevance" of intersection and union types, Notre Dame Journal of Formal Logic 38 (1997) 246-269.
open access

S. Ghilezan: Cut elimination in the simply typed lambda calculus, Proceedings of Panhellenic Logic Symposium (A. Kakas ed.), Nicosia, Cyprus (1997) 21-24.

S. Ghilezan: Natural deduction versus sequent lambda calculus, Proceedings of the 3rd Barcelona Logic Meeting, Barcelona, Spain (1997).

1996

S. Ghilezan: Generalized finiteness of developments, Journal of Automata, Languages and Combinatorics 1 (1996) 247-257. [ link ]

S. Ghilezan: Strong normalization and typability with intersection types, Notre Dame Journal of Formal Logic 37: 44-53 (1996).
open access

S. Ghilezan: Some topological properties of the lambda calculus, Kurepa's Symposium, Belgrade, Yugoslavia (V. Kovačević-Vujčić and Ž. Mijajlović eds), Scientific Review 19-20: 65-73 (1996). [ pdf ]

1994

S. Ghilezan: Conjugation in SerboCroatian, Linguistic Analysis 24: 142-150 (1994) .

S. Ghilezan: Applications of typed lambda calculi in the untyped lambda calculus, Logical Foundation of Computer Science LFCS'94, St.Petersburg, Russia (A. Nerode and Yu. Matiyasevich eds), Lecture Notes in Computer Science 813: 129-139 (1994).

1993

S. Ghilezan: Inhabitation in lambda calculus with intersection and union types, Journal of Logic and Computation 3(6): 671-685 (1993).
doi

S. Ghilezan: A note on typed combinators and typed lambda terms, Review of Research 23: 319-329 (1993).

S. Ghilezan: Intersection types in lambda calculus and logic, Ph.D. Thesis, (in English), University of Novi Sad (1993).
open access

1992

S. Ghilezan: Peirce's law and lambda calculus, Proceedings of Logic and Computer Science, Novi Sad, Yugoslavia 27-34 (1992).

1991

S. Ghilezan: Lambda calculi with intersection types, Proceedings of The 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala, Sweden (1991).

1990

S. Ghilezan: Some restricted classes of typed lambda terms, Proceedings of the Seventh Conference Algebra and Logic, Maribor, Slovenia 61-67 (1990).

S. Ghilezan: Typed combinators and typed lambda terms, Proceedings of The Third Logical Biennial Kleene'90, Chaika, Bulgaria (1990).

1989

S. Ghilezan: Lambda calculus and weak propositional logic, Master thesis (in Serbo-Croatian), University of Belgrade (1988).

S. Ghilezan: The correspondence between weak implicational logics and typed lambda calculus, Proceedings of The 1989 European Summer Meeting of ASL (Logic Colloquium), Berlin, Germany (1989), Journal of Symbolic Logic 57: 297 (1992).