伊内斯·玛格丽亚
人员信息
优化列表
2010 – 2019
2017 [j7] 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
交集和并集类型的同构。 数学。 结构。 计算。 科学。 27 ( 5 ) : 603-625 ( 2017 ) 2016 【c8】 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 亚历杭德罗·迪亚斯·卡罗 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
交叉点类型中的缩进。 ITRS公司 2016 : 31-47 2015 【c7】 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
多方会话中的部分和完整过程。 信息通信与通信系统 2015 : 135-151 2014 【c6】 马里奥·科波 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
关于“函数”交和并类型的同构。 ITRS公司 2014 : 53-64 2013 【c5】 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
“函数”交集类型的同构。 类型 2013 : 129-149 2012 【c4】 马里奥·科波奥 , Mariangiola Dezani-Ciancaglini公司 , 伊内斯·马加里亚 , 马达莱娜·扎基 :
走向交集和并集类型的同构。 ITRS公司 2012 : 58-80
2000 – 2009
2008 [j6] 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
移动环境计算中的访问控制:比较视图。 西奥。 计算。 科学。 398 ( 1-3 ) : 183-202 ( 2008 ) 2003 【c3】 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
安全环境的过滤模型。 科梅塔 2003 : 217-234 2000 [j5] 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
广义滤波器模型。 西奥。 计算。 科学。 238 ( 1-2 ) : 363-387 ( 2000 )
1990 – 1999
1995 【j4】 伊内斯·玛格丽亚 , 马达莱娜·扎基 :
校长在论坛和学科中打字。 J.日志。 计算。 5 ( 三 ) : 367-381 ( 1995 ) 1992 [j3] 雅各布施 , 伊内斯·马加里亚 , 马达莱娜·扎基 :
具有多态类型的过滤器模型。 西奥。 计算。 科学。 95 ( 1 ) : 143-148 ( 1992 )
1980 – 1989
1987 【c2】 Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 :
多态类型、定点组合子和连续lambda模型。 程序设计概念的形式化描述 1987 : 425-450 1986 [注2] Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 :
F-完全类型赋值的一个特征。 西奥。 计算。 科学。 45 ( 2 ) : 121-157 ( 1986 ) 1984 【c1】 Mariangiola Dezani-Ciancaglini公司 , 伊内斯·玛格丽亚 :
交叉类型规程的F语义。 数据类型的语义 1984 : 279-300 1983 [j1] 伊内斯·马加里亚 , 马达莱娜·扎基 :
lambda-beta-Calculus中的左右可逆性。 RAIRO提奥。 信息学应用。 17 ( 1 ) : 71-88 ( 1983 )