- Bisimilarity on Basic Parallel Processes Petr Jančar Tue 14 December 2021
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences Peizun Liu Thomas Wahl Thomas Reps Mon 14 December 2020
- On the expressiveness of higher dimensional automata R.J. van Glabbeek Wed 19 June 2019
- Regularity Results for FIFO Channels Nils Klarlund Richard Trefler Mon 26 March 2018
- Thread Modularity at Many Levels: A Pearl in Compositional Verification Jochen Hoenicke Rupak Majumdar Andreas Podelski Fri 12 May 2017
- Proofs That Count Azadeh Farzan Zachary Kincaid Andreas Podelski Fri 11 November 2016
- Proof Spaces for Unbounded Parallelism Azadeh Farzan Zachary Kincaid Andreas Podelski Fri 11 November 2016
- Unboundedness and Downward Closures of Higher-order Pushdown Automata Matthew Hague Jonathan Kochems C.-H. Luke Ong Sat 16 January 2016
- Delay-bounded Scheduling Michael Emmi Shaz Qadeer Zvonimir Rakamarić Thu 17 April 2014
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
