停止战争！

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

对于科学家：

默认搜索操作

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

问别人

兰科·拉齐奇0001

兰科·S·拉齐奇

>主页 >珀森斯

人员信息

附属： 英国考文垂华威大学

其他同名人员

请参阅常见问题解答

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic23
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 10(1):23(2023)
[公元48年]
- 看法
  - 电子版@nips.cc（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/nips/0001E023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nips/0001E023
德米特里·奇斯蒂科夫,马蒂亚斯·恩格勒,兰科·拉齐奇:
通过浅ReLU网络学习神经元：相关输入的动力学和内隐偏差。 NeurIPS公司 2023
[i20]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2306-06479
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-06479
德米特里·奇斯蒂科夫,马蒂亚斯·恩格勒,兰科·拉齐奇:
通过浅ReLU网络学习神经元：相关输入的动力学和内隐偏差。 CoRR公司 abs/2306.06479(2023)
2022
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic22
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 9(1):5(2022)
[j35]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic22a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic22a
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 9(4):26(2022)
[公元47年]
- 看法
  - 电子版@nips.cc（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/nips/Englert022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nips/Englert022
马蒂亚斯·恩格勒,兰科·拉齐奇:
对手重新编程。 NeurIPS公司 2022
[i19]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2206-03466
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-03466
马蒂亚斯·恩格勒,兰科·拉齐奇:
对手重新编程。 CoRR公司 abs/2206.03466(2022)
2021
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/LazicS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/LazicS21
兰科·拉齐奇,西尔万·施密茨:
拉科夫覆盖技术的理想观点。 Inf.计算。 277:104582(2021)
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/EnglertHLLLS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/EnglertHLLLS21
马蒂亚斯·恩格勒,彼得罗·霍夫曼,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,朱利叶斯·斯特拉辛斯基:
非循环下推VAS中覆盖性问题的下限。信息处理。莱特。 167:106079(2021)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/CzerwinskiLLLM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/CzerwinskiLLLM21
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,菲利普·马佐维耶基:
Petri网的可达性问题不是初等的。美国临床医学杂志 68(1):7:1-7:28(2021)
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jacm/BlondinEFGHLMT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jacm/BlondinEFGHLMT21
迈克尔·布隆丁,马蒂亚斯·恩格勒,阿兰·芬克尔,斯特凡·格勒,克里斯托夫·哈斯,兰科·拉齐奇,皮埃尔·麦肯齐,帕特里克·托茨克:
具有状态的二维向量加法系统的可达性问题。美国临床医学杂志 68(5):34:1-34:43(2021)
【j30】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/DaviaudJLMP021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/DaviaudJLMP021
劳雷·达维奥德,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,菲利普·马佐维耶基,吉列尔莫·A·佩雷斯,詹姆斯·沃雷尔:
概率自动机的空性和包含性何时可以判定？ J.计算。系统。科学。 119:78-96(2021)
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic21
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 8(2):三(2021)
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic21a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic21a
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 8(三):5(2021)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic21b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic21b
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 8(4):三(2021)
[公元46年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DixonLMW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DixonLMW21
亚历克斯·迪克森,兰科·拉齐奇,安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
Leafy自动机用于高阶并发。 FoSSaCS公司 2021:184-204
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DixonLMW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DixonLMW21
亚历克斯·迪克森,兰科·拉齐奇,安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
使用数据自动机验证高阶并发性。低收入国家 2021:1月13日
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2101-08720
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-08720
亚历克斯·迪克森,兰科·拉齐奇,安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
Leafy Automata实现高阶并发。 CoRR公司 abs/2101.08720(2021)
2020
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic20
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 7(1):34(2020)
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic20a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic20a
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 7(2):三(2020)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic20b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic20b
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 7(三):28(2020)
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic20c
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic20c
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 7(4):三(2020)
[公元44年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Czerwinski0LLM20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Czerwinski0LLM20
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,菲利普·马佐维耶基:
具有状态的定维向量加法系统的可达性。 CONCUR公司 2020:48:1-48:21
[公元43年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/DixonL20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/DixonL20
亚历克斯·迪克森,兰科·拉齐奇:
KReach：Petri网中的可达性工具。 TACAS（1） 2020:405年至412年
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-04327
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-04327
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,菲利普·马佐维耶基:
具有状态的定维向量加法系统的可达性。 CoRR公司 abs/2001.04327(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic19
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 6(1):18(2019)
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic19a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic19a
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 6(2):42(2019)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic19b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic19b
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 6(4):三(2019)
[公元19年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/ClementeLLM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/ClementeLLM19
洛伦佐·克莱门特,斯拉沃米尔·拉索塔,兰科·拉齐奇,菲利普·马佐维耶基:
时间寄存器下推自动机和分支向量加法系统的二进制可达性。 ACM事务处理。计算。日志。 20(三):14:1-14:31(2019)
[公元42年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Lazic19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Lazic19
兰科·拉齐奇:
芬克尔是对的：关于向量加法系统变体的几个猜想的反例（受邀演讲）。 FSTTCS公司 2019:3:1-3:2
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/苏打水/CzerwinskiDFJLP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/soda/CzerwinskiDFJLP19
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,劳雷·达维奥德,纳塔娜·菲亚尔科夫,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,Pawel公园:
通用树生长在分离自动机中：奇偶博弈的拟多项式下界。 SODA公司 2019:2333-2349
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/stoc/CzerwinskiLLLM19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stoc/CzerwinskiLLLM19
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,菲利普·马佐维耶基:
Petri网的可达性问题不是基本的。 STOC公司 2019:24-33
2018
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic18
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 5(2):36(2018)
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic18a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic18a
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 5(三):66(2018)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siglog/Lazic18b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siglog/Lazic18b
兰科·拉齐奇:
验证栏。 ACM SIGLOG新闻 5(4):25(2018)
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DaviaudJLMP018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DaviaudJLMP018
劳雷·达维奥德,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,菲利普·马佐维耶基,吉列尔莫·A·佩雷斯,詹姆斯·沃雷尔:
概率自动机何时可以决定包含？。 ICALP公司 2018:121:1-121:14
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DaviaudJL18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DaviaudJL18
劳雷·达维奥德,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
一种用于均值对均值奇偶博弈的伪拟多项式算法。低收入国家 2018:325-334
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1803-04756
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1803-04756
劳雷·达维奥德,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
一种求解均值-差奇偶对策的伪拟多项式算法。 CoRR公司 abs/1803.04756(2018)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-09077
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-09077
劳雷·达维奥德,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,菲利普·马佐维耶基,吉列尔莫·A·佩雷斯,詹姆斯·沃雷尔:
概率自动机何时可以决定包含？ CoRR公司 abs/1804.09077(2018)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1807-10546
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1807-10546
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,劳雷·达维奥德,纳塔娜·菲亚尔科夫,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,Pawel公园:
通用树生长在分离自动机内：奇偶博弈的准多项式下限。 CoRR公司腹肌/1807.10546(2018)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1809-07115
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1809-07115
沃伊切赫·切尔温斯基（Wojciech Czerwinski）,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,菲利普·马佐维耶基:
Petri网的可达性问题不是初等的（扩展抽象）。 CoRR公司 abs/1809.07115(2018)
2017
[公元37年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/LazicT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/LazicT17网址
兰科·拉齐奇,帕特里克·托茨克:
是什么使得Petri网更难验证：堆栈还是数据？并发、安全和难题 2017:144至161
[公元36年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FigueiraLLMS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FigueiraLLMS17
迭戈·菲盖拉,兰科·拉齐奇,杰罗姆·勒鲁,菲利普·马佐维耶基,Grégoire萨特雷:
维1中简洁分支VASS可达性的多项式空间完备性。 ICALP公司 2017:119:1-119:14
[公元35年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/克莱门特LLM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ClementeLLM17
洛伦佐·克莱门特,斯拉沃米尔·拉索塔,兰科·拉齐奇,菲利普·马佐维耶基:
定时下推自动机和分支向量加法系统。低收入国家 2017:1-12
[公元34年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ColcombetJLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ColcombetJLS17
托马斯·科尔科姆贝特,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,西尔万·施密茨:
完美的半空间游戏。低收入国家 2017:1-11
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JurdzinskiL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JurdzinskiL17
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
为解决平价游戏制定简洁的进度措施。低收入国家 2017:1-9
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/2017roscoe
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2017罗斯科
托马斯·吉布森-罗宾逊,菲利普·霍普克罗夫特,兰科·拉齐奇:
并发性、安全性和困惑——纪念安德鲁·威廉·罗斯科60岁生日的文章。计算机科学课堂讲稿10160,施普林格 2017，国际标准图书编号978-3-319-51045-3 [目录]
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JurdzinskiL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JurdzinskiL17
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
为解决平价游戏制定简洁的进度措施。 CoRR公司 abs/1702.05051(2017)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ColcombetJLS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ColcombetJLS17
托马斯·科尔科贝特,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,西尔万·施密茨:
完美半空间游戏。 CoRR公司腹肌/1704.05626(2017)
2016
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tocl/LazicOW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/LazicOW16
兰科·拉齐奇,乔尔·瓦克宁,詹姆斯·沃雷尔:
Zeno、Hercules和Hydra：安全度量时间逻辑是Ackermann-Complete。 ACM事务处理。计算。日志。 17(三):16(2016)
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LazicM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LazicM16
兰科·拉齐奇,安德烈·穆拉夫斯基:
上下文近似和高阶程序。 FoSSaCS公司 2016:162-179
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HofmanLLLST16公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HofmanLLLST16
彼得罗·霍夫曼,斯拉沃米尔·拉索塔,兰科·拉齐奇,杰罗姆·勒鲁,西尔万·施密茨,帕特里克·托茨克:
无序数据Petri网的可覆盖树。 FoSSaCS公司 2016:445-461
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GollerHLT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GollerHLT16
斯特凡·格勒,克里斯托夫·哈斯,兰科·拉齐奇,帕特里克·托茨克:
一维分支VASS可达性的多项式时间算法。 ICALP公司 2016:105:1-105:13
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/LazicS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/LazicS16
兰科·拉齐奇,西尔万·施密茨:
ν-Petri网可覆盖性的复杂性。低收入国家 2016:467-476
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/EnglertLT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/EnglertLT16
马蒂亚斯·恩格勒,兰科·拉齐奇,帕特里克·托茨克:
具有状态的二维一元向量加法系统的可达性是NL-完全的。低收入国家 2016:477-484
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/EnglertLT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/EnglertLT16
马蒂亚斯·恩格勒,兰科·拉齐奇,帕特里克·托茨克:
具有状态的二维一元向量加法系统的可达性是NL-完全的。 CoRR公司 abs/1602.00477(2016)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/GollerHLT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/GollerHLT16
斯特凡·格勒,克里斯托夫·哈斯,兰科·拉齐奇,帕特里克·托茨克:
一维分支VASS可达性的多项式时间算法。 CoRR公司 abs/1602.05547(2016)
2015
[公元14年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/LazicS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/LazicS15
兰科·拉齐奇,西尔万·施密茨:
分支VASS、MELL和扩展的非基本复杂性。 ACM事务处理。计算。日志。 16(三):20:1-20:30(2015)
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JurdzinskiLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JurdzinskiLS15
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,西尔万·施密茨:
固定维能量游戏处于伪多项式时间。 ICALP（二） 2015:260-272
[c26]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rp/LazicS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rp/LazicS15
兰科·拉齐奇,西尔万·施密茨:
拉科夫覆盖技术的理想视图。 RP公司 2015:76-88
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/JurdzinskiLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/JurdzinskiLS15
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,西尔万·施密茨:
固定维能量游戏处于伪多项式时间。 CoRR公司腹肌/1502.06875(2015)
2014
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/LazicS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/LazicS14
兰科·拉齐奇,西尔万·施密茨:
分支VASS、MELL和扩展的非元素复杂性。 CSL-LICS公司 2014:61:1-61:10
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日志/corr/LazicS14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/LazicS14
兰科·拉齐奇,西尔万·施密茨:
分支VASS、MELL和扩展的非元素复杂性。 CoRR公司 abs/1401.6785(2014)
2013
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jcss/DemriJLL13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jcss/DemriJLL13
斯特凡·德姆里,马金·尤金斯基（Marcin Jurdzinski）,奥德拉基什,兰科·拉齐奇:
分支向量加法系统的覆盖和有界问题。 J.计算。系统。科学。 79(1):23-38(2013)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/LazicOW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/LazicOW13
兰科·拉齐奇,Joël Ouaknine公司,詹姆斯·沃雷尔:
芝诺、大力神和九头蛇：向下理性终结是阿克曼主义。 MFCS公司 2013:643-654
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Lazic13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Lazic13
兰科·拉齐奇:
带有堆栈的向量加法系统的可达性问题不是初等的。 CoRR公司 abs/1310.1767(2013)
2011
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/RutkowskiLJ11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/RutkowskiLJ11
米查尔·鲁特考夫斯基,兰科·拉齐奇,马金·尤金斯基（Marcin Jurdzinski）:
混合自动机上的平均价格奖励游戏具有强大的重置功能。国际期刊软件。技术工具。Transf公司。 13(6):553-569(2011)
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/tocl/Lazic11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/Lazic11
兰科·拉齐奇:
数据字上的安全交替自动机。 ACM事务处理。计算。日志。 12(2):10:1-10:24(2011)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/JurdzinskiL11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/JurdzinskiL11
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
数据树上的交替自动机和XPath可满足性。 ACM事务处理。计算。日志。 12(三):19:1-19:21(2011)
2010
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/Lazic10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/Lazic10
兰科·拉齐奇:
分支向量加法系统的可达性问题需要双指数空间。信息处理。莱特。 110(17):740-745(2010)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BakewellDGL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BakewellDGL10
亚当·贝克韦尔,阿列克桑达尔·迪莫夫斯基,丹·吉卡（Dan R.Ghica）,兰科·拉齐奇:
数据抽象细化：一种游戏语义方法。国际期刊软件。技术工具。Transf公司。 12(5):373-389(2010)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/DemriLS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/DemriLS10
斯特凡·德姆里,兰科·拉齐奇,阿诺德·桑尼尔:
单计数器自动机上的模型检查记忆线性时间逻辑。西奥。计算。科学。 411(22-24):2298-2316(2010)

2000 – 2009

请参阅常见问题解答

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

2009
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/DemriL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/DemriL09
斯特凡·德姆里,兰科·拉齐奇:
带有冻结量词和寄存器自动机的LTL。 ACM事务处理。计算。日志。 10(三):16:1-16:30(2009)
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsetcs/DemriJLL09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DemriJLL09
斯特凡·德姆里,马金·尤金斯基（Marcin Jurdzinski）,奥德拉基什,兰科·拉齐奇:
分支向量加法系统的覆盖和有界问题。 FSTTCS公司 2009:181-192
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/JurdzinskiLR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/JurdzinskiLR09
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,米查尔·鲁特考夫斯基:
具有强重置的混合自动机上的平均价格奖励游戏。 VMCAI公司 2009:167-181
2008
[j5]
- 看法
  - 电子版@iospress.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/fuin/LazicNORW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/LazicNORW08
兰科·拉齐奇,托马斯·克里斯托弗·纽科姆,乔尔·瓦克宁,A.W.罗斯科,詹姆斯·沃雷尔:
带有携带数据的令牌的网络。芬丹。信息学 88(三):251-274(2008)
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/BouyerBJLR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/BouyerBJLR08
帕特里夏·鲍耶,托马斯·布里海耶,马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,米查尔·鲁特考夫斯基:
强重置混合自动机上的平均价格和可达性价格博弈。格式 2008:63-77
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DemriLS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DemriLS08
斯特凡·德姆里,兰科·拉齐奇,阿诺德·桑尼尔:
一计数器自动机上的模型检查冻结LTL。 FoSSaCS公司 2008:490-504
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-0802-4237
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0802-4237
兰科·拉齐奇:
数据字上的安全交替自动机。 CoRR公司腹肌/0802.4237(2008)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0805-0330
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0805-0330
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇:
数据树上的交替自动机与XPath可满足性。 CoRR公司 abs/0805.0330(2008)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-0810-5517
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-0810-5517
斯特凡·德姆里,兰科·拉齐奇,阿诺德·桑尼尔:
单计数器自动机上的模型检查记忆线性时间逻辑。 CoRR公司 abs/0810.5517(2008)
2007
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LazicN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LazicN07
兰科·拉齐奇,拉贾戈帕尔·纳加拉扬:
客座编辑。形式方面计算。 19(三):275(2007)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iadc/DemriLN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/DemriLN07
斯特凡·德姆里,兰科·拉齐奇,大卫·诺瓦:
关于约束LTL中的冻结量词：可决定性和复杂性。 Inf.计算。 205(1):2-24(2007)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/DimovskiL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sttt/DimovskiL07
阿列克桑达尔·迪莫夫斯基,兰科·拉齐奇:
基于游戏语义和过程代数的组合软件验证。国际期刊软件。技术工具。Transf公司。 9(1):37-51(2007)
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/apn/LazicNORW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/apn/LazicNORW07网址
兰科·拉齐奇,托马斯·克里斯托弗·纽科姆,乔尔·瓦克宁,A.W.罗斯科,詹姆斯·沃雷尔:
带有携带数据的令牌的网络。 ICATPN公司 2007:301-320
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/JurdzinskiL07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/JurdzinskiL07网址
马钦·尤尔津斯基,兰科·拉齐奇:
数据树的无交替模态微积分。低收入国家 2007:131-140
2006
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Lazic06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Lazic06
兰科·拉齐奇:
安全冷冻LTL。 FSTTCS公司 2006:381-392
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/DimovskiL06会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/DimovskiL06
阿列克桑达尔·迪莫夫斯基,兰科·拉齐奇:
基于游戏语义的假设保证软件验证。 ICFEM公司 2006:529-548
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/DemriL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/DemriL06
斯特凡·德姆里,兰科·拉齐奇:
带有冻结量词和注册自动机的LTL。低收入国家 2006:17-26
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/spin/DimovskiGL06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/spin/DimovskiGL06
阿列克桑达尔·迪莫夫斯基,丹·吉卡（Dan R.Ghica）,兰科·拉齐奇:
开放过程程序的反例引导优化工具。自旋 2006:288-292
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/avocs/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/avocs/2005
兰科·拉齐奇,拉贾戈帕尔·纳加拉扬:
第五届关键系统自动验证国际研讨会论文集，2005年AVoCS，英国华威大学，2005年9月12-13日。理论计算机科学电子笔记145,爱思维尔 2006 [目录]
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0609008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0609008
斯特凡·德姆里,兰科·拉齐奇,大卫·诺瓦:
关于约束LTL中的冻结量词：可判定性和复杂性。 CoRR公司 abs/cs/0609008(2006)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-cs-0610027
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0610027
斯特凡·德姆里,兰科·拉齐奇:
带有冻结量词和注册自动机的LTL。 CoRR公司 abs/cs/0610027(2006)
2005
[第13条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/galop/DimovskiGL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/galop/DimovskiGL05
阿列克桑达尔·迪莫夫斯基,丹·吉卡（Dan R.Ghica）,兰科·拉齐奇:
用于基于博弈的模型检查的抽象精化。 GALOP@预计到达时间 2005:139
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/DimovskiGL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/DimovskiGL05
亚历山大·迪莫夫斯基,丹·吉卡（Dan R.Ghica）,兰科·拉齐奇:
数据抽象精炼：一种游戏语义方法。 SAS公司 2005:102-117
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/时间/DemriLN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/DemriLN05
斯特凡·德姆里,兰科·拉齐奇,大卫·诺瓦:
关于约束LTL中的冻结量词：可决定性和复杂性。时间 2005:第113页至第121页
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/LazicN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/LazicN06
兰科·拉齐奇,拉贾戈帕尔·纳加拉扬:
前言。 AVoCS公司 2005:1-2
2004
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/LazicNR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/LazicNR04
兰科·拉齐奇,托马斯·克里斯托弗·纽科姆,A.W.罗斯科:
在模型上检查具有数组但不重置的数据相关系统。理论与实践。日志。程序。 4(5-6):659-693年(2004)
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/LazicNR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/LazicNR04
兰科·拉齐奇,托马斯·克里斯托弗·纽科姆,A.W.罗斯科:
具有全阵列操作的阵列与数据无关系统的模型检查。 25年沟通连续过程 2004:275-291
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/DimovskiL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/DimovskiL04
阿列克桑达尔·迪莫夫斯基,兰科·拉齐奇:
二阶理想化算法的游戏语义CSP表示。 ICFEM公司 2004:146-161
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifm/WangRL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifm/WangRL04
徐旺,A.W.罗斯科,兰科·拉齐奇:
在正态假设下，将CSP中的数据无关跟踪检查与UNITY可达性相关联。国际单项体育联合会 2004:247-266
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Lazic05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Lazic05
兰科·拉齐奇:
具有阵列的多态系统可达性的可判定性：一个完全分类。无穷大 2004:3-19
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/LazicNR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/LazicNR05
兰科·拉齐奇,托马斯·克里斯托弗·纽科姆,比尔·罗斯科:
带数组、双计数器和多集重写的多态系统。无穷大 2004:61-86
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/DimovskiL05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/DimovskiL05
阿列克桑达尔·迪莫夫斯基,兰科·拉齐奇:
基于游戏语义和CSP的软件模型检查。 AVoCS公司 2004:105-125
2003
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tlca/LazicN03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tlca/LazicN03
兰科·拉齐奇,大卫·诺瓦:
关于数据独立性的语义定义。薄层色谱分析 2003:226-240
2000
[c2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/LazicN00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/LazicN00
兰科·拉齐奇,大卫·诺瓦:
数据独立性的统一方法。 CONCUR公司 2000:581-595

1990 – 1999

请参阅常见问题解答

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

1999
【b1】
- 看法
  - 电子版@bl.uk
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/民族精神/Lazic99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/ethos/Lazic99
兰科·S·拉齐奇:
数据独立性的语义研究及其在模型检查中的应用。英国牛津大学，1999
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pdpta/LazicR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pdpta/LazicR99
兰科·拉齐奇,比尔·罗斯科:
通用谓词符号的数据独立性。 PDPTA公司 1999:319-326

合著者索引

请参阅常见问题解答

服务

管理网站设置

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