Showing results 1 to 20 of 24
next >
Author(s) | Title | Issue Date | Appears in | Rank |
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 |
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 |
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 |
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 | |
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 |
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 |
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 |
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia | Linked data privacy | 1-Jan-2017 | Mathematical Structures in Computer Science; 27(1); 33-53 | M22 |
Rosin, Paul; Pantović, Jovanka; Žunić, Joviša | Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves | 3-Sep-2015 | Journal of Mathematical Imaging and Vision; 53(1); 1-11 | M21a |
Rosin, Paul; Pantović, Jovanka; Žunić, Joviša | Measuring linearity of curves in 2D and 3D | 1-Jan-2016 | Pattern Recognition; 49; 65-78 | M21a |
Žunić, Joviša ; Pantović, Jovanka; Rosin, Paul | Measuring linearity of planar curves | 1-Jan-2015 | Pattern Recognition Applications and Methods | M10 |
Pantović, Jovanka; Stanković, Radomir | Message from the General Chairs | 30-Jun-2017 | Proceedings of The International Symposium on Multiple-Valued Logic; 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017; Novi Sad; Serbia; 22 May 2017 through 24 May 2017; x | |
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 | |
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 | |
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 |
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, Nobuko | Precise Subtyping for Asynchronous Multiparty Sessions | 2022 | ACM Transactions on Computational Logic | ~M21 |
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 |
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 | |
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 |
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 |