bibliographer - Noomene Ben Henda

bibliographer a curated TCS bibliography

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

Eager Markov Chains Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr Sven Sandberg [github]

Limiting Behavior of Markov Chains with Eager Attractors Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr Sven Sandberg [github]

Decisive Markov Chains Parosh Aziz Abdulla Noomene Ben Henda Richard Mayr [github]

Stochastic games with lossy channels Parosh Aziz Abdulla Noomene Ben Henda Luca De Alfaro Richard Mayr Sven Sandberg [github]

Monotonic Abstraction (On Efficient Verification of Parameterized Systems) Parosh Aziz Abdulla Giorgio Delzanno Noomene Ben Henda Ahmed Rezine [github]

Parameterized Tree Systems Parosh Abdulla Noomene Ben Henda Giorgio Delzanno Frédéric Haziza Ahmed Rezine [github]

Handling Parameterized Systems with Non-atomic Global Conditions Parosh Abdulla Noomene Ben Henda Giorgio Delzanno Ahmed Rezine [github]

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

[show logs] [hide logs]