Mimmo Parente - RankMe

72 papers A* 2B 11C 5Misc 1Journal 33Unranked 18

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