bibliographer - Vincent Penelle

bibliographer a curated TCS bibliography

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

Learning Deterministic One-Counter Automata in Polynomial Time Prince Mathew Vincent Penelle A.~V. Sreejith [github]

Equivalence of Deterministic Weighted Real-time One-Counter Automata Prince Mathew Vincent Penelle Prakash Saivasan A.~V. Sreejith [github]

Learning real-time one-counter automata using polynomially many queries Prince Mathew Vincent Penelle A.~V. Sreejith [github]

Weighted One-Deterministic-Counter Automata Prince Mathew Vincent Penelle Prakash Saivasan A.V. Sreejith [github]

On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems Vincent Penelle Sylvain Salvati Grégoire Sutre [github]

Which Classes of Origin Graphs Are Generated by Transducers Mikolaj Bojanczyk Laure Daviaud Bruno Guillon Vincent Penelle [github]

Constrained Dynamic Tree Networks Matthew Hague Vincent Penelle [github]

Rewriting Higher-Order Stack Trees Vincent Penelle [github]

On the Context-Freeness Problem for Vector Addition Systems Jerome Leroux Vincent Penelle Gregoire Sutre [github]

Rewriting Higher-Order Stack Trees Vincent Penelle [github]

Library Size: 13G (10 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]