bibliographer - Mikhail Raskin

bibliographer a curated TCS bibliography

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

Geometry of Reachability sets of Vector Addition Systems Roland Guttenberg Mikhail Raskin Javier Esparza [github]

Computing Parameterized Invariants of Parameterized Petri Nets Javier Esparza Mikhail Raskin Christoph Welzel [github]

Computing Parameterized Invariants of Parameterized Petri Nets Javier Esparza Mikhail Raskin Christoph Welzel [github]

Flatness and Complexity of Immediate Observation Petri Nets Mikhail Raskin Chana Weil-Kennedy Javier Esparza [github]

Parameterized Analysis of Immediate Observation Petri Nets Javier Esparza Mikhail Raskin Chana Weil-Kennedy [github]

The Complexity of Verifying Population Protocols Javier Esparza Stefan Jaax Mikhail Raskin Chana Weil-Kennedy [github]

Flatness and Complexity of Immediate Observation Petri Nets Mikhail Raskin Chana Weil-Kennedy Javier Esparza [github]

The Complexity of Reachability in Affine Vector Addition Systems with States Michael Blondin Mikhail Raskin [github]

Affine Extensions of Integer Vector Addition Systems with States Michael Blondin Christoph Haase Filip Mazowiecki Mikhail Raskin [github]

The Complexity of Reachability in Affine Vector Addition Systems with States Michael Blondin Mikhail Raskin [github]

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

[show logs] [hide logs]