1.Heuristics for Hierarchical Partitioning with Application to Model Checking

作　　者：M. Oliver Möller ;Rajeev Alur

出　　处：BRICS Report Series. 2000 ;7(21).

出版社：Aarhus University

文章 ID：101760077

文章详细全文下载
2.First-Order and Temporal Logics for Nested Words

作　　者：Rajeev Alur ;Marcelo Arenas ;Pablo Barcelo 等

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:11)2008

出版社：Technical University of Braunschweig

文章 ID：47109816

文章详细全文下载
3.Automata-Based Stream Processing

作　　者：Rajeev Alur ;Konstantinos Mamouras ;Caleb Stanford

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:112:1-112:15.doi:10.4230/LIPIcs.ICALP.2017.112

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

文章 ID：198372066

文章详细全文下载
4.Expressiveness of streaming string transducers

作　　者：Rajeev Alur ;Pavol Čern{\'y

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:1-12.doi:10.4230/LIPIcs.FSTTCS.2010.1

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

文章 ID：186845755

文章详细全文下载
5.Hedging Bets in Markov Decision Processes

作　　者：Rajeev Alur ;Marco Faella ;Sampath Kannan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:29:1-29:20.doi:10.4230/LIPIcs.CSL.2016.29

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

文章 ID：186847946

文章详细全文下载

	Rajeev Alur	5篇
	Caleb Stanford	1篇
	Konstantinos Mamouras	1篇
	Kousha Etessami	1篇
	Leonid Libkin	1篇

	M. Oliver Möller	1篇
	Marcelo Arenas	1篇
	Marco Faella	1篇
	Neil Immerman	1篇
	Nimit Singhania	1篇
	Pablo Barcelo	1篇
	Pavol Čern{\'y	1篇
	Sampath Kannan	1篇

	德国	4篇
	丹麦	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Rajeev Alur")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	BRICS Report Series	1篇
	Logical Methods in Computer Science	1篇

	2017	1篇
	2016	1篇
	2010	1篇
	2008	1篇
	2000	1篇