| 2008 |
|---|
| 39 | EE | Alessandro Ferrante,
Margherita Napoli,
Mimmo Parente:
CTLModel-Checking with Graded Quantifiers.
ATVA 2008: 18-32 |
| 38 | EE | Aniello Murano,
Margherita Napoli,
Mimmo Parente:
Program Complexity in Hierarchical Module Checking.
LPAR 2008: 318-332 |
| 37 | EE | Alessandro Ferrante,
Aniello Murano,
Mimmo Parente:
Enriched MU-Calculi Module Checking
CoRR abs/0805.3462: (2008) |
| 36 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente,
Gennaro Parlato:
Verification of scope-dependent hierarchical state machines.
Inf. Comput. 206(9-10): 1161-1177 (2008) |
| 35 | EE | Alessandro Ferrante,
Mimmo Parente:
Mixed Nash equilibria in selfish routing problems with dynamic constraints.
Theor. Comput. Sci. 393(1-3): 37-53 (2008) |
| 2007 |
|---|
| 34 | EE | Alessandro Ferrante,
Aniello Murano,
Mimmo Parente:
Enriched µ-Calculus Pushdown Module Checking.
LPAR 2007: 438-453 |
| 33 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
The word problem for visibly pushdown languages described by grammars.
Formal Methods in System Design 31(3): 265-279 (2007) |
| 32 | EE | Jozef Gruska,
Salvatore La Torre,
Mimmo Parente:
The Firing Squad Synchronization Problem on Squares, Toruses and Rings.
Int. J. Found. Comput. Sci. 18(3): 637-654 (2007) |
| 2006 |
|---|
| 31 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
On the Membership Problem for Visibly Pushdown Languages.
ATVA 2006: 96-109 |
| 2005 |
|---|
| 30 | EE | Jozef Gruska,
Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Various Solutions to the Firing Squad Synchronization Problems
CoRR abs/cs/0511044: (2005) |
| 2004 |
|---|
| 29 | EE | Jozef Gruska,
Salvatore La Torre,
Mimmo Parente:
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.
Developments in Language Theory 2004: 200-211 |
| 28 | EE | Alessandro Ferrante,
Mimmo Parente:
Existence of Nash Equilibria in Selfish Routing Problems.
SIROCCO 2004: 149-160 |
| 27 | EE | Margherita Napoli,
Mimmo Parente,
Adriano Peron:
Specification and Verification of Protocols With Time Constraints.
Electr. Notes Theor. Comput. Sci. 99: 205-227 (2004) |
| 26 | EE | Salvatore La Torre,
Aniello Murano,
Mimmo Parente:
Model-checking the Secure Release of a Time-locked Secret over a Network.
Electr. Notes Theor. Comput. Sci. 99: 229-243 (2004) |
| 25 | EE | Alessandro Ferrante,
Mimmo Parente:
On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality.
Int. J. Found. Comput. Sci. 15(5): 701-715 (2004) |
| 2003 |
|---|
| 24 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente,
Gennaro Parlato:
Hierarchical and Recursive State Machines with Context-Dependent Properties.
ICALP 2003: 776-789 |
| 23 | EE | Alessandro Ferrante,
Mimmo Parente:
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality.
ICTCS 2003: 137-149 |
| 2001 |
|---|
| 22 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints.
MCU 2001: 264-275 |
| 2000 |
|---|
| 21 | EE | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
A compositional approach to synchronize two dimensional networks of processors.
ITA 34(6): 549-564 (2000) |
| 1999 |
|---|
| 20 | EE | Vincenzo Auletta,
Angelo Monti,
Mimmo Parente,
Pino Persiano:
A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees.
Algorithmica 23(3): 223-245 (1999) |
| 19 | | Vincenzo Auletta,
Yefim Dinitz,
Zeev Nutov,
Domenico Parente:
A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph.
J. Algorithms 32(1): 21-30 (1999) |
| 1998 |
|---|
| 18 | | Salvatore La Torre,
Margherita Napoli,
Domenico Parente:
Synchronization of a Line of Identical Processors at a Given Time.
Fundam. Inform. 34(1-2): 103-128 (1998) |
| 17 | | Vincenzo Auletta,
Domenico Parente,
Giuseppe Persiano:
Placing Resources on a Growing Line.
J. Algorithms 26(1): 87-100 (1998) |
| 1997 |
|---|
| 16 | | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Synchronization of 1-Way Connected Processors.
FCT 1997: 293-304 |
| 15 | | Vincenzo Auletta,
Domenico Parente:
Better Algorithms for Minimum Weight Vertex-Connectivity Problems.
STACS 1997: 547-558 |
| 14 | | Salvatore La Torre,
Margherita Napoli,
Mimmo Parente:
Synchronization of a Line of Identical Processors at a Given Time.
TAPSOFT 1997: 405-416 |
| 13 | EE | Jozef Gruska,
Angelo Monti,
Margherita Napoli,
Domenico Parente:
Succinctness of Descriptions of SBTA-Languages.
Theor. Comput. Sci. 179(1-2): 251-271 (1997) |
| 1996 |
|---|
| 12 | | Vincenzo Auletta,
Domenico Parente,
Giuseppe Persiano:
A New Approach to Optimal Planning of Robot Motion on a Tree with Obstacles.
ESA 1996: 529-545 |
| 11 | | Vincenzo Auletta,
Angelo Monti,
Domenico Parente,
Giuseppe Persiano:
A Linear Time Algorithm for the Feasibility of Pebble Motion on Trees.
SWAT 1996: 259-270 |
| 10 | | Salvatore La Torre,
Margherita Napoli,
Domenico Parente:
Parallel Word Substitution.
Fundam. Inform. 27(1): 27-36 (1996) |
| 9 | EE | Vincenzo Auletta,
Domenico Parente,
Giuseppe Persiano:
Dynamic and Static Algorithms for Optimal Placement of Resources in a Tree.
Theor. Comput. Sci. 165(2): 441-461 (1996) |
| 1995 |
|---|
| 8 | | Vincenzo Auletta,
Domenico Parente,
Giuseppe Persiano:
Placing Resources in a Tree: Dynamic and Static Algorithms.
ICALP 1995: 232-243 |
| 7 | | Jozef Gruska,
Angelo Monti,
Margherita Napoli,
Domenico Parente:
State Complexity of SBTA Languages.
LATIN 1995: 346-357 |
| 6 | | Emanuela Fachini,
Jozef Gruska,
Margherita Napoli,
Domenico Parente:
Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata.
Mathematical Systems Theory 28(3): 245-266 (1995) |
| 1994 |
|---|
| 5 | | Jozef Gruska,
Margherita Napoli,
Domenico Parente:
Optimization of Systolic Tree Automata.
IFIP Congress (1) 1994: 247-252 |
| 1993 |
|---|
| 4 | | Jozef Gruska,
Margherita Napoli,
Domenico Parente:
On the Minimization and Succintness of Systolic Binary Tree Automata.
Sci. Ann. Cuza Univ. 2: 13-26 (1993) |
| 1992 |
|---|
| 3 | | Emanuela Fachini,
Angelo Monti,
Margherita Napoli,
Domenico Parente:
Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations.
Acta Inf. 29(8): 761-778 (1992) |
| 1991 |
|---|
| 2 | | Emanuela Fachini,
Angelo Monti,
Margherita Napoli,
Domenico Parente:
Systolic Y-Tree Automata: Closure Properties and Decision Problems.
FCT 1991: 210-219 |
| 1 | | Angelo Monti,
Domenico Parente:
Systolic Tree with Base Automata.
Int. J. Found. Comput. Sci. 2(3): 221-236 (1991) |
