Browsing eNauka
Browsing by Author Gilezan, Silvia
Showing results 1 to 20 of 152
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia   ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Conference Paper | Mp. category will be shown later |
| 2025 | A solution for manual code smell annotation based on prescriptive annotation paradigm | Prokić, Simona | Doctoral theses | 70M70 |
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez, Jorge A.; Vieira, Hugo Torres | Conference Paper | Mp. category will be shown later |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Bašičević, Ilija | Conference Paper | Mp. category will be shown later |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2020 | An overview of Mathematical Models of Data Privacy | Stefanović, Tamara ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Doctoral theses | 70M70 |
| 2019 | Application of new shape descriptors and theory of uncertainty in image processing | Ilić, Vladimir | Doctoral theses | 70M70 |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Article | 23M23 |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Article | 22M22 |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Научни чланак | 23M23 - Међународни часопис категорије M23 |
| 2017 | Characterization of strong normalizability for a lambda-calculus with co-control | Espirito Santo, Jose; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Gilezan, Silvia ; Espirito Santo, J. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2015 | Combining behavioural types with security analysis | Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Gilezan, Silvia ; Pantović, Jovanka ; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |