编辑配置文件（在新选项卡中打开） Ingólfsdóttir，安娜 合著者距离 作者ID： ingolfsdottir.anna公司 发布日期： Ingólfsdóttir，安娜；安娜·英格尔夫斯多蒂；Ingólfsdóttir，A。；Anna Ingólfssdóttir，安娜；Ingolfsdottir，A。 更多。。。较少的 主页： https://en.ru.is/the-university/faculty-and-staff/annai网站 外部链接： MGP公司·逆戟鲸·维基数据·谷歌学者·数据库许可证·接地·ID参考 已编制索引的文档： 116出版物自1990年以来，包括1本书 作为编辑的10份贡献 合著者： 66位合著者具有122联合出版物 1612联合作者 全部的 前5名合著者 三 单作者的 112 卢卡·埃特罗 22 威廉·扬·福克金 12 阿德里安·弗兰卡兰扎 11 巴斯·卢提克 9 安东尼斯·阿奇利奥斯 9 艾西克，佐尔坦 9 伊格纳西奥·法布雷加斯 9 米歇尔·阿德里安 7 戴维·德·弗鲁托斯·埃斯克里格 7 欧根·伊安·戈里亚克 6 马蒂奥·奇米尼 6 卡洛斯·格雷戈里奥·罗德里格斯 5 埃利·阿纳斯塔西亚迪 5 瓦伦蒂娜·卡斯蒂格利奥尼 5 黛拉·莫妮卡，达里奥 4 阿尔瓦罗·加西亚·佩雷斯 4 马蒂亚斯·拉加德·佩德森 4 约书亚·萨克 三 阿纳尔·比吉森 三 伊恩·卡萨尔 三 陈、陶璐 三 轩尼诗，Matthew C.B。 三 Angelo蒙塔纳里 三 穆罕默德·穆萨维 三 圭多·西亚维科 2 乔治亚娜·卡尔泰斯 2 西尔维奥·卡波比安科 2 伊万·比杰尔·达姆加德 2 莱斯利·安·戈德伯格 2 马格努斯·马尔·哈尔森 2 克雅坦松，Svarrn 2 卡罗琳娜·莱赫蒂宁 2 苏米特·奈恩 2 尤兰达奥尔特加购物中心 2 米盖尔·帕洛米诺 2 吉·斯尔巴 2 范格拉贝克、罗伯特·扬 2 伊戈尔·瓦卢基维奇 1 乔治·巴奇 1 乔瓦尼·巴奇 1 Jos C.M.Baeten。 1 阿诺德·卡拉约尔 1 瓦伦丁·F·戈兰科。 1 丹尼尔·古德贾特森 1 凯伦·哈维格 1 Lone Halkjaer公司 1 詹斯·汉森（Jens A.Hansen）。 1 汉斯·休特尔 1 雅各布·约翰森 1 约什瓦·克莱斯特 1 约翰·努森 1 金·古德斯特兰·拉森 1 Legay、Axel 1 保罗·布莱恩·利维 1 林惠民 1 拉杜·马达尔 1 巴德·米什拉 1 乌韦州内斯特曼 1 米克尔·莱克·佩德森 1 鲍尔森，Jan 1 科拉多·普里亚米 1 克里斯蒂安·普里萨卡里奥 1 罗萨里奥·普格利泽 1 汉内·里斯·尼尔森 1 Steffen，伯恩哈德 1 范德波尔，扬·科内利斯 全部的 前5名系列 14 理论计算机科学 7 信息处理信件 7 信息与计算 6 程序设计中的逻辑和代数方法杂志 5 计算机科学课堂讲稿 4 MSCS公司。计算机科学中的数学结构 4 欧洲理论计算机科学协会公报 三 信息学报 三 RAIRO公司。理论信息学及其应用 三 逻辑与代数程序设计杂志 三 计算机科学中的逻辑方法 2 ACM计算逻辑汇刊 1 控制论学报 1 计算机程序设计科学 1 计算的形式方面 1 系统设计中的形式化方法 1 计算机基础理论 全部的 前5名领域 120 计算机科学（68至XX） 44 数理逻辑与基础（03-XX） 9 总体主题；集合（00-XX） 7 一般代数系统（08-XX） 三 结合环与代数（16-XX） 三 生物学和其他自然科学（92-XX） 1 历史和传记（01-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 87出版物有被引用484中的次269文件 引用人▼ 年份▼ 无功系统。建模、规范和验证。 Zbl 1141.68043号 卢卡·埃特罗；Ingólfsdóttir，安娜；Larsen，Kim G。；吉·斯尔巴 54 2007 发散过程的特征公式。 Zbl 0804.68097号 Steffen，伯恩哈德；Ingólfsdóttir，安娜 24 1994 用价值传递传递过程的理论。 Zbl 0794.68098号 轩尼诗，M。；Ingólfsdóttir，A。 23 1993 公理化前缀迭代和静默步骤。 Zbl 0855.68030号 卢卡·埃特罗；罗布·范格拉贝克；Wan Fokkink公司；Ingólfsdóttir，安娜 17 1996 概率双相似性的等式公理。 Zbl 1275.68099号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 16 2002 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 兹比尔1370.68203 阿德里安·弗兰卡兰扎；卢卡·埃特罗；安娜·英格尔夫斯多蒂 16 2017 过程代数中的有限方程基础：结果和开放问题。 Zbl 1171.68558号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；巴斯·卢提克 15 2005 紧凑型GSOS语言的CPO模型。 Zbl 1096.68623号 卢卡·埃特罗；Ingólfsdóttir，安娜 13 1996 BPA*上的一系列基于非有限的流程语义–从就绪模拟到完成的跟踪。 Zbl 0917.68138号 卢卡·埃特罗；Wan Fokkink公司；Anna Ingólfssdóttir，安娜 11 1998 准备预订：免费获取BCCSP公理化！ Zbl 1214.68239号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 11 2007 具有左合并和通信合并的CCS有限方程组。 Zbl 1367.68207号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；巴斯·卢提克 11 2009 CCS与轩尼诗的合并没有有限等式公理化。 兹比尔1078.68102 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜；巴斯·卢提克 10 2005 价值传递过程的符号方法。 Zbl 1027.68092号 Ingólfsdóttir，安娜；林惠民 10 2001 有限树上的嵌套语义相当困难。 Zbl 1101.68690号 卢卡·埃特罗；Wan Fokkink公司；罗布·范格拉贝克；Ingólfsdóttir，安娜 10 2004 提升非有限公理化性的结果是过程代数的扩张。 Zbl 1186.68313号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维 9 2010 参数化监控框架。 Zbl 1504.68136号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 9 2018 艾伦关系区间逻辑表现力的一个完整分类：一般情况和稠密情况。 Zbl 1339.03018号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 9 2016 自然数的max-plus代数没有有限的方程式基础。 Zbl 1021.08001号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 8 2003 定点语义的特征公式：一个通用框架。 Zbl 1279.68181号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；保罗·布莱恩·利维；约书亚·萨克 8 2012 通过抑制在运行时强制执行。 兹比尔1520.68069 卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 8 2018 通过价值传递和分配沟通流程。 Zbl 0784.68055号 轩尼诗，M。；Ingólfsdóttir，A。 7 1993 双相似性算法。 Zbl 1285.68101号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；吉尔·斯尔巴 7 2012 关于确定监控器的复杂性。 Zbl 1489.68149号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜；克雅坦松，Svarrn 7 2017 具有中断的BPA上的双相似性不是有限的。 Zbl 1154.68084号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；苏米特·奈恩 6 2006 帕里赫定理的完全等式证明。 Zbl 1024.68070号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 6 2002 使用递归测试Hennessy-Milner逻辑。 Zbl 0932.03026号 卢卡·埃特罗；Ingólfsdóttir，安娜 6 1999 前缀迭代观测同余的等式公理化。 Zbl 0886.03031号 卢卡·埃特罗；Ingólfsdóttir，安娜 6 1996 监视无声操作。 Zbl 1491.68104号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 6 2018 关于优先权的公理化。 Zbl 1141.68042号 卢卡·埃特罗；陈、陶璐；Wan Fokkink公司；安娜·英格尔夫斯多蒂 6 2008 关于优先权的公理化。 Zbl 1134.68038号 卢卡·埃特罗；陈、陶璐；Wan Fokkink公司；安娜·英格尔夫斯多蒂 5 2006 热带半环的等式理论。 Zbl 1021.08002号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 5 2003 决定论和幂等性的规则格式。 Zbl 1274.68060号 卢卡·埃特罗；阿纳尔·比吉森；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 5 2010 单位元素的规则格式。 Zbl 1274.68169号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 5 2010 资源相似性和分级相似性是一致的。 Zbl 1260.68251号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；约书亚·萨克 5 2010 关于自然数极大和代数方程理论的二元片段。 Zbl 0955.08004号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 5 2000 定时自动调节的特征公式。 Zbl 0974.68121号 卢卡·埃特罗；Ingólfsdóttir，安娜；米克尔·莱克·佩德森；鲍尔森，Jan 5 2000 使用递归确定HML的监控器。 Zbl 1494.68155号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜；克雅坦松，Svarrn 4 2020 在双向运行时强制上。 Zbl 1489.68135号 卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 4 2021 协变-逆变模态公式的图形表示。 Zbl 1457.68175号 卢卡·埃特罗；伊格纳西奥·法布雷加斯；戴维·德·弗鲁托斯·埃斯克里格；Ingólfsdóttir，安娜；米盖尔·帕洛米诺 4 2011 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 Zbl 1432.03027号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 4 2014 关于a.Salomaa的一个问题，单字母表上正则表达式的等式理论并不是以有限为基础的。 Zbl 0915.68117号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 4 1998 获得并行组合的有限公理化是否需要两个二进制运算符？ Zbl 1508.68239号 卢卡·埃特罗；瓦伦蒂娜·卡斯蒂格利奥尼；Wan Fokkink公司；Ingólfsdóttir，安娜；巴斯·卢提克 三 2022 观测先验的完全抽象指称模型。 Zbl 0972.68121号 Ingólfsdóttir，A。；A.沙尔克。 三 2001 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗；阿纳尔·比吉森；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2012 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂；穆罕默德·礼萨穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2011 计算系统生物学汇刊VII。 Zbl 1136.92300号 三 2006 一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 Zbl 1454.68071号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂 三 2010 有限互模拟的特征。 兹比尔1337.68177 卢卡·埃特罗；Ingólfsdóttir，安娜 三 1997 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂；穆罕默德·礼萨穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2010 素数公式何时具有特征？ Zbl 1425.68245号 丙酮，L。；黛拉·莫妮卡，D。；Fábregas，I。；Ingólfsdóttir，A。 三 2015 具有中断的BPA上的双相似性不是有限的。 Zbl 1151.68499号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；苏米特·奈恩 2 2005 2嵌套模拟不是有限的等式可公理化的。 Zbl 0976.68111号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 2 2001 具有发散性的基本CCS上的相似性方程理论。 Zbl 1191.68425号 卢卡·埃特罗；西尔维奥·卡波比安科；安娜·英格尔夫斯多蒂；巴斯·卢提克 2 2008 枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 Zbl 1433.03019号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 2 2013 在BCCSP上公理化弱就绪模拟语义。 兹比尔1351.68177 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 2 2011 完整和现成的模拟语义并不是基于BCCSP的有限性，即使使用单一字母表也是如此。 Zbl 1260.68252号 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 2 2011 关于优先权的公理化。二、。 Zbl 1216.68181号 卢卡·埃特罗；陈、陶璐；安娜·英格尔夫斯多蒂；巴斯·卢提克；范德波尔（Jaco van de Pol） 2 2011 在BCCSP上公理化弱模拟语义。 Zbl 1359.68183号 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 2 2014 平行组合公理化的传奇。 Zbl 1151.68500号 卢卡·埃特罗；安娜·英格尔夫斯多蒂 2 2007 后期和早期语义在测试中是一致的。 Zbl 0873.68128号 Ingólfsdóttir，安娜 2 1995 一种通过价值传递来沟通过程的理论。 Zbl 0765.68105号 轩尼诗，M。；Ingólfsdóttir，A。 2 1990 关于优先权的公理化。三： 优先权再次罢工。 Zbl 1452.68124号 卢卡·埃特罗；埃利·阿纳斯塔西亚迪；瓦伦蒂娜·卡斯蒂格利奥尼；Ingólfsdóttir，安娜；巴斯·卢提克；马蒂亚斯·拉加德·佩德森 2 2020 定时CCS方程理论的不可能结果。 Zbl 1214.68240号 卢卡·埃特罗；Ingólfsdóttir，安娜；穆罕默德·雷扎·穆萨维 2 2007 定点语义的特征公式：一个通用框架。 Zbl 1456.68092号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；约书亚·萨克 2 2009 输入输出一致性模拟的逻辑特征和组成。 Zbl 1433.68090号 卢卡·埃特罗；伊格纳西奥·法布雷加斯；卡洛斯·格雷戈里奥·罗德里格斯；Ingólfsdóttir，安娜 2 2017 关于平行组合的公理化：光谱中的旅程。 兹伯利07559474 卢卡·埃特罗；瓦伦蒂娜·卡斯蒂格利奥尼；Ingólfsdóttir，安娜；巴斯·卢提克；马蒂亚斯·拉加德·佩德森 2 2020 具有左合并和通信合并的CCS有限方程组。 Zbl 1134.68039号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；巴斯·卢提克 1 2006 公理化热带半环。 Zbl 0978.16045号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 1 2001 关于优先权的可表达性。 Zbl 1191.68404号 卢卡·埃特罗；安娜·英格尔夫斯多蒂 1 2009 幂等项和幂等一元运算符的SOS规则格式。 Zbl 1302.68181号 卢卡·埃特罗；欧根·伊安·戈里亚克；Ingólfsdóttir，安娜 1 2013 代数同步树和进程。 Zbl 1318.68118号 卢卡·埃特罗；阿诺德·卡拉约尔；艾西克，佐尔坦；Ingólfsdóttir，安娜 1 2012 BCCSP上弱完全模拟语义的等式理论。 Zbl 1298.68161号 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；Ingólfsdóttir，安娜 1 2012 相关模态细化、协变-逆变模拟和部分互模拟。 兹比尔1353.68192 卢卡·埃特罗；伊格纳西奥·法布雷加斯；戴维·德·弗鲁托斯·埃斯克里格；Ingólfsdóttir，安娜；米盖尔·帕洛米诺 1 2012 零元素和单位元素的SOS规则格式。 Zbl 1216.68152号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂；穆罕默德·礼萨，穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 1 2011 BCCSP的一个对消定理。 Zbl 1154.68445号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂 1 2008 特征公式：从自动机到逻辑。 Zbl 1169.68497号 卢卡·埃特罗；安娜·英格尔夫斯多蒂 1 2007 结构操作语义中有界不确定性的规则格式。 Zbl 1474.68184号 卢卡·埃特罗；阿尔瓦罗·加西亚·佩雷斯；Ingólfsdóttir，安娜 1 2016 面向并发值传递语言的验证延迟实现（抽象）。 Zbl 0966.68032号 Ingólfsdóttir，安娜；罗萨里奥·普格利泽 1 1999 使用Uppaal验证legOS调度程序。 Zbl 0970.68035号 Lone Halkjaer公司；凯伦·哈维格；安娜·英格尔夫斯多蒂 1 2000 代数性质免费！ Zbl 1188.68200号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 1 2009 自动化、语言和编程。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。 Zbl 1141.68001号 1 2008 标称过程计算的规则格式。 Zbl 1442.68120号 卢卡·埃特罗；伊格纳西奥·法布雷加斯；阿尔瓦罗·加西亚·佩雷斯；Ingólfsdóttir，安娜；尤兰达奥尔特加购物中心 1 2017 识别特征公式的复杂性。 Zbl 1433.68163号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 1 2020 素数公式的特征是什么时候？ Zbl 1425.68246号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；伊格纳西奥·法布雷加斯；Ingólfsdóttir，安娜 1 2019 SOS中有界不确定性的统一规则格式，以术语作为标签。 Zbl 1373.68285号 丙酮，L。；Fábregas，I。；加西亚·佩雷斯，a。；Ingólfsdóttir，A。 1 2017 库克的前缀迭代方程公理化之旅。 Zbl 0901.03027号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 1 1998 Meta SOS–基于Maude的SOS元理论框架。 Zbl 1464.68189号 卢卡·埃特罗；欧根·伊安·戈里亚克；安娜·英格尔夫斯多蒂 1 2013 获得并行组合的有限公理化是否需要两个二进制运算符？ Zbl 1508.68239号 卢卡·埃特罗；瓦伦蒂娜·卡斯蒂格利奥尼；Wan Fokkink公司；Ingólfsdóttir，安娜；巴斯·卢提克 三 2022 在双向运行时强制上。 Zbl 1489.68135号 卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 4 2021 使用递归确定HML的监控器。 Zbl 1494.68155号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜；克雅坦松，Svarrn 4 2020 关于优先权的公理化。三： 优先权再次罢工。 Zbl 1452.68124号 卢卡·埃特罗；埃利·阿纳斯塔西亚迪；瓦伦蒂娜·卡斯蒂格利奥尼；Ingólfsdóttir，安娜；巴斯·卢提克；马蒂亚斯·拉加德·佩德森 2 2020 关于平行组合的公理化：光谱中的旅程。 兹伯利07559474 卢卡·埃特罗；瓦伦蒂娜·卡斯蒂格利奥尼；Ingólfsdóttir，安娜；巴斯·卢提克；马蒂亚斯·拉加德·佩德森 2 2020 识别特征公式的复杂性。 Zbl 1433.68163号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 1 2020 素数公式的特征是什么时候？ 兹比尔1425.68246 卢卡·埃特罗；黛拉·莫妮卡，达里奥；伊格纳西奥·法布雷加斯；Ingólfsdóttir，安娜 1 2019 参数化监控框架。 Zbl 1504.68136号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 9 2018 通过抑制在运行时强制执行。 Zbl 1520.68069号 卢卡·埃特罗；伊恩·卡萨尔；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 8 2018 监视无声操作。 Zbl 1491.68104号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜 6 2018 具有递归功能的轩尼诗-米尔纳逻辑的可监控性。 兹比尔1370.68203 阿德里安·弗兰卡兰扎；卢卡·埃特罗；安娜·英格尔夫斯多蒂 16 2017 关于确定监控器的复杂性。 Zbl 1489.68149号 卢卡·埃特罗；安东尼斯·阿奇利奥斯；阿德里安·弗兰卡兰扎；Ingólfsdóttir，安娜；克雅坦松，Svarrn 7 2017 输入输出一致性模拟的逻辑特征和组成。 Zbl 1433.68090号 卢卡·埃特罗；伊格纳西奥·法布雷加斯；卡洛斯·格雷戈里奥·罗德里格斯；Ingólfsdóttir，安娜 2 2017 标称过程计算的规则格式。 Zbl 1442.68120号 卢卡·埃特罗；伊格纳西奥·法布雷加斯；阿尔瓦罗·加西亚·佩雷斯；Ingólfsdóttir，安娜；尤兰达奥尔特加购物中心 1 2017 SOS中有界不确定性的统一规则格式，以术语作为标签。 Zbl 1373.68285号 丙酮，L。；Fábregas，I。；加西亚·佩雷斯，a。；Ingólfsdóttir，A。 1 2017 艾伦关系区间逻辑表达的完整分类：一般情况和密集情况。 Zbl 1339.03018号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；瓦伦丁·戈兰科；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 9 2016 结构操作语义中有界不确定性的规则格式。 Zbl 1474.68184号 卢卡·埃特罗；阿尔瓦罗·加西亚·佩雷斯；Ingólfsdóttir，安娜 1 2016 素数公式的特征是什么时候？ Zbl 1425.68245号 丙酮，L。；黛拉·莫妮卡，D。；Fábregas，I。；Ingólfsdóttir，A。 三 2015 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 Zbl 1432.03027号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 4 2014 在BCCSP上公理化弱模拟语义。 Zbl 1359.68183号 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 2 2014 枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 Zbl 1433.03019号 卢卡·埃特罗；黛拉·莫妮卡，达里奥；Ingólfsdóttir，安娜；Angelo蒙塔纳里；圭多·西亚维科 2 2013 幂等项和幂等一元运算符的SOS规则格式。 Zbl 1302.68181号 卢卡·埃特罗；欧根·伊安·戈里亚克；Ingólfsdóttir，安娜 1 2013 Meta SOS–基于Maude的SOS元理论框架。 Zbl 1464.68189号 卢卡·埃特罗；欧根·伊安·戈里亚克；安娜·英格尔夫斯多蒂 1 2013 定点语义的特征公式：一个通用框架。 Zbl 1279.68181号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；保罗·布莱恩·利维；约书亚·萨克 8 2012 双相似性算法。 Zbl 1285.68101号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；吉尔·斯尔巴 7 2012 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗；阿纳尔·比吉森；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2012 代数同步树和进程。 Zbl 1318.68118号 卢卡·埃特罗；阿诺德·卡拉约尔；艾西克，佐尔坦；Ingólfsdóttir，安娜 1 2012 BCCSP上弱完全模拟语义的等式理论。 Zbl 1298.68161号 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；Ingólfsdóttir，安娜 1 2012 相关模态细化、协变-逆变模拟和部分互模拟。 Zbl 1353.68192号 卢卡·埃特罗；伊格纳西奥·法布雷加斯；戴维·德·弗鲁托斯·埃斯克里格；Ingólfsdóttir，安娜；米盖尔·帕洛米诺 1 2012 协变-逆变模态公式的图形表示。 兹比尔1457.68175 卢卡·埃特罗；伊格纳西奥·法布雷加斯；戴维·德·弗鲁托斯·埃斯克里格；Ingólfsdóttir，安娜；米盖尔·帕洛米诺 4 2011 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂；穆罕默德·礼萨穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2011 在BCCSP上公理化弱就绪模拟语义。 兹比尔1351.68177 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 2 2011 完整和现成的模拟语义并不是基于BCCSP的有限性，即使使用单一字母表也是如此。 Zbl 1260.68252号 卢卡·埃特罗；戴维·德·弗鲁托斯·埃斯克里格；卡洛斯·格雷戈里奥·罗德里格斯；安娜·英格尔夫斯多蒂 2 2011 关于优先权的公理化。二、。 Zbl 1216.68181号 卢卡·埃特罗；陈、陶璐；安娜·英格尔夫斯多蒂；巴斯·卢提克；范德波尔（Jaco van de Pol） 2 2011 零元素和单位元素的SOS规则格式。 兹比尔1216.68152 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 1 2011 提升非有限公理化性的结果是过程代数的扩张。 Zbl 1186.68313号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维 9 2010 决定论和幂等性的规则格式。 Zbl 1274.68060号 卢卡·埃特罗；阿纳尔·比吉森；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 5 2010 单位元素的规则格式。 Zbl 1274.68169号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 5 2010 资源相似性和分级相似性是一致的。 Zbl 1260.68251号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；约书亚·萨克 5 2010 一种基于互模拟的方法，用于证明GSOS语言中方程的有效性。 Zbl 1454.68071号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂 三 2010 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗；马蒂奥·奇米尼；安娜·英格尔夫斯多蒂；穆罕默德·礼萨穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 三 2010 具有左合并和通信合并的CCS有限方程组。 Zbl 1367.68207号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；巴斯·卢提克 11 2009 定点语义的特征公式：一个通用框架。 Zbl 1456.68092号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；约书亚·萨克 2 2009 关于优先权的可表达性。 Zbl 1191.68404号 卢卡·埃特罗；安娜·英格尔夫斯多蒂 1 2009 代数性质免费！ Zbl 1188.68200号 卢卡·埃特罗；安娜·英格尔夫斯多蒂；穆罕默德·雷扎·穆萨维；米歇尔·雷尼尔斯（Michel A.Reniers）。 1 2009 关于优先权的公理化。 Zbl 1141.68042号 卢卡·埃特罗；陈、陶璐；Wan Fokkink公司；安娜·英格尔夫斯多蒂 6 2008 具有发散性的基本CCS上的相似性方程理论。 Zbl 1191.68425号 卢卡·埃特罗；西尔维奥·卡波比安科；安娜·英格尔夫斯多蒂；巴斯·卢提克 2 2008 BCCSP的一个对消定理。 Zbl 1154.68445号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂 1 2008 自动化、语言和编程。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。 Zbl 1141.68001号 1 2008 无功系统。建模、规范和验证。 Zbl 1141.68043号 卢卡·埃特罗；Ingólfsdóttir，安娜；Larsen，Kim G。；吉·斯尔巴 54 2007 准备预订：免费获取BCCSP公理化！ Zbl 1214.68239号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 11 2007 平行组合公理化的传奇。 Zbl 1151.68500号 卢卡·埃特罗；安娜·英格尔夫斯多蒂 2 2007 定时CCS方程理论的不可能结果。 Zbl 1214.68240号 卢卡·埃特罗；Ingólfsdóttir，安娜；穆罕默德·礼萨，穆萨维 2 2007 特征公式：从自动机到逻辑。 Zbl 1169.68497号 卢卡·埃特罗；安娜·英格尔夫斯多蒂 1 2007 具有中断的BPA上的双相似性不是有限的。 Zbl 1154.68084号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；苏米特·奈恩 6 2006 关于优先权的公理化。 Zbl 1134.68038号 卢卡·埃特罗；陈、陶璐；Wan Fokkink公司；安娜·英格尔夫斯多蒂 5 2006 计算系统生物学汇刊VII。 兹比尔1136.92300 三 2006 具有左合并和通信合并的CCS有限方程组。 Zbl 1134.68039号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；巴斯·卢提克 1 2006 过程代数中的有限方程基础：结果和开放问题。 Zbl 1171.68558号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；巴斯·卢提克 15 2005 CCS与轩尼诗的合并没有有限等式公理化。 兹比尔1078.68102 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜；巴斯·卢提克 10 2005 具有中断的BPA上的双相似性不是有限的。 Zbl 1151.68499号 卢卡·埃特罗；Wan Fokkink公司；安娜·英格尔夫斯多蒂；苏米特·奈恩 2 2005 有限树上的嵌套语义相当困难。 Zbl 1101.68690号 卢卡·埃特罗；Wan Fokkink公司；罗布·范格拉贝克；Ingólfsdóttir，安娜 10 2004 自然数的max-plus代数没有有限的方程式基础。 Zbl 1021.08001号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 8 2003 热带半环的等式理论。 Zbl 1021.08002号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 5 2003 概率双相似性的等式公理。 Zbl 1275.68099号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 16 2002 帕里赫定理的完全等式证明。 Zbl 1024.68070号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 6 2002 价值传递过程的符号方法。 Zbl 1027.68092号 Ingólfsdóttir，安娜；林惠民 10 2001 观测先验的完全抽象指称模型。 Zbl 0972.68121号 Ingólfsdóttir，A。；A.沙尔克。 三 2001 2嵌套模拟不是有限的等式可公理化的。 Zbl 0976.68111号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 2 2001 公理化热带半环。 Zbl 0978.16045号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 1 2001 关于自然数极大和代数方程理论的二元片段。 Zbl 0955.08004号 卢卡·埃特罗；艾西克，佐尔坦；Ingólfsdóttir，安娜 5 2000 定时自动调节的特征公式。 Zbl 0974.68121号 卢卡·埃特罗；Ingólfsdóttir，安娜；米克尔·莱克·佩德森；鲍尔森，Jan 5 2000 使用Uppaal验证legOS调度程序。 Zbl 0970.68035号 Lone Halkjaer公司；凯伦·哈维格；安娜·英格尔夫斯多蒂 1 2000 用递归测试Hennessy-Milner逻辑。 Zbl 0932.03026号 卢卡·埃特罗；Ingólfsdóttir，安娜 6 1999 面向并发值传递语言的验证延迟实现（抽象）。 Zbl 0966.68032号 Ingólfsdóttir，安娜；罗萨里奥·普格利泽 1 1999 BPA*上的一系列基于非有限的流程语义–从就绪模拟到完成的跟踪。 Zbl 0917.68138号 卢卡·埃特罗；Wan Fokkink公司；Anna Ingólfssdóttir，安娜 11 1998 关于a.Salomaa的一个问题单例字母表上正则表达式的等式理论不是有限的。 Zbl 0915.68117号 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 4 1998 库克的前缀迭代方程公理化之旅。 兹伯利0901.03027 卢卡·埃特罗；Wan Fokkink公司；Ingólfsdóttir，安娜 1 1998 有限互模拟的特征。 Zbl 1337.68177号 卢卡·埃特罗；Ingólfsdóttir，安娜 三 1997 无提示步骤的公理化前缀迭代。 Zbl 0855.68030号 卢卡·埃特罗；罗布·范格拉贝克；Wan Fokkink公司；Ingólfsdóttir，安娜 17 1996 紧凑型GSOS语言的CPO模型。 Zbl 1096.68623号 卢卡·埃特罗；Ingólfsdóttir，安娜 13 1996 前缀迭代观测同余的等式公理化。 Zbl 0886.03031号 卢卡·埃特罗；Ingólfsdóttir，安娜 6 1996 后期和早期语义在测试中是一致的。 Zbl 0873.68128号 Ingólfsdóttir，安娜 2 1995 发散过程的特征公式。 Zbl 0804.68097号 Steffen，伯恩哈德；Ingólfsdóttir，安娜 24 1994 用价值传递传递过程的理论。 Zbl 0794.68098号 轩尼诗，M。；Ingólfsdóttir，A。 23 1993 通过价值传递和分配沟通流程。 Zbl 0784.68055号 轩尼诗，M。；Ingólfsdóttir，A。 7 1993 一种通过价值传递来沟通过程的理论。 Zbl 0765.68105号 轩尼诗，M。；Ingólfsdóttir，A。 2 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名359位作者引用 54 卢卡·埃特罗 50 Ingólfsdóttir，安娜 16 阿德里安·弗兰卡兰扎 15 威廉·扬·福克金 13 金·古德斯特兰·拉森 11 艾西克，佐尔坦 11 卡洛斯·格雷戈里奥·罗德里格斯 11 巴斯·卢提克 9 戴维·德·弗鲁托斯·埃斯克里格 7 安东尼斯·阿奇利奥斯 7 乌里·法伦贝格 7 圭多·西亚维科 6 埃利·阿纳斯塔西亚迪 6 瓦伦蒂娜·卡斯蒂格利奥尼 6 陈、陶璐 6 黛拉·莫妮卡，达里奥 6 伊格纳西奥·法布雷加斯 6 伏玉溪 6 拉杜·马达尔 6 范格拉贝克、罗伯特·扬 5 马蒂奥·奇米尼 5 邓玉欣 5 轩尼诗，Matthew C.B。 5 米歇尔·阿德里安 4 曹永志 4 伊恩·卡萨尔 4 米罗斯拉夫·奇·伊里奇。 4 Legay、Axel 4 杰拉尔德·吕特根 4 马蒂亚斯·拉加德·佩德森 4 阿尔班·蓬塞 4 伊雷克·乌利多夫斯基 三 阿米拉萨拉尼 三 菲利波·邦奇 三 洛科·德尼古拉 三 阿尔瓦罗·加西亚·佩雷斯 三 沙班·加兰达扎德 三 罗伯托·戈里埃里 三 伊格尼亚托维奇（Jelena Ignjatović） 三 塞迪赫·贾姆希德旺德 三 安东尼·库塞拉 三 安娜·拉布拉 三 Angelo蒙塔纳里 三 埃米利奥·穆尼奥斯·韦拉斯科 三 奥利亚·法特姆 三 米盖尔·帕洛米诺 三 罗萨里奥·普格利泽 三 Steffen，伯恩哈德 三 薛冰田 三 Ying，明生 三 张金金 三 张燕 三 朱兆辉 2 乔治·巴奇 2 乔瓦尼·巴奇 2 巴博萨、路易斯·索亚雷斯 2 埃齐奥·巴托西 2 巴西奇，米兰 2 Jan A.Bergstra。 2 斯蒂芬·布鲁姆。 2 马塞洛·玛丽亚·邦桑格 2 帕特里夏·鲍耶 2 大卫·布雷索林 2 威廉·康拉迪 2 弗拉维奥·科拉迪尼 2 辛尼沙·克文科维奇 2 Nada Damljanović 2 伊戈尔·多林卡 2 哈维尔·埃斯帕尔扎 2 伊利耶斯·法尔科内 2 冯、袁 2 休伯特·加拉维 2 马西耶·加兹达。 2 欧根·伊安·戈里亚克 2 Jan Friso，格鲁特 2 罗尔夫·亨尼克 2 彼得·霍夫纳 2 马塞尔·杰克逊。 2 彼得·扬查尔 2 伊万娜·扬契奇 2 斯特凡·基弗 2 简·Křetínsk 2 Sr Djan Krstić 2 弗朗索瓦·拉鲁西尼 2 乔瓦娜·珍妮特·拉瓦多 2 保罗·布莱恩·利维 2 迈克尔·卢滕伯格 2 亚历山大·马德拉 2 马丁斯（Manuel António Martins） 2 迈克尔·门德勒 2 斯特凡·米利厄斯 2 穆罕默德·穆萨维 2 苏米特·奈恩 2 R.D.尼古拉。 2 尤兰达奥尔特加购物中心 2 潘海宇 2 伊恩·菲利普斯。 2 乔瓦尼·皮奇奇尼 2 任妙妙 2 简·J·M·M·鲁顿。 …还有259名作者 全部的 前5名42篇连载文章中引用 49 理论计算机科学 24 信息与计算 15 程序设计中的逻辑和代数方法杂志 11 信息学报 11 计算机科学中的逻辑方法 9 MSCS公司。计算机科学中的数学结构 9 逻辑与代数程序设计杂志 7 计算的形式方面 5 信息处理信件 5 系统设计中的形式化方法 4 纯逻辑与应用逻辑年鉴 三 模糊集与系统 三 代数杂志 三 软计算 三 RAIRO公司。理论信息学及其应用 2 人工智能 2 计算机程序设计科学 2 国际近似推理杂志 2 应用非经典逻辑杂志 2 数学与人工智能年鉴 2 ACM计算逻辑汇刊 2 数学科学 1 代数通讯 1 信息科学 1 计算机与系统科学杂志 1 半群论坛 1 Studia Logica公司 1 逻辑科公报 1 自动推理杂志 1 模式识别 1 分布式计算 1 控制论与系统分析 1 逻辑、语言与信息杂志 1 菲洛马 1 组合数学电子杂志 1 新物理学杂志 1 计算机基础理论 1 计算机语言、系统和结构 1 代数杂志及其应用 1 应用逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 符号逻辑述评 全部的 前5名18个领域被引用 249 计算机科学（68至XX） 86 数理逻辑与基础（03-XX） 12 结合环与代数（16-XX） 11 范畴理论；同调代数（18-XX） 9 一般代数系统（08-XX） 6 线性代数和多线性代数；矩阵理论（15-XX） 4 概率论与随机过程（60-XX） 三 阶、格、有序代数结构（06-XX） 三 群论与推广（20-XX） 三 数值分析（65-XX） 三 量子理论（81-XX） 2 组合数学（05-XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 场论与多项式（12-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.