皮埃尔吉奥·贝尔托利
人员信息
SPARQL查询
优化列表
期刊文章
2022 [j7] 皮埃尔吉奥·贝尔托利 , 弗朗西斯科·科尔科利奥尼蒂 , Chiara Di Francescomarino公司 , 毛罗·德拉戈尼 , 奇亚拉·吉迪尼 , 马可·皮斯托尔 :
复杂数据软件过程及其执行的语义建模和分析。 专家系统。 申请。 198 : 116702 ( 2022 ) 2010 [j6] 皮埃尔吉奥·贝尔托利 , 马可·皮斯托尔 , 保罗·特拉弗索 :
通过在异步域中进行规划来自动组合Web服务。 Artif公司。 智力。 174 ( 3-4 ) : 316-361 ( 2010 ) 2009 [j5] 约格·霍夫曼 , 皮埃尔吉奥·贝尔托利 , 马尔特·赫尔默特 , 马可·皮斯托尔 :
基于消息的Web服务组合、完整性约束和不确定性下的规划:一种新的连接。 J.阿蒂夫。 智力。 物件。 35 : 49-117 ( 2009 ) 2006 [j4] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 马可·罗维里 , 保罗·特拉弗索 :
部分可观测性下的强规划。 Artif公司。 智力。 170 ( 4-5 ) : 337-384 ( 2006 ) 2004 [j3] 亚历山德罗·西马蒂 , 马可·罗维里 , 皮埃尔吉奥·贝尔托利 :
通过符号模型检查和启发式搜索进行一致性规划。 Artif公司。 智力。 159 ( 1-2 ) : 127-206 ( 2004 ) 2000 [注2] 保罗·特拉弗索 , 皮埃尔吉奥·贝尔托利 :
机械化结果验证:工业应用。 国际期刊软件。 技术工具。 Transf公司。 三 ( 1 ) : 78-92 ( 2000 ) 1999 [j1] 皮埃尔吉奥·贝尔托利 , 雅克·卡尔梅特 , 福斯托·金奇利亚 , 卡斯滕·霍曼 :
定理证明和计算机代数系统的规范与集成。 芬丹。 信息学 39 ( 1-2 ) : 39-57 ( 1999 )
会议和研讨会文件
2014 [公元47年] 毛罗·德拉戈尼 , 皮埃尔吉奥·贝尔托利 , Chiara Di Francescomarino公司 , 奇亚拉·吉迪尼 , 米歇尔·诺里 , 马可·皮斯托尔 , 罗伯托·蒂埃拉 , 弗朗西斯科·科尔科利奥尼蒂 :
利用语义推理对流程进行建模和监控。 ISWC(海报和演示) 2014 : 121-124 [公元46年] Chiara Di Francescomarino公司 , 弗朗西斯科·科尔科利奥尼蒂 , 毛罗·德拉戈尼 , 皮埃尔吉奥·贝尔托利 , 罗伯托·蒂埃拉 , 奇亚拉·吉迪尼 , 米歇尔·诺里 , 马可·皮斯托尔 :
基于语义的流程分析。 ISWC(2) 2014 : 228-243 2013 [公元45年] 皮埃尔吉奥·贝尔托利 , Chiara Di Francescomarino公司 , 毛罗·德拉戈尼 , 奇亚拉·吉迪尼 :
基于推理的处理不完整业务流程执行痕迹的技术。 AI*IA公司 2013 : 469-480 [公元44年] 皮埃尔吉奥·贝尔托利 , 毛罗·德拉戈尼 , 奇亚拉·吉迪尼 , 伊曼纽尔·马图菲 , 米歇尔·诺里 , 马可·皮斯托尔 , Chiara Di Francescomarino公司 :
建模和监控业务流程执行。 国际社会理事会 2013 : 683-687 [公元43年] 安东尼奥·布奇亚罗内 , 安娜帕奥拉·马可尼 , 马可·皮斯托尔 , 保罗·特拉弗索 , 皮埃尔吉奥·贝尔托利 , 拉曼Kazhamiakin :
基于服务的系统的连续上下文软件适配的域对象。 ICWS公司 2013 : 571-578 2012 [公元42年] 皮埃尔吉奥·贝尔托利 , 拉曼Kazhamiakin , 米歇尔·诺里 , 马可·皮斯托尔 :
SMART:为动态环境中的业务流程协调提供建模和监控支持。 BIS(研讨会) 2012 : 243-254 [公元41年] 法哈纳·H·祖尔克宁 , 皮埃尔吉奥·贝尔托利 , 马可·皮斯托尔 , 安德烈亚斯·弗里森 , 延斯·莱姆克 , 伯恩哈德·蒂梅尔 , 奥特弗里德·冯·盖索 :
基于服务的业务流程的约束驱动业务对象模型。 ITNG公司 2012 : 182-188 [公元40年] 皮埃尔吉奥·贝尔托利 , 拉曼Kazhamiakin , 米歇尔·诺里 , 马可·皮斯托尔 :
SMART:支持以用户为中心的基于服务的应用程序的设计和执行。 WISE公司 2012 : 796-799 2010 [公元39年] 赫尔曼·斯特恩 , 阿明·乌尔布里奇 , 维克多莉亚·帕默 , 马可·皮斯托尔 , 皮埃尔吉奥·贝尔托利 , 斯蒂芬妮·林德斯塔特 :
基于移动用户上下文的消息过滤。 CIAO@EKAW公司 2010 2009 [公元38年] 皮埃尔吉奥·贝尔托利 , 拉曼Kazhamiakin , 马西莫·保卢奇 , 马可·皮斯托尔 , Heorhi Raik公司 , 马蒂亚斯·瓦格纳 :
通过规划持续协调Web服务。 ICAPS公司 2009 [公元37年] 皮埃尔吉奥·贝尔托利 , 拉曼Kazhamiakin , 马西莫·保卢奇 , 马可·皮斯托尔 , Heorhi Raik公司 , 马蒂亚斯·瓦格纳 :
自动化服务组合的控制流要求。 ICWS公司 2009 : 17-24 2008 [c36] 亚历山大·阿尔博雷 , 娜塔莎·阿列奇纳 , 皮埃尔吉奥·贝尔托利 , 奇亚拉·吉迪尼 , 布莱恩·洛根 :
有限资源推理作为(强或经典)规划。 CLIMA公司 2008 : 77-96 [公元35年] 拉曼Kazhamiakin , 皮埃尔吉奥·贝尔托利 , 马西莫·保卢奇 , 马可·皮斯托尔 , 马蒂亚斯·瓦格纳 :
您的方式!: 一个用于编写和执行由用户资源驱动的服务的平台。 FIS(海报和演示) 2008 [公元34年] 拉曼Kazhamiakin , 皮埃尔吉奥·贝尔托利 , 马西莫·保卢奇 , 马可·皮斯托尔 , 马蒂亚斯·瓦格纳 :
拥有“YourWay!”服务:走向以用户为中心的移动服务组合。 FIS公司 2008 : 94-106 2007 [公元33年] 约格·霍夫曼 , 皮埃尔吉奥·贝尔托利 , 马可·皮斯托尔 :
Web服务组合作为规划,重新审视:介于背景理论和初始状态不确定性之间。 AAAI公司 2007 : 1013-1018 [公元32年] 皮埃尔吉奥·贝尔托利 , 劳拉·费拉里 , 拉曼Kazhamiakin , 科拉多·莫伊索 , 马可·皮斯托尔 , 埃姆斯·图加兹(Ermes Thuegaz) :
组合电信服务的设计和分析。 ICSOC研讨会 2007 : 282-294 [公元31年] 皮埃尔吉奥·贝尔托利 , 约格·霍夫曼 , 弗雷迪·莱库埃 , 马可·皮斯托尔 :
集成发现和自动合成:从语义需求到可执行代码。 ICWS公司 2007 : 815-822 [c30] 皮埃尔吉奥·贝尔托利 , 劳拉·费拉里 , 拉曼Kazhamiakin , 科拉多·莫伊索 , 马可·皮斯托尔 , 埃姆斯·图加兹(Ermes Thuegaz) :
电信领域中Web服务组合的设计和验证。 ICWS公司 2007 : 1214-1215 [公元29年] 四季倾城 , 皮埃尔吉奥·贝尔托利 , 丹尼尔·维尔德 :
随机域的混合规划器。 国际JCAI 2007 : 1972-1978 2006 [公元28年] 亚历山大·阿尔博雷 , 娜塔莎·阿列奇纳 , 皮埃尔吉奥·贝尔托利 , 奇亚拉·吉迪尼 , 布莱恩·洛根 , 卢西亚诺·塞拉菲尼 :
基于资源的推理机的模型检查记忆需求。 AAAI公司 2006 : 213-218 [c27] 亚历山大·阿尔博尔 , 皮埃尔吉奥·贝尔托利 :
基于安全LTL假设的规划。 ICAPS公司 2006 : 193-202 [公元26年] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 马可·皮斯托尔 :
部分可观测下的强循环规划。 ICAPS公司 2006 : 354-357 [公元25年] 皮埃尔吉奥·贝尔托利 , 马可·皮斯托尔 , 保罗·特拉弗索 :
通过即时信任空间搜索实现自动Web服务组合。 ICAPS公司 2006 : 358-361 [公元24年] 娜塔莎·阿列奇纳 , 马克·贾戈 , 皮埃尔吉奥·贝尔托利 , 布莱恩·洛根 , 奇亚拉·吉迪尼 , 卢西亚诺·塞拉菲尼 :
验证资源有限的代理的空间和时间要求。 美国原子能机构 2006 : 217-219 【c23】 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 马可·皮斯托尔 :
部分可观测下的Stong循环规划。 ECAI公司 2006 : 580-584 [公元22年] 皮埃尔吉奥·贝尔托利 , 马可·波扎诺 , 亚历山德罗·西马蒂 :
安全分析、诊断和综合的符号模型检查框架。 MoChArt公司 2006 : 1-18 【c21】 娜塔莎·阿列奇纳 , 皮埃尔吉奥·贝尔托利 , 奇亚拉·吉迪尼 , 马克·贾戈 , 布莱恩·洛根 , 卢西亚诺·塞拉菲尼 :
验证基于资源的代理的空间和时间要求。 MoChArt公司 2006 : 19-34 2005 [公元20年] 马可·皮斯托尔 , 保罗·特拉弗索 , 皮埃尔吉奥·贝尔托利 :
通过在异步域中进行规划来自动组合Web服务。 ICAPS公司 2005 : 2-11 [第19条] 米歇尔·特兰诺蒂 , 马可·皮斯托尔 , 盖塔诺·卡拉布雷斯 , 加布里埃尔·扎科 , 吉吉·卢切斯 , 法比奥·巴本 , 皮埃尔吉奥·贝尔托利 , 保罗·特拉弗索 :
ASTRO:支持Web服务的组合和执行。 国际社会理事会 2005 : 495-501 [第18条] 马可·皮斯托尔 , 保罗·特拉弗索 , 皮埃尔吉奥·贝尔托利 , 安娜帕奥拉·马可尼 :
复合BPEL4WS Web服务的自动合成。 ICWS公司 2005 : 293-301 [c17] 马可·皮斯托尔 , 安娜帕奥拉·马可尼 , 皮埃尔吉奥·贝尔托利 , 保罗·特拉弗索 :
通过知识级规划实现Web服务的自动组合。 国际JCAI 2005 : 1252-1259 [第16条] 马可·皮斯托尔 , 保罗·特拉弗索 , 皮埃尔吉奥·贝尔托利 , 安娜帕奥拉·马可尼 :
从BPEL4WS流程自动合成可执行的web服务组合。 WWW(特别感兴趣的曲目和海报) 2005 : 1186-1187 2004 [第15条] 亚历山大·阿尔博尔 , 皮埃尔吉奥·贝尔托利 :
为部分可观测、非确定性领域生成基于安全假设的计划。 AAAI公司 2004 : 495-500 [第14条] 马可·皮斯托尔 , 法比奥·巴本 , 皮埃尔吉奥·贝尔托利 , 德米特里·沙帕劳 , 保罗·特拉弗索 :
规划和监控Web服务组合。 AIMSA公司 2004 : 106-115 [第13条] 皮埃尔吉奥·贝尔托利 , 马可·皮斯托尔 :
具有扩展目标和部分可观测性的规划。 ICAPS公司 2004 : 270-278 [第12条] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 保罗·特拉弗索 :
不确定性、部分可观测领域的交叉执行和规划。 ECAI公司 2004 : 657-661 2003 [第11条] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 马可·皮斯托尔 , 保罗·特拉弗索 :
部分可观测条件下具有扩展目标的规划框架。 ICAPS公司 2003 : 215-225 2002 [第10条] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 :
在信念空间中改进作为搜索的规划启发式。 AIPS公司 2002 : 143-152 【c9】 吉尔斯·奥德马尔 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 阿图尔·科尼洛维奇 , 罗伯托·塞巴斯蒂亚尼 :
布尔运算和数学求解的集成:基础、基本算法和要求。 AISC公司 2002 : 231-245 【c8】 吉尔斯·奥德马尔 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 阿图尔·科尼洛维奇 , 罗伯托·塞巴斯蒂亚尼 :
基于SAT的布尔和线性数学命题公式求解方法。 CADE公司 2002 : 195-210 【c7】 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 约翰·斯莱尼 , 西尔维·蒂埃鲍克斯 :
通过符号模型检查通过规划解决电源恢复问题。 ECAI公司 2002 : 576-580 2001 【c6】 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 马可·罗维里 :
启发式搜索+符号模型检查=有效的一致性规划。 国际JCAI 2001 : 467-472 【c5】 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 马可·罗维里 , 保罗·特拉弗索 :
通过符号模型检查在部分可观测性下的非确定域规划。 国际JCAI 2001 : 473-478 【c4】 亚历山德罗·西马蒂 , 马可·罗维里 , 皮埃尔吉奥·贝尔托利 :
结合显式状态和符号模型检查搜索功率集自动机。 墨西哥玉米饼 2001 : 313-327 1998 【c3】 皮埃尔吉奥·贝尔托利 , 雅克·卡尔梅特 , 福斯托·金奇利亚 , 卡斯滕·霍曼 :
定理证明和计算机代数系统的规范与集成。 AISC公司 1998 : 94-106 [c2] 皮埃尔吉奥·贝尔托利 , 亚历山德罗·西马蒂 , 福斯托·金奇利亚 , 保罗·特拉弗索 :
计算机辅助开发工具安全性正式认证的结构化方法。 SAFECOMP公司 1998 : 221-230 【c1】 福斯托·金奇利亚 , 皮埃尔吉奥·贝尔托利 , 亚历山德罗·科利奥 :
OMRS项目:最先进。 WRLA公司 1998 : 127-146
非正式出版物和其他出版物
2014 [i1] 约格·霍夫曼 , 皮埃尔吉奥·贝尔托利 , 马尔特·赫尔默特 , 马可·皮斯托尔 :
基于消息的Web服务组合、完整性约束和不确定性下的规划:一种新的连接。 CoRR公司 腹肌/1401.3470 ( 2014 )