eNauka - pregled
Pregled prema Autor Gilezan, Silvia
Prikaz rezultata 1 do 20 od 182
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 1993 | A note on typed combinators and typed lambda terms | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Pérez; Hugo Torres Vieira | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Basicevic, Ilija | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena; Ghilezan, Silvia ; Savić, Nenad | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2020 | An overview of Mathematical Models of Data Privacy | Stefanović, Tamara ; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Analiza osobina dinamičkih postuslova u Horovim tripletima | Купусинац, Александар | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Application of new shape descriptors and theory of uncertainty in image processing | Ilić, Vladimir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Naučni članak | 23M23 - Rad u međ. časopisu |