еНаука - преглед
Преглед према Аутор Gilezan, Silvia
Приказ резултата 1 до 20 од 166
следеће >
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | A general technique for analyzing termination in symmetric proof calculi | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types (✓) | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2023 | A Simple Python Testbed for Federated Learning Algorithms (✓) | Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan ; Đukić, Miodrag ; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Jorge A. Pérez; Hugo Torres Vieira | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Научни чланак | 23M23 - Рад у међ. часопису |
| 2008 | An approach to call-by-name delimited continuations | Herbelin, Hugo; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | An approach to formal verification of python software transactional memory | Kordić, Branislav ; Popović, Miroslav ; Gilezan, Silvia ; Basicevic, Ilija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena; Ghilezan, Silvia ; 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 (✓) | Купусинац, Александар | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2019 | Application of new shape descriptors and theory of uncertainty in image processing | Ilić, Vladimir | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 1994 | Application of typed lambda calculi in the untyped lambda calculus | Ghilezan, Silvia | Научни чланак | 23M23 - Рад у међ. часопису |
| 2014 | Approaching substructural term calculi via the resource control calculus (✓) | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Behavioural inverse limit λ-models (✓) | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2014 | Binary relations and algebras on multisets | Ghilezan, Silvia ; Pantović, Jovanka ; Vojvodic, Gradimir | Научни чланак | 23M23 - Рад у међ. часопису |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |