Showing results 30 to 49 of 139
< previous
next >
| Author(s) | Title | Issue Date | Appears in | Rank |
| Stefanović, Tamara; Ghilezan, Silvia | Differential Privacy and Applications | 2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; 52-54 | M34 |
| 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 |
| 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 |
| 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 |
| Ghilezan, Silvia ; Likavec, Silvia | Extensions of the reducibility method | 2003 | PLS4 - The 4th Panhellenic Logic Symposium; 107-112 | M33 |
| Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Federating digital contact tracing using structured overlay networks | 2022 | Computer Science and Information Systems | ~M23 |
| Ghilezan, Silvia ; Kašterović, Simona; Liquori, Luigi; Marinković, Bojan ; Ognjanović, Zoran ; Stefanović, Tamara | Federating Digital Contact Tracing using Structured Overlay Networks | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 28-30 | M34 |
| Ghilezan, Silvia | Finite vs Infinite - A lesson on scientific rigor and mathematical preciseness | 2015 | Liber Amicorum Henk Barendregt; 34 | |
| 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 |
| 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 |
| 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 | |
| Ghilezan, Silvia | Full intersection types and topologies in lambda calculus | 1-Jan-2001 | Journal of Computer and System Sciences; 62(1); 1-14 | M21 |
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | A general technique for analyzing termination in symmetric proof calculi | 2007 | WST'07 - The 9th International Workshop on Termination, Paris, France, July 2007 | |
| Ghilezan, Silvia | Generalized finiteness of developments | 1996 | Journal of Automata, Languages and Combinatorics; 247-257 | |
| 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 |
| Ghilezan, Silvia | Inhabitation in intersection and union type assignment systems | 1-Dec-1993 | Journal of Logic and Computation; 3(6); 671-685 | |
| Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Intersection and union types in the λ̄μμ̃-calculus | 19-Jul-2005 | Electronic Notes in Theoretical Computer Science; 3rd International Workshop on intersection Types and Related Systems; 13 July 2004 through 13 July 2004; 136; 153-172 | |
| Ghilezan, Silvia ; Paolini, Luca | Intersection Types and Related Systems. Preface | 1-Dec-2012 | Fundamenta Informaticae; 121(1-4) | M23 |
