default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSilvia Ghilezan
Person information
- affiliation: University of Novi Sad, Serbia
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j22]Silvia Ghilezan
, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24(2): 14:1-14:73 (2023)- [c30]Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan:
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP. ECBS 2023: 274-288 - [i10]Miroslav Popovic, Marko Popovic, Ivan Kastelan, Miodrag Djukic, Silvia Ghilezan:
A Simple Python Testbed for Federated Learning Algorithms. CoRR abs/2305.20027 (2023) - [i9]Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan:
Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP. CoRR abs/2306.14529 (2023) - 2022
- [j21]Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic:
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19(3): 1261-1282 (2022) - [j20]Silvia Ghilezan, Simona Kasterovic:
Semantics for Combinatory Logic With Intersection Types. Frontiers Comput. Sci. 4 (2022) - [e3]Henning Basold, Jesper Cockx, Silvia Ghilezan:
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 [contents] - [i8]Simona Kasterovic, Silvia Ghilezan:
Logic of Combinatory Logic. CoRR abs/2212.06675 (2022) - 2021
- [j19]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - [c29]Silvia Ghilezan:
Type Systems for Trustworthiness -- from Mathematics to Large-Scale Systems. ECBS 2021: 3:1-3:2 - [e2]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 2021, ISBN 978-1-4503-8689-0 [contents] - [i7]Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Pierre Lescanne:
L-types for resource awareness: an implicit name approach. CoRR abs/2112.11062 (2021) - 2020
- [j18]Simona Kasterovic, Silvia Ghilezan:
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. J. Log. Comput. 30(8): 1567-1608 (2020) - [c28]Zvonimir Sikic, Silvia Ghilezan, Zoran Ognjanovic, Thomas Studer:
Logic and Applications - LAP Meeting. Logic, Language, and Security 2020: 98-100 - [c27]Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS 2020: 122-139 - [c26]Tamara Stefanovic, Silvia Ghilezan:
Preserving Privacy in Caller ID Applications. Privacy and Identity Management 2020: 151-168 - [i6]Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida:
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR abs/2010.13925 (2020)
2010 – 2019
- 2019
- [j17]Paul Downen, Zena M. Ariola, Silvia Ghilezan:
The Duality of Classical Intersection and Union Types. Fundam. Informaticae 170(1-3): 39-92 (2019) - [j16]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104: 127-173 (2019) - [c25]Miroslav Popovic, Marko Popovic, Silvia Ghilezan, Branislav Kordic:
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model. ECBS 2019: 6:1-6:8 - 2018
- [c24]Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
Probabilistic Reasoning About Simply Typed Lambda Terms. LFCS 2018: 170-189 - [e1]Silvia Ghilezan, Herman Geuvers, Jelena Ivetic:
22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia. LIPIcs 97, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-065-1 [contents] - 2017
- [j15]Svetlana Jaksic, Jovanka Pantovic, Silvia Ghilezan:
Linked data privacy. Math. Struct. Comput. Sci. 27(1): 33-53 (2017) - [c23]Branislav Kordic, Miroslav Popovic, Silvia Ghilezan, Ilija Basicevic:
An approach to formal verification of python software transactional memory. ECBS 2017: 13:1-13:10 - [c22]José Espírito Santo, Silvia Ghilezan:
Characterization of strong normalizability for a sequent lambda calculus with co-control. PPDP 2017: 163-174 - 2016
- [j14]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic role authorization in multiparty conversations. Formal Aspects Comput. 28(4): 643-667 (2016) - [j13]Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic:
Encoding of Multi Level S-Threshold Functions. J. Multiple Valued Log. Soft Comput. 26(1-2): 89-108 (2016) - [c21]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: 155-172 - 2015
- [j12]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [c20]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida:
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c19]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - [i5]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [c18]Jovanka Pantovic, Silvia Ghilezan, Jovisa D. Zunic:
On the Number of S-Threshold Functions on Not Necessarily Binary Input. ISMVL 2014: 13-18 - [c17]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan:
Preciseness of Subtyping on Intersection and Union Types. RTA-TLCA 2014: 194-207 - [c16]Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira:
Dynamic Role Authorization in Multiparty Conversations. BEAT 2014: 1-8 - [i4]Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
Resource control and intersection types: an intrinsic connection. CoRR abs/1412.2219 (2014) - 2013
- [i3]Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
A journey through resource control lambda calculi and explicit substitution using intersection types (an account). CoRR abs/1306.2283 (2013) - 2012
- [j11]Silvia Ghilezan, Luca Paolini:
Preface. Fundam. Informaticae 121(1-4) (2012) - [i2]Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic:
Computational interpretation of classical logic with explicit structural rules. CoRR abs/1203.4754 (2012) - 2011
- [c15]Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
Intersection Types for the Resource Control Lambda Calculi. ICTAC 2011: 116-134 - [i1]Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec:
Resource control and strong normalisation. CoRR abs/1112.3455 (2011) - 2010
- [c14]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic:
Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
2000 – 2009
- 2009
- [c13]Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Dragisa Zunic:
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. TbiLLC 2009: 101-124 - 2008
- [j10]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage. Theor. Comput. Sci. 398(1-3): 114-128 (2008) - [j9]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca:
Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008) - [c12]Hugo Herbelin, Silvia Ghilezan:
An approach to call-by-name delimited continuations. POPL 2008: 383-394 - 2007
- [j8]Silvia Ghilezan, Jovanka Pantovic, Jovisa D. Zunic:
Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Trans. Neural Networks 18(5): 1356-1363 (2007) - [c11]José Espírito Santo, Silvia Ghilezan, Jelena Ivetic:
Characterising Strongly Normalising Intuitionistic Sequent Terms. TYPES 2007: 85-99 - [r1]Silvia Ghilezan, Jovisa D. Zunic, Jovanka Pantovic:
Partitioning Finite d-Dimensional Integer Grids with Applications. Handbook of Approximation Algorithms and Metaheuristics 2007 - 2006
- [c10]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic:
Security Types for Dynamic Web Data. TGC 2006: 263-280 - 2005
- [c9]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec:
Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183 - 2004
- [j7]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Silvia Likavec:
Behavioural inverse limit lambda-models. Theor. Comput. Sci. 316(1): 49-74 (2004) - [c8]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Characterizing strong normalization in a language with control operators. PPDP 2004: 155-166 - [c7]Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne:
Intersection and Union Types in the lambda-my-my/tilde-calculus. ITRS 2004: 153-172 - 2003
- [c6]Silvia Ghilezan, Pierre Lescanne:
Classical Proofs, Typed Processes, and Intersection Types: Extended Abstract. TYPES 2003: 226-241 - 2002
- [c5]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan:
Two Behavioural Lambda Models. TYPES 2002: 127-147 - [c4]Silvia Ghilezan, Silvia Likavec:
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types. ITRS 2002: 106-123 - 2001
- [j6]Silvia Ghilezan:
Full Intersection Types and Topologies in Lambda Calculus. J. Comput. Syst. Sci. 62(1): 1-14 (2001) - [c3]Silvia Ghilezan, Viktor Kuncak:
Confluence of Untyped Lambda Calculus via Simple Types. ICTCS 2001: 38-49 - 2000
- [j5]Henk Barendregt, Silvia Ghilezan:
Lambda terms for natural deduction, sequent calculus and cut elimination. J. Funct. Program. 10(1): 121-134 (2000) - [c2]Silvia Ghilezan:
Intersection Types and Topologies and Lambda Calculus. ICALP Satellite Workshops 2000: 303-304
1990 – 1999
- 1997
- [j4]Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Betti Venneri:
The "Relevance" of Intersection and Union Types. Notre Dame J. Formal Log. 38(2): 246-269 (1997) - 1996
- [j3]Silvia Ghilezan:
Generalized Finiteness of Developments in Typed Lambda Calculi. J. Autom. Lang. Comb. 1(4): 247-257 (1996) - [j2]Silvia Ghilezan:
Strong Normalization and Typability with Intersection Types. Notre Dame J. Formal Log. 37(1): 44-52 (1996) - 1994
- [c1]Silvia Ghilezan:
Application of Typed Lambda Calculi in the Untyped Lambda Calculus. LFCS 1994: 129-139 - 1993
- [j1]Silvia Ghilezan:
Inhabitation in Intersection and Union Type Assignment Systems. J. Log. Comput. 3(6): 671-685 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
