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
841999
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
791999
Time aware knowledge extraction for microblog summarization on twitter
C De Maio, G Fenza, V Loia, M Parente
Information Fusion 28, 60-74, 2016
762016
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
672016
Enriched μ–Calculus Pushdown Module Checking
A Ferrante, A Murano, M Parente
Logic for Programming, Artificial Intelligence, and Reasoning: 14thá…, 2007
59*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
382011
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
342019
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
331996
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
322017
Optimal time and communication solutions of firing squad synchronization problems on square arrays, toruses and rings
J Gruska, S La Torre, M Parente
Developments in Language Theory: 8th International Conference, DLT 2004á…, 2005
272005
Model checking for graded CTL
A Ferrante, M Napoli, M Parente
Fundamenta Informaticae 96 (3), 323-339, 2009
262009
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
25*2008
Placing resources on a growing line
V Auletta, D Parente, G Persiano
J. Algorithms 26 (1), 87-100, 1998
251998
Program complexity in hierarchical module checking
A Murano, M Napoli, M Parente
Logic for Programming, Artificial Intelligence, and Reasoning: 15thá…, 2008
242008
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
212019
Graded-CTL: Satisfiability and symbolic model checking
A Ferrante, M Napoli, M Parente
Formal Methods and Software Engineering: 11th International Conference oná…, 2009
202009
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
192018
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
182007
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
172015
Synchronization of a line of identical processors at a given time
S La Torre, M Napoli, D Parente
Fundamenta Informaticae 34 (1-2), 103-128, 1998
171998
The system can't perform the operation now. Try again later.
Articles 1–20