Systolic Y-Tree Automata: Closure Properties and Decision Problems. - Emanuela Fachini; Angelo Monti; Margherita Napoli; Domenico Parente (FCT, 1991)

Systolic Tree with Base Automata. - Angelo Monti; Domenico Parente (Int. J. Found. Comput. Sci., 1991)

Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. - Emanuela Fachini; Angelo Monti; Margherita Napoli; Domenico Parente (Acta Informatica, 1992)

On the Minimization and Succintness of Systolic Binary Tree Automata. - Jozef Gruska; Margherita Napoli; Domenico Parente (Sci. Ann. Cuza Univ., 1993)

Optimization of Systolic Tree Automata. - Jozef Gruska; Margherita Napoli; Domenico Parente (IFIP Congress (1), 1994)

Placing Resources in a Tree: Dynamic and Static Algorithms. - Vincenzo Auletta; Domenico Parente; Giuseppe Persiano (ICALP, 1995)

State Complexity of SBTA Languages. - Jozef Gruska; Angelo Monti; Margherita Napoli; Domenico Parente (LATIN, 1995)

Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. - Emanuela Fachini; Jozef Gruska; Margherita Napoli; Domenico Parente (Math. Syst. Theory, 1995)

A New Approach to Optimal Planning of Robot Motion on a Tree with Obstacles. - Vincenzo Auletta; Domenico Parente; Giuseppe Persiano (ESA, 1996)

Synchronization of One-way Connected Processors. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (Complex Syst., 1996)

Parallel Word Substitution. - Salvatore La Torre; Margherita Napoli; Domenico Parente (Fundam. Informaticae, 1996)

Dynamic and Static Algorithms for Optimal Placement of Resources in a Tree. - Vincenzo Auletta; Domenico Parente; Giuseppe Persiano (Theor. Comput. Sci., 1996)

Synchronization of 1-Way Connected Processors. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (FCT, 1997)

Better Algorithms for Minimum Weight Vertex-Connectivity Problems. - Vincenzo Auletta; Domenico Parente (STACS, 1997)

Succinctness of Descriptions of SBTA-Languages. - Jozef Gruska; Angelo Monti; Margherita Napoli; Domenico Parente (Theor. Comput. Sci., 1997)

Synchronization of a Line of Identical Processors at a Given Time. - Salvatore La Torre; Margherita Napoli; Domenico Parente (Fundam. Informaticae, 1998)

Placing Resources on a Growing Line. - Vincenzo Auletta; Domenico Parente; Giuseppe Persiano (J. Algorithms, 1998)

A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees. - Vincenzo Auletta; Angelo Monti; Mimmo Parente; Pino Persiano (Algorithmica, 1999)

A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph. - Vincenzo Auletta; Yefim Dinitz; Zeev Nutov; Domenico Parente (J. Algorithms, 1999)

A compositional approach to synchronize two dimensional networks of processors. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (RAIRO Theor. Informatics Appl., 2000)

Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (MCU, 2001)

Hierarchical and Recursive State Machines with Context-Dependent Properties. - Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato (ICALP, 2003)

An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. - Alessandro Ferrante; Mimmo Parente (ICTCS, 2003)

Specification and Verification of Protocols With Time Constraints. - Margherita Napoli; Mimmo Parente; Adriano Peron (MEFISTO, 2003)

Model-checking the Secure Release of a Time-locked Secret over a Network. - Salvatore La Torre; Aniello Murano; Mimmo Parente (MEFISTO, 2003)

Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. - Jozef Gruska; Salvatore La Torre; Mimmo Parente (Developments in Language Theory, 2004)

Existence of Nash Equilibria in Selfish Routing Problems. - Alessandro Ferrante; Mimmo Parente (SIROCCO, 2004)

On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality. - Alessandro Ferrante; Mimmo Parente (Int. J. Found. Comput. Sci., 2004)

Various Solutions to the Firing Squad Synchronization Problems - Jozef Gruska; Salvatore La Torre; Margherita Napoli; Mimmo Parente (CoRR, 2005)

On the Membership Problem for Visibly Pushdown Languages. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (ATVA, 2006)

Different time solutions for the firing squad synchronization problem on basic grid networks. - Jozef Gruska; Salvatore La Torre; Margherita Napoli; Mimmo Parente (RAIRO Theor. Informatics Appl., 2006)

Verification of Succinct Hierarchical State Machines. - Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato (LATA, 2007)

Enriched µ-Calculus Pushdown Module Checking. - Alessandro Ferrante; Aniello Murano; Mimmo Parente (LPAR, 2007)

