×
编辑配置文件（在新选项卡中打开）

阿尔贝托·卢什·拉富恩特

合著者距离
作者ID： 伊路克·拉富恩特·阿尔贝托“阿尔贝托，卢克·拉富恩特”最近发表的zbMATH文章
发布日期： 阿尔贝托·卢什·拉富恩特;阿尔贝托·卢奇·拉富恩特;阿尔贝托·卢奇·拉富恩特
外部链接： ORCID公司·数据库许可证
编入索引的文档： 34出版物自2001年起
7作为编辑的贡献
合著者： 45位合著者具有40份联合出版物
765位合作作者
全部的 前5名

合著者

1 单作者的
9 法比奥·加杜奇
8 罗伯托·布鲁尼
7 安德烈·范丁
6 乌戈·蒙塔纳里。
5 伊万·拉内斯
4 安德烈亚·科拉迪尼
4 雨果·托雷斯·维埃拉
三 马西莫·巴托莱蒂
三 Stefan Edelkamp
三 斯特凡·洛伊
三 安娜·索科洛娃
2 玛丽娜·安德里克
2 乔治·阿格里斯
2 蒋新宇
2 De Nicola，罗科
2 丹尼尔·格纳德
2 霍夫曼，约格
2 索菲亚·奈特
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 埃米利奥·托斯托
全部的 前5名

系列

三 计算机科学中的逻辑方法
三 程序设计中的逻辑和代数方法杂志
三 理论计算机科学电子论文集（EPTCS）
1 理论计算机科学
1 欧洲理论计算机科学协会公告EATCS
1 计算机基础理论
1 计算机科学课堂讲稿
1 计算机科学科学年鉴
全部的 前5名

领域

37 计算机科学（68至XX）
8 数学逻辑和基础（03-XX）
7 总体主题；集合（00-XX）
三 信息与通信理论、电路（94-XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
2 生物学和其他自然科学（92-XX）
1 组合数学（05-XX）
1 结合环与代数（16-XX）
1 范畴理论；同调代数（18-XX）
1 系统论；控制（93至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

