编辑配置文件(在新选项卡中打开) 拉里萨·梅尼基。 合著者距离 作者ID: 梅尼克·拉里萨阿 发布日期: 拉里萨·梅尼基;拉里萨·梅尼基。;洛杉矶梅尼克。;梅尼克,L。 更多。。。较少的 编入索引的文档: 20出版物自2006年起 合著者: 16位合著者具有20联合出版物 354位合作作者 全部的 前5名合著者 0 单作者的 11 伊恩·海耶斯。 6 Annabelle K.McIver。 6 卡罗尔·C·摩根。 三 罗伯特·J·科尔文。 三 金·索林 2 布里杰什·多戈尔 2 克尔斯滕·温特 1 史蒂夫·邓恩(Steve E.Dunne)。 1 芭芭拉·埃斯皮诺萨 1 Hoang,泰国儿子 1 Joost-Pieter卡托恩 1 安东尼·斯隆(Anthony M.Sloane)。 1 格雷姆·史密斯 1 乔治·斯特鲁斯 1 苏萨托,E。 1 安德烈乌斯·维利基斯 系列 4 计算的形式方面 1 信息学报 1 计算机科学中的数学结构 领域 20 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用83中的次58文件 引用人▼ 年份▼ 概率不干扰下贝叶斯风险的合成闭包。 Zbl 1288.68024号 安娜贝拉·麦克维尔;拉里萨·梅尼基;摩根,卡罗尔 14 2010 概率程序的线性变分生成:自动支持基于证据的方法。 兹比尔1239.68020 Joost-Pieter卡托恩;Annabelle K.McIver。;拉里萨·梅尼基。;卡罗尔·摩根。 13 2010 统一区分非终止和中止的编程理论。 Zbl 1286.68079号 伊恩·海耶斯。;史蒂夫·邓恩(Steve E.Dunne)。;拉里萨·梅尼基 8 2010 抽象通道及其可靠的信息泄漏排序。 Zbl 1461.68081号 安娜贝拉·麦克维尔;卡罗尔·摩根;杰弗里·史密斯;芭芭拉·埃斯皮诺萨;拉里萨·梅尼基 8 2014 同步原子步代数。 Zbl 1427.68197号 伊恩·海耶斯。;罗伯特·J·科尔文。;拉里萨·梅尼基。;克尔斯滕·温特;安德烈乌斯·维利基斯 6 2016 概率程序的精化代数。 Zbl 1183.68198号 拉里萨·梅尼基;金·索林 5 2010 反应概率程序和精化代数。 Zbl 1138.68360号 洛杉矶梅尼克。;K·索林。 5 2008 带迭代的Hidden-Markov程序代数。 Zbl 1362.68052号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 5 2015 为具有并发性的广谱语言设计语义模型。 兹比尔1375.68036 罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼克。 5 2017 持续行动系统改进。 Zbl 1235.68104号 拉里萨·梅尼克;伊恩·海耶斯。 三 2006 精化代数中的概率选择。 Zbl 1156.68357号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 概率作用系统和while-loop的代数推理。 Zbl 1161.68014号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 用于信息隐藏的Kantorovich-monadic功率域,具有概率和不确定性。 Zbl 1362.68161号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 2 2012 同步程序代数:关于共享内存和基于事件的并发性的推理基础。 Zbl 1425.68293号 伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 1 2019 在同步并发程序代数中编码公平性。 Zbl 1460.68028号 伊恩·海耶斯。;拉里萨·梅尼基。 1 2018 无干扰安全的抽象:概率与可能性。 Zbl 1323.68212号 Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;C.C.摩根。;A.斯隆。;苏萨托,E。 1 2014 面向实时程序的代数。 兹比尔1364.68135 布里杰什·多戈尔;伊恩·海斯。;拉里萨·梅尼基;金·索林 1 2012 用于程序构造的柱面Kleene格。 Zbl 1434.68105号 布里杰什·多戈尔;伊恩·海耶斯;拉里萨·梅尼基;乔治·斯特鲁斯 1 2019 同步程序代数:关于共享内存和基于事件的并发性的推理基础。 Zbl 1425.68293号 伊恩·海耶斯。;拉里萨·梅尼基。;克尔斯滕·温特;罗伯特·J·科尔文。 1 2019 用于程序构建的圆柱形Kleene晶格。 Zbl 1434.68105号 布里杰什·多戈尔;伊恩·海耶斯;拉里萨·梅尼基;乔治·斯特鲁斯 1 2019 在同步并发程序代数中编码公平性。 Zbl 1460.68028号 伊恩·海耶斯。;拉里萨·梅尼基。 1 2018 为具有并发性的广谱语言设计语义模型。 Zbl 1375.68036号 罗伯特·J·科尔文。;伊恩·海耶斯。;拉里萨·梅尼基。 5 2017 同步原子步代数。 Zbl 1427.68197号 伊恩·海耶斯。;罗伯特·J·科尔文。;拉里萨·梅尼基。;克尔斯滕·温特;安德烈乌斯·维利基斯 6 2016 带迭代的Hidden-Markov程序代数。 Zbl 1362.68052号 安娜贝拉·麦克维尔;拉里萨·梅尼基;摩根,卡罗尔 5 2015 抽象通道及其可靠的信息泄漏排序。 兹比尔1461.68081 安娜贝拉·麦克维尔;卡罗尔·摩根;杰弗里·史密斯;芭芭拉·埃斯皮诺萨;拉里萨·梅尼基 8 2014 无干扰安全的抽象:概率与可能性。 Zbl 1323.68212号 Hoang,T.S.公司。;A.K.McIver。;梅尼克,L。;C.C.摩根。;A.斯隆。;苏萨托,E。 1 2014 用于信息隐藏的Kantorovich-monadic功率域,具有概率和不确定性。 Zbl 1362.68161号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 2 2012 面向实时程序的代数。 Zbl 1364.68135号 布里杰什·多戈尔;伊恩·海耶斯。;拉里萨·梅尼基;金·索林 1 2012 概率不干扰下贝叶斯风险的合成闭包。 Zbl 1288.68024号 安娜贝拉·麦克维尔;拉里萨·梅尼基;卡罗尔·摩根 14 2010 概率程序的线性变分生成:自动支持基于证据的方法。 Zbl 1239.68020号 Joost-Pieter卡托恩;Annabelle K.McIver。;拉里萨·梅尼基。;卡罗尔·C·摩根。 13 2010 统一区分非终止和中止的编程理论。 兹比尔1286.68079 伊恩·海耶斯。;史蒂夫·邓恩。;拉里萨·梅尼基 8 2010 概率程序的精化代数。 兹比尔1183.68198 拉里萨·梅尼基;金·索林 5 2010 反应概率程序和精化代数。 Zbl 1138.68360号 洛杉矶梅尼克。;K·索林。 5 2008 精化代数中的概率选择。 Zbl 1156.68357号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 概率作用系统和while-loop的代数推理。 Zbl 1161.68014号 拉里萨·梅尼基;伊恩·海耶斯。 2 2008 持续行动系统改进。 Zbl 1235.68104号 拉里萨·梅尼基;伊恩·海耶斯。 三 2006 所有引用出版物 前5名被引用出版物 全部的 前5名87位作者引用 8 Annabelle K.McIver。 7 拉里萨·梅尼基。 6 伊恩·海耶斯。 5 Joost-Pieter卡托恩 5 卡罗尔·C·摩根。 4 马里奥·阿尔维姆。 4 康斯坦蒂诺斯·查齐科科拉基斯 4 西蒙·福斯特 4 沃尔特·古特曼 4 本杰明·卢西恩·卡明斯基 4 卡图西亚帕拉米德斯 4 金·索林 三 安娜·卡瓦尔坎蒂 三 罗伯特·J·科尔文。 三 Legay、Axel 三 克里斯托夫·马提亚 三 詹姆斯·C·P·伍德科克。 2 埃齐奥·巴托西 2 凯文·巴茨 2 Dongol,布里耶什 2 弗里德里希·格雷茨 2 黄泰善 2 尼尔斯·詹森 2 科瓦奇,劳拉·伊尔迪科 2 费德里科·奥利梅多 2 塔希里·拉贝哈加。 2 米罗斯拉夫·斯坦科维奇 2 泽达,弗兰克 1 亚瑟·阿梅里科 1 米盖尔·安德烈斯。 1 卡勒姆·班尼斯特 1 詹姆斯·巴克斯特 1 贝拉德,贝特里奇 1 法布里西奥·比昂迪 1 克里斯特尔·布劳恩 1 大卫·卡切拉 1 塞缪尔·卡纳姆 1 克里希南德·查特吉 1 陈明帅 1 德米特里五世·奇斯蒂科夫。 1 帕特里克·库索特 1 Jean-Lou de Carufel 1 朱尔斯·德沙奈斯 1 雷娜·迪米特洛娃 1 阿列克桑达尔·迪莫夫斯基。 1 马克·德拉斯 1 史蒂夫·邓恩(Steve E.Dunne)。 1 凯·恩格哈特 1 埃文格洛·奥斯特,纳索斯 1 乌里·法伦贝格 1 娜塔莎·费尔南德斯 1 伊拉·费塞费尔特 1 理查德·加纳 1 杰里米·吉本斯 1 阿米尔·卡夫什达尔·戈哈沙迪 1 萨道纳·哈马杜 1 詹·菲利普·霍夫曼 1 马文·詹森 1 弗洛里安·科勒 1 莱比尼斯·利纳斯 1 鲁帕克·马朱姆达尔 1 帕斯夸尔马拉卡里亚 1 拉维·曼格尔 1 彼得·马尔泽尔 1 托拜厄斯·梅根多夫 1 约翰·马林斯 1 诺尔,托马斯 1 诺丽,阿迪亚·维塔尔 1 亚历山德罗·奥索 1 普洛塔萨,维奥雷尔 1 代表Thomas W。 1 彼得·罗宾逊。 1 Kartik Sarangmath公司 1 马修·萨索拉斯 1 弗拉迪米罗·萨松 1 菲利普·施勒 1 安东尼·斯隆(Anthony M.Sloane)。 1 格雷姆·史密斯 1 苏萨托,E。 1 安东·塔拉修克 1 伯恩哈德·蒂勒 1 Elena A.Troubitsyna。 1 约阿金·冯·赖特 1 安德烈·索夫斯基 1 克尔斯滕·温特 1 英明生 1 朱伊凯利奇,{D} 或{d} e(电子) 全部的 前5名11篇连载文章中引用 7 计算的形式方面 4 理论计算机科学 三 信息学报 三 计算机科学中的数学结构 三 程序设计中的逻辑和代数方法杂志 2 逻辑与代数程序设计杂志 1 信息处理信件 1 计算机与系统科学杂志 1 计算机程序设计科学 1 信息与计算 1 计算机科学中的逻辑方法 全部的 前5名在7个字段中引用 55 计算机科学(68至XX) 5 信息与通信理论、电路(94-XX) 三 数学逻辑和基础(03-XX) 2 阶、格、有序代数结构(06-XX) 2 系统理论;控制(93至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 按年份列出的引文