Mimmo Parente
Mimmo Parente
Bestätigte E-Mail-Adresse bei unisa.it
Titel
Zitiert von
Zitiert von
Jahr
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
701999
Time aware knowledge extraction for microblog summarization on twitter
C De Maio, G Fenza, V Loia, M Parente
Information Fusion 28, 60-74, 2016
662016
Enriched μ–calculus pushdown module checking
A Ferrante, A Murano, M Parente
International Conference on Logic for Programming Artificial Intelligence …, 2007
57*2007
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
472016
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
322011
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
321996
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
302017
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
292004
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
26*2008
Model checking for graded CTL
A Ferrante, M Napoli, M Parente
Fundamenta Informaticae 96 (3), 323-339, 2009
252009
Program complexity in hierarchical module checking
A Murano, M Napoli, M Parente
International Conference on Logic for Programming Artificial Intelligence …, 2008
242008
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
222019
Placing resources on a growing line
V Auletta, D Parente, G Persiano
J. Algorithms 26 (1), 87-100, 1998
221998
Graded-CTL: Satisfiability and symbolic model checking
A Ferrante, M Napoli, M Parente
International Conference on Formal Engineering Methods, 306-325, 2009
202009
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
CTL Model-Checking with Graded Quantifiers
A Ferrante, M Napoli, M Parente
International Symposium on Automated Technology for Verification and …, 2008
162008
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
Model checking coalitional games in shortage resource scenarios
D Della Monica, M Napoli, M Parente
arXiv preprint arXiv:1307.4479, 2013
152013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20