еНаука - преглед
Преглед према Аутор Dezani-Ciancaglini, Mariangiola
Приказ резултата 1 до 10 од 10
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2003 | A behavioural lambda model | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia   | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2001 | A lambda model characterizing computational behaviours of terms | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2004 | Behavioural inverse limit λ-models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Likavec, Silvia | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 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 | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2016 | Denotational and operational preciseness of subtyping: A roadmap | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Yoshida, Nobuko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Preciseness of subtyping on intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2007 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka | Научни чланак | 23M23 - Рад у међ. часопису |
| 2008 | Security types for dynamic web data | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Pantović, Jovanka ; Varacca, Daniele | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 1997 | The “Relevance” of intersection and union types | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia ; Venneri, Betti | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2003 | Two behavioural lambda models | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |