编辑配置文件(在新选项卡中打开) 卡图西亚帕拉米德斯 合著者距离 作者ID: 土库曼斯坦帕拉米德斯 发布日期: 卡图西亚帕拉米德斯;帕拉米德斯,C。 外部链接: MGP公司 已编制索引的文档: 107出版物自1984年以来,包括1本书和1个附加arXiv预打印 19作为编辑的贡献 传记参考: 1出版物 合著者: 107合著者具有117联合出版物 2526联合作者 全部的 前5名合著者 9 单作者的 23 康斯坦蒂诺斯·查齐科科拉基斯 13 弗兰克·巴伦西亚。 12 莫雷诺,法拉斯基 10 德波尔(Frank S。 9 马里奥·阿尔维姆。 8 米盖尔·安德烈斯。 7 毛里齐奥·加布里埃利 6 乔治·列维 6 戴尔·艾伦·米勒 5 卡洛斯·奥拉特 5 简·J·M·M·鲁顿。 4 克里斯特尔·布劳恩 4 Cacciagrano、Diletta Romana 4 弗拉维奥·科拉迪尼 4 邓玉欣 4 Joost N.角。 4 帕南加登,普拉卡什 三 赛扬·比斯瓦斯 三 亚历山德拉·迪·皮耶罗 三 伊万·加佐 三 奥尔泰·米哈埃拉·赫里斯库 三 川本优助 三 金·万豪酒店 三 Maurizio Martelli 三 彼得·范·罗苏姆 2 萨姆森·艾布拉姆斯基 2 罗曼·博希斯 2 埃哈布·埃尔萨拉穆尼 2 埃利奥·乔瓦内蒂 2 意大利,朱塞佩·弗朗西斯科 2 郑康洙 2 索菲亚·奈特 2 雷蒙德·麦克道尔。 2 Annabelle K.McIver。 2 Mislove,Michael W。 2 科拉多·莫伊索 2 卡罗尔·C·摩根。 2 尼尔森,莫根斯 2 庞、军 2 伊恩·菲利普斯。 2 马尔科·斯特罗那提 2 玛丽亚·格拉齐亚·维格利奥蒂 1 艾丽卡·阿尔布拉汉姆 1 公寓,Krzysztof Rafal 1 杰苏斯·阿兰达 1 安德烈斯·阿里斯蒂扎巴尔 1 马尔科·贝尔托利诺 1 Nathalie Bertrand 1 最好的,艾克 1 巴尔加瓦,莫希特 1 菲利波·邦奇 1 皮尔·乔治·博斯科 1 彼得·米尔特森兄弟 1 路易斯·凯雷斯 1 伊利亚卡斯特拉尼 1 戴维·齐亚鲁吉 1 维罗妮卡·达尔 1 卢卡·德·阿尔法罗 1 Cinzia迪朱斯托 1 桑德罗·埃塔利 1 娜塔莎·费尔南德斯 1 乌尔里希·富巴赫 1 Daniel E.Gebler。 1 罗伯托·贾科巴齐 1 大卫·吉尔伯特 1 马可·朱蒂 1 休·格拉泽 1 丹尼尔·戈拉 1 让·古鲍特·拉雷克 1 费德里卡·格拉内塞 1 萨道纳·哈马杜 1 埃勒姆·卡舍菲 1 曼弗雷德·科伯 1 西蒙·克莱默 1 安东尼·库塞拉 1 刘公九 1 卡塞姆·莱夫基 1 朱塞佩·隆戈 1 雨果·A·洛佩兹。 1 埃琳娜·马尔奇奥里 1 卡尔·梅恩克 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 路易斯·莫尼兹·佩雷拉 1 路易斯·蒙泰罗 1 约阿希姆·帕罗 1 蒂埃里·保罗 1 佩雷斯(Jorge A.Pérez)。 1 路易斯·皮诺。 1 弗朗西斯科·兰扎托 1 马可·罗曼内利 1 卡米洛·鲁埃达 1 莱恩,马克·德莫特 1 叶霍舒亚·萨吉夫 1 弗拉迪米罗·萨松 1 罗伯托·塞加拉 1 安娜·索科洛娃 1 彼得·詹姆斯·斯塔基 1 安吉洛·特洛伊娜 1 彼得·特马 1 安德烈亚·图里尼 …和另外7位合著者 全部的 前5名系列 19 理论计算机科学 10 计算机科学课堂讲稿 6 信息与计算 4 理论计算机科学电子笔记 2 计算机与系统科学杂志 2 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 1 信息学报 1 代数普遍性 1 信息和控制 1 逻辑程序设计杂志 1 CWI季度 1 逻辑与计算杂志 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 北欧计算机杂志 1 欧洲理论计算机科学协会公告EATCS 1 函数与逻辑程序设计杂志 1 计算机基础理论 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 信息安全与密码学 全部的 前5名领域 118 计算机科学(68至XX) 19 一般性和全局性主题;集合(00-XX) 17 信息与通信理论、电路(94-XX) 11 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 阶、格、有序代数结构(06-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 89出版物有被引用637中的次384份文件 引用人▼ 年份▼ 逻辑语言的操作行为的声明性建模。 Zbl 0699.68113号 M.法拉斯基。;列维,G。;帕拉米德斯,C。;马泰利,M。 48 1989 匿名协议作为噪声信道。 兹比尔1147.68394 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 31 2008 概率异步\(\pi\)-微积分。 Zbl 0961.68088号 奥尔泰·米哈埃拉·赫里斯库;卡图西亚帕拉米德斯 29 2000 概率匿名。 Zbl 1134.68426号 巴尔加瓦,莫希特;卡图西亚帕拉米德斯 25 2005 时间并发约束编程:表示、逻辑和应用。 Zbl 1018.68019号 尼尔森,莫根斯;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 25 2002 广义互模拟度量。 Zbl 1417.68123号 康斯坦蒂诺斯·查齐科科拉基斯;丹尼尔·格布勒;卡图西亚帕拉米德斯;徐丽丽 18 2014 并发约束编程的完全抽象模型。 Zbl 0967.68516号 德波尔(Frank S。;卡图西亚帕拉米德斯 18 1991 约束规划中的不确定性和无限计算。 Zbl 0872.68103号 德波尔(Frank S。;亚历山德拉·迪·皮耶罗;卡图西亚帕拉米德斯 18 1995 内核LEAF:一种逻辑加函数语言。 Zbl 0717.68013号 埃利奥·乔瓦内蒂;乔治·列维;科拉多·莫伊索;卡图西亚帕拉米德斯 18 1991 幂等置换的代数性质。 Zbl 0765.68180号 卡图西亚帕拉米德斯 17 1990 嵌入作为语言比较的工具。 Zbl 0788.68014号 德波尔(Frank S。;卡图西亚帕拉米德斯 17 1994 一次性攻击泄漏的定量概念。 Zbl 1337.94006号 克里斯特尔·布劳恩;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 16 2009 基于约束的过程计算中的空间和认知方式。 兹比尔1364.68290 索菲亚·奈特;卡图西亚帕拉米德斯;帕南加登,普拉卡什;弗兰克·巴伦西亚。 15 2012 概率有限状态行为的合成推理。 Zbl 1171.68570号 邓玉欣;卡图西亚帕拉米德斯;庞、军 13 2005 混合选择的(pi)演算的随机编码。 Zbl 1080.68080号 卡图西亚帕拉米德斯;奥尔泰·米哈埃拉·赫里斯库 13 2005 逻辑程序操作语义的模型理论重建。 Zbl 0788.68088号 莫雷诺,法拉斯基;乔治·列维;Maurizio Martelli;卡图西亚帕拉米德斯 12 1993 计算信息隐藏系统的泄漏。 Zbl 1284.68161号 米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆;杰弗里·史密斯 11 2010 用于名称传递计算的同余格式。 Zbl 1273.68216号 阿克塞尔·齐格勒;戴尔·米勒;卡图西亚帕拉米德斯 11 2006 使随机选择对调度程序不可见。 Zbl 1151.68517号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 10 2007 概率有限状态行为的公理化。 Zbl 1111.68081号 邓玉欣;卡图西亚帕拉米德斯 10 2007 重新审视可能的无辜。 Zbl 1153.94451号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 10 2006 在序列演算中对转换系统进行编码。 Zbl 1028.68095号 雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 10 2003 关于分离的教程通过领导人选举问题导致流程计算。 Zbl 1143.68056号 玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 9 2007 闭包算子的弱相对伪补足。 Zbl 0901.06003号 R·贾科巴齐。;帕拉米德斯,C。;F.兰扎托。 9 1996 过程计算中的递归与复制:表达性。 Zbl 1169.68551号 卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 9 2005 通过测试分离同步和异步通信。 Zbl 1273.68251号 Cacciagrano、Diletta;弗拉维奥·科拉迪尼;卡图西亚帕拉米德斯 9 2006 关于异步演算的异步性质。 Zbl 1143.68470号 罗曼·博希斯;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 8 2008 从失败到成功:比较Horn子句逻辑的指称语义和声明语义。 Zbl 0761.68055号 德波尔,F.S。;J.N.角。;帕拉米德斯,C。;J.J.M.M.鲁顿。 7 1992 概率应用像素。 Zbl 1137.68448号 让·古鲍特·拉雷克;卡图西亚帕拉米德斯;安吉洛·特洛伊娜 7 2007 信息挖掘的组合方法。 Zbl 1138.68402号 克里斯特尔·布劳恩;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 7 2008 具有进程移动性的并发约束编程。 Zbl 0983.68617号 大卫·吉尔伯特;卡图西亚帕拉米德斯 7 2000 概率有限状态行为的公理化。 Zbl 1119.68125号 邓玉欣;卡图西亚帕拉米德斯 7 2005 控制流与逻辑:Guarded Horn子句的指称和声明模型。 Zbl 0755.68094号 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 6 1989 匿名协议作为噪声信道。 兹比尔1211.94025 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 6 2007 为并发约束编程派生标签和二相似性。 Zbl 1326.68196号 安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;卡图西亚帕拉米德斯;路易斯·皮诺;巴伦西亚,弗兰克 6 2011 概率并发系统中的信息隐藏。 Zbl 1216.68182号 米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆;安娜·索科洛娃 6 2011 弱概率匿名性。 Zbl 1277.68027号 邓玉欣;卡图西亚帕拉米德斯;庞、军 6 2007 时间并发约束编程演算。 Zbl 1067.68662号 卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 6 2001 在\(\pi\)-演算中隐藏和新建。 Zbl 1459.68029号 马可·朱蒂;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 6 2012 概率协议分析框架及其在部分秘密交换中的应用。 Zbl 1151.68516号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 5 2005 通过测试分离同步和异步通信。 Zbl 1143.68051号 卡奇亚格拉诺,D。;科拉迪尼,F。;帕拉米德斯,C。 5 2007 时序并发约束程序的声明性诊断。 Zbl 1213.68204号 M.法拉斯基。;奥拉特,C。;帕拉米德斯,C。;F.巴伦西亚。 5 2007 并发约束编程中的汇流。 Zbl 0901.68032号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 5 1997 在有限精度语义下保持差异隐私。 Zbl 1419.94036号 伊万·加佐;戴尔·米勒;卡图西亚帕拉米德斯 4 2016 关于进程计算中的递归、复制和作用域机制。 Zbl 1147.68587号 杰苏斯·阿兰达;Cinzia迪朱斯托;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 4 2007 交互式系统中的信息流。 Zbl 1287.68017号 马里奥·阿尔维姆。;米盖尔·安德烈斯。;卡图西亚帕拉米德斯 4 2010 关于定量信息流的组成。 Zbl 1464.68042号 川本优助;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 4 2017 时间并发约束程序的抽象解释。 Zbl 1379.68060号 莫雷诺,法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 4 2015 概率协议分析框架及其在部分秘密交换中的应用。 Zbl 1132.68026号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 4 2007 带动态调度的约束逻辑编程:基于闭包操作符的语义。 Zbl 0882.68035号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 4 1997 使随机选择对调度程序不可见。 Zbl 1205.68239号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 4 2010 广义互模拟度量的最新技术。 Zbl 1392.68290号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;瓦莱里亚·维格努德利 4 2016 同步逻辑:广义Horn子句的公理化和形式语义。 Zbl 0591.68038号 M.法拉斯基。;列维,G。;帕拉米德斯,C。 三 1984 安全属性的安全等价物。 兹比尔1202.68217 马里奥·阿尔维姆。;米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆 三 2010 差异隐私与定量信息流的关系。 Zbl 1333.68088号 马里奥·阿尔维姆。;米盖尔·安德烈斯。;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 三 2011 约束逻辑编程的代数观点。 Zbl 0865.68025号 德波尔(Frank S。;亚历山德拉·迪·皮耶罗;卡图西亚帕拉米德斯 三 1997 匿名性的概率和不确定性方面。 Zbl 1273.68268号 卡图西亚帕拉米德斯 三 2006 Prolog的一阶内置函数的声明性方法。 Zbl 0815.68035号 Krzysztof R.阿普特。;埃琳娜·马尔奇奥里;卡图西亚帕拉米德斯 三 1994 并发逻辑语言的语义模型。 Zbl 0744.68087号 德波尔,F.S。;J.J.M.M.鲁顿。;J.N.角。;帕拉米德斯,C。 三 1991 异步通信的范例及其在并发约束编程中的应用。 Zbl 0832.68014号 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 三 1993 关于广义用餐哲学家问题。 Zbl 1333.68278号 奥尔泰·米哈埃拉·赫里斯库;卡图西亚帕拉米德斯 2 2001 对逻辑永久过程语义的贡献。 Zbl 0661.68012号 乔治·列维;卡图西亚帕拉米德斯 2 1988 逻辑程序设计中进程和流的形式语义。 Zbl 0605.68006号 M.法拉斯基。;列维,G。;帕拉米德斯,C。 2 1986 作为实例化的否定。 Zbl 0835.68107号 亚历山德拉·迪·皮耶罗;Maurizio Martelli;卡图西亚帕拉米德斯 2 1995 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 Zbl 1186.68325号 西蒙·克莱默;卡图西亚帕拉米德斯;罗伯托·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩 2 2009 从游戏理论的角度看泄漏和协议组成。 Zbl 1427.68034号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;川本优助;卡图西亚帕拉米德斯 2 2018 定量信息流和差异隐私应用。 Zbl 1344.68067号 马里奥·阿尔维姆。;米盖尔·安德烈斯。;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 2 2011 CCP程序的替换操作。 Zbl 0964.68021号 马尔科·贝尔托利诺;桑德罗·埃塔利;卡图西亚帕拉米德斯 2 2000 在序列演算中对转换系统进行编码。(初步报告)。 Zbl 0908.03049号 雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 2 1996 通过地理识别实现位置隐私。 Zbl 1471.68090号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;马尔科·斯特罗那提 2 2015 声明式编程的原理。第十届国际研讨会,PLILP’98。1998年9月16日至18日在意大利比萨与第六届国际会议ALP'98联合举行。诉讼程序。 Zbl 0896.00029号 2 1998 并发约束编程中的汇流。 Zbl 1496.68104号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 2 1995 信号通路的声明性观点。 Zbl 1443.92092号 戴维·齐亚鲁吉;莫雷诺,法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2015 定量信息流专刊前言。 Zbl 1362.00027号 1 2015 信息流度量的公理化。 Zbl 1423.68159号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2019 信息泄露游戏。 Zbl 1453.91006号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;川本优助;卡图西亚帕拉米德斯 1 2017 切片并发约束程序。 Zbl 1485.68046号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2017 领导人选举问题导致的分离结果。 Zbl 1196.68161号 玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 1 2006 安全声明性框架:安全并发约束编程。 Zbl 1131.68410号 雨果·A·洛佩兹。;卡图西亚帕拉米德斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 1 2006 并发和反应式约束编程。 Zbl 1285.68031号 毛里齐奥·加布里埃利;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 1 2010 公平\(\pi\)。 Zbl 1277.68168号 Cacciagrano、Diletta;弗拉维奥·科拉迪尼;卡图西亚帕拉米德斯 1 2007 信息挖掘的组合方法。 Zbl 1362.68205号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;克里斯特尔·布劳恩 1 2016 在存在不可靠信息源的情况下量化泄漏。 Zbl 1371.68073号 萨道纳·哈马杜;卡图西亚帕拉米德斯;弗拉迪米罗·萨松 1 2017 基于逻辑的Horn子句语言的声明语义。 Zbl 0687.03014号 卡图西亚帕拉米德斯 1 1989 逻辑编程。2003年12月9日至13日在印度孟买举行的第19届国际会议,ICLP 2003。诉讼程序。 兹比尔1029.00063 1 2003 定量信息流的科学。 Zbl 1496.68001号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2020 浮点程序稳健性分析的非局部方法。 兹比尔1458.68037 伊万·加佐;戴尔·米勒;卡图西亚帕拉米德斯 1 2012 并发约束语言的动态切片。 Zbl 1497.68098号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2020 用动态调度证明约束逻辑程序的正确性。 Zbl 1482.68086号 德波尔,F.S。;M.加布里埃利。;帕拉米德斯,C。 1 1996 定量信息流的科学。 Zbl 1496.68001号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2020 并发约束语言的动态切片。 Zbl 1497.68098号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2020 信息流度量的公理化。 Zbl 1423.68159号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;安娜贝拉·麦克维尔;卡罗尔·摩根;卡图西亚帕拉米德斯;杰弗里·史密斯 1 2019 从游戏理论的角度看泄漏和协议组成。 Zbl 1427.68034号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;川本优助;卡图西亚帕拉米德斯 2 2018 关于定量信息流的组成。 Zbl 1464.68042号 川本优助;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 4 2017 信息泄露游戏。 Zbl 1453.91006号 马里奥·阿尔维姆。;康斯坦蒂诺斯·查齐科科拉基斯;川本优助;卡图西亚帕拉米德斯 1 2017 切片并发约束程序。 Zbl 1485.68046号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2017 在存在不可靠信息源的情况下量化泄漏。 Zbl 1371.68073号 萨道纳·哈马杜;卡图西亚帕拉米德斯;弗拉迪米罗·萨松 1 2017 在有限精度语义下保持差异隐私。 Zbl 1419.94036号 伊万·加佐;戴尔·米勒;卡图西亚帕拉米德斯 4 2016 广义互模拟度量的最新技术。 Zbl 1392.68290号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;瓦莱里亚·维格努德利 4 2016 信息挖掘的组合方法。 Zbl 1362.68205号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;克里斯特尔·布劳恩 1 2016 时间并发约束程序的抽象解释。 Zbl 1379.68060号 莫雷诺,法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 4 2015 通过地理识别实现位置隐私。 Zbl 1471.68090号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;马尔科·斯特罗那提 2 2015 信号通路的声明性观点。 Zbl 1443.92092号 戴维·齐亚鲁吉;莫雷诺,法拉斯基;卡洛斯·奥拉特;卡图西亚帕拉米德斯 1 2015 定量信息流专刊前言。 Zbl 1362.00027号 1 2015 广义互模拟度量。 Zbl 1417.68123号 康斯坦蒂诺斯·查齐科科拉基斯;丹尼尔·格布勒;卡图西亚帕拉米德斯;徐丽丽 18 2014 基于约束的过程计算中的空间和认知方式。 兹比尔1364.68290 索菲亚·奈特;卡图西亚帕拉米德斯;帕南加登,普拉卡什;弗兰克·巴伦西亚。 15 2012 在\(\pi\)-演算中隐藏和新建。 Zbl 1459.68029号 马可·朱蒂;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 6 2012 浮点程序稳健性分析的非局部方法。 兹比尔1458.68037 伊万·加佐;戴尔·米勒;卡图西亚帕拉米德斯 1 2012 为并发约束编程派生标签和二相似性。 Zbl 1326.68196号 安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;卡图西亚帕拉米德斯;路易斯·皮诺;巴伦西亚,弗兰克 6 2011 概率并发系统中的信息隐藏。 Zbl 1216.68182号 米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆;安娜·索科洛娃 6 2011 差异隐私与定量信息流的关系。 Zbl 1333.68088号 马里奥·阿尔维姆。;米盖尔·安德烈斯。;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 三 2011 定量信息流和差异隐私应用。 Zbl 1344.68067号 马里奥·阿尔维姆。;米盖尔·安德烈斯。;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 2 2011 计算信息隐藏系统的泄漏。 Zbl 1284.68161号 米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆;杰弗里·史密斯 11 2010 交互式系统中的信息流。 Zbl 1287.68017号 马里奥·阿尔维姆。;米盖尔·安德烈斯。;卡图西亚帕拉米德斯 4 2010 使随机选择对调度程序不可见。 Zbl 1205.68239号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 4 2010 安全属性的安全等价物。 兹比尔1202.68217 马里奥·阿尔维姆。;米盖尔·安德烈斯。;卡图西亚帕拉米德斯;彼得·范·罗苏姆 三 2010 并发和反应式约束编程。 Zbl 1285.68031号 毛里齐奥·加布里埃利;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 1 2010 一次性攻击泄漏的定量概念。 Zbl 1337.94006号 克里斯特尔·布劳恩;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 16 2009 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 Zbl 1186.68325号 西蒙·克莱默;卡图西亚帕拉米德斯;罗伯托·塞加拉;安德烈亚·图里尼;克里斯特尔·布劳恩 2 2009 匿名协议作为噪声信道。 兹比尔1147.68394 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 31 2008 关于异步演算的异步性质。 Zbl 1143.68470号 罗曼·博希斯;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 8 2008 信息挖掘的组合方法。 Zbl 1138.68402号 克里斯特尔·布劳恩;康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 7 2008 使随机选择对调度程序不可见。 Zbl 1151.68517号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 10 2007 概率有限状态行为的公理化。 Zbl 1111.68081号 邓玉欣;卡图西亚帕拉米德斯 10 2007 关于分离的教程通过领导人选举问题导致流程计算。 Zbl 1143.68056号 玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 9 2007 概率应用像素。 Zbl 1137.68448号 让·古鲍特·拉雷克;卡图西亚帕拉米德斯;安吉洛·特洛伊娜 7 2007 匿名协议作为噪声信道。 兹比尔1211.94025 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯;帕南加登,普拉卡什 6 2007 弱概率匿名性。 Zbl 1277.68027号 邓玉欣;卡图西亚帕拉米德斯;庞、军 6 2007 通过测试分离同步和异步通信。 Zbl 1143.68051号 卡奇亚格拉诺,D。;科拉迪尼,F。;帕拉米德斯,C。 5 2007 时序并发约束程序的声明性诊断。 Zbl 1213.68204号 M.法拉斯基。;奥拉特,C。;帕拉米德斯,C。;F.巴伦西亚。 5 2007 关于进程计算中的递归、复制和作用域机制。 Zbl 1147.68587号 杰苏斯·阿兰达;Cinzia迪朱斯托;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 4 2007 概率协议分析框架及其在部分秘密交换中的应用。 Zbl 1132.68026号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 4 2007 公平\(\pi\)。 Zbl 1277.68168号 Cacciagrano、Diletta;弗拉维奥·科拉迪尼;卡图西亚帕拉米德斯 1 2007 用于名称传递计算的同余格式。 Zbl 1273.68216号 阿克塞尔·齐格勒;戴尔·米勒;卡图西亚帕拉米德斯 11 2006 重新审视可能的无辜。 Zbl 1153.94451号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 10 2006 通过测试分离同步和异步通信。 Zbl 1273.68251号 Cacciagrano、Diletta;弗拉维奥·科拉迪尼;卡图西亚帕拉米德斯 9 2006 匿名性的概率和不确定性方面。 Zbl 1273.68268号 卡图西亚帕拉米德斯 三 2006 领导人选举问题导致的分离结果。 Zbl 1196.68161号 玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 1 2006 安全声明性框架:安全并发约束编程。 Zbl 1131.68410号 雨果·A·洛佩兹。;卡图西亚帕拉米德斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;弗兰克·巴伦西亚。 1 2006 概率匿名。 Zbl 1134.68426号 巴尔加瓦,莫希特;卡图西亚帕拉米德斯 25 2005 概率有限状态行为的合成推理。 Zbl 1171.68570号 邓玉欣;卡图西亚帕拉米德斯;庞、军 13 2005 混合选择的(pi)演算的随机编码。 Zbl 1080.68080号 卡图西亚帕拉米德斯;奥尔泰·米哈埃拉·赫里斯库 13 2005 过程计算中的递归与复制:表达性。 Zbl 1169.68551号 卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 9 2005 概率有限状态行为的公理化。 Zbl 1119.68125号 邓玉欣;卡图西亚帕拉米德斯 7 2005 概率协议分析框架及其在部分秘密交换中的应用。 Zbl 1151.68516号 康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 5 2005 在序列演算中对转换系统进行编码。 Zbl 1028.68095号 雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 10 2003 逻辑编程。2003年12月9日至13日在印度孟买举行的第19届国际会议,ICLP 2003。诉讼程序。 兹比尔1029.00063 1 2003 时间并发约束编程:表示、逻辑和应用。 Zbl 1018.68019号 尼尔森,莫根斯;卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 25 2002 时间并发约束编程演算。 Zbl 1067.68662号 卡图西亚帕拉米德斯;弗兰克·巴伦西亚。 6 2001 关于广义用餐哲学家问题。 Zbl 1333.68278号 奥尔泰·米哈埃拉·赫里斯库;卡图西亚帕拉米德斯 2 2001 概率异步\(\pi\)-微积分。 Zbl 0961.68088号 奥尔泰·米哈埃拉·赫里斯库;卡图西亚帕拉米德斯 29 2000 具有进程移动性的并发约束编程。 Zbl 0983.68617号 大卫·吉尔伯特;卡图西亚帕拉米德斯 7 2000 CCP程序的替换操作。 Zbl 0964.68021号 马尔科·贝尔托利诺;桑德罗·埃塔利;卡图西亚帕拉米德斯 2 2000 声明式编程的原理。第十届国际研讨会,PLILP’98。1998年9月16日至18日在意大利比萨与第六届国际会议ALP'98联合举行。诉讼程序。 Zbl 0896.00029号 2 1998 并发约束编程中的汇流。 Zbl 0901.68032号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 5 1997 带动态调度的约束逻辑编程:基于闭包操作符的语义。 Zbl 0882.68035号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 4 1997 约束逻辑编程的代数观点。 Zbl 0865.68025号 德波尔(Frank S。;亚历山德拉·迪·皮耶罗;卡图西亚帕拉米德斯 三 1997 闭包算子的弱相对伪补足。 Zbl 0901.06003号 R·贾科巴齐。;帕拉米德斯,C。;F.兰扎托。 9 1996 在序列演算中对转换系统进行编码。(初步报告)。 Zbl 0908.03049号 雷蒙德·麦克道尔;戴尔·米勒;卡图西亚帕拉米德斯 2 1996 用动态调度证明约束逻辑程序的正确性。 Zbl 1482.68086号 德波尔,F.S。;M.加布里埃利。;帕拉米德斯,C。 1 1996 约束规划中的不确定性和无限计算。 Zbl 0872.68103号 德波尔(Frank S。;亚历山德拉·迪·皮耶罗;卡图西亚帕拉米德斯 18 1995 作为实例化的否定。 Zbl 0835.68107号 亚历山德拉·迪·皮耶罗;Maurizio Martelli;卡图西亚帕拉米德斯 2 1995 并发约束编程中的汇流。 Zbl 1496.68104号 莫雷诺,法拉斯基;毛里齐奥·加布里埃利;金·万豪酒店;卡图西亚帕拉米德斯 2 1995 嵌入作为语言比较的工具。 Zbl 0788.68014号 德波尔(Frank S。;卡图西亚帕拉米德斯 17 1994 Prolog的一阶内置函数的声明性方法。 Zbl 0815.68035号 Krzysztof R.阿普特。;埃琳娜·马尔奇奥里;卡图西亚帕拉米德斯 三 1994 逻辑程序操作语义的模型理论重建。 Zbl 0788.68088号 莫雷诺,法拉斯基;乔治·列维;Maurizio Martelli;卡图西亚帕拉米德斯 12 1993 异步通信的范例及其在并发约束编程中的应用。 Zbl 0832.68014号 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 三 1993 从失败到成功:比较Horn子句逻辑的指称语义和声明语义。 Zbl 0761.68055号 德波尔,F.S。;J.N.角。;帕拉米德斯,C。;J.J.M.M.鲁顿。 7 1992 并发约束编程的完全抽象模型。 Zbl 0967.68516号 德波尔(Frank S。;卡图西亚帕拉米德斯 18 1991 内核LEAF:一种逻辑加函数语言。 Zbl 0717.68013号 埃利奥·乔瓦内蒂;乔治·列维;科拉多·莫伊索;卡图西亚帕拉米德斯 18 1991 并发逻辑语言的语义模型。 Zbl 0744.68087号 德波尔,F.S。;J.J.M.M.鲁顿。;J.N.角。;帕拉米德斯,C。 三 1991 幂等置换的代数性质。 Zbl 0765.68180号 卡图西亚帕拉米德斯 17 1990 逻辑语言的操作行为的声明性建模。 Zbl 0699.68113号 M.法拉斯基。;列维,G。;帕拉米德斯,C。;马泰利,M。 48 1989 控制流与逻辑:Guarded Horn子句的指称和声明模型。 Zbl 0755.68094号 德波尔(Frank S。;Joost N.角。;卡图西亚帕拉米德斯;简·J·M·M·鲁顿。 6 1989 基于逻辑的Horn子句语言的声明语义。 Zbl 0687.03014号 卡图西亚帕拉米德斯 1 1989 对逻辑永久过程语义的贡献。 Zbl 0661.68012号 乔治·列维;卡图西亚帕拉米德斯 2 1988 逻辑程序设计中进程和流的形式语义。 Zbl 0605.68006号 M.法拉斯基。;列维,G。;帕拉米德斯,C。 2 1986 同步逻辑:广义Horn子句的公理化和形式语义。 Zbl 0591.68038号 M.法拉斯基。;列维,G。;帕拉米德斯,C。 三 1984 所有引用出版物 前5名被引用出版物 全部的 前5名517位作者引用 38 卡图西亚帕拉米德斯 18 弗兰克·巴伦西亚。 16 康斯坦蒂诺斯·查齐科科拉基斯 16 莫雷诺,法拉斯基 16 毛里齐奥·加布里埃利 14 卡洛斯·奥拉特 11 卡米洛·鲁埃达 10 西蒙·蒂尼 8 马里奥·阿尔维姆。 8 玛丽亚·希亚拉(Maria Chiara Meo) 7 德波尔(Frank S。 7 邓玉欣 7 米歇尔·古兹曼 7 乔治·列维 7 伊莱恩·皮门特尔 7 德国维达尔 6 玛丽亚·阿尔普特 6 菲利波·邦奇 6 马可·科米尼 6 罗伯托·贾科巴齐 6 丹尼尔·戈拉 6 戴尔·艾伦·米勒 5 米盖尔·安德烈斯。 5 克莱门·奥伯特 5 米歇尔·博雷尔 5 索菲亚·奈特 5 米歇尔·洛雷蒂 5 Annabelle K.McIver。 5 圣地亚哥金特罗 5 弗朗西斯科·兰扎托 4 杰苏斯·阿兰达 4 克里斯特尔·布劳恩 4 瓦伦蒂娜·卡斯蒂格利奥尼 4 德米特里五世·奇斯蒂科夫。 4 雅各布斯·W·德·巴克。 4 Cinzia迪朱斯托 4 Legay、Axel 4 帕斯夸尔马拉卡里亚 4 金·万豪酒店 4 乌戈·蒙塔纳里。 4 卡罗尔·C·摩根。 4 安德烈·穆拉夫斯基。 4 Vivek Nigam先生 4 佩雷斯(Jorge A.Pérez)。 4 简·J·M·M·鲁顿。 4 阿文·费南托(Alwen Fernanto Tiu) 4 雨果·托雷斯·维埃拉 三 苏珊娜·安多瓦 三 塞尔吉奥·安托伊 三 巴勃罗·阿里吉 三 乔瓦尼·巴奇 三 法布里西奥·比昂迪 三 马塞洛·玛丽亚·邦桑格 三 安东尼奥·布罗吉 三 纳迪亚·布西 三 Cacciagrano、Diletta Romana 三 曹永志 三 伊利亚诺·塞维萨托 三 戴维·齐亚鲁吉 三 汤姆·乔西亚 三 弗拉维奥·科拉迪尼 三 洛科·德尼古拉 三 亚历山德拉·迪·皮耶罗 三 伏玉溪 三 索尼娅·乔治耶夫斯卡 三 葡萄藤古普塔 三 哈努斯,迈克尔 三 一郎·哈索 三 拉德哈·贾加迪桑 三 斯特凡·基弗 三 Joost N.角。 三 巴巴拉·科尼格 三 金·古德斯特兰·拉森 三 乌韦州内斯特曼 三 帕南加登,普拉卡什 三 庞、军 三 约万卡·潘托维奇 三 萨利姆·珀西 三 伊万·普罗基奇 三 乘务长,大卫 三 塞尔吉奥·拉米雷斯 三 马里奥·罗德里格斯-阿塔莱霍 三 Vijay A.萨拉斯瓦特。 三 弗拉迪米罗·萨松 三 亚历山德拉·席尔瓦 三 范格拉贝克、罗伯特·扬 三 丹尼尔·瓦拉卡 三 艾丽西亚·维拉纽埃娃 三 王汉平 三 吉田、Nobuko 2 Aceto,卢卡 2 艾尔维拉·阿尔伯特 2 叶希亚·阿卜杜·阿勒拉赫曼 2 伯纳多·阿莫林 2 乔治·巴奇 2 贝拉德,贝特里奇 2 菲利普·比丁格 2 安娜丽莎·博西 2 马里奥·布拉维蒂 2 琳达·布罗多 …还有417位作者 全部的 前5名40篇连载文章被引用 89 理论计算机科学 29 信息与计算 18 MSCS公司。计算机科学中的数学结构 16 程序设计中的逻辑和代数方法杂志 11 计算的形式方面 9 计算机科学中的逻辑方法 8 逻辑程序设计理论与实践 6 信息处理信函 5 符号计算杂志 4 新一代计算 三 信息学报 三 计算机与系统科学杂志 三 自动推理杂志 三 系统设计中的形式化方法 2 代数通讯 2 信息科学 2 计算机程序设计科学 2 国际近似推理杂志 2 离散事件动态系统 2 工程、通信和计算中的应用代数 2 约束条件 2 计算机基础理论 2 逻辑与代数程序设计杂志 1 模糊集与系统 1 合成 1 算法 1 欧洲运筹学杂志 1 国际计算机数学杂志 1 分布式计算 1 控制论与系统分析 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 工程中的数学问题 1 组合优化期刊 1 高阶与符号计算 1 ACM计算逻辑事务 1 应用逻辑杂志 1 上海交通大学学报(科学版) 1 科学中国。信息科学 1 计算机科学评论 全部的 前5名17个字段中引用 363 计算机科学(68至XX) 60 数学逻辑和基础(03-XX) 35 信息与通信理论、电路(94-XX) 8 运筹学、数学规划(90-XX) 7 生物学和其他自然科学(92-XX) 6 范畴理论;同调代数(18-XX) 5 阶、格、有序代数结构(06-XX) 5 概率论与随机过程(60-XX) 5 量子理论(81-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 系统论;控制(93至XX) 2 组合数学(05-XX) 2 群论与推广(20-XX) 2 统计学(62-XX) 1 一般性和全局性主题;集合(00-XX) 1 数值分析(65-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文