The word problem for visibly pushdown languages described by grammars. - Salvatore La Torre; Margherita Napoli; Mimmo Parente (Formal Methods Syst. Des., 2007)

The Firing Squad Synchronization Problem on Squares, Toruses and Rings. - Jozef Gruska; Salvatore La Torre; Mimmo Parente (Int. J. Found. Comput. Sci., 2007)

CTLModel-Checking with Graded Quantifiers. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (ATVA, 2008)

Program Complexity in Hierarchical Module Checking. - Aniello Murano; Margherita Napoli; Mimmo Parente (LPAR, 2008)

Enriched MU-Calculi Module Checking - Alessandro Ferrante; Aniello Murano; Mimmo Parente (CoRR, 2008)

Verification of scope-dependent hierarchical state machines. - Salvatore La Torre; Margherita Napoli; Mimmo Parente; Gennaro Parlato (Inf. Comput., 2008)

Enriched µ-Calculi Module Checking. - Alessandro Ferrante; Aniello Murano; Mimmo Parente (Log. Methods Comput. Sci., 2008)

Mixed Nash equilibria in selfish routing problems with dynamic constraints. - Alessandro Ferrante; Mimmo Parente (Theor. Comput. Sci., 2008)

Graded-CTL: Satisfiability and Symbolic Model Checking. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (ICFEM, 2009)

Model Checking for Graded CTL. - Alessandro Ferrante; Margherita Napoli; Mimmo Parente (Fundam. Informaticae, 2009)

A NuSMV Extension for Graded-CTL Model Checking. - Alessandro Ferrante; Maurizio Memoli; Margherita Napoli; Mimmo Parente; Francesco Sorrentino 002 (CAV, 2010)

Graded Alternating-Time Temporal Logic. - Marco Faella; Margherita Napoli; Mimmo Parente (Fundam. Informaticae, 2010)

Coalitional Games with Priced-Resource Agents. - Dario Della Monica; Margherita Napoli; Mimmo Parente (CILC, 2011)

Graded CTL model checking for test generation. - Margherita Napoli; Mimmo Parente (SpringSim (TMS-DEVS), 2011)

On a Logic for Coalitional Games with Priced-Resource Agents. - Dario Della Monica; Margherita Napoli; Mimmo Parente (M4M/LAMAS, 2011)

Preface. - Angelo Montanari; Margherita Napoli; Mimmo Parente (Int. J. Found. Comput. Sci., 2012)

Model checking coalitional games in shortage resource scenarios. - Dario Della Monica; Margherita Napoli; Mimmo Parente (GandALF, 2013)

Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem. - Margherita Napoli; Mimmo Parente (Computing with New Resources, 2014)

Enhancing an AmI-Based Framework for U-commerce by Applying Memetic Algorithms to Plan Shopping. - Giuseppe D'Aniello; Francesco Orciuoli; Mimmo Parente; Autilia Vitiello (INCoS, 2014)

Towards OLAP Analysis of Multidimensional Tweet Streams. - Alfredo Cuzzocrea; Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (DOLAP, 2015)

Natural Language Query Processing Framework for Biomedical Literature. - Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (IFSA-EUSFLAT, 2015)

Online query-focused twitter summarizer through fuzzy lattice. - Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (FUZZ-IEEE, 2015)

Biomedical data integration and ontology-driven multi-facets visualization. - Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (IJCNN, 2015)

An Agent-Based Framework for Indoor Navigation in Blended Shopping. - Francesco Orciuoli; Mimmo Parente (SSCI, 2015)

Time aware knowledge extraction to analyze nanosafety cluster scientific activities. - Carmen De Maio; Mimmo Parente; Giuseppe Fenza; Dario Greco (CEC, 2016)

OLAP analysis of multidimensional tweet streams for supporting advanced analytics. - Alfredo Cuzzocrea; Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (SAC, 2016)

A private Intelligent Shopping Mall. - Carlo Blundo; Francesco Orciuoli; Mimmo Parente (SSCI, 2016)

Time Aware Knowledge Extraction for microblog summarization on Twitter. - Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (Inf. Fusion, 2016)

Solving the shopping plan problem through bio-inspired approaches. - Francesco Orciuoli; Mimmo Parente; Autilia Vitiello (Soft Comput., 2016)

Modeling cyber-physical systems for automatic verification. - Youssef Driouich; Mimmo Parente; Enrico Tronci (SMACD, 2017)

An AmI-based and privacy-preserving shopping mall model. - Carlo Blundo; Francesco Orciuoli; Mimmo Parente (Hum. centric Comput. Inf. Sci., 2017)

