default search action
Silvia Ghilezan
Person information
- affiliation: University of Novi Sad, Serbia
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
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24(2): 14:1-14:73 (2023) - [c30]Ivan Prokic
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
Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. 19(3): 1261-1282 (2022) - [j20]Silvia Ghilezan
Semantics for Combinatory Logic With Intersection Types. Frontiers Comput. Sci. 4 (2022) - [e3]Henning Basold
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
Logic of Combinatory Logic. CoRR abs/2212.06675 (2022) - 2021
- [j19]Silvia Ghilezan
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
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus. J. Log. Comput. 30(8): 1567-1608 (2020) - [c28]Zvonimir Sikic, Silvia Ghilezan
Logic and Applications - LAP Meeting. Logic, Language, and Security 2020: 98-100 - [c27]Silvia Ghilezan
Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. FoIKS 2020: 122-139 - [c26]Tamara Stefanovic
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
The Duality of Classical Intersection and Union Types. Fundam. Informaticae 170(1-3): 39-92 (2019) - [j16]Silvia Ghilezan
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104: 127-173 (2019) - [c25]Miroslav Popovic
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
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
Linked data privacy. Math. Struct. Comput. Sci. 27(1): 33-53 (2017) - [c23]Branislav Kordic, Miroslav Popovic
An approach to formal verification of python software transactional memory. ECBS 2017: 13:1-13:10 - [c22]José Espírito Santo
Characterization of strong normalizability for a sequent lambda calculus with co-control. PPDP 2017: 163-174 - 2016
- [j14]Silvia Ghilezan
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
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
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [c20]Mariangiola Dezani-Ciancaglini
Precise subtyping for synchronous multiparty sessions. PLACES 2015: 29-43 - [c19]Silvia Ghilezan
A Typed Model for Dynamic Authorizations. PLACES 2015: 73-84 - [i5]Massimo Bartoletti, Ilaria Castellani
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [c18]Jovanka Pantovic
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
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
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
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
Types for Role-Based Access Control of Dynamic Web Data. WFLP 2010: 1-29
2000 – 2009
- 2009
- [c13]Silvia Ghilezan
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. TbiLLC 2009: 101-124 - 2008
- [j10]Daniel J. Dougherty, Silvia Ghilezan
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
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
Separating Points by Parallel Hyperplanes - Characterization Problem. IEEE Trans. Neural Networks 18(5): 1356-1363 (2007) - [c11]José Espírito Santo
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
Security Types for Dynamic Web Data. TGC 2006: 263-280 - 2005
- [c9]Daniel J. Dougherty, Silvia Ghilezan
Strong Normalization of the Dual Classical Sequent Calculus. LPAR 2005: 169-183 - 2004
- [j7]Mariangiola Dezani-Ciancaglini
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
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
Two Behavioural Lambda Models. TYPES 2002: 127-147 - [c4]Silvia Ghilezan
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
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 21:20 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: