Browsing eNauka
Browsing by Author Gilezan, Silvia
Showing results 21 to 40 of 182
< previous
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia   ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2017 | Characterization of strong normalizability for a lambda-calculus with co-control | Espirito Santo, Jose; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Characterization of strong normalizability for a sequent lambda calculus with co-control | Gilezan, Silvia K. ; J. Espirito Santo | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Characterizing strong normalization in a language with control operators | Dougherty, Dan; Ghilezan, Silvia ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage | Dougherty, Daniel; Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena; Likaves, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | Classical Proofs, Typed Processes, and Intersection Types | Ghilezan, Silvia ; Lescanne, Pierre | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 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 - Rad u vrhunskom međ. časopisu |
| 2014 | Computational approach to conjugation | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Computational interpretation of classical logic with explicit structural rules | Silvia Ghilezan ; Pierre Lescanne; Žunić, Dragiša | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2010 | Computational interpretations of logic | Gilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2009 | Computational interpretations of logics | Ghilezan, Silvia ; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2001 | Confluence of untyped lambda calculus via simple types | Ghilezan, Silvia ; Kunčak, Viktor | Naučni članak | 21M21 - Rad u vrhunskom međ. časopisu |
| 1994 | Conjugation in SerboCroatian | Ghilezan, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2023 | Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popović, Miroslav ; Popović, Marko; Kaštelan, Ivan | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2024 | Correct Orchestration of Federated Learning Generic Algorithms: Formalisation and Verification in CSP | Prokić, Ivan ; Ghilezan, Silvia ; Kašterović, Simona ; Popovic, Miroslav ; Popovic, Marko; Kaštelan, Ivan | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 1997 | Cut elimination in the simply typed lambda calculus | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2019 | Denotational and Operational Preciseness of Subtyping | Gilezan, Silvia K. | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2017 | Denotational and Operational Preciseness of Subtyping | Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |