伊利亚诺·塞维萨托 36出版物(1993–2019)编入索引的 219引文 合著者： 安德烈·斯克洛夫（Andre Scedrov）；弗兰克·芬宁（Frank Pfenning）；亚伦·D·贾加德… 主要字段： 计算机科学（68-XX） 发布日期： 伊利亚诺·塞维萨托;Cervesato，I。
伊利亚诺·塞维萨托 16出版物(1998–2019)编入索引的 合著者： 桑德拉·阿尔维斯；考斯托夫，乔杜里；可汗、沙吉尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX） 发布日期： 伊利亚诺·塞维萨托