bibliographer - Gennaro Parlato

bibliographer a curated TCS bibliography

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

Reachability of scope-bounded multistack pushdown systems Salvatore [La Torre] Margherita Napoli Gennaro Parlato [github]

A Unifying Approach for Multistack Pushdown Automata Salvatore La Torre Margherita Napoli Gennaro Parlato [github]

On Multi-stack Visibly Pushdown Languages Salvatore La Torre Margherita Napoli Gennaro Parlato [github]

The Tree Width of Auxiliary Storage P. Madhusudan Gennaro Parlato [github]

The Language Theory of Bounded Context-Switching Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato [github]

Analyzing recursive programs using a fixed-point calculus Salvatore La Torre Madhusudan Parthasarathy Gennaro Parlato [github]

An Infinite Automaton Characterization of Double Exponential Time Salvatore La Torre P. Madhusudan Gennaro Parlato [github]

A Robust Class of Context-Sensitive Languages Salvatore La Torre Parthasarathy Madhusudan Gennaro Parlato [github]

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width Salvatore La Torre Gennaro Parlato [github]

Context-Bounded Analysis of Concurrent Queue Systems Salvatore La Torre P. Madhusudan Gennaro Parlato [github]

Scope-Bounded Pushdown Languages Salvatore La Torre Margherita Napoli Gennaro Parlato [github]

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

[show logs] [hide logs]