首页期刊浏览 2025年02月17日星期一

登录注册

全文

	有本地全文	9篇
	有全文链接	1篇

出版年度

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

2011

1篇

作者

	Mahsa Shirmohammadi	10篇
	Stefan Kiefer	5篇
	James Worrell	3篇
	Patrick Totzke	3篇
	Richard Mayr	3篇

	Guillermo A. Prez	2篇
	Laurent Doyen	2篇
	Dmitry Chistikov	1篇
	Dominik Wojtczak	1篇
	Ines Marusic	1篇
	Karin Quaas	1篇
	Kim G. Larsen	1篇
	Line Juhl	1篇
	Mani Swaminathan	1篇
	Martin Fr{\"a}nzle	1篇
	Nathann Cohen	1篇
	Nicolas Markey	1篇
	Nikhil Balaji	1篇
	Parvaneh Babari	1篇
	Petr Novotn{'y	1篇
	Shaull Almagor	1篇
	Thierry Massart	1篇

来源期刊

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

学科主题

计算技术、计算机技术

10篇

语种

英文

10篇

国别/地区

	德国	9篇
	澳大利亚	1篇

检索条件:"( ( 高级检索(( ((AU:(("Mahsa Shirmohammadi")))) )) ) )"

共 10 条记录

排序：全选导出：

1.Synchronizing Objectives for Markov Decision Processes

作　　者：Laurent Doyen ;Thierry Massart ;Mahsa Shirmohammadi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;50:61-75.doi:10.4204/EPTCS.50.5

出版社：Open Publishing Association

文章 ID：83120136

文章详细全文下载
2.On the Complexity of Value Iteration

作　　者：Nikhil Balaji ;Stefan Kiefer ;Petr Novotn{'y 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-15.doi:10.4230/LIPIcs.ICALP.2019.102

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

文章 ID：238892237

文章详细全文下载
3.Büchi Objectives in Countable MDPs

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.119

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

文章 ID：238892254

文章详细全文下载
4.Coverability in 1-VASS with Disequality Tests

作　　者：Shaull Almagor ;Nathann Cohen ;Guillermo A. Prez 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:38:1-38:20.doi:10.4230/LIPIcs.CONCUR.2020.38

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

文章 ID：255822897

文章详细全文下载
5.Strategy Complexity of Parity Objectives in Countable MDPs

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:39:1-39:17.doi:10.4230/LIPIcs.CONCUR.2020.39

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

文章 ID：255822898

文章详细全文下载
6.How to Play in Infinite MDPs (Invited Talk)

作　　者：Stefan Kiefer ;Richard Mayr ;Mahsa Shirmohammadi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:3:1-3:18.doi:10.4230/LIPIcs.ICALP.2020.3

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

文章 ID：255823038

文章详细全文下载
7.Costs and Rewards in Priced Timed Automata

作　　者：Martin Fr{\"a}nzle ;Mahsa Shirmohammadi ;Mani Swaminathan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:125:1-125:14.doi:10.4230/LIPIcs.ICALP.2018.125

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

文章 ID：220014916

文章详细
8.Synchronizing Words for Weighted and Timed Automata

作　　者：Laurent Doyen ;Line Juhl ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:121-132.doi:10.4230/LIPIcs.FSTTCS.2014.121

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

文章 ID：186846601

文章详细全文下载
9.Synchronizing Data Words for Register Automata

作　　者：Parvaneh Babari ;Karin Quaas ;Mahsa Shirmohammadi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:15:1-15:15.doi:10.4230/LIPIcs.MFCS.2016.15

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

文章 ID：186847842

文章详细全文下载
10.On Restricted Nonnegative Matrix Factorization

作　　者：Dmitry Chistikov ;Stefan Kiefer ;Ines Marusic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:103:1-103:14.doi:10.4230/LIPIcs.ICALP.2016.103

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

文章 ID：186847700

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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