bibliographer - Radu Iosif

bibliographer a curated TCS bibliography

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

Tree-Verifiable Graph Grammars Mark Chimes Radu Iosif Florian Zuleger [github]

The Bernays-Schønfinkel-Ramsey Class of Separation Logic on Arbitrary Domains Mnacho Echenim Radu Iosif Nicolas Peltier [github]

Abstraction Refinement for Trace Inclusion of Infinite State Systems Radu Iosif Adam Rogalewicz Tomas Vojnar [github]

Automata-Based Termination Proofs Radu Iosif Adam Rogalewicz [github]

Reasoning in the Bernays-Schönfinkel-Ramsey Fragment of Separation Logic Andrew Reynolds Radu Iosif Cristina Serban [github]

Abstraction Refinement for Emptiness Checking of Alternating Data Automata Radu Iosif Xiao Xu [github]

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

[show logs] [hide logs]