eNauka - pregled
Pregled prema Autor Dezani-Ciancaglini, Mariangiola
Prikaz rezultata 1 do 10 od 10
| 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. |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | 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 |
| 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 |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2014 | Preciseness of subtyping on intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2007 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Naučni članak | 23M23 - Rad u međ. časopisu |
| 2008 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2003 | Two behavioural lambda models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |