×
作者ID: 威克利基·赫伯特最近由“Wiklicky,Herbert”撰写的zbMATH文章
发布日期: 赫伯特,威克利基Wiklicky,H。
外部链接: 管理程序
已编制索引的文档: 34出版物自1988年起
7作为编辑的贡献
合著者: 20位合著者具有40联合出版物
453合著作者

按年份列出的出版物

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名

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位作者

按年份列出的引文