Browsing by Author Pantović, Jovanka


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 23  next >
Author(s)TitleIssue DateAppears inRank
Ghilezan, Silvia ; Pantović, Jovanka; Vojvodić, GradimirBinary relations and algebras on multisets1-Jan-2014Publications de l'Institut Mathematique; 95(109); 111-117M23
Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Pérez, Jorge; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo TorresCombining behavioural types with security analysis1-Nov-2015Journal of Logical and Algebraic Methods in Programming; 84(6); 763-780M21
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoDenotational and operational preciseness of subtyping: A roadmap1-Jan-2016Lecture 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-172M33
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2016Formal Aspects of Computing; 28(4); 643-667M23
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Pérez, Jorge; Vieira, Hugo TorresDynamic role authorization in multiparty conversations1-Jan-2014Electronic Proceedings in Theoretical Computer Science, EPTCS; 3rd Workshop on Behavioural Types, BEAT 2014; Rome; Italy; 1 September 2014; 162; 1-8
Pantović, Jovanka; Ghilezan, Silvia ; Žunić, Joviša Encoding of multilevel S-threshold functions1-Jan-2016Journal of Multiple-Valued Logic and Soft Computing; 26(1-2); 89-108M23
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đeHistory of Mathematical Logic in Serbia2013Logic in Central and Eastern Europe History, Science, and Discourse; 470-495M14
Jakšić, Svetlana; Pantović, Jovanka; Ghilezan, Silvia Linked data privacy1-Jan-2017Mathematical Structures in Computer Science; 27(1); 33-53M22
Rosin, Paul; Pantović, Jovanka; Žunić, Joviša Measuring Linearity of Connected Configurations of a Finite Number of 2D and 3D Curves3-Sep-2015Journal of Mathematical Imaging and Vision; 53(1); 1-11M21a
Rosin, Paul; Pantović, Jovanka; Žunić, Joviša Measuring linearity of curves in 2D and 3D1-Jan-2016Pattern Recognition; 49; 65-78M21a
Žunić, Joviša ; Pantović, Jovanka; Rosin, PaulMeasuring linearity of planar curves1-Jan-2015Pattern Recognition Applications and MethodsM10
Pantović, Jovanka; Stanković, Radomir Message from the General Chairs30-Jun-2017Proceedings 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 input1-Jan-2014Proceedings 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 applications1-Jan-2007Handbook of Approximation Algorithms and Metaheuristics; 55-1
Ghilezan, Silvia ; Pantović, Jovanka; Prokić, Ivan; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for asynchronous multiparty sessions4-Jan-2021Proceedings of the ACM on Programming Languages; 5; 16M33
Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions1-Apr-2019Journal of Logical and Algebraic Methods in Programming; 104; 127-173M21
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana; Pantović, Jovanka; Yoshida, NobukoPrecise subtyping for synchronous multiparty sessions10-Feb-2016Electronic 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ć, JovankaSecurity types for dynamic web data1-Dec-2007Lecture 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-280M23
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka; Varacca, DanieleSecurity types for dynamic web data8-Aug-2008Theoretical Computer Science; 402(2-3); 156-171M22
Ghilezan, Silvia ; Pantović, Jovanka; Žunić, Joviša Separating points by parallel hyperplanes-characterization problem1-Sep-2007IEEE Transactions on Neural Networks; 18(5); 1356-1363M21a