Publications

External links: DBLP, Google Scholar

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, Namur, Belgium, October 2017.

Branislav Kordic, Miroslav Popovic, Silvia Ghilezan and Ilija Basicevic: An Approach to Formally Verified Python Software Transactional Memory, ECBS 2017 - 5th European Conference on the Engineering of Computer Based Systems, 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 [ .pdf ].

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, 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). [ .pdf ]

Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic: 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 Pantovic, 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.

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

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). [ .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). [ .pdf ]

Jovanka Pantovic, Silvia Ghilezan, Jovisa Zunic: On the Number of S-Threshold Functions on not Necessarily Binary Input, ISMVL 2014.

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

2013

Henk Barendregt, Will Dekkers, Rick Statman, and 11 contributors: Lambda Calculus with Types, Cambridge University Press, 2013.

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 [ .pdf ]

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. Ivetic, 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. Ivetic, P. Lescanne, D. Zunic: 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. Jaksic, J. Pantovic: 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. Pantovic, 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).

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 ]

J. Espirito Santo, S. Ghilezan and J. Ivetic: 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. Pantovic and J. Zunic: 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. Pantovic: 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. Pantovic and J. Zunic: 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. Kuncak: Reducibility method in simply typed lambda calculus, Novi Sad Journal of Mathematics 31 (2001) 27-32.

S. Ghilezan and V. Kuncak: 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. Kuncak, 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.

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.

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. [ .pdf ]

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.

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

S. Ghilezan: Some topological properties of the lambda calculus, Kurepa's Symposium, Belgrade, Yugoslavia (V. Kovacevic-Vujcic and Z. Mijajlovic eds), Scientific Review 19-20: 65-73 (1996).

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 6: 671-685 (1993).

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).

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).

http://imft.ftn.uns.ac.rs/~silvia/uploads/Main/gikos_main.pdf