bibliographer - M. Praveen

bibliographer a curated TCS bibliography

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

Verification of Flat FIFO Systems Alain Finkel M. Praveen [github]

What You Must Remember When Transforming Datawords M. Praveen [github]

Verification of Flat FIFO Systems Alain Finkel M. Praveen [github]

On Functions Weakly Computable by Pushdown Petri Nets and Related Systems J. Leroux M. Praveen Ph. Schnoebelen G. Sutre [github]

Playing with Repetitions in Data Words Using Energy Games Diego Figueira M. Praveen [github]

A Relational Trace Logic for Vector Addition Systems with Application to Context-freeness Jérôme Leroux M. Praveen Grégoire Sutre [github]

ømega Petri Nets: Algorithms and Complexity Gilles Geeraerts Alexander Heußner M. Praveen Jean-François Raskin [github]

Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems Jérôme Leroux M. Praveen Grégoire Sutre [github]

Reasoning about Data Repetitions with Counter Systems Stéphane Demri Diego Figueira M. Praveen [github]

ømega-Petri nets Gilles Geeraerts Alexander Heußner M. Praveen Jean-François Raskin [github]

Extending the Rackoff technique to Affine nets Rémi Bonnet Alain Finkel M. Praveen [github]

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

[show logs] [hide logs]