22出版物有被引用103中的次80文件 引用人▼ 年份▼
使用HSF-SPIN进行定向显式模型检查。 Zbl 0986.68521号
Stefan Edelkamp;阿尔贝托·卢什·拉富恩特;斯特凡·洛伊
26
2001
定向模型检查中的部分降阶。 Zbl 1077.68693号
阿尔贝托·卢奇·拉富恩特;Stefan Edelkamp;斯特凡·洛伊
11
2002
在约束半环上定义的定量演算和CTL。 Zbl 1080.68065号
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里
8
2005
基于风格的架构重新配置。 Zbl 1169.68306号
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里;埃米利奥·托斯托
7
2008
用于验证图转换系统的时序图逻辑。 Zbl 1196.68154号
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特
6
2007
我们能在Maude中有效地检查放松内存模型下的并发程序吗？ 兹比尔1367.68057
叶希亚·阿卜杜·阿勒拉赫曼;玛丽娜·安德里克;亚历山德罗·贝吉亚托;阿尔贝托·卢什·拉富恩特
5
2014
面向交互规范的自由信息流控制。 Zbl 1321.68349号
阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯
5
2015
对组件集成进行编程和验证。 Zbl 1416.68051号
洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐
5
2014
DeFi中的自动做市商理论。 Zbl 07639908号
马西莫·巴托莱蒂;蒋新余·詹姆斯;阿尔贝托·卢奇·拉富恩特
5
2022
基于定点的计算字段的异步分布式执行。 Zbl 1398.68369号
阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;乌戈·蒙塔纳里
4
2017
一般状态探索算法的部分降阶。 Zbl 1178.68336号
博什纳奇·德拉甘;斯特凡·洛伊;阿尔贝托·卢什·拉富恩特
4
2006
用Maude重写分层设计。 Zbl 1347.68072号
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里
三
2009
基于约束半环的定量微积分和CTL。 兹比尔1272.68269
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里
三
2005
图转换系统分析的启发式搜索。 Zbl 1156.68576号
Stefan Edelkamp;沙希德·贾巴尔;阿尔贝托·卢什·拉富恩特
2
2006
用反向布尔等价简化布尔网络。 Zbl 1491.92058号
乔治·阿格里斯;阿尔贝托·卢什·拉富恩特;特里巴斯通，米尔科;马克斯·柴科夫斯基;安德烈·范丁
2
2021
（pi）演算空间逻辑的图形编码。 Zbl 1214.68248号
法比奥·加杜奇;阿尔贝托·卢什·拉富恩特
1
2007
SoK：分散金融中的贷款池。 Zbl 1492.91443号
马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特
1
2021
SPIN中的星战解耦。 Zbl 1508.68331号
丹尼尔·格纳德;帕特里克·杜伯特;阿尔贝托·卢什·拉富恩特;霍夫曼，约格
1
2018
在X10中复制数据以获得更好的性能。 Zbl 1474.68039号
玛丽娜·安德里奇;洛科·德尼古拉;阿尔贝托·卢什·拉富恩特
1
2016
数据库的协调语言。 Zbl 1398.68124号
李锡盟;吴熙;阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯
1
2017
最大化自动化做市商的可提取价值。 兹比尔1515.91145
马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢什·拉富恩特
1
2022
适应性过渡系统。 Zbl 1394.68206号
罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;安德烈·范丁
1
2013
DeFi中的自动做市商理论。 Zbl 07639908号
马西莫·巴托莱蒂;蒋新余·詹姆斯;阿尔贝托·卢奇·拉富恩特
5
2022
最大化自动化做市商的可提取价值。 Zbl 1515.91145号
马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢什·拉富恩特
1
2022
用反向布尔等价简化布尔网络。 Zbl 1491.92058号
乔治·阿格里斯;阿尔贝托·卢什·拉富恩特;特里巴斯通，米尔科;马克斯·柴科夫斯基;安德烈·范丁
2
2021
SoK：分散金融中的贷款池。 兹比尔1492.91443
马西莫·巴托莱蒂;蒋新宇;阿尔贝托·卢奇·拉富恩特
1
2021
SPIN中的星战解耦。 Zbl 1508.68331号
丹尼尔·格纳德;帕特里克·杜伯特;阿尔贝托·卢什·拉富恩特;霍夫曼，约格
1
2018
基于定点的计算字段的异步分布式执行。 Zbl 1398.68369号
阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;乌戈·蒙塔纳里
4
2017
数据库的协调语言。 Zbl 1398.68124号
李锡盟;吴熙;阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯
1
2017
在X10中复制数据以获得更好的性能。 Zbl 1474.68039号
玛丽娜·安德里奇;洛科·德尼古拉;阿尔贝托·卢什·拉富恩特
1
2016
面向交互规范的自由信息流控制。 Zbl 1321.68349号
阿尔贝托·卢什·拉富恩特;弗莱明·尼尔森;尼尔森、汉内·里斯
5
2015
我们能在Maude中有效地检查放松内存模型下的并发程序吗？ Zbl 1367.68057号
叶希亚·阿卜杜·阿勒拉赫曼;安德里克，玛丽娜;亚历山德罗·贝吉亚托;阿尔贝托·卢什·拉富恩特
5
2014
对组件集成进行编程和验证。 Zbl 1416.68051号
洛科·德尼古拉;阿尔贝托·卢什·拉富恩特;米歇尔·洛雷蒂;安德烈亚·莫里切塔;罗萨里奥·普格利泽;瓦莱里奥·塞尼;弗朗西斯科·蒂埃齐
5
2014
适应性过渡系统。 Zbl 1394.68206号
罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;阿尔贝托·卢什·拉富恩特;安德烈·范丁
1
2013
用Maude重写分层设计。 Zbl 1347.68072号
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈·蒙塔纳里
三
2009
基于风格的架构重新配置。 Zbl 1169.68306号
罗伯托·布鲁尼;阿尔贝托·卢什·拉富恩特;乌戈州蒙塔纳里;埃米利奥·托斯托
7
2008
用于验证图转换系统的时序图逻辑。 Zbl 1196.68154号
保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;阿尔贝托·卢什·拉富恩特
6
2007
（pi）演算空间逻辑的图形编码。 Zbl 1214.68248号
法比奥·加杜奇;阿尔贝托·卢什·拉富恩特
1
2007
一般状态探索算法的部分降阶。 Zbl 1178.68336号
博什纳奇·德拉甘;斯特凡·洛伊;阿尔贝托·卢什·拉富恩特
4
2006
图转换系统分析的启发式搜索。 Zbl 1156.68576号
Stefan Edelkamp;沙希德·贾巴尔;阿尔贝托·卢什·拉富恩特
2
2006
在约束半环上定义的定量演算和CTL。 Zbl 1080.68065号
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里
8
2005
基于约束半环的定量演算和CTL。 Zbl 1272.68269号
阿尔贝托·卢奇·拉富恩特;乌戈·蒙塔纳里
三
2005
定向模型检查中的部分降阶。 Zbl 1077.68693号
阿尔贝托·卢奇·拉富恩特;Stefan Edelkamp;斯特凡·洛伊
11
2002
使用HSF-SPIN进行定向显式模型检查。 Zbl 0986.68521号
Stefan Edelkamp;阿尔贝托·卢什·拉富恩特;斯特凡·洛伊
26
2001
所有引用出版物 前5名被引用出版物
全部的 前5名

