Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Subject
- 1 Authorization control | Behavioral types | Process calculi | Software verification | Type systems
- 1 Bag | Multiset
- 1 Bidirectional natural deduction | Co-control | Intersection types | Sequent calculus | Strong normalization
- 1 Concurrency | Multiparty session types | Process calculi | Subtyping
- 1 Correctness | Formal verification | Model checking | Timed automata | Transactional memory
- 1 discipline | duality | Intersection types | reducibility candidates | sequent calculus | soundness and completeness | strong normalization | symmetric candidates | type safety | union types
- 1 Discrete moments | Encoding | Enumerating | Neural networks | Threshold function
- 1 discrete moments | encoding | enumerating | neural networks | Threshold function
- 1 Formal Verification | Push/Pull Semantic Model | Python | Serializability | Software Transactional Memory
- 1 Formal verification | Push/pull semantic model | Serializability | Python | Software transactional memory (STM)
- next >
Type
- 49 Conference Paper
- 10 Article
- 3 Book Chapter
- 2 Other
Results 1-20 of 64 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Popović, Marko; Popović, Miroslav; Ghilezan, Silvia ; Kordić, Branislav | Formal Verification of Local and Distributed Python Software Transactional Memories | 14-Oct-2019 | Revue roumaine des sciences techniques Série Électrotechnique et Énergétique; 64(4); 423-428 | M23 |
2 | Popović, Miroslav; Popović, Marko; Ghilezan, Silvia ; Kordić, Branislav | Formal verification of python software transactional memory serializability based on the push/pull semantic model | 2-Sep-2019 | ACM International Conference Proceeding Series; 6th Conference on the Engineering of Computer-Based Systems, ECBS 2019; Bucharest; Romania; 2 September 2019 through 3 September 2019 | |
3 | Kašterović, Simona; Ghilezan, Silvia | Kripke Semantics for Lambda Calculus with Pairs and Disjoint Sums | Sep-2019 | Book of Abstracts: Logics and Applications - LAP 2019; 8th International Conference Logic and Applications 2019, 23-27 September 2019, Dubrovnik, Croatia; 23-25 | M34 |
4 | Ghilezan, Silvia | Denotational and Operational Preciseness of Subtyping : Invited talk | Jun-2019 | Annual meeting of IFIP Working Group 1.6: Rewriting, June 26, 2019, Dortmund, Germany | M32 |
5 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 1-Apr-2019 | Journal of Logical and Algebraic Methods in Programming; 104; 127-173 | M21 |
6 | Downen, Paul; Ariola, Zena; Ghilezan, Silvia | The Duality of Classical Intersection and Union Types | 1-Jan-2019 | Fundamenta Informaticae; 170(1-3); 39-92 | M22 |
7 | Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia | Formal verification of python software transactional memory based on timed automata | 1-Jan-2019 | Acta Polytechnica Hungarica; 16(7); 197-216 | M22 |
8 | Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena | Preface | 1-Oct-2018 | Leibniz International Proceedings in Informatics, LIPIcs; 22nd International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 through 26 May 2016; 97; VII | |
9 | Ghilezan, Silvia | Doctoral School towards Knowledge Based Society : Invited talk | Jun-2018 | EXCELL 2018 - Serbia for Excell Workshop, Horizon 2020 - Twinning - 2015, June 25-29, 2018, University of Novi Sad, Serbia | M32 |
10 | Ghilezan, Silvia ; Ivetić, Jelena; Ognjanović, Zoran ; Savić, Nenad | Towards probabilistic reasoning about typed lambda terms | Jun-2018 | TYPES 2018 - 24th International Conference onTypes for Proofs and Programs, 18-21 June 2018, Braga, Portugal; 41-42 | M34 |
11 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Probabilistic reasoning about simply typed lambda terms | 1-Jan-2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Symposium on Logical Foundations of Computer Science, LFCS 2018; FL; United States; 8 January 2018 through 11 January 2018; 10703 LNCS; 170-189 | M33 |
12 | Ghilezan, Silvia | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk | Jan-2018 | NII Shonan Meeting 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security, 22-25 January 2018, NII- National Institute of Informatics Shonan meeting, Japan | M32 |
13 | Todorović, Milan ; Ghilezan, Silvia ; Ognjanović, Zoran | Mathematical methods for privacy protection | 2018 | Book of Abstracts : Logic and Applications, LAP 2018; 7th International Conference Logic and Applications, LAP 2018, September 24 - 28, 2018 Dubrovnik,Croatia; 41-43 | M34 |
14 | Ghilezan, Silvia ; Ivetić, Jelena; Kašterović, Simona; Ognjanović, Zoran ; Savić, Nenad | Towards Probabilistic reasoning about simply typed lambda terms | Nov-2017 | Sedma nacionalna konferencija “Verovatnosne logike i njihove primene” ; Beograd, Srbija, 8. novembar 2017; 11-12 | |
15 | Santo, José Espírito; Ghilezan, Silvia | Characterization of strong normalizability for a sequent lambda calculus with co-control | 9-Oct-2017 | ACM International Conference Proceeding Series; 19th International Symposium on Principles and Practice of Declarative Programming, PPDP 2017; Namur; Belgium; 9 October 2017 through 11 October 2017; Part F131196; 163-174 | |
16 | Ghilezan, Silvia | Sound and complete subtyping on intersection and union types | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications 2017 - LAP 2017, 18-22 September 2017; 16-17 | M34 |
17 | Kašterović, Simona; Ghilezan, Silvia | Probabilistic reasoning with lambda terms | Sep-2017 | Book of Abstracts: Logics and Applications - LAP 2017; 6th International Conference Logic and Applications - LAP 2017, 18-22 September 2017, Dubrovnik, Croatia | M34 |
18 | Kordić, Branislav; Popović, Miroslav; Ghilezan, Silvia ; Bašičević, Ilija | An approach to formal verification of python software transactional memory | 31-Aug-2017 | ACM International Conference Proceeding Series; 5th European Conference on the Engineering of Computer-Based Systems, ECBS 2017; Larnaca; Cyprus; 31 August 2017 through 1 September 2017; Part F130524 | |
19 | Ghilezan, Silvia | Introduction to Type Theory : Invited talk | Jul-2017 | EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia | M32 |
20 | Espirito Santo, Jose; Ghilezan, Silvia | Characterization of strong normalizability for a lambda-calculus with co-control | Jun-2017 | TYPES 2017 - 23rd International Conference on Types for Proofs and Programs, 29 May-1 June 2017, Budapest, Hungary; 57-58 | M34 |
Results 1-2 of 2 (Search time: 0.0 seconds).
Acronym | Title | Start date | Completion | P-Investigator |
---|---|---|---|---|
PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |