() Research published in the top international journal
Kašterović S., Gilezan S.: Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus, Journal of Logic and Computation, 2020, Vol. 30, No. 8, pp. 1567-1608, ISSN 0955-792X
() Research published in the international journal
Gilezan S., Kašterović S., Liquori L., Marinković B., Ognjanović Z., Stefanović T.: Federating digital contact tracing using structured overlay networks , Computer Science and Information Sistems, 2022, Vol. 19, No. 3, pp. 1261-1282, ISSN 1820-0214
() Report from the international meeting printed in its entirety
Prokić I., Gilezan S., Kašterović S., Popović M., Popović M., Kaštelan I.: Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP, 8. Conference on the Engineering of Computer Based Systems (ECBS), Vesteros: Springer, 16-18 October, 2023, pp. 274-288, ISBN 978-3-031-49251-8
() Report from the international meeting printed in its entirety
Gilezan S., Ivetić J., Kašterović S., Ognjanović Z., Savić N.: Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case, 11. Foundations of Information and Knowledge Systems, Dortmund: Springer, 17-21 February, 2020, pp. 122-139
() Report from the international meeting printed in its entirety
Kašterović S., Pagani M.: The Discriminating Power of the Let-in Operator in the Lazy Call-by-Name Probabilistic λ-Calculus , 4. International Conference on Formal Structures for Computation and Deduction, Dortmund: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 24-30 June, 2019
() Report from the international meeting printed in its entirety
Gilezan S., Ivetić J., Kašterović S., Ognjanović Z., Savić N.: Probabilistic Reasoning About Simply Typed Lambda Terms, 9. Symposium on Logical Foundations of Computer Science, Deerfield Beach: Springer, 8-11 January, 2018, pp. 170-189
() Report from the international meeting printed in its entirety
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
() Report from the international meeting printed in extracts
Simona Kašterović, Michele Pagani, Towards Probabilistic Testing of Lambda Terms, 7. . Logic and Applications, Dubrovnik, 24.-28. September, 2018
() Report from the international meeting printed in extracts
Kašterović S., Gilezan S.: Towards Probabilistic Reasoning about Typed Combinatory Terms, 28. International conference on Types for Proofs and Programs, Nant, 20-25 June, 2022
() Report from the international meeting printed in extracts
Kašterović S., Gilezan S.: Probabilistic Reasoning about Typed Combinatory Logic, 11. Logic and Applications, Dubrovnik, 26-30 September, 2022, pp. 29-31
() Report from the international meeting printed in extracts
Kašterović S.: Towards Logic of Combinatory Logic, 10. Logic and Applications, Dubrovnik, 20-24 September, 2021, pp. 34-36
() Report from the international meeting printed in extracts
Kašterović S., Gilezan S.: Kripke-style semantics for Full Simply Typed Lambda Calculus, 9. Logic and Applications, Dubrovnik, 21-25 September, 2020, pp. 12-14
() Report from the international meeting printed in extracts
Gilezan S., Kašterović S.: Towards Completeness of Full Simply Typed Lambda Calculus, 26. International conference on Types for Proofs and Programs, Turin, 2-5 March, 2020, pp. 164-166
() Report from the international meeting printed in extracts
Kašterović S., Gilezan S.: Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums , 8. Logic and Applications, Dubrovnik, 23-27 September, 2019, pp. 23-25
() Report from the international meeting printed in extracts
Kašterović S.: Kripkeove semantike za lambda račun sa parovima i sumama , 1. Kongres mladih matematičara u Novom Sadu, Novi Sad, 3-5 October, 2019, pp. 24-25
() Report from the international meeting printed in extracts
Kašterović S., Pagani M.: Towards Probabilistic Testing of Lambda Terms , 7. Logic and Applications, Dubrovnik, 24-28 September, 2018, pp. 21-23
() Report from the international meeting printed in extracts
Kašterović S., Gilezan S., Ivetić J., Ognjanović Z., Savić N.: Towards Probabilistic Reasoning about Typed Lambda Terms , 24. International conference on Types for Proofs and Programs, Braga, 18-21 June, 2018, pp. 41-42
() Report from the meeting of the national importance printed in its entirety
Kašterović S.: Kripke semantike u intuicionističkoj iskaznoj logici, 2. Conference on Mathematics in Engineering: Theory and Applications, Novi Sad: Fakultet tehničkih nauka, Novi Sad, 23-24 Jun, 2017, pp. 93-99
() Report from the meeting of the national importance printed in extracts
S. Ghilezan, J. Ivetić, S. Kašterović, Z. Ognjanović, N. Savić, Towards probabilistic reasoning about simply typed lambda terms, Sedma nacionalna konferencija Verovatnosne logike i njihove primene, Beograd, Srbija, 8. - 8. Nov, 2017, pp. 11 - 12
() Report from the meeting of the national importance printed in extracts
Kašterović S., Gilezan S., Ivetić J., Ognjanović Z., Savić N.: Towards probabilistic reasoning about simply typed lambda terms , 7. Verovatnosne logike i njihove primene, Beograd, 8 Novembar, 2017, pp. 11-12
() Report from the meeting of the national importance printed in extracts
Prokić I., Gilezan S., Prokić S., Popović M., Popović M., Kaštelan I.: Orkestracija algoritama federativnog učenja iz ugla formalizacije i verifikacije, 1. Konferencija "Veštačka inteligencija", Beograd: SANU, 26-27 Decembar, 2023
() Defended Doctoral dissertation
Prokić S.: Probabilistic reasoning in computation and simple type theory, Novi Sad, Univerzitet u Novom Sadu, Fakultet tehničkih nauka, 2024
