Margherita Napoli

Available identifiers

zbMath Open napoli.margheritaWikidataQ112661058 ScholiaQ112661058MaRDI QIDQ483303

List of research outcomes

Publication	Date of Publication	Type
Synchronization of 1-way connected processors	2022-12-09	Paper
State complexity of SBTA languages	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q4992519	2021-06-09	Paper
Reachability of scope-bounded multistack pushdown systems	2020-12-15	Paper
On a Logic for Coalitional Games with Priced-Resource Agents	2016-10-07	Paper
Scope-Bounded Pushdown Languages	2016-06-23	Paper
Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem	2015-09-08	Paper
Parametric metric interval temporal logic	2014-12-16	Paper
A Unifying Approach for Multistack Pushdown Automata	2014-10-14	Paper
Scope-Bounded Pushdown Languages	2014-10-14	Paper
A Temporal Logic for Multi-threaded Programs	2012-09-21	Paper
Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations	2011-09-02	Paper
Graded Alternating-Time Temporal Logic	2011-03-28	Paper
Graded Alternating-Time Temporal Logic	2011-01-07	Paper
Parametric Metric Interval Temporal Logic	2010-05-26	Paper
Model Checking for Graded CTL	2010-02-05	Paper
Program Complexity in Hierarchical Module Checking	2009-01-27	Paper
CTL Model-Checking with Graded Quantifiers	2008-11-20	Paper
Verification of scope-dependent hierarchical state machines	2008-10-08	Paper
On the Membership Problem for Visibly Pushdown Languages	2008-09-04	Paper
The word problem for visibly pushdown languages described by grammars	2007-11-28	Paper
Different time solutions for the firing squad synchronization problem on basic grid networks	2007-04-10	Paper
Weak Muller acceptance conditions for tree automata	2005-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4737000	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472440	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449219	2004-02-08	Paper
Finite automata on timed \(\omega\)-trees	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4794305	2003-03-24	Paper
Automata-based Representations for Infinite Graphs	2002-11-17	Paper
Timed tree automata with an application to temporal logic.	2002-08-14	Paper
https://portal.mardi4nfdi.de/entity/Q4530005	2002-05-07	Paper
A Compositional Approach to Synchronize Two Dimensional Networks of Processors	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4266540	1999-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4218131	1999-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q3842794	1998-11-09	Paper
Succinctness of descriptions of SBTA-languages	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4348010	1997-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4890704	1997-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4864792	1996-06-27	Paper
Power of interconnections and of nondeterminism in regularY-tree systolic automata	1995-12-13	Paper
Languages accepted by systolic \(Y\)-tree automata: Structural characterizations	1994-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q3832052	1989-01-01	Paper
C-tree systolic automata	1988-01-01	Paper
Web structures: a tool for representing and manipulating programs	1988-01-01	Paper
A hierarchy of loop programs over binary trees	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3751039	1985-01-01	Paper
Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems	1984-01-01	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: Margherita Napoli