Vincent Penelle

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Equivalence of deterministic weighted real-time one-counter automata	2025-12-04	Paper
Weighted one-deterministic-counter automata	2025-07-28	Paper
Origin-equivalence of two-way word transducers is in PSPACE (available as arXiv preprint)	2022-07-21	Paper
On Synthesis of Resynchronizers for Transducers (available as arXiv preprint)	2022-07-21	Paper
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems	2022-07-21	Paper
Which classes of origin graphs are generated by transducers	2020-05-27	Paper
scientific article; zbMATH DE number 7168148 (Why is no real title available?) (available as arXiv preprint)	2020-02-17	Paper
Constrained dynamic tree networks	2018-10-23	Paper
Rewriting higher-order stack trees Theory of Computing Systems	2017-10-20	Paper
On the context-freeness problem for vector addition systems 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
The context-freeness problem is coNP-complete for flat counter systems Automated Technology for Verification and Analysis	2015-12-17	Paper
Rewriting higher-order stack trees Lecture Notes in Computer Science	2015-10-20	Paper

Research outcomes over time

This page was built for person: Vincent Penelle