Autori: Dezani-Ciancaglini Mariangiola
| Naslov | Combining behavioural types with security analysis (Article) |
| Autori | Bartoletti Massimo Castellani Ilaria Denielou Pierre-Malo Dezani-Ciancaglini Mariangiola Ghilezan Silvia Pantovic Jovanka B Perez Jorge A Thiemann Peter Toninho Bernardo Vieira Hugo Torres |
| Info | JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, (2015), vol. 84 br. 6, str. 763-780 |
| Projekat | COST Action [IC1201] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
| Naslov | Security types for dynamic web data (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia Pantovic Jovanka B Varacca Daniele |
| Info | THEORETICAL COMPUTER SCIENCE, (2008), vol. 402 br. 2-3, str. 156-171 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Behavioural inverse limit lambda-models (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia Likavec Silvia J |
| Info | THEORETICAL COMPUTER SCIENCE, (2004), vol. 316 br. 1-3, str. 49-74 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Two behavioural lambda models (Article) |
| Autori | Dezani-Ciancaglini Mariangiola Gilezan Silvia |
| Info | TYPES FOR PROOFS AND PROGRAMS, (2002), vol. 2646 br. , str. 127-147 |
| Ispravka | ISI/Web of Science Citati: ISI/Web of Science |
