Silvia Ghilezan
Orcid: 0000-0003-2253-8285Affiliations:
- University of Novi Sad, Serbia
According to our database1,
Silvia Ghilezan
authored at least 58 papers
between 1993 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
3
2
1
2
1
2
1
1
1
2
1
2
1
1
1
1
1
2
1
1
1
3
1
1
2
1
2
2
1
1
1
1
1
1
1
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP.
Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023
2022
Frontiers Comput. Sci., 2022
Comput. Sci. Inf. Syst., 2022
2021
Proc. ACM Program. Lang., 2021
Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 2021
2020
J. Log. Comput., 2020
Proceedings of the Privacy and Identity Management: 15th IFIP WG 9.2, 2020
Proceedings of the Foundations of Information and Knowledge Systems, 2020
2019
J. Log. Algebraic Methods Program., 2019
Formal Verification of Python Software Transactional Memory Serializability Based on the Push/Pull Semantic Model.
Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019
2018
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018
2017
Characterization of strong normalizability for a sequent lambda calculus with co-control.
Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017
Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017
2016
J. Multiple Valued Log. Soft Comput., 2016
Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
J. Log. Algebraic Methods Program., 2015
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015
Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015
2014
Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014
Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014
2013
A journey through resource control lambda calculi and explicit substitution using intersection types (an account).
CoRR, 2013
2012
CoRR, 2012
2011
Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011
2010
Proceedings of the Functional and Constraint Logic Programming, 2010
2009
Proceedings of the Logic, Language, and Computation, 2009
2008
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage.
Theor. Comput. Sci., 2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
2007
Proceedings of the Handbook of Approximation Algorithms and Metaheuristics., 2007
IEEE Trans. Neural Networks, 2007
Proceedings of the Types for Proofs and Programs, International Conference, 2007
2006
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006
2005
Proceedings of the Logic for Programming, 2005
2004
Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004
2003
Proceedings of the Types for Proofs and Programs, International Workshop, 2003
2002
Proceedings of the Intersection Types and Related Systems, 2002
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002
2001
J. Comput. Syst. Sci., 2001
Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001
2000
J. Funct. Program., 2000
Intersection Types and Topologies and Lambda Calculus.
Proceedings of the ICALP Workshops 2000, 2000
1997
1996
Notre Dame J. Formal Log., 1996
J. Autom. Lang. Comb., 1996
1994
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1993
J. Log. Comput., 1993