Nikos Gorogannis公司
人员信息
优化列表
2020年–今天
2021 [第18条] 詹姆斯·布罗瑟斯顿 , 保罗·布鲁特 , Nikos Gorogannis公司 , 马克斯·卡诺维奇 :
Android Java的组合死锁检测器。 ASE公司 2021 : 955-966
2010 – 2019
2019 [公元12年] Nikos Gorogannis公司 , 彼得·W·奥赫恩 , 伊利亚·谢尔盖 :
静态竞争检测器的真正定理。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 57:1-57:29 ( 2019 ) [第17条] 米哈伊拉·西希拉努 , 胡安·安东尼奥·纳瓦罗·佩雷斯 , 安德烈·里巴尔琴科 , Nikos Gorogannis公司 , 半径Iosif , 安德鲁·雷诺兹 , Cristina塞尔维亚人 , 延斯·卡特兰 , 克里斯托夫·马蒂亚 , 托马斯·诺尔 , 弗洛里安·祖勒格 , 魏恩甘钦 , 广乐路 , Quang-Trung Ta公司 , Ton-Chanh Le公司 , Thanh-Toan Nguyen先生 , Siau-Cheng Khoo公司 , 米查尔·塞浦路斯 , 亚当·罗加列维奇 , 托马斯·沃伊纳 , 康斯坦丁·埃纳 , Ondrej Lengál , 冲高 , 吴志林 :
SL-COMP:分离逻辑解算器的竞争。 塔卡斯(3) 2019 : 116-132 2018 [公元11年] Diletta Romana Cacciagrano公司 , 弗拉维奥·科拉迪尼 , 罗萨里奥·卡蒙 , Nikos Gorogannis公司 , 莱昂纳多·莫斯塔达 , 弗兰科·雷蒙迪 , 克劳迪娅·万努奇 :
智能环境中ECA规则的分析和验证。 J.环境智能。 智慧环境。 10 ( 三 ) : 261-273 ( 2018 ) [公元10年] 萨姆·布莱克希尔 , Nikos Gorogannis公司 , 彼得·W·奥赫恩 , 伊利亚·谢尔盖 :
RacerD:合成静态种族检测。 程序。 ACM计划。 语言。 2 ( OOPSLA公司 ) : 144:1-144:28 ( 2018 ) [第16条] 凯莉·安德鲁特索普洛斯 , 阿里斯托德莫乳杆菌 , 贾普·博恩德 , 米歇尔·波顿 , 爱德华·柯里 , I.埃尔·阿鲁西 , 鲍勃·菲尔兹 , 小黄瓜 , Nikos Gorogannis公司 , M.海尼 , 迈克尔·米歇莱蒂 , 马丁·卢姆斯 , 迈克尔·马格利斯 , M.彼得里迪斯 , A.皮尔马特里 , 朱塞佩·普里米埃罗 , 弗兰科·雷蒙迪 , 尼克·韦尔丁 :
MIRTO:一个开源机器人教育平台。 ECSEE公司 2018 : 55-62 [i2] 尼科斯·戈罗吉安尼斯 , 彼得·W·奥赫恩 , 伊利亚·谢尔盖 :
静态竞争检测器的真正值定理-扩展版本。 CoRR公司 abs/1811.03503 ( 2018 ) 2017 [公元9年] 克劳迪娅·万努奇 , 米开朗基罗·迪亚曼蒂 , 吉安马科·马赞特 , Diletta Cacciagrano公司 , 罗萨里奥·卡蒙 , Nikos Gorogannis公司 , 莱昂纳多·莫斯塔达 , 弗兰科·雷蒙迪 :
智能环境中事件条件操作规则的符号验证。 J.Reliab公司。 智力。 环境。 三 ( 2 ) : 117-130 ( 2017 ) [第15条] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 马克斯·I·卡诺维奇 :
阵列分离逻辑中的双向消减(及相关问题)。 CADE公司 2017 : 472-490 [第14条] Nikos Gorogannis公司 , 弗兰科·雷蒙迪 , Ioana Boureanu公司 :
一种新的验证程序认知属性的符号方法。 国际JCAI 2017 : 206-212 [第13条] 克劳迪娅·万努奇 , 米开朗基罗·迪亚曼蒂 , 吉安马科·马赞特 , Diletta Romana Cacciagrano公司 , 弗拉维奥·科拉迪尼 , 罗萨里奥·卡蒙 , Nikos Gorogannis公司 , 莱昂纳多·莫斯塔达 , 弗兰科·雷蒙迪 :
vIRONy:智能环境中ECA规则的分析和验证工具。 智能环境 2017 : 92-99 2016 [第12条] 詹姆斯·布罗斯顿 , Nikos Gorogannis公司 , 马克斯·I·卡诺维奇 , 鲁本·罗 :
使用归纳谓词对符号堆分离逻辑进行模型检查。 POPL公司 2016 : 84-96 [i1] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 马克斯·卡诺维奇 :
阵列分离逻辑中的双向消减(及相关问题)。 CoRR公司 abs/1607.01993 ( 2016 ) 2015 [第11条] 米尔科·博多尼 , 米歇尔·波顿 , 鲍勃·菲尔兹 , Nikos Gorogannis公司 , 迈克尔·马格利斯 , 朱塞佩·普里米埃罗 , 弗兰科·雷蒙迪 :
面向作为服务的网络物理系统:ASIP协议。 在ICSE的情况下 2015 : 52-55 [第10条] 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 :
通过基对近似消除分离逻辑中的归纳蕴涵。 TABLEAUX公司 2015 : 287-303 2014 【c9】 詹姆斯·布罗瑟斯顿 , 卡斯滕·福斯 , 胡安·安东尼奥·纳瓦罗·佩雷斯 , Nikos Gorogannis公司 :
带有归纳谓词的分离逻辑中的可满足性判定过程。 CSL-LICS公司 2014 : 25:1-25:10 【c8】 弗兰科·雷蒙迪 , 朱塞佩·普里米埃罗 , 凯利·安德洛索普洛斯 , Nikos Gorogannis公司 , 马丁·卢姆斯 , 迈克尔·马格利斯 , 帕贾·瓦萨尼 , 尼克·韦尔丁 , 亚历克斯·齐瓦诺维奇 :
一种基于机架的机器人,用于教授计算机科学一年级。 ELS公司 2014 : 54-62 【c7】 蒂莫斯·安东诺普洛斯 , Nikos Gorogannis公司 , 克里斯托夫·哈斯 , 马克斯·卡诺维奇 , Joël Ouaknine公司 :
一般归纳谓词分离逻辑中决策问题的基础。 FoSSaCS公司 2014 : 411-425 【c6】 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 :
归纳定义的安全和终止先决条件的循环外推。 萨斯 2014 : 68-84 2012 【c5】 詹姆斯·布罗瑟斯顿 , Nikos Gorogannis公司 , 拉斯穆斯·勒奇达尔·彼得森 :
一般循环定理证明器。 阿普拉斯 2012 : 350-367 2011 [j8] Nikos Gorogannis公司 , 安东尼·亨特 :
用经典逻辑论证实例化抽象论证:命题和属性。 Artif公司。 智力。 175 ( 9-10 ) : 1479-1497 ( 2011 ) 【c4】 Nikos Gorogannis公司 , 马克斯·卡诺维奇 , 彼得·W·奥赫恩 :
分离堆抽象的外推复杂性。 萨斯 2011 : 25-42 2010 [j7] 罗宾·赫希 , Nikos Gorogannis公司 :
命题论证中保证公式问题的复杂性。 J.日志。 计算。 20 ( 2 ) : 481-499 ( 2010 )
2000 – 2009
2009 [j6] Nikos Gorogannis公司 , 安东尼·亨特 , 马修·威廉姆斯 :
用临床知识进行推理的基于论证的方法。 国际期刊近似原因。 51 ( 1 ) : 1-22 ( 2009 ) 【c3】 Nikos Gorogannis公司 , 安东尼·亨特 , 维维克·帕特卡尔 , 马修·威廉姆斯 :
关于疗效的争论。 韩国4HC 2009 : 169-179 2008 [j5] Nikos Gorogannis公司 , 安东尼·亨特 :
使用二进制决策图实现语义合并运算符。 国际期刊近似原因。 49 ( 1 ) : 234-251 ( 2008 ) 【c2】 Nikos Gorogannis公司 , 安东尼·亨特 :
使用扩张算子合并一阶知识。 FoIKS公司 2008 : 132-150 2007 【j4】 尼科斯·戈罗吉安尼斯 , 马克·瑞安 :
模型和术语逻辑规范的最小细化。 形式方面计算。 19 ( 1 ) : 35-62 ( 2007 ) [j3] Nikos Gorogannis公司 , 马克·瑞恩 :
对模态逻辑和时序逻辑中的规范进行最小细化。 形式方面计算。 19 ( 2 ) : 273 ( 2007 ) [注2] Nikos Gorogannis公司 , 马克·瑞恩 :
对模态逻辑和时序逻辑中的规范进行最小细化。 形式方面计算。 19 ( 4 ) : 417-444 ( 2007 ) 2003 【b1】 Nikos Gorogannis公司 :
计算系统模型的最小变化。 英国伯明翰大学, 2003 2002 [j1] Nikos Gorogannis公司 , 马克·瑞安 :
使用BDD实现信念改变运算符。 Stud Logica公司 70 ( 1 ) : 131-156 ( 2002 ) 【c1】 Nikos Gorogannis公司 , 马克·瑞恩 :
要求、规范和最低限度的细化。 沃尔利克 2002 : 218-232