停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

埃利·阿纳斯塔西亚迪

>主页 >珀森斯

人员信息

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/PurserA24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/PurserA24网址
大卫·帕塞,埃利·阿纳斯塔西亚迪:
SIGLOG Monthly 245:2024年1月。 ACM SIGLOG新闻 11(1):13-20(2024)
2023
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2306-16881
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-16881
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,阿德里安·弗兰卡兰扎,Anna Ingólfsdóttir女士:
通过翻译和tableaux递归的模态逻辑的复杂性结果。 CoRR公司 abs/2306.16881(2023)
2022
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/AcetoAAI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/AcetoAAI22
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,Anna Ingólfsdóttir女士:
公理化无递归的常规监控器。 J.日志。代数方法程序。 127:100778(2022)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/AcetoACI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/AcetoACI22
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士:
通过约简得到的非有限公理化结果：CSP并行组合和CCS限制。从过程代数到时间自动机到模型学习的旅程 2022:1-26
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/AcetoAAFILP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/AcetoAAFILP22
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,阿德里安·弗兰卡兰扎,Anna Ingólfsdóttir女士,卡罗琳娜·莱蒂宁,马蒂亚斯·拉加德·佩德森:
概率可监测性。系统设计原则 2022:325-342
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/丙酮AAF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/AcetoAAF22
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,阿德里安·弗兰卡兰扎:
使用回路监视超特性。复地 2022:1-10
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2209-10377
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2209-10377
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,阿德里安·弗兰卡兰扎,Anna Ingólfsdóttir女士:
递归模态逻辑翻译的复杂性。甘道夫 2022:34-48
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2202-11570
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2202-11570
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,阿德里安·弗兰卡兰扎:
用电路监测超属性。 CoRR公司 abs/2202.11570(2022)
2021
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/乙酰ACIL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AcetoACIL21
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克:
寻找失去的时间：过程代数中的公理化并行合成。许可证 2021:1-14
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2105-00735
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-00735
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克:
寻找失去的时间：过程代数中的公理化并行合成。 CoRR公司 abs/2105.00735(2021)
2020
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AcetoACILP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AcetoACILP20
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克,马蒂亚斯·拉加德·佩德森:
关于优先权III的公理化：优先权再次打击。西奥。计算。科学。 837:223-246(2020)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2006-05463
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2006-05463
卢卡·埃特罗,安东尼斯·阿奇利奥斯,埃利·阿纳斯塔西亚迪,Anna Ingólfsdóttir女士:
常规监控器上的判决等价公理化。 CoRR公司 abs/2006.05463(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c1】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/AcetoACIP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/AcetoACIP19
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,马蒂亚斯·拉加德·佩德森:
论优先权III的公理化：顺序写作的回归。信息通信与通信系统 2019:145-157
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-05529
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-05529
埃利·阿纳斯塔西亚迪,安东尼斯·安东诺普洛斯,阿里斯·帕古尔茨,斯塔夫罗斯·佩萨拉基斯:
参数化细粒还原。 CoRR公司腹肌/1902.05529(2019)

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。