1.Probabilistic Automata of Bounded Ambiguity

作　　者：Nathana{\"e}l Fijalkow ;Cristian Riveros ;James Worrell

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:19:1-19:14.doi:10.4230/LIPIcs.CONCUR.2017.19

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

文章 ID：200735185

文章详细全文下载
2.Towards Streaming Evaluation of Queries with Correlation in Complex Event Processing

作　　者：Alejandro Grez ;Cristian Riveros

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155:14:1-14:17.doi:10.4230/LIPIcs.ICDT.2020.14

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

文章 ID：255823527

文章详细全文下载
3.On the Expressiveness of Languages for Complex Event Recognition

作　　者：Alejandro Grez ;Cristian Riveros ;Mart{\'\i}n Ugarte 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155:15:1-15:17.doi:10.4230/LIPIcs.ICDT.2020.15

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

文章 ID：255823528

文章详细全文下载
4.A Family of Centrality Measures for Graph Data Based on Subgraphs

作　　者：Cristian Riveros ;Jorge Salas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155:23:1-23:18.doi:10.4230/LIPIcs.ICDT.2020.23

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

文章 ID：255823536

文章详细全文下载
5.Pumping Lemmas for Weighted Automata

作　　者：Filip Mazowiecki ;Cristian Riveros

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:50:1-50:14.doi:10.4230/LIPIcs.STACS.2018.50

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

文章 ID：220015285

文章详细
6.Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata

作　　者：Filip Mazowiecki ;Cristian Riveros

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:144-159.doi:10.4230/LIPIcs.CSL.2015.144

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

文章 ID：186847044

文章详细全文下载
7.Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties

作　　者：Filip Mazowiecki ;Cristian Riveros

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:53:1-53:13.doi:10.4230/LIPIcs.STACS.2016.53

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

文章 ID：186847266

文章详细全文下载
8.A Formal Framework for Complex Event Processing

作　　者：Alejandro Grez ;Cristian Riveros ;Martín Ugarte

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;127:1-18.doi:10.4230/LIPIcs.ICDT.2019.5

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

文章 ID：230438522

文章详细全文下载

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

	Mart{\'\i}n Ugarte	1篇
	Martín Ugarte	1篇
	Nathana{\"e}l Fijalkow	1篇
	Stijn Vansummeren	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Cristian Riveros")))) )) ) )"

	Cristian Riveros	8篇
	Alejandro Grez	3篇
	Filip Mazowiecki	3篇
	James Worrell	1篇
	Jorge Salas	1篇

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