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
821999
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
771999
Time aware knowledge extraction for microblog summarization on twitter
C De Maio, G Fenza, V Loia, M Parente
Information Fusion 28, 60-74, 2016
742016
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
622016
Enriched μ–calculus pushdown module checking
A Ferrante, A Murano, M Parente
International Conference on Logic for Programming Artificial Intelligence …, 2007
58*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
362011
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
361996
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 (6), 937-955, 2017
332017
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
312019
Optimal time and communication solutions of firing squad synchronization problems on square arrays, toruses and rings
J Gruska, SL Torre, M Parente
International Conference on Developments in Language Theory, 200-211, 2004
272004
Model checking for graded CTL
A Ferrante, M Napoli, M Parente
Fundamenta Informaticae 96 (3), 323-339, 2009
262009
Program complexity in hierarchical module checking
A Murano, M Napoli, M Parente
International Conference on Logic for Programming Artificial Intelligence …, 2008
252008
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
241998
Graded-CTL: Satisfiability and symbolic model checking
A Ferrante, M Napoli, M Parente
International Conference on Formal Engineering Methods, 306-325, 2009
202009
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
182019
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
182018
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
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
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
152015
The system can't perform the operation now. Try again later.
Articles 1–20