Gennaro Parlato

Available identifiers

zbMath Open parlato.gennaroDBLP11/1029WikidataQ58895548 ScholiaQ58895548MaRDI QIDQ515664

List of research outcomes

Publication	Date of Publication	Type
Reasoning About Data Trees Using CHCs	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4995360	2021-06-24	Paper
Reachability of scope-bounded multistack pushdown systems	2020-12-15	Paper
On the path-width of integer linear programming	2017-03-16	Paper
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width	2017-01-26	Paper
Scope-bounded pushdown languages	2016-06-23	Paper
A Unifying Approach for Multistack Pushdown Automata	2014-10-14	Paper
Scope-Bounded Pushdown Languages	2014-10-14	Paper
Context-Bounded Analysis of TSO Systems	2014-07-24	Paper
The tree width of auxiliary storage	2014-04-10	Paper
Decidable logics combining heap structures and data	2014-04-10	Paper
Policy Analysis for Self-administrated Role-Based Access Control	2013-08-05	Paper
A Tabu Search Heuristic Based on k-Diamonds for the Weighted Feedback Vertex Set Problem	2011-09-09	Paper
The Language Theory of Bounded Context-Switching	2010-04-27	Paper
A linear time algorithm for the minimum weighted feedback vertex set on diamonds	2009-12-04	Paper
Reducing Context-Bounded Concurrent Reachability to Sequential Reachability	2009-06-30	Paper
Fast payment schemes for truthful mechanisms with verification	2009-03-17	Paper
An Infinite Automaton Characterization of Double Exponential Time	2008-11-20	Paper
Verification of scope-dependent hierarchical state machines	2008-10-08	Paper
Context-Bounded Analysis of Concurrent Queue Systems	2008-04-11	Paper
On the Complexity of Ltl Model-Checking of Recursive State Machines	2007-11-28	Paper
Minimum Weighted Feedback Vertex Set on Diamonds	2007-05-29	Paper
Approximation and Online Algorithms	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4449219	2004-02-08	Paper

Research outcomes over time

This page was built for person: Gennaro Parlato