An ontology-driven context-aware recommender system for indoor shopping based on cellular automata. - Francesco Orciuoli; Mimmo Parente (J. Ambient Intell. Humaniz. Comput., 2017)

Context-aware Advertisment Recommendation on Twitter through Rough sets. - Stefania Boffa; Carmen De Maio; Brunella Gerla; Mimmo Parente (FUZZ-IEEE, 2018)

A Framework for Situated Learning Scenarios Based on Learning Cells and Augmented Reality. - Angelo Gaeta; Francesco Orciuoli; Mimmo Parente; Minjuan Wang (MUE/FutureTech, 2018)

Social media marketing through time-aware collaborative filtering. - Carmen De Maio; Giuseppe Fenza; Mariacristina Gallo; Vincenzo Loia; Mimmo Parente (Concurr. Comput. Pract. Exp., 2018)

A Granular Functional Network with delay: Some dynamical properties and application to the sign prediction in social networks. - Vincenzo Loia; Domenico Parente; Witold Pedrycz; Stefania Tomasiello (Neurocomputing, 2018)

An intelligent and private method to profile social network users. - Carlo Blundo; Carmen De Maio; Mimmo Parente; Luisa Siniscalchi (FUZZ-IEEE, 2019)

A virtual counselor for online social networks (or did I really want to send you my post?). - Francesco Orciuoli; Mimmo Parente (PSYCHOBIT, 2019)

Time-aware adaptive tweets ranking through deep learning. - Carmen De Maio; Giuseppe Fenza; Mariacristina Gallo; Vincenzo Loia; Mimmo Parente (Future Gener. Comput. Syst., 2019)

Text Mining Basics in Bioinformatics. - Carmen De Maio; Giuseppe Fenza; Vincenzo Loia; Mimmo Parente (Encyclopedia of Bioinformatics and Computational Biology (1), 2019)

Model-checking graded computation-tree logic with finite path semantics. - Aniello Murano; Mimmo Parente; Sasha Rubin; Loredana Sorrentino (Theor. Comput. Sci., 2020)

Strategic Offering of a Price Maker Wind Power Producer in Distribution-Level Energy Markets in Presence of Flexible Prosumers. - Homa Rashidizadeh-Kermani; Mostafa Vahedipour-Dahraie; Mimmo Parente; Miadreza Shafie-Khah; Pierluigi Siano (IEEE Access, 2022)

Investigating the Impact of External Demand Response Flexibility on the Market Power of Strategic Virtual Power Plant. - Mostafa Vahedipour-Dahraie; Homa Rashidizadeh-Kermani; Mimmo Parente; Miadreza Shafie-Khah; Pierluigi Siano (IEEE Access, 2022)

A Multi-Agent Game for Sentiment Analysis (short paper). - Aniello Murano; Mimmo Parente; Silvia Stranieri (IPS-RCRA-SPIRIT@AI*IA, 2023)

Pump and Dump Cryptocurrency Detection Using Social Media. - Domenico Alfano; Roberto Abbruzzese; Domenico Parente (DATA, 2023)

Resilience and Stability Analysis of Distributed Secondary Controllers in DC Microgrids Under Cyber Attacks and Communication Delays. - Smitha Joyce Pinto; Pierluigi Siano; Mimmo Parente; Gülcihan Özdemir (IEEE Access, 2023)

Implementing a Flexible Penalizing Mechanism for Wind Power Producers in the Regulating Market. - Homa Rashidizadeh-Kermani; Mostafa Vahedipour-Dahraie; Mimmo Parente; Miadreza Shafie-Khah; Pierluigi Siano (IEEE Access, 2023)

An emotion-driven virtual counselling system in computer-mediated communication. - Angelo Gaeta; Francesco Orciuoli; Mimmo Parente (J. Ambient Intell. Humaniz. Comput., 2023)

Designing situated learning experiences for smart cities: the Inf@nziaDigiTales3.6 experience. - Maiga Chang; Marta De Angelis; Angelo Gaeta; Francesco Orciuoli; Mimmo Parente (Interact. Learn. Environ., 2023)

Conformalized Multimodal Uncertainty Regression and Reasoning. - Domenico Parente; Nastaran Darabi; Alex C. Stutts; Theja Tulabandhula; Amit Ranjan Trivedi (ICASSP, 2024)

A profitable trading algorithm for cryptocurrencies using a Neural Network model. - Mimmo Parente; Luca Rizzuti; Mario Trerotola (Expert Syst. Appl., 2024)

Comprehensive review of depression detection techniques based on machine learning approach. - Smitha Joyce Pinto; Mimmo Parente (Soft Comput., 2024)