Gennaro Parlato

Available identifiers

zbMath Open parlato.gennaroWikidataQ58895548 ScholiaQ58895548MaRDI QIDQ515664

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2957490	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gennaro Parlato