Mimmo Parente

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 23

Top Topics

Cellular Automata

Knowledge Extraction

Top Venues

J. Ambient Intell. Humaniz. Comput.

Publications

Mimmo Parente, Luca Rizzuti, Mario Trerotola
A profitable trading algorithm for cryptocurrencies using a Neural Network model. Expert Syst. Appl. 238 (Part A) (2024)
Angelo Gaeta, Francesco Orciuoli, Mimmo Parente
An emotion-driven virtual counselling system in computer-mediated communication. J. Ambient Intell. Humaniz. Comput. 14 (4) (2023)
Homa Rashidizadeh-Kermani, Mostafa Vahedipour-Dahraie, Mimmo Parente, Miadreza Shafie-Khah, Pierluigi Siano
Implementing a Flexible Penalizing Mechanism for Wind Power Producers in the Regulating Market. IEEE Access 11 (2023)
Maiga Chang, Marta De Angelis, Angelo Gaeta, Francesco Orciuoli, Mimmo Parente
Designing situated learning experiences for smart cities: the Inf@nziaDigiTales3.6 experience. Interact. Learn. Environ. 31 (1) (2023)
Aniello Murano, Mimmo Parente, Silvia Stranieri
A Multi-Agent Game for Sentiment Analysis (short paper). IPS-RCRA-SPIRIT@AI*IA (2023)
Smitha Joyce Pinto, Pierluigi Siano, Mimmo Parente, Gulcihan Ozdemir
Resilience and Stability Analysis of Distributed Secondary Controllers in DC Microgrids Under Cyber Attacks and Communication Delays. IEEE Access 11 (2023)
Mostafa Vahedipour-Dahraie, Homa Rashidizadeh-Kermani, Mimmo Parente, Miadreza Shafie-Khah, Pierluigi Siano
Investigating the Impact of External Demand Response Flexibility on the Market Power of Strategic Virtual Power Plant. IEEE Access 10 (2022)
Homa Rashidizadeh-Kermani, Mostafa Vahedipour-Dahraie, Mimmo Parente, Miadreza Shafie-Khah, Pierluigi Siano
Strategic Offering of a Price Maker Wind Power Producer in Distribution-Level Energy Markets in Presence of Flexible Prosumers. IEEE Access 10 (2022)
Aniello Murano, Mimmo Parente, Sasha Rubin, Loredana Sorrentino
Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. 806 (2020)
Francesco Orciuoli, Mimmo Parente
A virtual counselor for online social networks (or did I really want to send you my post?). PSYCHOBIT (2019)
Carlo Blundo, Carmen De Maio, Mimmo Parente, Luisa Siniscalchi
An intelligent and private method to profile social network users. FUZZ-IEEE (2019)
Carmen De Maio, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Mimmo Parente
Time-aware adaptive tweets ranking through deep learning. Future Gener. Comput. Syst. 93 (2019)
Angelo Gaeta, Francesco Orciuoli, Mimmo Parente, Minjuan Wang
A Framework for Situated Learning Scenarios Based on Learning Cells and Augmented Reality. MUE/FutureTech (2018)
Stefania Boffa, Carmen De Maio, Brunella Gerla, Mimmo Parente
Context-aware Advertisment Recommendation on Twitter through Rough sets. FUZZ-IEEE (2018)
Carmen De Maio, Giuseppe Fenza, Mariacristina Gallo, Vincenzo Loia, Mimmo Parente
Social media marketing through time-aware collaborative filtering. Concurr. Comput. Pract. Exp. 30 (1) (2018)
Francesco Orciuoli, Mimmo Parente
An ontology-driven context-aware recommender system for indoor shopping based on cellular automata. J. Ambient Intell. Humaniz. Comput. 8 (6) (2017)
Youssef Driouich, Mimmo Parente, Enrico Tronci
Modeling cyber-physical systems for automatic verification. SMACD (2017)
Carlo Blundo, Francesco Orciuoli, Mimmo Parente
An AmI-based and privacy-preserving shopping mall model. Hum. centric Comput. Inf. Sci. 7 (2017)
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
Time Aware Knowledge Extraction for microblog summarization on Twitter. Inf. Fusion 28 (2016)
Carlo Blundo, Francesco Orciuoli, Mimmo Parente
A private Intelligent Shopping Mall. SSCI (2016)
Alfredo Cuzzocrea, Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
OLAP analysis of multidimensional tweet streams for supporting advanced analytics. SAC (2016)
Carmen De Maio, Mimmo Parente, Giuseppe Fenza, Dario Greco
Time aware knowledge extraction to analyze nanosafety cluster scientific activities. CEC (2016)
Francesco Orciuoli, Mimmo Parente, Autilia Vitiello
Solving the shopping plan problem through bio-inspired approaches. Soft Comput. 20 (5) (2016)
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
Time Aware Knowledge Extraction for Microblog Summarization on Twitter. CoRR (2015)
Alfredo Cuzzocrea, Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
Towards OLAP Analysis of Multidimensional Tweet Streams. DOLAP (2015)
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
Natural Language Query Processing Framework for Biomedical Literature. IFSA-EUSFLAT (2015)
Francesco Orciuoli, Mimmo Parente
An Agent-Based Framework for Indoor Navigation in Blended Shopping. SSCI (2015)
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
Biomedical data integration and ontology-driven multi-facets visualization. IJCNN (2015)
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente
Online query-focused twitter summarizer through fuzzy lattice. FUZZ-IEEE (2015)
Margherita Napoli, Mimmo Parente
Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem. Computing with New Resources (2014)
Giuseppe D'Aniello, Francesco Orciuoli, Mimmo Parente, Autilia Vitiello
Enhancing an AmI-Based Framework for U-commerce by Applying Memetic Algorithms to Plan Shopping. INCoS (2014)
Dario Della Monica, Margherita Napoli, Mimmo Parente
Model checking coalitional games in shortage resource scenarios. GandALF (2013)
Angelo Montanari, Margherita Napoli, Mimmo Parente
Preface. Int. J. Found. Comput. Sci. 23 (3) (2012)
Margherita Napoli, Mimmo Parente
Graded CTL model checking for test generation. SpringSim (TMS-DEVS) (2011)
Margherita Napoli, Mimmo Parente
Graded CTL Model Checking for Test Generation CoRR (2011)
Dario Della Monica, Margherita Napoli, Mimmo Parente
On a Logic for Coalitional Games with Priced-Resource Agents. Electron. Notes Theor. Comput. Sci. 278 (2011)
Dario Della Monica, Margherita Napoli, Mimmo Parente
Coalitional Games with Priced-Resource Agents. CILC (2011)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. LPAR (Dakar) (2010)
Marco Faella, Margherita Napoli, Mimmo Parente
Graded Alternating-Time Temporal Logic. Fundam. Informaticae 105 (1-2) (2010)
Alessandro Ferrante, Maurizio Memoli, Margherita Napoli, Mimmo Parente, Francesco Sorrentino
A NuSMV Extension for Graded-CTL Model Checking. CAV (2010)
Alessandro Ferrante, Margherita Napoli, Mimmo Parente
Model Checking for Graded CTL. Fundam. Informaticae 96 (3) (2009)
Alessandro Ferrante, Margherita Napoli, Mimmo Parente
Graded-CTL: Satisfiability and Symbolic Model Checking. ICFEM (2009)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Verification of scope-dependent hierarchical state machines. Inf. Comput. 206 (9-10) (2008)
Alessandro Ferrante, Aniello Murano, Mimmo Parente
Enriched MU-Calculi Module Checking CoRR (2008)
Aniello Murano, Margherita Napoli, Mimmo Parente
Program Complexity in Hierarchical Module Checking. LPAR (2008)
Alessandro Ferrante, Mimmo Parente
Mixed Nash equilibria in selfish routing problems with dynamic constraints. Theor. Comput. Sci. 393 (1-3) (2008)
Alessandro Ferrante, Aniello Murano, Mimmo Parente
Enriched µ-Calculi Module Checking. Log. Methods Comput. Sci. 4 (3) (2008)
Alessandro Ferrante, Margherita Napoli, Mimmo Parente
CTLModel-Checking with Graded Quantifiers. ATVA (2008)
Jozef Gruska, Salvatore La Torre, Mimmo Parente
The Firing Squad Synchronization Problem on Squares, Toruses and Rings. Int. J. Found. Comput. Sci. 18 (3) (2007)
Alessandro Ferrante, Aniello Murano, Mimmo Parente
Enriched µ-Calculus Pushdown Module Checking. LPAR (2007)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Verification of Succinct Hierarchical State Machines. LATA (2007)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
The word problem for visibly pushdown languages described by grammars. Formal Methods Syst. Des. 31 (3) (2007)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
On the Membership Problem for Visibly Pushdown Languages. ATVA (2006)
Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente
Different time solutions for the firing squad synchronization problem on basic grid networks. RAIRO Theor. Informatics Appl. 40 (2) (2006)
Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente
Various Solutions to the Firing Squad Synchronization Problems CoRR (2005)
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)
Margherita Napoli, Mimmo Parente, Adriano Peron
Specification and Verification of Protocols With Time Constraints. Electron. Notes Theor. Comput. Sci. 99 (2004)
Alessandro Ferrante, Mimmo Parente
On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality. Int. J. Found. Comput. Sci. 15 (5) (2004)
Salvatore La Torre, Aniello Murano, Mimmo Parente
Model-checking the Secure Release of a Time-locked Secret over a Network. Electron. Notes Theor. Comput. Sci. 99 (2004)
Alessandro Ferrante, Mimmo Parente
Existence of Nash Equilibria in Selfish Routing Problems. SIROCCO (2004)
Alessandro Ferrante, Mimmo Parente
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. ICTCS (2003)
Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato
Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP (2003)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU (2001)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
A compositional approach to synchronize two dimensional networks of processors. RAIRO Theor. Informatics Appl. 34 (6) (2000)
Vincenzo Auletta, Angelo Monti, Mimmo Parente, Pino Persiano
A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees. Algorithmica 23 (3) (1999)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of 1-Way Connected Processors. FCT (1997)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT (1997)
Salvatore La Torre, Margherita Napoli, Mimmo Parente
Synchronization of One-way Connected Processors. Complex Syst. 10 (4) (1996)