首页期刊浏览 2024年12月02日星期一

登录注册

全文

	有本地全文	10篇
	有全文链接	2篇

出版年度

	2020	1篇
	2019	2篇
	2018	3篇
	2017	1篇
	2016	1篇

	2014	1篇
	2013	1篇
	2012	1篇
	2011	1篇

作者

	Jan Otop	12篇
	Jakub Michaliszyn	7篇
	Thomas A. Henzinger	5篇
	Krishnendu Chatterjee	4篇
	Emanuel Kieronski	1篇

	Piotr Wieczorek	1篇
	Piotr Witkowski	1篇
	Roopsha Samanta	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	11篇
	Electronic Proceedings in Theoretical Computer Science	1篇

学科主题

计算技术、计算机技术

12篇

语种

英文

12篇

国别/地区

	德国	11篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Jan Otop")))) )) ) )"

共 12 条记录

排序：全选导出：

1.Satisfiability vs. Finite Satisfiability in Elementary Modal Logics

作　　者：Jakub Michaliszyn ;Jan Otop ;Piotr Witkowski

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;96:141-154.doi:10.4204/EPTCS.96.11

出版社：Open Publishing Association

文章 ID：83120593

文章详细全文下载
2.Approximate Learning of Limit-Average Automata

作　　者：Jakub Michaliszyn ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.17

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891925

文章详细全文下载
3.Long-Run Average Behavior of Vector Addition Systems with States

作　　者：Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.27

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：238891935

文章详细全文下载
4.Bidirectional Nested Weighted Automata

作　　者：Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:5:1-5:16.doi:10.4230/LIPIcs.CONCUR.2017.5

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735171

文章详细全文下载
5.Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States

作　　者：Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:23:1-23:22.doi:10.4230/LIPIcs.CONCUR.2020.23

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255822882

文章详细全文下载
6.Average Stack Cost of Büchi Pushdown Automata

作　　者：Jakub Michaliszyn ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:42:1-42:13.doi:10.4230/LIPIcs.FSTTCS.2017.42

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015427

文章详细
7.Querying Best Paths in Graph Databases

作　　者：Jakub Michaliszyn ;Jan Otop ;Piotr Wieczorek

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:43:1-43:15.doi:10.4230/LIPIcs.FSTTCS.2017.43

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015428

文章详细
8.Modal Logics Definable by Universal Three-Variable Formulas

作　　者：Emanuel Kieronski ;Jakub Michaliszyn ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:264-275.doi:10.4230/LIPIcs.FSTTCS.2011.264

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845884

文章详细全文下载
9.Elementary Modal Logics over Transitive Structures

作　　者：Jakub Michaliszyn ;Jan Otop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:563-577.doi:10.4230/LIPIcs.CSL.2013.563

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846360

文章详细全文下载
10.Lipschitz Robustness of Finite-state Transducers

作　　者：Thomas A. Henzinger ;Jan Otop ;Roopsha Samanta

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:431-443.doi:10.4230/LIPIcs.FSTTCS.2014.431

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846623

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有