编辑配置文件(在新选项卡中打开) 劳伦·维格纳龙 合著者距离 作者ID: 渐晕 发布日期: 劳伦·维格纳龙;维格纳龙,L。 已编制索引的文档: 18出版物自1946年以来 4作为编辑的贡献 合著者: 27位合著者具有17联合出版物 551联合作者 全部的 前5名合著者 5 单作者的 8 米歇尔·鲁西诺维奇 4 亚尼克·骑士 三 佛罗伦萨·杰克马尔 三 马修·图鲁阿尼 2 亚历山德罗·阿曼多 2 利奥·巴赫迈尔 2 卢卡·孔帕尼亚 2 英戈·达恩 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 阿什什·库马尔·蒂瓦里 2 卢卡·维甘诺 1 D盆地。 1 Basin,大卫·A。 1 尤罕·博伊库特 1 梅赫迪·布阿拉古伊 1 豪尔赫·库勒 1 保罗·汉克斯·德里尔斯玛 1 海姆,皮尔雷·科里尔 1 伊曼纽尔·詹德尔 1 迪帕克·卡普尔 1 弗朗西斯·克莱 1 奥尔加·库什纳伦科 1 拉尔夫·库斯特斯 1 雅各布·曼托瓦尼 1 罗马克里希南,I.V。 1 大卫·冯·奥海姆 1 安妮塔·瓦西列夫斯卡 全部的 前5名系列 2 自动推理杂志 2 理论计算机科学电子笔记 1 Recherche Opérationnelle中心咖啡馆 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 工程、通信和计算中的应用代数 1 逻辑与代数编程杂志 1 巴黎科学研究院 领域 19 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 4 信息与通信理论、电路(94-XX) 三 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用134中的次118文件 引用人▼ 年份▼ 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 阿曼多,A。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚,L。;J.库埃拉。;Hankes Drielsma,P。;P.C.海姆。;O.库什纳伦科。;曼托瓦尼,J。;Mödersheim,S。;冯·奥海姆,D。;Rusinovitch,M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺,L。;维格纳龙,L。 53 2005 抽象同余闭包。 Zbl 1040.03006号 利奥·巴赫迈尔;阿什什·蒂瓦里;劳伦·维格纳龙 17 2003 编译和验证安全协议。 兹比尔0988.68562 佛罗伦萨·杰克马尔;米歇尔·鲁西诺维奇;劳伦·维格纳龙 13 2000 带约束的关联交换演绎。 Zbl 1433.68570号 劳伦·维格纳龙 10 1994 安全协议的自动无边界验证。 Zbl 1010.68508号 亚尼克·骑士;劳伦·维格纳龙 6 2002 同余闭包模结合性和交换性。 Zbl 0962.68085号 巴赫迈尔。;罗马克里希南,I.V。;蒂瓦里,A。;维格纳龙,L。 6 2000 使用关联交换运算符进行自动演绎。 Zbl 0823.68096号 米歇尔·鲁西诺维奇;劳伦·维格纳龙 5 1995 具有等式约束的树自动机模方程理论。 Zbl 1137.68035号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2008 具有等式约束的树自动机模方程理论。 兹比尔1222.03046 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2006 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;梅赫迪·布阿拉古伊;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 粗糙代数和自动演绎。 Zbl 0926.03081号 安妮塔·瓦西列夫斯卡;劳伦·维格纳龙 三 1998 结合交换算子的自动演绎。 Zbl 0800.68844号 Rusinovitch,M。;维格纳龙,L。 三 1991 研究粗糙代数的自动演绎技术。 Zbl 0902.68182号 劳伦·维格纳龙 2 1998 扩展Dolev-Yao入侵者以分析无限数量的会话。 Zbl 1116.94314号 亚尼克·骑士;拉尔夫·库斯特斯;米歇尔·鲁西诺维奇;马修·图鲁阿尼;劳伦·维格纳龙 2 2003 库勒四重奏问题之四:组合之道。 Zbl 0060.41606号 维格纳龙,L。 1 1946 分析主动入侵者的非否认协议的自动方法。 Zbl 1302.68112号 弗朗西斯·克莱;劳伦·维格纳龙 1 2009 分析主动入侵者的非否认协议的自动方法。 Zbl 1302.68112号 弗朗西斯·克莱;劳伦·维格纳龙 1 2009 具有等式约束的树自动机模方程理论。 Zbl 1137.68035号 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2008 具有等式约束的树自动机模方程理论。 兹比尔1222.03046 佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙 5 2006 用于自动验证互联网安全协议和应用程序的AVISPA工具。 Zbl 1081.68523号 阿曼多,A。;D盆地。;Y.Boichut。;Y.契瓦利埃。;康帕尼亚,L。;J.库埃拉。;Hankes Drielsma,P。;P.C.海姆。;O.库什纳伦科。;曼托瓦尼,J。;Mödersheim,S。;冯·奥海姆,D。;Rusinovitch,M。;J·圣地亚哥。;M.图鲁阿尼。;维甘诺,L。;维格纳龙,L。 53 2005 抽象同余闭包。 Zbl 1040.03006号 利奥·巴赫迈尔;阿什什·蒂瓦里;劳伦·维格纳龙 17 2003 扩展Dolev-Yao入侵者以分析无限数量的会话。 Zbl 1116.94314号 亚尼克·骑士;拉尔夫·库斯特斯;米歇尔·鲁西诺维奇;马修·图鲁阿尼;劳伦·维格纳龙 2 2003 安全协议的自动无边界验证。 Zbl 1010.68508号 亚尼克·骑士;劳伦·维格纳龙 6 2002 AVISS安全协议分析工具。 Zbl 1010.68795号 亚历山德罗·阿曼多;戴维·巴恩斯;梅赫迪·布阿拉古伊;亚尼克·骑士;卢卡·孔帕尼亚;塞巴斯蒂安·莫德谢姆;迈克尔·鲁西诺维奇;马修·图鲁阿尼;卢卡·维甘诺;劳伦·维格纳龙 三 2002 编译和验证安全协议。 兹比尔0988.68562 佛罗伦萨·杰克马尔;米歇尔·鲁西诺维奇;劳伦·维格纳龙 13 2000 同余闭包模结合性和交换性。 Zbl 0962.68085号 巴赫迈尔。;罗马克里希南,I.V。;蒂瓦里,A。;维格纳龙,L。 6 2000 粗糙代数和自动演绎。 Zbl 0926.03081号 安妮塔·瓦西列夫斯卡;劳伦·维格纳龙 三 1998 研究粗糙代数的自动演绎技术。 Zbl 0902.68182号 劳伦·维格纳龙 2 1998 使用关联交换运算符进行自动演绎。 Zbl 0823.68096号 米歇尔·鲁西诺维奇;劳伦·维格纳龙 5 1995 带约束的关联交换演绎。 Zbl 1433.68570号 劳伦·维格纳龙 10 1994 结合交换算子的自动演绎。 Zbl 0800.68844号 Rusinovitch,M。;维格纳龙,L。 三 1991 库勒四重奏问题之四:组合之道。 Zbl 0060.41606号 维格纳龙,L。 1 1946 所有引用出版物 前5名被引用出版物 全部的 前5名186位作者引用 11 斯特凡尼德劳恩 7 维罗尼克·科尔蒂尔 7 米歇尔·鲁西诺维奇 5 迪帕克·卡普尔 5 史蒂夫·克莱默 5 罗伯特·尼乌文豪斯 4 Basin,大卫·A。 4 克雷默斯,Cas J.F。 4 佛罗伦萨·杰克马尔 4 何塞·梅塞盖尔·瓜伊塔 4 卢卡·维甘诺 4 乌韦·沃尔德曼 三 玛丽亚·保拉(Maria Paola Bonacina) 三 文森特·雪瓦尔 三 亚尼克·骑士 三 凯瑟琳·梅多斯。 三 塞巴斯蒂安·亚历山大·莫德谢姆 三 劳伦·维格纳龙 2 迈托·阿拉皮尼斯 2 马蒂尔德·阿尔诺 2 毛里西奥Ayala Rincón 2 弗兰兹·巴德 2 彼得·贝克曼 2 卡洛斯·卡莱罗 2 伊利亚诺·塞维萨托 2 瑟·特凡·乔巴赫 2 Sylvain Conchon公司 2 伊芙琳,孔蒂让 2 玛丽·杜弗洛特 2 圣地亚哥埃斯科瓦尔 2 艾曼纽·菲利奥特 2 托马斯·杰奈特 2 吉勒姆·戈多伊 2 海姆,皮尔雷·科里尔 2 亚伦·D·贾加德。 2 赫莱内·基什内尔 2 弗朗西斯·克莱 2 奥尔加Kouchnarenko 2 拉尔夫·库斯特斯 2 帕斯卡·拉福卡德 2 林奇,Christopher A。 2 马丁·奥列特,纳西索 2 绍克·莫 2 萨沙拉多米罗维奇 2 西尔维奥·兰伊斯 2 克里斯托夫·林盖森 2 阿尔伯特·鲁比奥 2 菲利普·吕默 2 拉尔夫·萨西 2 安德烈·斯克洛夫 2 于尔根·斯图伯 2 Jean-Marc Talbot 2 苏菲·蒂森 2 阿什什·库马尔·蒂瓦里 2 蔡乔凯 2 马修·图鲁阿尼 2 瓦彻,卡米尔 2 阿尔贝托·维尔德乔 2 克里斯托夫·韦登巴赫 1 奥马尔·阿穆萨 1 罗伯特·阿马迪奥(Roberto M.Amadio)。 1 苏珊娜·安多瓦 1 亚历山德罗·阿曼多 1 维亨·阿萨克 1 库沙尔·巴别尔 1 迈克尔·巴克斯 1 大卫·巴尔德 1 克拉克·W·巴雷特。 1 弗朗切斯科·贝拉迪内利 1 詹保罗·贝拉 1 纳杰斯·本·拉杰布 1 穆赫贝丁·贝里玛 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 布鲁诺·布兰切特 1 博迪,恰拉 1 尤罕·博伊库特 1 彼得·博罗万斯克 1 亚历山大·布德特 1 阿黛尔·布胡拉 1 马可·波扎诺 1 巴西布里艾 1 张廷毅 1 尚特里,泽维尔 1 纳伦德拉·S·乔达里。 1 雪莲骑士 1 罗伯特·J·科尔文。 1 休伯特·科蒙·隆德 1 卢卡·孔帕尼亚 1 罗梅奥·库比斯 1 阿努帕姆·达塔 1 莱昂纳多·德·莫拉 1 埃里克·P·德文克。 1 皮耶保罗·德加诺 1 乔治·德尔扎诺 1 安特·德里克 1 纳鸿·德肖维茨 1 伊曼纽尔·D’Osualdo 1 詹尼克,德雷尔 1 查尔斯·杜梅尼 …还有86位作者 全部的 前5名24篇连载文章中引用 15 理论计算机科学 9 信息与计算 6 自动推理杂志 5 符号计算杂志 三 系统设计中的形式化方法 2 信息科学 2 工程、通信和计算中的应用代数 2 程序设计中的逻辑和代数方法杂志 1 信息处理信函 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学中的数学结构 1 国际计算机科学基础杂志 1 塔特拉山脉数学出版物 1 高阶和符号计算 1 逻辑与代数编程杂志 1 系统科学与复杂性杂志 1 逻辑程序设计理论与实践 1 Sādhanā 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 赖罗。理论信息学及其应用 1 对称性 1 应用数学与计算力学杂志 在5个字段中引用 105 计算机科学(68至XX) 45 信息与通信理论、电路(94-XX) 27 数学逻辑和基础(03-XX) 三 群论与推广(20-XX) 1 历史和传记(01-XX) 按年份列出的引文