编辑配置文件(在新选项卡中打开) 佩雷斯(Jorge A.Pérez)。 合著者距离 作者ID: 佩雷兹·约热(perez.jorge-a) 发布日期: 佩雷斯(Jorge A.Pérez)。;Jorge A.佩雷斯。 主页: https://www.jperez.nl/home网站 外部链接: MGP公司·ORCID公司·谷歌学者·推特·数据库许可证 已编制索引的文档: 43出版物自2006年起 6作为编辑的贡献 合著者: 49位合著者具有47联合出版物 770名合作作者 全部的 前5名合著者 1 单作者的 7 路易斯·凯雷斯 6 卡米洛·鲁埃达 5 伯纳多·托尼霍 5 吉田信子 4 迪米特里奥斯·库扎帕斯 4 约万卡·潘托维奇 4 弗兰克·芬宁 4 巴伦西亚,弗兰克·D。 三 辛齐亚·迪·朱斯托 三 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波 三 维埃拉、雨果·托雷斯 2 杰苏斯·阿兰达 2 毛里西奥·卡诺 2 伊利亚州卡斯特拉尼 2 奥尔内拉·达达 2 乔瓦娜·德迪奇 2 马里亚纽拉州Dezani-Ciancaglini 2 西尔维娅·吉勒赞 2 伊万·拉内斯 2 雨果·A·洛佩兹。 2 克劳迪奥·安塔雷斯·梅齐纳 2 约瑟夫·保卢斯(Joseph W.N.Paulus)。 2 戴维·桑吉奥吉 2 阿兰·施密特 2 丹尼尔·南特,索布里尼奥 2 蒂妮,西蒙 2 吉安路易吉·扎瓦塔罗 1 詹姆·阿里亚斯 1 阿伦·阿斯拉纳吉奇 1 马西莫·巴托莱蒂 1 海宁·巴索尔德 1 马里奥·布拉维蒂 1 乔安·科斯塔·塞科 1 福克特·德·弗里斯 1 Deniélou、Pierre-Malo 1 胡安·弗朗西斯科·迪亚兹·弗里亚斯 1 劳西奥·费朗 1 费雷拉,卢卡斯·卡特·德·弗里塔斯 1 朱利安·古铁雷斯 1 斯维特拉纳·雅克西奇 1 Juan C.Jaramillo。 1 亚历克斯·C·凯泽。 1 马丁·勒克 1 塞萨尔·穆尼奥斯。 1 丹尼尔·南特 1 安达·阿梅利亚帕拉马里厄克 1 卡图西亚帕拉米德斯 1 朱里安·罗特 1 彼得·蒂曼。 1 巴斯·范登·胡维尔 全部的 前5名系列 5 信息与计算 5 程序设计中的逻辑和代数方法杂志 三 计算的形式方面 三 计算机科学中的逻辑方法 三 理论计算机科学电子论文集(EPTCS) 2 信息学报 1 非线性 1 MSCS公司。计算机科学中的数学结构 1 欧洲理论计算机科学协会公报 1 计算机科学课堂讲稿 全部的 前5名领域 48 计算机科学(68至XX) 8 数理逻辑与基础(03-XX) 6 总体主题;集合(00-XX) 1 偏微分方程(35-XX) 1 积分变换,运算微积分(44-XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 36出版物有被引用173次110文件 引用人▼ 年份▼ 关于高阶过程计算的表达性和可判定性。 Zbl 1238.68100号 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;戴维·桑吉奥吉;阿兰·施密特 20 2011 基于会话的交流中的行为多态性和参数性。 Zbl 1381.68197号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。;弗兰克·芬宁;伯纳多·托尼霍 16 2013 基于会话的并发的线性逻辑关系和观察等价性。 Zbl 1309.68141号 佩雷斯(Jorge A.Pérez)。;路易斯·凯雷斯;弗兰克·芬宁;伯纳多·托尼霍 15 2014 适应性流程。 Zbl 1253.68237号 马里奥·布拉维蒂;辛齐亚·迪·朱斯托;Jorge A.佩雷斯。;吉安路易吉·扎瓦塔罗 11 2012 关于高阶过程计算中多参数和同步通信的表达性。 兹比尔1288.68183 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;戴维·桑吉奥吉;阿兰·施密特 11 2010 基于会话的并发的线性逻辑关系。 兹比尔1352.68189 佩雷斯(Jorge A.Pérez)。;路易斯·凯雷斯;弗兰克·芬宁;伯纳多·托尼霍 9 2012 规范二进制理论中的多方会话类型以及其他。 Zbl 1347.68026号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。 8 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;维埃拉、雨果·托雷斯 8 2015 关于高阶会话过程的相对表达性。 兹比尔1335.68174 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 8 2016 多方通信中的自适应和安全信息流。 Zbl 1345.68232号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;佩雷斯(Jorge A.Pérez)。 7 2016 关于高阶会话过程的相对表达性。 Zbl 1430.68163号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 6 2019 比较类型系统的死锁自由度。 Zbl 1477.68177号 奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 5 2022 多方对话中的动态角色授权。 Zbl 1345.68235号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;Torres Vieira,雨果 4 2016 线性、控制效果和行为类型。 Zbl 1485.68055号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。 4 2017 高阶会话进程的特征互模拟。 Zbl 1380.68297号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 4 2017 用于分析生物系统的时间并发约束编程。 Zbl 1277.68188号 朱利安·古铁雷斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 三 2007 关于具有非局部相互作用和质量浓度的一维模型:分析-数值方法*。 Zbl 1490.35293号 E.阿布雷乌。;费雷拉,L.C.F。;贾利亚诺。;佩雷斯,J。 三 2022 时间并发约束规划中的不确定性和概率。 Zbl 1185.68451号 佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达 三 2008 比较无死锁会话类型的进程。 Zbl 1476.68169号 奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 三 2015 以通信为中心的系统中基于事件的运行时自适应。 Zbl 1345.68234号 辛齐亚·迪·朱斯托;佩雷斯(Jorge A.Pérez)。 2 2016 分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议,2019年FORTE,作为第14届分布式计算技术国际联合会议的一部分,于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。 Zbl 1410.68019号 2 2019 基于会话的响应式并发。 Zbl 1489.68050号 毛里西奥·卡诺;詹姆·阿里亚斯;佩雷斯(Jorge A.Pérez)。 2 2017 基于会话的并发中的可逆性:一个新的外观。 Zbl 1371.68194号 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2017 高阶会话进程的特征互模拟。 Zbl 1374.68336号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 2 2015 高阶并发:表达性和可判定性结果——一项调查。 Zbl 1343.68175号 佩雷斯(Jorge A.Pérez)。 2 2010 论高阶通信中转发的表现力。 Zbl 1250.68208号 辛齐亚·迪·朱斯托;佩雷斯(Jorge A.Pérez)。;吉安路易吉·扎瓦塔罗 2 2009 以数据为中心的系统中基于类型的访问控制。 Zbl 1326.68082号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。;乔·科斯塔·塞科;维埃拉、雨果·托雷斯;劳西奥·费朗 2 2011 可逆多方协议的因果一致性。 Zbl 07471661号 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2021 会话联合:关于会话类型和通信协议的联合视图。 Zbl 1473.68114号 亚历克斯·C·凯泽。;海宁·巴索尔德;佩雷斯(Jorge A.Pérez)。 2 2021 将补偿原语作为可适应的进程。 Zbl 1476.68171号 乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 2 2015 Maude中基于会话的并发的可执行语义和类型检查。 Zbl 1514.68182号 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波;佩雷斯(Jorge A.Pérez)。 1 2022 安全声明性框架:安全并发约束编程。 Zbl 1131.68410号 雨果·A·洛佩兹。;卡图西亚帕拉米德斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 1 2006 并发约束规划中的随机行为和显式离散时间。 Zbl 1185.68437号 杰苏斯·阿兰达;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 1 2008 非确定性作为非确定性过程发挥作用。 兹比尔07700626 约瑟夫·保卢斯(Joseph W.N.Paulus)。;丹尼尔·南特斯·索布里尼奥;佩雷斯(Jorge A.Pérez)。 1 2021 2018年9月3日,中国北京,EXPRESS/SOS 2018,第25届并发表达性国际研讨会和第15届结构操作语义研讨会联合会议记录。 Zbl 1435.68037号 1 2018 将补偿处理的原语作为可适应的进程。 Zbl 1518.68231号 乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 1 2021 比较类型系统的死锁自由度。 Zbl 1477.68177号 奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 5 2022 关于具有非局部相互作用和质量浓度的一维模型:分析-数值方法*。 Zbl 1490.35293号 E.阿布雷乌。;费雷拉,L.C.F。;贾利亚诺。;佩雷斯,J。 三 2022 Maude中基于会话的并发的可执行语义和类型检查。 Zbl 1514.68182号 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波;佩雷斯(Jorge A.Pérez)。 1 2022 可逆多方协议的因果一致性。 Zbl 07471661号 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2021 会话联合:关于会话类型和通信协议的联合视图。 Zbl 1473.68114号 亚历克斯·C·凯泽。;海宁·巴索尔德;佩雷斯(Jorge A.Pérez)。 2 2021 非确定性作为非确定性过程发挥作用。 兹比尔07700626 约瑟夫·保卢斯(Joseph W.N.Paulus)。;丹尼尔·南特斯·索布里尼奥;佩雷斯(Jorge A.Pérez)。 1 2021 将补偿处理的原语作为可适应的进程。 Zbl 1518.68231号 乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 1 2021 关于高阶会话过程的相对表达性。 Zbl 1430.68163号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 6 2019 分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议,2019年FORTE,作为第14届分布式计算技术国际联合会议的一部分,于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。 Zbl 1410.68019号 2 2019 2018年9月3日,中国北京,EXPRESS/SOS 2018,第25届并发表达性国际研讨会和第15届结构操作语义研讨会联合会议记录。 Zbl 1435.68037号 1 2018 线性、控制效果和行为类型。 Zbl 1485.68055号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。 4 2017 高阶会话进程的特征互模拟。 Zbl 1380.68297号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 4 2017 基于会话的响应式并发。 Zbl 1489.68050号 毛里西奥·卡诺;詹姆·阿里亚斯;佩雷斯(Jorge A.Pérez)。 2 2017 基于会话的并发中的可逆性:一个新的外观。 Zbl 1371.68194号 克劳迪奥·安塔雷斯·梅齐纳;佩雷斯(Jorge A.Pérez)。 2 2017 规范二进制理论中的多方会话类型以及其他。 Zbl 1347.68026号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。 8 2016 关于高阶会话过程的相对表达性。 兹比尔1335.68174 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 8 2016 多方通信中的自适应和安全信息流。 Zbl 1345.68232号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;佩雷斯(Jorge A.Pérez)。 7 2016 多方对话中的动态角色授权。 Zbl 1345.68235号 西尔维娅·吉勒赞;斯维特拉纳·雅克西奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;Torres Vieira,雨果 4 2016 以通信为中心的系统中基于事件的运行时自适应。 Zbl 1345.68234号 辛齐亚·迪·朱斯托;佩雷斯(Jorge A.Pérez)。 2 2016 将行为类型与安全分析相结合。 Zbl 1330.68045号 马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。;彼得·蒂曼;伯纳多·托尼霍;维埃拉、雨果·托雷斯 8 2015 比较无死锁会话类型的进程。 Zbl 1476.68169号 奥尔内拉·达达;佩雷斯(Jorge A.Pérez)。 三 2015 高阶会话进程的特征互模拟。 Zbl 1374.68336号 迪米特里奥斯·库扎帕斯;佩雷斯(Jorge A.Pérez)。;吉田信子 2 2015 将补偿原语作为可适应的进程。 Zbl 1476.68171号 乔瓦娜·德迪奇;约万卡·潘托维奇;佩雷斯(Jorge A.Pérez)。 2 2015 基于会话的并发的线性逻辑关系和观察等价性。 Zbl 1309.68141号 佩雷斯(Jorge A.Pérez)。;路易斯·凯雷斯;弗兰克·芬宁;伯纳多·托尼霍 15 2014 基于会话的交流中的行为多态性和参数性。 Zbl 1381.68197号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。;弗兰克·芬宁;伯纳多·托尼霍 16 2013 适应性流程。 Zbl 1253.68237号 马里奥·布拉维蒂;辛齐亚·迪·朱斯托;Jorge A.佩雷斯。;吉安路易吉·扎瓦塔罗 11 2012 基于会话的并发的线性逻辑关系。 兹比尔1352.68189 佩雷斯(Jorge A.Pérez)。;路易斯·凯雷斯;弗兰克·芬宁;伯纳多·托尼霍 9 2012 关于高阶过程计算的表达性和可判定性。 Zbl 1238.68100号 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;戴维·桑吉奥吉;阿兰·施密特 20 2011 以数据为中心的系统中基于类型的访问控制。 Zbl 1326.68082号 路易斯·凯雷斯;佩雷斯(Jorge A.Pérez)。;乔·科斯塔·塞科;维埃拉、雨果·托雷斯;劳西奥·费朗 2 2011 关于高阶过程计算中多参数和同步通信的表达性。 兹比尔1288.68183 伊万·拉内斯;佩雷斯(Jorge A.Pérez)。;戴维·桑吉奥吉;阿兰·施密特 11 2010 高阶并发:表达性和可判定性结果——一项调查。 Zbl 1343.68175号 佩雷斯(Jorge A.Pérez)。 2 2010 论高阶通信中转发的表现力。 Zbl 1250.68208号 辛齐亚·迪·朱斯托;佩雷斯(Jorge A.Pérez)。;吉安路易吉·扎瓦塔罗 2 2009 时间并发约束规划中的不确定性和概率。 Zbl 1185.68451号 佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达 三 2008 并发约束规划中的随机行为和显式离散时间。 Zbl 1185.68437号 杰苏斯·阿兰达;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 1 2008 用于分析生物系统的时间并发约束编程。 Zbl 1277.68188号 朱利安·古铁雷斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 三 2007 安全声明性框架:安全并发约束编程。 Zbl 1131.68410号 雨果·A·洛佩兹。;卡图西亚帕拉米德斯;佩雷斯(Jorge A.Pérez)。;卡米洛·鲁埃达;巴伦西亚,弗兰克·D。 1 2006 所有引用出版物 排名前五的出版物 全部的 前5名167位作者引用 28 佩雷斯(Jorge A.Pérez)。 8 吉田信子 7 路易斯·凯雷斯 7 弗兰克·芬宁 6 马里亚纽拉州Dezani-Ciancaglini 6 约万卡·潘托维奇 6 维埃拉、雨果·托雷斯 5 奥尔内拉·达达 5 伯纳多·托尼霍 5 徐,西安 4 托马斯·希尔德布兰特。 4 迪米特里奥斯·库扎帕斯 4 伊万·拉内斯 4 克劳迪奥·安塔雷斯·梅齐纳 4 安德烈亚·莫尔迪多 4 卡米洛·鲁埃达 4 Vascoconcelos、Vasco Thudichum 三 劳拉·博奇 三 伊利亚州卡斯特拉尼 三 温·科克 三 卢卡·帕多瓦尼 三 伊万·普罗基奇 三 戴维·桑吉奥吉 三 阿兰·施密特 2 卢卡·埃特罗 2 斯蒂芬妮·巴尔泽 2 佛朗哥·巴巴内拉 2 马西莫·巴托莱蒂 2 罗伯托·布鲁尼 2 马尔科·卡博尼 2 伊恩·卡萨尔 2 马里奥·科普 2 达斯,安库什 2 瑟伦·德博伊斯 2 乔瓦娜·德迪奇 2 阿德里安·弗兰卡兰扎 2 伏玉溪 2 法比奥·加杜奇 2 西尔维娅·吉勒赞 2 托马斯·吉文·威尔森 2 汉斯·休特尔 2 Anna Ingólfsdóttir 2 瑞安·卡瓦纳 2 Legay、Axel 2 塞尔盖·伦格利特 2 阿尔贝托·卢什·拉富恩特 2 龙,欢 2 雨果·A·洛佩兹。 2 巴斯·卢提克 2 埃尔南·梅尔格拉蒂 2 法布里西奥·蒙泰西 2 迪奥戈·波萨 2 卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波 2 卡斯滕·舒尔曼 2 斯莱亚特,蒂杰斯 2 彼得·蒂曼。 2 毛里西奥·托罗 2 埃米利奥·托斯托 2 巴伦西亚,弗兰克·D。 2 殷、强 2 元朗,昭治 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 贝尼亚米·阿卡托利 1 纪尧姆·阿拉伊斯 1 贝尔纳多·阿尔梅达。 1 Karine Altisen公司 1 杰苏斯·阿兰达 1 赛尔阿博莱达 1 阿伦·阿斯拉纳吉奇 1 罗伯特·艾奇 1 豪克·巴勒 1 海宁·巴索尔德 1 Dariusz Biernacki 1 博迪,恰拉 1 维维亚娜·博诺 1 琳达·布罗多 1 毛里西奥·卡诺 1 曹子宁 1 洛伦佐·卡普拉 1 菲利佩·卡萨尔 1 皮埃尔·科尔比诺 1 安德烈亚·科拉迪尼 1 乔安·科斯塔·塞科 1 戴安娜·科斯塔 1 卡米尔·科蒂 1 伊奥娜·多姆尼纳·克里斯特斯库 1 乌戈·达尔拉戈 1 斯特凡诺·德尔·维奇奥 1 乌戈·德利古罗 1 邓玉欣 1 Deniélou、Pierre-Malo 1 圣埃芬·德维斯梅斯 1 亨利·德扬 1 保罗·迪·吉安贝拉迪诺 1 辛齐亚·迪·朱斯托 1 劳西奥·费朗 1 西蒙·福勒 1 西蒙·盖伊。 1 埃琳娜·贾奇诺 1 保拉·吉安尼尼 …还有67位作者 全部的 前5名14篇连载文章中引用 17 程序设计中的逻辑和代数方法杂志 10 理论计算机科学 10 信息与计算 8 计算机科学中的逻辑方法 7 信息学报 4 计算的形式方面 三 MSCS公司。计算机科学中的数学结构 2 函数编程杂志 1 信息处理信件 1 国际计算机数学杂志 1 分布式计算 1 系统设计中的形式化方法 1 约束条件 1 赖罗。理论信息学及其应用 全部的 前5名在7个字段中引用 109 计算机科学(68至XX) 22 数理逻辑与基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 量子理论(81-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文