Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mimmo Parente
Domenico Parente
2010 – today
- 2013
[i4]Dario Della Monica, Margherita Napoli, Mimmo Parente: Model checking coalitional games in shortage resource scenarios. CoRR abs/1307.4479 (2013)- 2012
- [j25]Angelo Montanari, Margherita Napoli, Mimmo Parente: Preface. Int. J. Found. Comput. Sci. 23(3) (2012)
- 2011
- [j24]Dario Della Monica, Margherita Napoli, Mimmo Parente: On a Logic for Coalitional Games with Priced-Resource Agents. Electr. Notes Theor. Comput. Sci. 278: 215-228 (2011)
- [c24]Dario Della Monica, Margherita Napoli, Mimmo Parente: Coalitional Games with Priced-Resource Agents. CILC 2011: 341-347
- [c23]Margherita Napoli, Mimmo Parente: Graded CTL model checking for test generation. SpringSim (TMS-DEVS) 2011: 59-66
- [i3]Margherita Napoli, Mimmo Parente: Graded CTL Model Checking for Test Generation. CoRR abs/1111.2768 (2011)
- 2010
- [j23]Marco Faella, Margherita Napoli, Mimmo Parente: Graded Alternating-Time Temporal Logic. Fundam. Inform. 105(1-2): 189-210 (2010)
- [c22]Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino: A NuSMV Extension for Graded-CTL Model Checking. CAV 2010: 670-673
- [c21]Marco Faella, Margherita Napoli, Mimmo Parente: Graded Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 192-211
- [e1]Angelo Montanari, Margherita Napoli, Mimmo Parente (Eds.): Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. EPTCS 25, 2010
2000 – 2009
- 2009
- [j22]Alessandro Ferrante, Margherita Napoli, Mimmo Parente: Model Checking for Graded CTL. Fundam. Inform. 96(3): 323-339 (2009)
- [c20]Alessandro Ferrante, Margherita Napoli, Mimmo Parente: Graded-CTL: Satisfiability and Symbolic Model Checking. ICFEM 2009: 306-325
- 2008
- [j21]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008)
- [j20]Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculi Module Checking. Logical Methods in Computer Science 4(3) (2008)
- [j19]Alessandro Ferrante, Mimmo Parente: Mixed Nash equilibria in selfish routing problems with dynamic constraints. Theor. Comput. Sci. 393(1-3): 37-53 (2008)
- [c19]Alessandro Ferrante, Margherita Napoli, Mimmo Parente: CTLModel-Checking with Graded Quantifiers. ATVA 2008: 18-32
- [c18]Aniello Murano, Margherita Napoli, Mimmo Parente: Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332
- [i2]Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched MU-Calculi Module Checking. CoRR abs/0805.3462 (2008)
- 2007
- [j18]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)
- [j17]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)
- [c17]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496
- [c16]Alessandro Ferrante, Aniello Murano, Mimmo Parente: Enriched µ-Calculus Pushdown Module Checking. LPAR 2007: 438-453
- 2006
- [j16]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Different time solutions for the firing squad synchronization problem on basic grid networks. ITA 40(2): 177-206 (2006)
- [c15]Salvatore La Torre, Margherita Napoli, Mimmo Parente: On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109
- 2005
- [i1]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente: Various Solutions to the Firing Squad Synchronization Problems. CoRR abs/cs/0511044 (2005)
- 2004
- [j15]Margherita Napoli, Mimmo Parente, Adriano Peron: Specification and Verification of Protocols With Time Constraints. Electr. Notes Theor. Comput. Sci. 99: 205-227 (2004)
- [j14]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)
- [j13]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)
- [c14]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
- [c13]Alessandro Ferrante, Mimmo Parente: Existence of Nash Equilibria in Selfish Routing Problems. SIROCCO 2004: 149-160
- 2003
- [c12]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato: Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789
- [c11]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
- [c10]Salvatore La Torre, Margherita Napoli, Mimmo Parente: Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275
- 2000
- [j12]Salvatore La Torre, Margherita Napoli, Mimmo Parente: A compositional approach to synchronize two dimensional networks of processors. ITA 34(6): 549-564 (2000)
1990 – 1999
- 1999
- [j11]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)
- [j10]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
- [j9]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)
- [j8]Vincenzo Auletta, Domenico Parente, Giuseppe Persiano: Placing Resources on a Growing Line. J. Algorithms 26(1): 87-100 (1998)
- 1997
- [j7]Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente: Succinctness of Descriptions of SBTA-Languages. Theor. Comput. Sci. 179(1-2): 251-271 (1997)
- [c9]Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of 1-Way Connected Processors. FCT 1997: 293-304
- [c8]Vincenzo Auletta, Domenico Parente: Better Algorithms for Minimum Weight Vertex-Connectivity Problems. STACS 1997: 547-558
- [c7]Salvatore La Torre, Margherita Napoli, Mimmo Parente: Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416
- 1996
- [j6]Salvatore La Torre, Margherita Napoli, Domenico Parente: Parallel Word Substitution. Fundam. Inform. 27(1): 27-36 (1996)
- [j5]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)
- [c6]Vincenzo Auletta, Domenico Parente, Giuseppe Persiano: A New Approach to Optimal Planning of Robot Motion on a Tree with Obstacles. ESA 1996: 529-545
- [c5]Vincenzo Auletta, Angelo Monti, Domenico Parente, Giuseppe Persiano: A Linear Time Algorithm for the Feasibility of Pebble Motion on Trees. SWAT 1996: 259-270
- 1995
- [j4]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)
- [c4]Vincenzo Auletta, Domenico Parente, Giuseppe Persiano: Placing Resources in a Tree: Dynamic and Static Algorithms. ICALP 1995: 232-243
- [c3]Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente: State Complexity of SBTA Languages. LATIN 1995: 346-357
- 1994
- [c2]Jozef Gruska, Margherita Napoli, Domenico Parente: Optimization of Systolic Tree Automata. IFIP Congress (1) 1994: 247-252
- 1993
- [j3]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
- [j2]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
- [j1]Angelo Monti, Domenico Parente: Systolic Tree with Base Automata. Int. J. Found. Comput. Sci. 2(3): 221-236 (1991)
- [c1]Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente: Systolic Y-Tree Automata: Closure Properties and Decision Problems. FCT 1991: 210-219
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:11 CEST by the dblp team