bibliographer - Rajab Aghamov

bibliographer a curated TCS bibliography

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

Model Checking Markov Chains as Distribution Transformers Rajab Aghamov Christel Baier Toghrul Karimov Joris Nieuwveld Joel Ouaknine Jakob Piribauer Mihir Vahanwala [github]

Linear dynamical systems with continuous weight functions Rajab Aghamov Christel Baier Toghrul Karimov Joel Ouaknine Jakob Piribauer [github]

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

[show logs] [hide logs]