I agree that this site is using cookies. You can find further informations here.
X
Napoli, Margherita
107  results:
Search for persons X
?
1

Reachability of scope-bounded multistack pushdown systems:

La Torre, Salvatore ; Napoli, Margherita ; Parlato, Gennaro
Information and Computation.  275 (2020)  - p. 104588 , 2020
Link: https://doi.org/10.1016/..
 
?
2

Parametric metric interval temporal logic:

Di Giampaolo, Barbara ; La Torre, Salvatore ; Napoli, Margherita
Theoretical Computer Science.  564 (2015)  - p. 131-148 , 2015
Link: https://doi.org/10.1016/..
 
?
3

Graded CTL model checking for test generation:

, In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium,
Napoli, Margherita ; Parente, Mimmo - p. 59-66 , 2011
Link: https://dl.acm.org/doi/1..
 
?
4

On a Logic for Coalitional Games with Priced-Resource Agent:

Della Monica, Dario ; Napoli, Margherita ; Parente, Mimmo
Electronic Notes in Theoretical Computer Science.  278 (2011)  - p. 215-228 , 2011
Link: https://doi.org/10.1016/..
 
?
5

Verification of scope-dependent hierarchical state machines:

La Torre, Salvatore ; Napoli, Margherita ; Parente, Mimmo.
Information and Computation.  206 (2008)  9-10 - p. 1161-1177 , 2008
Link: https://doi.org/10.1016/..
 
?
6

The word problem for visibly pushdown languages described b..:

La Torre, Salvatore ; Napoli, Margherita ; Parente, Mimmo
Formal Methods in System Design.  31 (2007)  3 - p. 265-279 , 2007
Link: https://doi.org/10.1007/..
 
?
7

Weak Muller acceptance conditions for tree automata:

La Torre, Salvatore ; Murano, Aniello ; Napoli, Margherita
Theoretical Computer Science.  332 (2005)  1-3 - p. 233-250 , 2005
Link: https://doi.org/10.1016/..
 
?
8

Specification and Verification of Protocols With Time Const..:

Napoli, Margherita ; Parente, Mimmo ; Peron, Adriano
Electronic Notes in Theoretical Computer Science.  99 (2004)  - p. 205-227 , 2004
Link: https://doi.org/10.1016/..
 
?
9

Finite automata on timed ω-trees:

La Torre, Salvatore ; Napoli, Margherita
Theoretical Computer Science.  293 (2003)  3 - p. 479-505 , 2003
Link: https://doi.org/10.1016/..
 
?
10

A Model of Finite Automata on Timed ω-Trees:

La Torre, Salvatore ; Napoli, Margherita
Electronic Notes in Theoretical Computer Science.  42 (2001)  - p. 158-173 , 2001
Link: https://doi.org/10.1016/..
 
?
11

Timed tree automata with an application to temporal logic:

La Torre, Salvatore ; Napoli, Margherita
Acta Informatica.  38 (2001)  2 - p. 89-116 , 2001
Link: https://doi.org/10.1007/..
 
?
12

Succinctness of descriptions of SBTA-languages:

Gruska, Jozef ; Monti, Angelo ; Napoli, Margherita.
Theoretical Computer Science.  179 (1997)  1-2 - p. 251-271 , 1997
Link: https://doi.org/10.1016/..
 
?
13

Model checking coalitional games in shortage resource scena..:

Della Monica, Dario ; Napoli, Margherita ; Parente, Mimmo
http://arxiv.org/abs/1307.4479.  , 2013
Link: http://arxiv.org/abs/130..
 
?
14

A Temporal Logic for Multi-threaded Programs:

Torre, Salvatore ; Napoli, Margherita
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-33475-7_16.  , 2012
Link: https://hal.inria.fr/hal..
 
?
15

A Temporal Logic for Multi-threaded Programs:

Torre, Salvatore ; Napoli, Margherita
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-33475-7_16.  , 2012
Link: https://hal.inria.fr/hal..
 
1-15