bibliographer - Cristian Riveros

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Constant-delay enumeration for SLP-compressed documents Martín Muñoz Cristian Riveros [github]

NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes Marcelo Arenas Luis Alberto Croquevielle Rajesh Jayaram Cristian Riveros [github]

Dynamic Data Structures for Timed Automata Acceptance Alejandro Grez Filip Mazowiecki Michał Pilipczuk Gabriele Puppis Cristian Riveros [github]

Probabilistic Automata of Bounded Ambiguity Nathanael Fijalkow Cristian Riveros James Worrell [github]

Descriptive Complexity for counting complexity classes Marcelo Arenas Martin Muñoz Cristian Riveros [github]

A Formal Framework for Complex Event Processing Alejandro Grez Cristian Riveros Martín Ugarte [github]

The monitoring problem for timed automata Alejandro Grez Filip Mazowiecki Michał Pilipczuk Gabriele Puppis Cristian Riveros [github]

Pumping lemmas for weighted automata Agnishom Chattopadhyay Filip Mazowiecki Anca Muscholl Cristian Riveros [github]

Quantitative Monadic Second-Order Logic Stephan Kreutzer Cristian Riveros [github]

Pumping Lemmas for Weighted Automata Filip Mazowiecki Cristian Riveros [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]