163位作者引用

11 阿尔贝托·卢什·拉富恩特
4 罗伯托·布鲁尼
4 霍夫曼，约格
4 乌戈·蒙塔纳里。
4 安东内拉·桑顿
4 维罗利，米尔科
三 乔治·奥德里托
三 卢博什·布里姆
三 罗伯特·卡萨迪
三 伊万娜·乔纳
三 安德烈亚·科拉迪尼
三 路易斯·克鲁兹·菲利佩
三 费卢西奥·达米亚尼
三 丹尼尔·格纳德
三 萨拉·格拉达拉
三 金·古德斯特兰·拉森
三 米歇尔·洛雷蒂
三 鲁帕克·马朱姆达尔
三 法布里西奥·蒙泰西
三 丹尼尔·皮亚尼尼
三 安德烈·范丁
三 玛丽亚·路易莎·维拉尼
2 恩里克·阿尔巴
2 保罗·巴尔丹
2 JiříBarnat
2 雅各布·比尔
2 尼古拉·贝内什
2 弗朗西斯科·奇卡诺
2 雷娜·迪米特洛娃
2 哈特穆特·埃里格
2 Daniel Schnetzer，法瓦
2 吉安·路易吉，法拉利
2 塞巴斯蒂安·库普弗施米德
2 Michael Leuschel先生
2 李永明
2 费尔南多·奥雷贾斯
2 马可·佩雷索蒂
2 乌尔里克·普兰奇
2 罗萨里奥·普格利泽
2 吉里·索科尔
2 吉·斯尔巴
2 马丁·斯特芬
2 沃尔克·斯托尔茨
2 弗朗西斯科·蒂埃齐
2 特里巴斯通，米尔科
2 安蒂·瓦尔马里
2 瓦埃科娃，帕夫利纳
2 马丁·韦勒
2 安东·威伊斯（Anton J.Wijs）。
1 卢卡·阿贝蒂
1 侯赛因·阿贾扎尔
1 法哈德·阿尔巴
1 乔治斯·阿吉里斯
1 爱德华·巴拉诺夫
1 巴博萨、路易斯·索亚雷斯
1 埃齐奥·巴托西
1 马西莫·巴托莱蒂
1 亚历山德罗·贝吉亚托
1 Jens Bendisposto公司
1 西蒙·布利兹
1 罗德里克·布洛姆
1 劳拉·博奇
1 布莱·博内
1 卢卡·博托卢西
1 博什纳奇·德拉甘
1 安德烈亚·克拉克·布拉夏利
1 安东尼奥·布奇亚罗内
1 布赫诺娃，B。
1 Bui，Thang H。
1 曹永志
1 陈晓芳
1 蒋新余·詹姆斯
1 周庆孙
1 保罗·西安卡里尼
1 文森佐·西安西亚
1 罗伯特·J·科尔文。
1 西尔维亚·克拉法
1 M.Torabi Dashti
1 卢卡·德·阿尔法罗
1 洛科·德尼古拉
1 艾维洛·多布里科夫
1 帕特里克·杜伯特
1 马修·德怀尔。
1 Stefan Edelkamp
1 简·艾森胡特
1 马可·费拉
1 乌里·法伦贝格
1 安斯加·芬克
1 冯、程
1 戈登·弗雷泽
1 埃米利奥·弗拉佐利
1 法比奥·加杜奇
1 瓦实提·加尔平
1 维杰·加格。
1 安吉洛·加甘蒂尼
1 杰科·盖尔登胡伊斯
1 斯特凡妮娅·格内西
1 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha）
1 安德烈亚斯·格雷斯迈耶
1 帕特里克·哈斯鲁姆
…还有63位作者
全部的 前5名

18篇连载文章中引用

9 计算机科学中的逻辑方法
7 理论计算机科学
5 程序设计中的逻辑和代数方法杂志
4 系统设计中的形式化方法
4 逻辑与代数程序设计杂志
三 计算机程序设计科学
三 计算的形式方面
2 信息学报
2 计算机与系统科学杂志
2 信息与计算
1 人工智能
1 信息处理信件
1 模糊集与系统
1 计算机与运筹学
1 自动推理杂志
1 美国计算机学会模型和计算机仿真汇刊
1 计算机基础理论
1 计算机语言、系统和结构
全部的 前5名

10个字段中引用

78 计算机科学（68至XX）
17 数学逻辑和基础（03-XX）
三 运筹学、数学规划（90-XX）
2 概率论与随机过程（60-XX）
2 生物学和其他自然科学（92-XX）
1 历史和传记（01-XX）
1 数值分析（65-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 系统论；控制（93至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文