编辑配置文件(在新选项卡中打开) 劳伦·弗里堡 合著者距离 作者ID: fribourg.laurent(友情) 发布日期: 劳伦·弗里堡;弗里堡,L。 已编制索引的文档: 59出版物自1984年以来 5名编辑的贡献 合著者: 51位合著者具有51联合出版物 737合著作者 全部的 前5名合著者 13 单作者的 8 埃蒂安·安德烈 7 阿德里安·勒科恩特 6 罗曼·苏拉特 5 克劳迪娜·皮卡罗尼 4 贝拉德,贝特里奇 4 卢多维奇·查莫因 4 弗洛里安·德·维斯特 4 玛丽·杜弗洛特 4 乌尔里希·库恩 三 埃曼纽尔·恩克雷纳兹 三 安托万·吉拉德 三 埃里克·古堡 三 尼古拉斯·马基 三 梅西卡,斯特凡·梅西卡 三 萨米赫·穆罕默德 三 汉斯·奥尔森 三 西尔维·普托 三 阿德纳·索乌德 2 亚历山大·迪特·桑德雷托,朱利安 2 亚历山大·查普托 2 托马斯·查泰恩 2 雷米·谢瓦利埃 2 埃曼纽尔·恩克雷纳兹·蒂芙涅(Emmanuelle Encrenaz-Tiphène) 2 杰瑞,贾维尔 2 弗雷德里克·马格尼特 2 玛丽安·姆罗泽克 2 马科斯·维洛索·佩克索托 2 徐伟文 1 乔夫罗伊·博基尔 1 维克托·布拉伯曼 1 张培雄 1 艾曼纽尔·科夸德 1 马克·米歇尔·科西尼 1 马蒂亚斯·海兹曼 1 托马斯·Hérault 1 弗朗西斯·克莱 1 理查德·拉斯因 1 戴维·莱森斯 1 朱塞佩·利帕里 1 阿纳斯·马克迪斯 1 Jean-François莫宁 1 Jean-Marc的Mota 1 尼尔森,Ulf S。 1 西尔万·佩伦内特 1 贝特朗·雷沃 1 克里斯蒂安·雷伊(Christian A.Rey)。 1 杰里米·斯普洛斯顿 1 孙友成 1 佛朗哥·都灵 1 乔纳森·瓦彻 1 拉斐尔·维斯涅夫斯基 全部的 前5名系列 5 系统设计中的形式化方法 三 分布式计算 三 计算机科学课堂讲稿 2 理论计算机科学 2 赖罗。技术与科学信息学 2 国际计算机科学基础杂志 2 欧洲控制杂志 1 自动化 1 IEEE自动控制汇刊 1 逻辑程序设计杂志 1 符号计算杂志 1 信息与计算 1 约束条件 1 计算机基础理论 1 非线性分析。混合动力系统 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 48 计算机科学(68至XX) 16 系统论;控制(93至XX) 7 数理逻辑与基础(03-XX) 5 总体主题;集合(00-XX) 4 运筹学、数学规划(90-XX) 三 常微分方程(34-XX) 三 动力系统和遍历理论(37至XX) 2 数值分析(65-XX) 1 代数几何(14-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有被引用197中的次154文件 引用人▼ 年份▼ 参数时间自动机的逆方法。 Zbl 1187.68286号 埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 20 2009 对归纳完成程序的严格限制。 Zbl 0594.68036号 弗里堡,L。 19 1986 归纳完成程序的严格限制。 Zbl 0682.68029号 劳伦·弗里堡 10 1989 通过编译成Presburger算法证明无限状态系统的安全性。 Zbl 1512.68167号 劳伦·弗里堡;汉斯·奥尔森 10 1997 用构造器缩小理论范围的过程。 Zbl 0546.68076号 弗里堡,L。 9 1984 面向等式子句作为一种编程语言。 Zbl 0574.68024号 劳伦·弗里堡 9 1984 耦合和自稳定。 Zbl 1264.68216号 劳伦·弗里堡;梅西卡,斯特芬;劳丁·皮卡罗尼 9 2005 使用参数时间自动机对存储器电路的通用架构进行时间验证。 Zbl 1165.68401号 雷米·谢瓦利埃;埃曼纽尔·恩克雷纳兹·蒂芬;劳伦·弗里堡;徐伟文 8 2009 分布式多周期采样数据系统中基于契约的符号控制器安全设计。 Zbl 07352057号 阿德纳·索乌德;安托万·吉拉德;劳伦特·弗里堡 8 2021 将逆方法推广到概率时间自动机。 Zbl 1291.68240号 埃蒂安·安德烈;劳伦·弗里堡;杰里米·斯普洛斯顿 7 2013 随机有限状态分布式算法作为马尔可夫链。 Zbl 1024.68899号 玛丽·杜弗洛特;劳伦·弗里堡;克劳迪娜·皮卡罗尼 7 2001 采样切换系统的有限控制不变量。 Zbl 1303.93121号 弗里堡,L。;Kühne,美国。;苏拉特,R。 7 2014 作为正则语言的参数化环的可达性集。 Zbl 0907.68119号 劳伦·弗里堡;汉斯·奥尔森 5 1997 一种用(mathcal Z)计数器计算数据日志程序最小不动点的分解方法。 Zbl 0889.68025号 劳伦·弗里堡;汉斯·奥尔森 5 1997 时间自动机的行为制图。 Zbl 1287.68089号 埃蒂安·安德烈;劳伦·弗里堡 4 2010 合并与征服:参数时间自动机中的状态合并。 Zbl 1410.68194号 埃蒂安·安德烈;劳伦·弗里堡;罗曼·苏拉特 4 2013 应用于模型检查的约束逻辑编程。 Zbl 0964.68555号 劳伦特·弗里堡 4 2000 使用PRISM和APMC对CSMA/CD协议进行概率模型检查。 Zbl 1272.68242号 玛丽·杜弗洛特;劳伦·弗里堡;托马斯·赫劳特;理查德·拉斯因;弗雷德里克·马涅特;梅西卡,斯特芬;西尔万·佩伦内特;克劳迪娜·皮卡罗尼 4 2005 使用抽象和参数模型检查验证工业异步领导人选举算法。 Zbl 1522.68293号 埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 4 2019 使用实数算法对(定时)Petri网进行可达性分析。 Zbl 0939.68080号 贝拉德,贝特里奇;劳伦·弗里堡 三 1999 一个面向叠加的定理证明器。 Zbl 0569.68075号 劳伦·弗里堡 三 1985 面向等式子句作为一种编程语言。 Zbl 0597.68034号 劳伦·弗里堡 三 1984 状态相关开关控制的分布式综合。 Zbl 1405.93125号 阿德里安·勒科恩特;劳伦·弗里堡;尼古拉斯·马基;弗洛里安·德·维斯特;卢多维奇·查莫因 三 2016 一种寻找切换系统不变集的拓扑方法。 Zbl 1364.93379号 劳伦·弗里堡;埃里克·古堡;西尔维·普托;萨米赫·穆罕默德 2 2016 参数化实时程序的自动验证:ABR一致性协议。 兹比尔1046.68501 贝拉德,贝特里奇;劳伦·弗里堡 2 1999 事件的时间分离:一种逆方法。 Zbl 1279.68256号 埃曼纽尔·恩克雷纳兹;劳伦·弗里堡 2 2008 面向实时组件的参数定时接口。 兹比尔1464.68037 孙友成;朱塞佩·利帕里;埃蒂安·安德烈;劳伦·弗里堡 2 2014 通过最内层的叠加和重写处理函数定义。 Zbl 0576.68011号 劳伦·弗里堡 2 1985 并发约束自动机。(自动处理并发和约束。) Zbl 0939.68707号 劳伦·弗里堡;马科斯·维洛索·佩克索托 2 1994 缩小范围的实施:基于Prolog的方法。 Zbl 0832.68011号 张培雄;劳伦·弗里堡 2 1993 耦合和自稳定。 Zbl 1110.68545号 劳伦·弗里堡;梅西卡,斯特芬;克劳迪娜·皮卡罗尼 2 2004 使用逆方法对混合自动机进行参数验证和测试覆盖。 Zbl 1286.68314号 劳伦·弗里堡;乌尔里希·库恩 2 2013 使用参数定时自动机验证存储电路的通用架构。 兹比尔1141.68460 雷米·谢瓦利埃;埃曼纽尔·恩克雷纳兹·蒂芙涅(Emmanuelle Encrenaz-Tiphène);劳伦特·弗里堡;徐伟文 2 2006 反应性约束下发射器飞行控制系统的参数可调度性分析。 Zbl 1520.93344号 埃蒂安·安德烈;艾曼纽尔·科夸德;劳伦·弗里堡;杰瑞,贾维尔;大卫·莱森 2 2021 采样切换系统的稳定性控制器。 Zbl 1405.93124号 劳伦特·弗里堡;罗曼·苏拉特 1 2013 非线性采样切换系统控制综合的一种改进算法。 Zbl 1428.93053号 阿德里安·勒科恩特;亚历山大·迪特·桑德雷托,朱利安;亚历山大·查普托;劳伦·弗里堡 1 2018 对ABR一致性标准化算法的两种正确性证明的比较研究。 Zbl 1033.68094号 贝拉德,贝特里奇;劳伦·弗里堡;弗朗西斯·克莱;Jean-François莫宁 1 2003 寻找连续系统不变集的拓扑方法。 Zbl 1471.37018号 劳伦·弗里堡;埃里克·古堡;萨米赫·穆罕默德;玛丽安·姆罗泽克;Sylvie推杆 1 2015 参数时间自动机的逆方法。 Zbl 1337.68150号 埃蒂安·安德烈;托马斯·查坦;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 1 2008 没有公平假设的随机用餐哲学家。 Zbl 1448.68091号 玛丽·杜弗洛特;劳伦·弗里堡;克劳迪娜·皮卡罗尼 1 2004 使用局部定点迭代进行布尔网络的合成分析。 Zbl 1478.68324号 阿德里安·勒科恩特;劳伦特·弗里堡;罗曼·苏拉特 1 2016 采样切换系统分布式控制器的基于游戏的综合。 Zbl 1429.93105号 劳伦·弗里堡;乌尔里希·库恩;尼古拉斯·马基 1 2015 使用模型降阶和状态空间对分的切换控制系统的保证控制。 Zbl 1432.93043号 阿德里安·勒科恩特;弗洛里安·德·维斯特;克里斯蒂安·雷伊;卢多维奇·查莫因;劳伦·弗里堡 1 2015 具有算术约束的数据日志程序的自底向上评估。 Zbl 1433.68083号 劳伦·弗里堡;马科斯·维洛佐·佩克索托 1 1994 分布式多周期采样数据系统中基于契约的符号控制器安全设计。 Zbl 07352057号 阿德纳·索乌德;安托万·吉拉德;劳伦·弗里堡 8 2021 反应性约束下发射器飞行控制系统的参数可调度性分析。 Zbl 1520.93344号 埃蒂安·安德烈;艾曼纽尔·科夸德;劳伦·弗里堡;杰雷,贾维尔;戴维·莱森斯 2 2021 使用抽象和参数模型检查验证工业异步领导者选举算法。 兹比尔1522.68293 埃蒂安·安德烈;劳伦·弗里堡;Jean-Marc的Mota;罗曼·苏拉特 4 2019 非线性采样切换系统控制综合的一种改进算法。 Zbl 1428.93053号 阿德里安·勒科恩特;Alexandre dit Sandretto,朱利安;亚历山大·查普托;劳伦·弗里堡 1 2018 状态相关开关控制的分布式综合。 Zbl 1405.93125号 阿德里安·勒科恩特;劳伦·弗里堡;尼古拉斯·马基;弗洛里安·德·维斯特;卢多维奇·查莫因 三 2016 一种寻找切换系统不变集的拓扑方法。 Zbl 1364.93379号 劳伦·弗里堡;埃里克·古堡;Sylvie推杆;萨米赫·穆罕默德 2 2016 使用局部定点迭代进行布尔网络的合成分析。 Zbl 1478.68324号 阿德里安·勒科恩特;劳伦·弗里堡;罗曼·苏拉特 1 2016 寻找连续系统不变集的拓扑方法。 Zbl 1471.37018号 劳伦·弗里堡;埃里克·古堡;萨米赫·穆罕默德;玛丽安·姆罗泽克;西尔维·普托 1 2015 采样切换系统分布式控制器的基于游戏的综合。 Zbl 1429.93105号 劳伦特·弗里堡;乌尔里希·库恩;尼古拉斯·马基 1 2015 使用模型降阶和状态空间对分的切换控制系统的保证控制。 Zbl 1432.93043号 阿德里安·勒科恩特;弗洛里安·德·维斯特;克里斯蒂安·雷伊;卢多维奇·查莫因;劳伦·弗里堡 1 2015 采样切换系统的有限控制不变量。 Zbl 1303.93121号 弗里堡,L。;Kühne,美国。;苏拉特,R。 7 2014 面向实时组件的参数定时接口。 Zbl 1464.68037号 孙友成;朱塞佩·利帕里;埃蒂安·安德烈;劳伦·弗里堡 2 2014 将逆方法推广到概率时间自动机。 Zbl 1291.68240号 埃蒂安·安德烈;劳伦·弗里堡;杰里米·斯普洛斯顿 7 2013 合并与征服:参数时间自动机中的状态合并。 Zbl 1410.68194号 埃蒂安·安德烈;劳伦·弗里堡;罗曼·苏拉特 4 2013 使用逆方法对混合自动机进行参数验证和测试覆盖。 Zbl 1286.68314号 劳伦·弗里堡;乌尔里希·库恩 2 2013 采样切换系统的稳定性控制器。 Zbl 1405.93124号 劳伦·弗里堡;罗曼·苏拉特 1 2013 时间自动机的行为制图。 Zbl 1287.68089号 埃蒂安·安德烈;劳伦·弗里堡 4 2010 参数时间自动机的逆方法。 Zbl 1187.68286号 埃蒂安·安德烈;托马斯·查坦;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 20 2009 使用参数时间自动机对存储器电路的通用架构进行时间验证。 Zbl 1165.68401号 雷米·谢瓦利埃;埃曼纽尔·恩克雷纳兹·蒂芬;劳伦·弗里堡;徐伟文 8 2009 事件的时间分离:一种逆方法。 Zbl 1279.68256号 埃曼纽尔·恩克雷纳兹;劳伦·弗里堡 2 2008 参数时间自动机的逆方法。 Zbl 1337.68150号 埃蒂安·安德烈;托马斯·查泰恩;劳伦·弗里堡;埃曼纽尔·恩克雷纳兹 1 2008 使用参数定时自动机验证存储电路的通用架构。 Zbl 1141.68460号 雷米·谢瓦利埃;埃曼纽尔·恩克雷纳兹·蒂芙涅(Emmanuelle Encrenaz-Tiphène);劳伦·弗里堡;徐伟文 2 2006 耦合和自稳定。 Zbl 1264.68216号 劳伦特·弗里堡;梅西卡,斯特芬;劳丁·皮卡罗尼 9 2005 使用PRISM和APMC对CSMA/CD协议进行概率模型检查。 Zbl 1272.68242号 玛丽·杜弗洛特;劳伦·弗里堡;托马斯·赫劳特;理查德·拉斯因;弗雷德里克·马涅特;梅西卡,斯特芬;Sylvain佩龙;克劳迪娜·皮卡罗尼 4 2005 耦合和自稳定。 Zbl 1110.68545号 劳伦·弗里堡;梅西卡,斯特芬;克劳迪娜·皮卡罗尼 2 2004 没有公平假设的随机就餐哲学家。 Zbl 1448.68091号 玛丽·杜弗洛特;劳伦·弗里堡;克劳迪娜·皮卡罗尼 1 2004 对ABR一致性标准化算法的两种正确性证明的比较研究。 Zbl 1033.68094号 贝拉德,贝特里奇;劳伦·弗里堡;弗朗西斯·克莱;Jean-François莫宁 1 2003 随机有限状态分布式算法作为马尔可夫链。 Zbl 1024.68899号 玛丽·杜弗洛特;劳伦·弗里堡;克劳迪娜·皮卡罗尼 7 2001 应用于模型检查的约束逻辑编程。 Zbl 0964.68555号 劳伦·弗里堡 4 2000 使用实数算法对(定时)Petri网进行可达性分析。 兹比尔0939.68080 贝拉德,贝特里奇;劳伦·弗里堡 三 1999 参数实时程序的自动验证:ABR一致性协议。 Zbl 1046.68501号 贝拉德,贝特里奇;劳伦·弗里堡 2 1999 通过编译成Presburger算法证明无限状态系统的安全性。 Zbl 1512.68167号 劳伦·弗里堡;汉斯·奥尔森 10 1997 作为正则语言的参数化环的可达性集合。 Zbl 0907.68119号 劳伦·弗里堡;汉斯·奥尔森 5 1997 一种用(mathcal Z)计数器计算数据日志程序最小不动点的分解方法。 Zbl 0889.68025号 劳伦·弗里堡;汉斯·奥尔森 5 1997 并发约束自动机。(自动处理并发和约束。) Zbl 0939.68707号 劳伦·弗里堡;马科斯·维洛索·佩克索托 2 1994 具有算术约束的数据日志程序的自底向上评估。 Zbl 1433.68083号 劳伦·弗里堡;马科斯·维洛佐·佩克索托 1 1994 缩小范围的实施:基于Prolog的方法。 Zbl 0832.68011号 张培雄;劳伦·弗里堡 2 1993 归纳完成程序的严格限制。 Zbl 0682.68029号 劳伦·弗里堡 10 1989 归纳完成程序的严格限制。 Zbl 0594.68036号 弗里堡,L。 19 1986 一种面向叠加的定理证明器。 Zbl 0569.68075号 劳伦·弗里堡 三 1985 通过最内层的叠加和重写来处理函数定义。 Zbl 0576.68011号 劳伦·弗里堡 2 1985 用构造器缩小理论范围的过程。 Zbl 0546.68076号 弗里堡,L。 9 1984 面向等式子句作为一种编程语言。 Zbl 0574.68024号 劳伦特·弗里堡 9 1984 面向等式子句作为一种编程语言。 Zbl 0597.68034号 劳伦·弗里堡 三 1984 所有引用出版物 前5名被引用出版物 全部的 前5名260位作者引用 18 劳伦·弗里堡 17 埃蒂安·安德烈 5 莱姆,迪迪埃 5 美国雷迪。 4 Marta Z.Kwiatkowska。 4 阿德里安·勒科恩特 三 伊万娜·乔纳 三 纳鸿·德肖维茨 三 埃曼纽尔·恩克雷纳兹 三 安托万·吉拉德 三 斯特芬·Hölldobler 三 Jean-Pierre Jouannaud 三 阿列克桑德拉·乔瓦诺维奇。 三 伊曼纽尔·库纳利斯 三 金·古德斯特兰·拉森 三 格钦·诺曼 三 劳雷·佩特鲁奇 三 毛里齐奥·普罗埃蒂 三 奥利维尔·H·鲁克斯。 三 孙骏 三 张丽君 2 艾丁·戈尔(Ebru Aydin Gol) 2 雅罗斯拉夫·本迪克 2 尼古拉·贝内什 2 彼得·贝兹克 2 亚历山大·博克迈尔 2 阿黛尔·布胡拉 2 帕特里夏·鲍耶 2 弗朗索瓦·布隆萨德 2 莱因哈德·邦根 2 卡尔德,穆菲 2 卢多维奇·查莫因 2 托马斯·查泰恩 2 休伯特·科蒙 2 伊曼纽尔·德·安吉利斯 2 弗洛里安·德·维斯特 2 Stéphane P.德姆里。 2 哈维尔·埃斯帕尔扎 2 冯,袁 2 阿兰·芬克尔 2 法比奥·菲奥拉万蒂 2 乌尔里希·富巴赫 2 埃利奥·乔瓦内蒂 2 迈克尔·哈纳斯 2 贝特朗·珍妮特 2 圣埃芬·卡普兰 2 迪帕克·卡普尔 2 斯特凡·基弗 2 斯特凡·克里斯彻 2 萨沃米尔·拉索塔 2 理查德·拉斯因 2 杰罗姆·勒鲁 2 戴维·莱森斯 2 奥拉夫·莱恩 2 尼古拉斯·马基 2 尼古拉斯·马基 2 何塞·梅塞盖尔·瓜伊塔 2 科拉多·莫伊索 2 安德烈·穆拉夫斯基。 2 巴利亚特·纳伦德兰 2 乔尔·欧·瓦克宁。 2 卡图西亚帕拉米德斯 2 阿尔贝托·佩特罗西 2 西尔万·佩伦内特 2 克劳迪娜·皮卡罗尼 2 阿德纳·索乌德 2 彼得·施拉梅尔 2 艾哈迈德·森坎 2 杰里米·斯普洛斯顿 2 泰瑟·图利 2 范德波尔,扬·科内利斯 2 克里斯托夫·韦尔泽尔 2 詹姆斯·沃雷尔。 1 卢卡·埃特罗 1 亚历山大·迪特·桑德雷托,朱利安 1 卡琳·阿尔蒂森 1 本杰明·阿米诺夫 1 科琳·安科特 1 亚历杭德罗·阿帕扎·佩雷斯 1 詹姆·阿里亚斯 1 JiříBarnat 1 理查德·巴内特(Richard C.Barnett)。 1 David A.Basin。 1 乔夫罗伊·博基尔 1 埃迪,贝弗斯 1 伯纳德·博伊格洛特 1 哈罗德·博利 1 玛丽亚·保拉(Maria Paola Bonacina) 1 皮尔·乔治·博斯科 1 艾哈迈德·博阿贾尼 1 马吕斯·博兹加 1 保罗·布劳纳 1 Jochen Burghardt 1 奥古斯托·布尔古埃诺 1 米歇尔·卡迪尔哈克 1 弗兰克·卡塞兹 1 亚历山大·查普托 1 雅克·查扎兰 1 雷米·谢瓦利埃 1 格伦·周 …还有160多名作者 全部的 前5名30篇连载文章中引用 24 理论计算机科学 9 符号计算杂志 7 信息与计算 5 系统设计中的形式化方法 4 分布式计算 4 计算机科学中的逻辑方法 三 信息处理信件 三 自动化 三 自动推理杂志 三 计算的形式方面 三 计算机基础理论 三 非线性分析。混合动力系统 2 计算机与系统科学杂志 2 实时系统 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 国际控制杂志 1 京都大学数学科学研究所出版物 1 纯逻辑与应用逻辑年鉴 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 离散事件动态系统 1 工程、通信和计算中的应用代数 1 复杂性 1 国际应用数学与计算机科学杂志 1 差分方程研究进展 1 计算机科学中的数学 1 算法 全部的 前5名16个领域引用 137 计算机科学(68至XX) 31 数理逻辑与基础(03-XX) 19 系统论;控制(93至XX) 4 一般代数系统(08-XX) 4 运筹学、数学规划(90-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 常微分方程(34-XX) 2 数值分析(65-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 代数几何(14-XX) 1 群论与推广(20-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文