Follow
Mimmo Parente
Mimmo Parente
Verified email at unisa.it
Title
Cited by
Cited by
Year
A 2-approximation algorithm for finding an optimum 3-vertex-connected spanning subgraph
V Auletta, Y Dinitz, Z Nutov, D Parente
Journal of Algorithms 32 (1), 21-30, 1999
891999
A linear-time algorithm for the feasibility of pebble motion on trees
V Auletta, A Monti, M Parente, P Persiano
Algorithmica 23 (3), 223-245, 1999
891999
Time aware knowledge extraction for microblog summarization on twitter
C De Maio, G Fenza, V Loia, M Parente
Information Fusion 28, 60-74, 2016
822016
OLAP analysis of multidimensional tweet streams for supporting advanced analytics
A Cuzzocrea, C De Maio, G Fenza, V Loia, M Parente
Proceedings of the 31st annual ACM symposium on applied computing, 992-999, 2016
742016
Enriched μ–Calculus Pushdown Module Checking
A Ferrante, A Murano, M Parente
Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007
63*2007
On a logic for coalitional games with priced-resource agents
D Della Monica, M Napoli, M Parente
Electronic Notes in Theoretical Computer Science 278, 215-228, 2011
422011
Time-aware adaptive tweets ranking through deep learning
C De Maio, G Fenza, M Gallo, V Loia, M Parente
Future Generation Computer Systems 93, 924-932, 2019
402019
An ontology-driven context-aware recommender system for indoor shopping based on cellular automata
F Orciuoli, M Parente
Journal of Ambient Intelligence and Humanized Computing 8, 937-955, 2017
402017
Dynamic and static algorithms for optimal placement of resources in a tree
V Auletta, D Parente, G Persiano
Theoretical Computer Science 165 (2), 441-461, 1996
351996
An effective passive islanding detection algorithm for distributed generations
A Abyaz, H Panahi, R Zamani, H Haes Alhelou, P Siano, M Shafie-Khah, ...
Energies 12 (16), 3160, 2019
312019
Review of cybersecurity analysis in smart distribution systems and future directions for using unsupervised learning methods for cyber detection
SJ Pinto, P Siano, M Parente
Energies 16 (4), 1651, 2023
292023
Verification of scope-dependent hierarchical state machines
S La Torre, M Napoli, M Parente, G Parlato
Information and Computation 206 (9-10), 1161-1177, 2008
29*2008
Optimal time and communication solutions of firing squad synchronization problems on square arrays, toruses and rings
J Gruska, S La Torre, M Parente
International Conference on Developments in Language Theory, 200-211, 2004
282004
Model checking for graded CTL
A Ferrante, M Napoli, M Parente
Fundamenta Informaticae 96 (3), 323-339, 2009
272009
Program complexity in hierarchical module checking
A Murano, M Napoli, M Parente
International Conference on Logic for Programming Artificial Intelligence …, 2008
272008
Placing resources on a growing line
V Auletta, D Parente, G Persiano
J. Algorithms 26 (1), 87-100, 1998
261998
Social media marketing through time‐aware collaborative filtering
C De Maio, G Fenza, M Gallo, V Loia, M Parente
Concurrency and Computation: Practice and Experience 30 (1), e4098, 2018
242018
Graded-CTL: Satisfiability and symbolic model checking
A Ferrante, M Napoli, M Parente
International Conference on Formal Engineering Methods, 306-325, 2009
212009
The firing squad synchronization problem on squares, toruses and rings
J Gruska, S La Torre, M Parente
International Journal of Foundations of Computer Science 18 (03), 637-654, 2007
212007
Biomedical data integration and ontology-driven multi-facets visualization
C De Maio, G Fenza, V Loia, M Parente
2015 International Joint Conference on Neural Networks (IJCNN), 1-8, 2015
182015
The system can't perform the operation now. Try again later.
Articles 1–20