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
861999
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
841999
Time aware knowledge extraction for microblog summarization on twitter
C De Maio, G Fenza, V Loia, M Parente
Information Fusion 28, 60-74, 2016
782016
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
712016
Enriched μ–Calculus Pushdown Module Checking
A Ferrante, A Murano, M Parente
Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007
62*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
402011
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
382019
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
382017
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
341996
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
282019
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
28*2008
Model checking for graded CTL
A Ferrante, M Napoli, M Parente
Fundamenta Informaticae 96 (3), 323-339, 2009
272009
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
272004
Program complexity in hierarchical module checking
A Murano, M Napoli, M Parente
International Conference on Logic for Programming Artificial Intelligence …, 2008
262008
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
232018
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
192007
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
Graded alternating-time temporal logic
M Faella, M Napoli, M Parente
Fundamenta Informaticae 105 (1-2), 189-210, 2010
182010
The system can't perform the operation now. Try again later.
Articles 1–20