编辑配置文件(在新选项卡中打开) 赫伯特,威克利基 合著者距离 作者ID: 威克利基·赫伯特 发布日期: 赫伯特,威克利基;Wiklicky,H。 外部链接: 管理程序 已编制索引的文档: 34出版物自1988年起 7作为编辑的贡献 合著者: 20位合著者具有40联合出版物 453合著作者 全部的 前5名合著者 1 单作者的 31 亚历山德拉·迪·皮耶罗 18 克里斯·汉金。 三 卢卡·博托卢西 2 亚历山德罗·阿尔迪尼 2 马可·贝尔纳多 2 梅克·马西克 1 尼科斯·安杰洛普洛斯 1 Nathalie Bertrand 1 马里奥·布雷韦蒂 1 保罗·西安卡里尼 1 埃里克·P·德文克。 1 毛里齐奥·加布里埃利 1 罗伯托·戈里埃里 1 Maria Chiara Meo女士 1 海德·纳恩霍夫 1 格钦·诺曼 1 Igor A.Siveroni。 1 帕斯卡·索丁 1 保罗·塔切拉 1 沃尔特·瑟林。 全部的 前5名系列 三 理论计算机科学 三 计算机科学课堂讲稿 2 理论计算机科学电子论文集(EPTCS) 1 统计物理学杂志 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 函数编程杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 全部的 前5名领域 39 计算机科学(68至XX) 7 总体主题;集合(00-XX) 三 数学逻辑和基础(03-XX) 2 量子理论(81-XX) 1 功能分析(46倍X倍) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 统计力学,物质结构(82-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用107中的次73文件 引用人▼ 年份▼ 概率演算和定量程序分析。 Zbl 1070.03008号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 15 2005 定量关系和近似过程等效性。 Zbl 1274.68227号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 13 2003 衡量抽象解释的准确性。 Zbl 1018.68505号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 11 2001 测量概率系统的限制。 Zbl 1142.68444号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 10 2005 概率并发约束规划的基于Banach空间的语义。《澳大利亚计算机科学通讯》第20卷第3期(1998年)。 Zbl 0952.68090号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 8 1998 分析统一攻击下的近似约束。 Zbl 1015.68069号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 7 2002 可逆组合逻辑。 Zbl 1103.03015号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 5 2006 概率指针分析的系统方法。 Zbl 1137.68352号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 4 2007 概率KLAIM。 Zbl 1081.68534号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 4 2004 两种形式化方法用于近似非干涉特性。 Zbl 1202.68163号 亚历山德罗·阿尔迪尼;马里奥·布雷韦蒂;亚历山德拉·迪·皮耶罗;罗伯托·戈里埃里;克里斯·汉金;赫伯特,威克利基 4 2004 一种分布式概率并发约束编程语言。 Zbl 1165.68325号 卢卡·博托卢西;赫伯特,威克利基 三 2005 量子系统的传递性和遍历性。 Zbl 1084.46054号 Narnhofer,H。;西弗·瑟林。;Wiklicky,H。 三 1988 最坏和平均情况分析的抽象解释。 Zbl 1149.68350号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 三 2007 概率程序的语义:弱极限方法。 Zbl 1426.68044号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 三 2013 概率抽象解释和统计测试(扩展抽象)。 Zbl 1065.68514号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 2 2002 通过概率抽象解释进行关系分析和精确度。 Zbl 1286.68034号 亚历山德拉·迪·皮耶罗;帕斯卡·索丁;赫伯特,威克利基 2 2008 关于数据流分析的概率技术。 兹比尔1279.68034 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 2 2007 分布式系统的定量静态分析。 Zbl 1104.68004号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 2 2005 在约束逻辑编程中实现随机算法。 Zbl 0949.68038号 安杰洛普洛斯,N。;迪·皮耶罗,A。;Wiklicky,H。 1 1998 概率语义和程序分析。 Zbl 1189.68030号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 1 2010 算子代数和概率语言的操作语义。 兹比尔1276.68050 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 1 2006 声明性框架中的概率限制。 Zbl 1263.68044号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 1 2001 展开CHR程序。 Zbl 1379.68064号 毛里齐奥·加布里埃利;Maria Chiara Meo女士;保罗·塔切拉;赫伯特,威克利基 1 2015 概率数据流分析:线性方程方法。 Zbl 1464.68076号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 1 2013 展开CHR程序。 Zbl 1379.68064号 毛里齐奥·加布里埃利;Maria Chiara Meo女士;保罗·塔切拉;赫伯特,威克利基 1 2015 概率程序的语义:弱极限方法。 Zbl 1426.68044号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 三 2013 概率数据流分析:线性方程方法。 Zbl 1464.68076号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 1 2013 概率语义和程序分析。 兹比尔1189.68030 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 1 2010 通过概率抽象解释进行关系分析和精确度。 Zbl 1286.68034号 亚历山德拉·迪·皮耶罗;帕斯卡·索丁;赫伯特,威克利基 2 2008 概率指针分析的系统方法。 Zbl 1137.68352号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 4 2007 最坏和平均情况分析的抽象解释。 Zbl 1149.68350号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 三 2007 关于数据流分析的概率技术。 Zbl 1279.68034号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 2 2007 可逆组合逻辑。 兹比尔1103.03015 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 5 2006 算子代数和概率语言的操作语义。 Zbl 1276.68050号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 1 2006 概率演算和定量程序分析。 Zbl 1070.03008号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 15 2005 测量概率系统的限制。 Zbl 1142.68444号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 10 2005 一种分布式概率并发约束编程语言。 Zbl 1165.68325号 卢卡·博托卢西;赫伯特,威克利基 三 2005 分布式系统的定量静态分析。 Zbl 1104.68004号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 2 2005 概率KLAIM。 Zbl 1081.68534号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 4 2004 两种形式化方法用于近似非干涉特性。 Zbl 1202.68163号 亚历山德罗·阿尔迪尼;马里奥·布雷韦蒂;亚历山德拉·迪·皮耶罗;罗伯托·戈里埃里;克里斯·汉金;赫伯特,威克利基 4 2004 定量关系和近似过程等效性。 Zbl 1274.68227号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 13 2003 分析均匀攻击下的近似约束。 Zbl 1015.68069号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 7 2002 概率抽象解释和统计测试(扩展抽象)。 Zbl 1065.68514号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 2 2002 衡量抽象解释的准确性。 Zbl 1018.68505号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 11 2001 声明性框架中的概率限制。 Zbl 1263.68044号 亚历山德拉·迪·皮耶罗;克里斯·汉金;赫伯特,威克利基 1 2001 概率并发约束规划的基于Banach空间的语义。《澳大利亚计算机科学通讯》第20卷第3期(1998年)。 Zbl 0952.68090号 亚历山德拉·迪·皮耶罗;赫伯特,威克利基 8 1998 在约束逻辑编程中实现随机算法。 Zbl 0949.68038号 安杰洛普洛斯,N。;迪·皮耶罗,A。;Wiklicky,H。 1 1998 量子系统的传递性和遍历性。 Zbl 1084.46054号 Narnhofer,H。;西弗·瑟林。;Wiklicky,H。 三 1988 所有引用的出版物 前5名被引用出版物 全部的 前5名119位作者引用 12 亚历山德拉·迪·皮耶罗 11 赫伯特,威克利基 7 克里斯·汉金。 5 巴勃罗·阿里吉 4 亚历杭德罗·迪亚斯·卡洛 三 卡米洛·鲁埃达 三 西蒙·蒂尼 2 马里奥·布雷韦蒂 2 康斯坦丁诺斯·查齐科科拉基斯 2 乌戈·达尔拉戈 2 Gilles Dowek 2 克劳迪娅·法根 2 海德纳恩霍夫 2 卡洛斯·奥拉特 2 卡图西亚帕拉米德斯 2 帕南加登,普拉卡什 2 迈克尔·J·A·史密斯。 2 帕斯卡·索丁 2 沃尔特·瑟林。 2 米尔科·特里巴斯通 2 弗兰克·巴伦西亚。 2 玛格丽塔·佐齐 1 艾尔维拉·阿尔伯特 1 尼科斯·安杰洛普洛斯 1 文森佐·阿塞里 1 霍尔格·博克·阿克塞尔森 1 迈克尔·巴克斯 1 凯文·巴茨 1 米歇尔·博雷尔 1 卢卡·博托卢西 1 大卫·卡切拉 1 曹永志 1 雅克·卡雷特 1 伊格纳西奥·卡索 1 瓦伦蒂娜·卡斯蒂格利奥尼 1 费德里科·塞鲁蒂 1 陈朝红 1 维克拉曼·乔杜里 1 阿尔贝托·齐法格利翁 1 阿戈斯蒂诺·科尔特斯 1 詹姆斯·库森 1 文森特·达诺斯 1 皮耶保罗·德加诺 1 彼得罗·迪·贾南托尼奥 1 汉娜·厄利 1 托马斯·埃尔哈德 1 曼纽尔·加德拉 1 罗伯托·贾科巴齐 1 安托万·吉拉德 1 罗伯特·格莱克 1 罗伯托·戈里埃里 1 乔纳森·格拉塔奇 1 米歇尔·古兹曼 1 斯特凡·哈尔 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 克里斯·希恩 1 简·希尔斯顿 1 Furio Honsell 1 黄、舒琴 1 迈克尔·R·A·胡特。 1 尼古拉斯·R·詹宁斯。 1 阿诺德·乔宾 1 本杰明·卢西恩·卡明斯基 1 马尔蒂·卡沃宁 1 Joost-Pieter卡托恩 1 卢茨·克林肯伯格 1 莱拉·克鲁尔 1 鲍里斯·科普夫 1 Marta Z.Kwiatkowska。 1 李,吉米·霍曼 1 玛丽娜·莱妮莎 1 梁和芳 1 佩德罗·洛佩兹·加西亚 1 罗伯托·卢奇 1 罗旭东 1 马艳芳 1 帕斯夸尔马拉卡里亚 1 吉多·马丁内斯 1 安德烈亚·马西尼 1 伊莎贝拉·马斯特罗埃尼 1 约书亚·莫尔曼 1 何塞·弗朗西斯科·莫拉莱斯 1 Vivek Nigam先生 1 直纪西田 1 格钦·诺曼 1 马蒂娜·奥利亚罗 1 阿德里安·帕拉西奥斯。 1 潘海宇 1 乔治·J·帕帕斯。 1 萨利姆·珀西 1 佩雷斯(Jorge A.Pérez)。 1 伊莱恩·皮门特尔 1 阿尔贝托,Policriti 1 德国普埃布拉 1 曲万岭 1 吉列尔莫·罗曼·迪兹 1 安德烈·里巴尔琴科 1 阿穆尔·萨布里 1 伊万·斯卡格内托 1 汤姆·施里杰弗斯 …还有19位作者 全部的 前5名15篇连载文章中引用 8 理论计算机科学 6 信息与计算 4 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 国际近似推理杂志 2 计算的形式方面 1 统计物理学杂志 1 数学物理中的字母 1 傅里叶学会年鉴 1 模糊集与系统 1 MSCS公司。计算机科学中的数学结构 1 约束条件 1 欧洲控制杂志 1 逻辑与代数程序设计杂志 1 RAIRO公司。理论信息学及其应用 全部的 前5名16个领域引用 66 计算机科学(68至XX) 15 数学逻辑和基础(03-XX) 9 量子理论(81-XX) 5 信息与通信理论、电路(94-XX) 三 概率论与随机过程(60-XX) 三 系统论;控制(93至XX) 2 范畴理论;同调代数(18-XX) 2 功能分析(46倍X倍) 2 算子理论(47-XX) 2 统计力学,物质结构(82-XX) 1 阶、格、有序代数结构(06-XX) 1 整体分析,流形分析(58至XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文