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 Böhm separability | Classical logic | Delimited control | Observational completeness
- 1 Discrete moments | Encoding | Enumerating | Neural networks | Threshold function
- 1 Formal verification | Push/pull semantic model | Serializability | Python | Software transactional memory (STM)
Date issued
Results 1-9 of 9 (Search time: 0.004 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 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | Dynamic role authorization in multiparty conversations | 1-Jan-2016 | Formal Aspects of Computing; 28(4); 643-667 | M23 |
| 3 | Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša | Encoding of multilevel S-threshold functions | 1-Jan-2016 | Journal of Multiple-Valued Logic and Soft Computing; 26(1-2); 89-108 | M23 |
| 4 | Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, Gradimir | Binary relations and algebras on multisets | 1-Jan-2014 | Publications de l'Institut Mathematique; 95(109); 111-117 | M23 |
| 5 | Ghilezan, Silvia ; Paolini, Luca | Intersection Types and Related Systems. Preface | 1-Dec-2012 | Fundamenta Informaticae; 121(1-4) | M23 |
| 6 | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Characterising strongly normalising intuitionistic sequent terms | 9-Jun-2008 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); International Conference on Types for Proofs and Programs, TYPES 2007; Cividale del Friuli; Italy; 2 May 2007 through 5 May 2007; 4941 LNCS; 85-99 | M23 |
| 7 | Herbelin, Hugo; Ghilezan, Silvia | An approach to call-by-name delimited continuations | 1-Jan-2008 | ACM SIGPLAN Notices; 43(1); 383-394 | M23 |
| 8 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Security types for dynamic web data | 1-Dec-2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 2nd International Symposium on Trustworthy Global Computing, TGC 2006; Lucca; Italy; 7 November 2006 through 9 November 2006; 4661 LNCS; 263-280 | M23 |
| 9 | Ghilezan, Silvia | Application of typed lambda calculi in the untyped lambda calculus | 1-Jan-1994 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 3rd International Symposium on Logical Foundations of Computer Science, LFCS 1994; St. Petersburg; Russian Federation; 11 July 1994 through 14 July 1994; 813 LNCS; 129-139 | M23 |
Results 1-2 of 2 (Search time: 0.001 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 |