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 asynchronous multiparty session types | completeness | pi-calculus | session types | soundness | subtyping | typing systems
- 1 Authorization control | Behavioral types | Process calculi | Software verification | Type systems
- 1 Bag | Multiset
- 1 Concurrency | Multiparty session types | Process calculi | Subtyping
- 1 Discrete moments | Encoding | Enumerating | Neural networks | Threshold function
- 1 discrete moments | encoding | enumerating | neural networks | Threshold function
- 1 Discrete moments | Encoding | Multilevel threshold function | Multilinear partitions | Neural networks | Storage complexity
- 1 Dynamic web data | Pi-calculus | Security types | XML
Date issued
Type
Results 1-20 of 20 (Search time: 0.005 seconds).
Author(s) | Title | Issue Date | Appears in | Rank | |
---|---|---|---|---|---|
1 | Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise Subtyping for Asynchronous Multiparty Sessions | 2022 | ACM Transactions on Computational Logic | ~M21 |
2 | Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise subtyping for asynchronous multiparty sessions | 4-Jan-2021 | Proceedings of the ACM on Programming Languages; 5; 16 | M33 |
3 | 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 |
4 | Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia | Linked data privacy | 1-Jan-2017 | Mathematical Structures in Computer Science; 27(1); 33-53 | M22 |
5 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Precise subtyping for synchronous multiparty sessions | 10-Feb-2016 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 29-43 | |
6 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | A typed model for dynamic authorizations | 10-Feb-2016 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015; 203; 73-84 | |
7 | 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 |
8 | 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 |
9 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, Nobuko | Denotational and operational preciseness of subtyping: A roadmap | 1-Jan-2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Frank de Boer on the Occasion of His 60th Birthday, 2016; Porto; Portugal; 5 July 2016 through 5 July 2016; 9660; 155-172 | M33 |
10 | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Combining behavioural types with security analysis | 1-Nov-2015 | Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780 | M21 |
11 | 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 |
12 | Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša | On the number of S-threshold functions on not necessarily binary input | 1-Jan-2014 | Proceedings of The International Symposium on Multiple-Valued Logic; 44th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2014; Bremen; Germany; 19 May 2014 through 21 May 2014; 13-18 | |
13 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo Torres | Dynamic role authorization in multiparty conversations | 1-Jan-2014 | Electronic Proceedings in Theoretical Computer Science, EPTCS; 3rd Workshop on Behavioural Types, BEAT 2014; Rome; Italy; 1 September 2014; 162; 1-8 | |
14 | Borisavljević, Mirjana; Ghilezan, Silvia ; Janičić, Predrag; Krapež, Aleksandar ; Kurilić, Miloš; Mijajlović, Žarko; Marković, Zoran ; Ognjanović, Zoran ; Pantović, Jovanka; Petrić, Zoran ; Stanković, Miomir S.; Stanković, Radomir ; Stojmenović, Ivan; Vukomanović, Đorđe | History of Mathematical Logic in Serbia | 2013 | Logic in Central and Eastern Europe History, Science, and Discourse; 470-495 | M14 |
15 | Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Dezani-Ciancaglini, Mariangiola | Types and Roles for Web Security | 2012 | Transactions on Advanced Research; 8; 16-21 | |
16 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka | Types for role-based access control of dynamic web data | 1-Jun-2011 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th International Workshop on Functional and Constraint Logic Programming, WFLP 2010; Madrid; Spain; 17 January 2010 through 17 January 2010; 6559 LNCS; 1-29 | M33 |
17 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, Daniele | Security types for dynamic web data | 8-Aug-2008 | Theoretical Computer Science; 402(2-3); 156-171 | M22 |
18 | 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 |
19 | Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Separating points by parallel hyperplanes-characterization problem | 1-Sep-2007 | IEEE Transactions on Neural Networks; 18(5); 1356-1363 | M21a |
20 | Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša | Partitioning finite d-dimensional integer grids with applications | 1-Jan-2007 | Handbook of Approximation Algorithms and Metaheuristics; 55-1 |
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 |