帕特里齐亚·阿西雷利
人员信息
SPARQL查询
优化列表
2010 – 2019
2012 [c27] 帕特里齐亚·阿西雷利 , 莫里斯·特尔·比克 , 亚历山德罗·范泰奇 , 斯蒂芬妮娅·格内西 :
衍生产品线行为描述的组成框架。 ISoLA(1) 2012 : 146-161 2011 [公元26年] 帕特里齐亚·阿西雷利 , 莫里斯·特尔·比克 , 亚历山德罗·范泰奇 , 斯蒂芬妮娅·格内西 :
服务族的模型检查工具。 FMOODS/FORTE公司 2011 : 44-58 [公元25年] 帕特里齐亚·阿西雷利 , 莫里斯·特尔·比克 , 亚历山德罗·范泰奇 , 斯蒂芬妮娅·格内西 , 弗朗科·马扎蒂 :
设计和验证产品线的可变性。 请@ICSE 2011 : 25-30 [公元24年] 帕特里齐亚·阿西雷利 , 莫里斯·H·特·比克 , 斯蒂芬妮娅·格内西 , 亚历山德罗·范泰奇 :
产品系列中可变性的形式化描述。 苏丹人民解放军 2011 : 130-139 2010 【c23】 帕特里齐亚·阿西雷利 , 莫里斯·特尔·比克 , 亚历山德罗·范泰奇 , 斯蒂芬妮娅·格内西 :
处理变量的逻辑框架。 国际单项体育联合会 2010 : 43-58 [公元22年] 帕特里齐亚·阿西雷利 , 莫里斯·特尔·比克 , 斯蒂芬妮娅·格内西 , 亚历山德罗·范泰奇 :
产品族建模的道义逻辑框架。 VaMoS公司 2010 : 37-44
2000 – 2009
2009 【c21】 帕特里齐亚·阿西雷利 , 莫里斯·特尔·比克 , 斯蒂芬妮娅·格内西 , 亚历山德罗·范泰奇 :
行为可变性建模的道义逻辑。 VaMoS公司 2009 : 71-76 2006 [公元20年] 帕特里齐亚·阿西雷利 , 苏珊·利特尔 , 马西莫·马蒂内利 , 奥维迪奥·萨尔维蒂 :
多媒体元数据管理:基础设施提案。 SWAP公司 2006 2000 [j4] 多梅尼科·阿奎利诺 , 帕特里齐亚·阿西雷利 , A.福尔摩索 , 奇亚拉·伦索 , 弗朗科·图里尼 :
使用MedLan整合地理数据。 J.日志。 程序。 43 ( 1 ) : 3-14 ( 2000 )
1990 – 1999
1999 [第19条] 帕特里齐亚·阿西雷利 , 法布里奇奥·法布里尼 :
防火墙策略定义工具:一个实现想法。 IICIS公司 1999 : 99-110 1998 [第18条] 帕特里齐亚·阿西雷利 , 奇亚拉·伦索 , 弗朗科·图里尼 :
MedLan的约束运算符:它的高效实现和使用。 IICIS公司 1998 : 41-55 1997 [j3] 多梅尼科·阿基利诺 , 帕特里齐亚·阿西雷利 , 奇亚拉·伦索 , 弗朗科·图里尼 :
对演绎数据库应用限制约束。 安。数学。 Artif公司。 智力。 19 ( 1-2 ) : 3-25 ( 1997 ) [c17] 帕特里齐亚·阿西雷利 :
查看约束:对安全性的完整性约束的解释。 IICIS公司 1997 : 237-252 1996 [第16条] 帕特里齐亚·阿西雷利 , 斯蒂芬·库克 , 基思·杰弗里 :
用于验证系统模型的逻辑数据库。 DDLP公司 1996 : 119-134 [第15条] 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 , 朱塞佩·普拉根扎 :
演绎数据库中作为视图的完整性约束。 FMLDO公司 1996 : 133-140 [第14条] 帕特里齐亚·阿西雷利 , 奇亚拉·伦索 , 弗朗科·图里尼 :
演绎数据库语义集成的语言扩展。 数据库中的逻辑 1996 : 415-434 [第13条] 帕特里齐娅·阿西雷利 , 斯蒂芬妮娅·格内西 , 玛丽亚·克里斯蒂娜·罗西 :
对并发系统规范的演绎数据库支持。 SOFSEM公司 1996 : 309-316 1995 [第12条] 多梅尼科·阿基利诺 , D.阿普佐 , 帕特里齐亚·阿西雷利 :
图形界面设计和实现的声明性方法。 活塞销 1995 : 332-346 [第11条] 多梅尼科·阿基利诺 , 帕特里齐亚·阿西雷利 , 奇亚拉·伦索 , 弗朗科·图里尼 :
用约束理论构造演绎数据库的运算符。 低密度核磁共振 1995 : 57-70 1994 [注2] 帕特里齐亚·阿西雷利 , D.迪格兰德 , 保拉·因弗拉迪 , F.尼科德米 :
逻辑数据库管理系统的图形。 视觉杂志。 语言计算。 5 ( 4 ) : 365-388 ( 1994 ) [第10条] 多梅尼科·阿基利诺 , 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 :
Gedblog:用于指定图形界面的多理论演绎环境。 活塞杆(2) 1994 : 440-441 1992 【c9】 多梅尼科·阿基利诺 , 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 :
GEDBLOG系统中的原型制作。 瑞典克朗 1992 : 194-199 1991 【c8】 多梅尼科·阿基利诺 , 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 , P.马拉拉 :
支持重用和配置:基于端口的SCM模型。 供应链管理 1991 : 62-67
1980 – 1989
1989 【c7】 帕特里齐亚·阿西雷利 , C.比利 , 保拉·因弗拉迪 :
演绎数据库中完整性约束的选择性拒绝。 MFDBS公司 1989 : 1-11 1988 【c6】 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 , A.野马 :
改进演绎数据库中的完整性约束检查。 ICDT公司 1988 : 72-86 【c5】 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 :
在软件开发环境中使用逻辑数据库。 PLILP公司 1988 : 292-299 【c4】 帕特里齐娅·阿西雷利 , 保拉·因弗拉迪 :
EDBLOG:配置环境的内核。 供应链管理 1988 : 422-425 1987 【c3】 帕特里齐亚·阿西雷利 , 保拉·因弗拉迪 :
增强软件开发中的配置设施:一种逻辑方法。 欧洲经济共同体 1987 : 55-63 1985 [j1] 帕特里齐亚·阿西雷利 , 米歇尔·德·桑提斯 , 毛里齐奥·马泰利 :
逻辑数据库的完整性约束。 J.日志。 程序。 2 ( 三 ) : 221-232 ( 1985 ) 1983 [c2] 帕特里齐亚·阿西雷利 :
一元函数逻辑程序静态语义的几个方面。 逻辑编程研讨会 1983 : 485-505