default search action
Mimmo Parente
Domenico Parente
Person information
- affiliation: University of Salerno, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j39]Mimmo Parente
, Luca Rizzuti
A profitable trading algorithm for cryptocurrencies using a Neural Network model. Expert Syst. Appl. 238(Part A): 121806 (2024) - [j38]Smitha Joyce Pinto
Comprehensive review of depression detection techniques based on machine learning approach. Soft Comput. 28(17-18): 10701-10725 (2024) - [c46]Domenico Parente, Nastaran Darabi, Alex C. Stutts, Theja Tulabandhula, Amit Ranjan Trivedi:
Conformalized Multimodal Uncertainty Regression and Reasoning. ICASSP 2024: 6985-6989 - 2023
- [j37]Homa Rashidizadeh-Kermani
Implementing a Flexible Penalizing Mechanism for Wind Power Producers in the Regulating Market. IEEE Access 11: 125204-125216 (2023) - [j36]Smitha Joyce Pinto
Resilience and Stability Analysis of Distributed Secondary Controllers in DC Microgrids Under Cyber Attacks and Communication Delays. IEEE Access 11: 132296-132311 (2023) - [j35]Maiga Chang
Designing situated learning experiences for smart cities: the Inf@nziaDigiTales3.6 experience. Interact. Learn. Environ. 31(1): 544-561 (2023) - [j34]Angelo Gaeta
An emotion-driven virtual counselling system in computer-mediated communication. J. Ambient Intell. Humaniz. Comput. 14(4): 3531-3549 (2023) - [c45]Aniello Murano, Mimmo Parente, Silvia Stranieri:
A Multi-Agent Game for Sentiment Analysis (short paper). IPS-RCRA-SPIRIT@AI*IA 2023 - [c44]Domenico Alfano, Roberto Abbruzzese, Domenico Parente:
Pump and Dump Cryptocurrency Detection Using Social Media. DATA 2023: 235-240 - [i5]Domenico Parente, Nastaran Darabi, Alex C. Stutts, Theja Tulabandhula, Amit Ranjan Trivedi:
Conformalized Multimodal Uncertainty Regression and Reasoning. CoRR abs/2309.11018 (2023) - 2022
- [j33]Homa Rashidizadeh-Kermani
Strategic Offering of a Price Maker Wind Power Producer in Distribution-Level Energy Markets in Presence of Flexible Prosumers. IEEE Access 10: 21475-21485 (2022) - [j32]Mostafa Vahedipour-Dahraie
Investigating the Impact of External Demand Response Flexibility on the Market Power of Strategic Virtual Power Plant. IEEE Access 10: 84960-84969 (2022) - 2020
- [j31]Aniello Murano
Model-checking graded computation-tree logic with finite path semantics. Theor. Comput. Sci. 806: 577-586 (2020)
2010 – 2019
- 2019
- [j30]Carmen De Maio, Giuseppe Fenza, Mariacristina Gallo
Time-aware adaptive tweets ranking through deep learning. Future Gener. Comput. Syst. 93: 924-932 (2019) - [c43]Carlo Blundo, Carmen De Maio, Mimmo Parente, Luisa Siniscalchi
An intelligent and private method to profile social network users. FUZZ-IEEE 2019: 1-6 - [c42]Francesco Orciuoli, Mimmo Parente:
A virtual counselor for online social networks (or did I really want to send you my post?). PSYCHOBIT 2019 - [r1]Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
Text Mining Basics in Bioinformatics. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 575-585 - 2018
- [j29]Carmen De Maio, Giuseppe Fenza, Mariacristina Gallo
Social media marketing through time-aware collaborative filtering. Concurr. Comput. Pract. Exp. 30(1) (2018) - [j28]Vincenzo Loia
A Granular Functional Network with delay: Some dynamical properties and application to the sign prediction in social networks. Neurocomputing 321: 61-71 (2018) - [c41]Stefania Boffa, Carmen De Maio, Brunella Gerla
Context-aware Advertisment Recommendation on Twitter through Rough sets. FUZZ-IEEE 2018: 1-8 - [c40]Angelo Gaeta
A Framework for Situated Learning Scenarios Based on Learning Cells and Augmented Reality. MUE/FutureTech 2018: 663-669 - 2017
- [j27]Carlo Blundo, Francesco Orciuoli
An AmI-based and privacy-preserving shopping mall model. Hum. centric Comput. Inf. Sci. 7: 26 (2017) - [j26]Francesco Orciuoli
An ontology-driven context-aware recommender system for indoor shopping based on cellular automata. J. Ambient Intell. Humaniz. Comput. 8(6): 937-955 (2017) - [c39]Youssef Driouich, Mimmo Parente, Enrico Tronci
Modeling cyber-physical systems for automatic verification. SMACD 2017: 1-4 - 2016
- [j25]Carmen De Maio
Time Aware Knowledge Extraction for microblog summarization on Twitter. Inf. Fusion 28: 60-74 (2016) - [j24]Francesco Orciuoli
Solving the shopping plan problem through bio-inspired approaches. Soft Comput. 20(5): 2077-2089 (2016) - [c38]Carmen De Maio, Mimmo Parente, Giuseppe Fenza, Dario Greco:
Time aware knowledge extraction to analyze nanosafety cluster scientific activities. CEC 2016: 1233-1240 - [c37]Alfredo Cuzzocrea, Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
OLAP analysis of multidimensional tweet streams for supporting advanced analytics. SAC 2016: 992-999 - [c36]Carlo Blundo, Francesco Orciuoli, Mimmo Parente:
A private Intelligent Shopping Mall. SSCI 2016: 1-7 - 2015
- [c35]Alfredo Cuzzocrea, Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
Towards OLAP Analysis of Multidimensional Tweet Streams. DOLAP 2015: 69-73 - [c34]Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
Natural Language Query Processing Framework for Biomedical Literature. IFSA-EUSFLAT 2015 - [c33]Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
Online query-focused twitter summarizer through fuzzy lattice. FUZZ-IEEE 2015: 1-8 - [c32]Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
Biomedical data integration and ontology-driven multi-facets visualization. IJCNN 2015: 1-8 - [c31]Francesco Orciuoli
An Agent-Based Framework for Indoor Navigation in Blended Shopping. SSCI 2015: 640-646 - [i4]Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Mimmo Parente:
Time Aware Knowledge Extraction for Microblog Summarization on Twitter. CoRR abs/1501.06715 (2015) - 2014
- [c30]Margherita Napoli
Minimum and non-Minimum Time Solutions to the Firing Squad Synchronization Problem. Computing with New Resources 2014: 114-128 - [c29]Giuseppe D'Aniello
Enhancing an AmI-Based Framework for U-commerce by Applying Memetic Algorithms to Plan Shopping. INCoS 2014: 169-175 - 2013
- [c28]Dario Della Monica
Model checking coalitional games in shortage resource scenarios. GandALF 2013: 240-255 - 2012
- [j23]Angelo Montanari, Margherita Napoli, Mimmo Parente:
Preface. Int. J. Found. Comput. Sci. 23(3) (2012) - 2011
- [c27]Dario Della Monica, Margherita Napoli, Mimmo Parente:
Coalitional Games with Priced-Resource Agents. CILC 2011: 341-347 - [c26]Margherita Napoli, Mimmo Parente:
Graded CTL model checking for test generation. SpringSim (TMS-DEVS) 2011: 59-66 - [c25]Dario Della Monica
On a Logic for Coalitional Games with Priced-Resource Agents. M4M/LAMAS 2011: 215-228 - [i3]Margherita Napoli, Mimmo Parente:
Graded CTL Model Checking for Test Generation. CoRR abs/1111.2768 (2011) - 2010
- [j22]Marco Faella, Margherita Napoli
Graded Alternating-Time Temporal Logic. Fundam. Informaticae 105(1-2): 189-210 (2010) - [c24]Alessandro Ferrante, Maurizio Memoli, Margherita Napoli
A NuSMV Extension for Graded-CTL Model Checking. CAV 2010: 670-673 - [c23]Marco Faella, Margherita Napoli
Graded Alternating-Time Temporal Logic. LPAR (Dakar) 2010: 192-211 - [e1]Angelo Montanari, Margherita Napoli, Mimmo Parente:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. EPTCS 25, 2010 [contents]
2000 – 2009
- 2009
- [j21]Alessandro Ferrante, Margherita Napoli
Model Checking for Graded CTL. Fundam. Informaticae 96(3): 323-339 (2009) - [c22]Alessandro Ferrante, Margherita Napoli
Graded-CTL: Satisfiability and Symbolic Model Checking. ICFEM 2009: 306-325 - 2008
- [j20]Salvatore La Torre, Margherita Napoli
Verification of scope-dependent hierarchical state machines. Inf. Comput. 206(9-10): 1161-1177 (2008) - [j19]Alessandro Ferrante, Aniello Murano
Enriched µ-Calculi Module Checking. Log. Methods Comput. Sci. 4(3) (2008) - [j18]Alessandro Ferrante, Mimmo Parente
Mixed Nash equilibria in selfish routing problems with dynamic constraints. Theor. Comput. Sci. 393(1-3): 37-53 (2008) - [c21]Alessandro Ferrante, Margherita Napoli, Mimmo Parente:
CTLModel-Checking with Graded Quantifiers. ATVA 2008: 18-32 - [c20]Aniello Murano
Program Complexity in Hierarchical Module Checking. LPAR 2008: 318-332 - [i2]Alessandro Ferrante, Aniello Murano, Mimmo Parente:
Enriched MU-Calculi Module Checking. CoRR abs/0805.3462 (2008) - 2007
- [j17]Salvatore La Torre, Margherita Napoli
The word problem for visibly pushdown languages described by grammars. Formal Methods Syst. Des. 31(3): 265-279 (2007) - [j16]Jozef Gruska, Salvatore La Torre, Mimmo Parente
The Firing Squad Synchronization Problem on Squares, Toruses and Rings. Int. J. Found. Comput. Sci. 18(3): 637-654 (2007) - [c19]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato:
Verification of Succinct Hierarchical State Machines. LATA 2007: 485-496 - [c18]Alessandro Ferrante, Aniello Murano, Mimmo Parente:
Enriched µ-Calculus Pushdown Module Checking. LPAR 2007: 438-453 - 2006
- [j15]Jozef Gruska, Salvatore La Torre, Margherita Napoli
Different time solutions for the firing squad synchronization problem on basic grid networks. RAIRO Theor. Informatics Appl. 40(2): 177-206 (2006) - [c17]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
On the Membership Problem for Visibly Pushdown Languages. ATVA 2006: 96-109 - 2005
- [i1]Jozef Gruska, Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Various Solutions to the Firing Squad Synchronization Problems. CoRR abs/cs/0511044 (2005) - 2004
- [j14]Alessandro Ferrante, Mimmo Parente
On The Vertex-Connectivity Problem For Graphs With Sharpened Triangle Inequality. Int. J. Found. Comput. Sci. 15(5): 701-715 (2004) - [c16]Jozef Gruska, Salvatore La Torre, Mimmo Parente:
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings. Developments in Language Theory 2004: 200-211 - [c15]Alessandro Ferrante, Mimmo Parente:
Existence of Nash Equilibria in Selfish Routing Problems. SIROCCO 2004: 149-160 - 2003
- [c14]Salvatore La Torre, Margherita Napoli, Mimmo Parente, Gennaro Parlato:
Hierarchical and Recursive State Machines with Context-Dependent Properties. ICALP 2003: 776-789 - [c13]Alessandro Ferrante, Mimmo Parente:
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem in Complete Graphs with Sharpened Triangle Inequality. ICTCS 2003: 137-149 - [c12]Margherita Napoli
Specification and Verification of Protocols With Time Constraints. MEFISTO 2003: 205-227 - [c11]Salvatore La Torre, Aniello Murano
Model-checking the Secure Release of a Time-locked Secret over a Network. MEFISTO 2003: 229-243 - 2001
- [c10]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints. MCU 2001: 264-275 - 2000
- [j13]Salvatore La Torre, Margherita Napoli
A compositional approach to synchronize two dimensional networks of processors. RAIRO Theor. Informatics Appl. 34(6): 549-564 (2000)
1990 – 1999
- 1999
- [j12]Vincenzo Auletta, Angelo Monti, Mimmo Parente, Pino Persiano:
A Linear-Time Algorithm for the Feasibility of Pebble Motion on Trees. Algorithmica 23(3): 223-245 (1999) - [j11]Vincenzo Auletta, Yefim Dinitz, Zeev Nutov, Domenico Parente:
A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph. J. Algorithms 32(1): 21-30 (1999) - 1998
- [j10]Salvatore La Torre, Margherita Napoli, Domenico Parente:
Synchronization of a Line of Identical Processors at a Given Time. Fundam. Informaticae 34(1-2): 103-128 (1998) - [j9]Vincenzo Auletta, Domenico Parente, Giuseppe Persiano:
Placing Resources on a Growing Line. J. Algorithms 26(1): 87-100 (1998) - 1997
- [j8]Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente:
Succinctness of Descriptions of SBTA-Languages. Theor. Comput. Sci. 179(1-2): 251-271 (1997) - [c9]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of 1-Way Connected Processors. FCT 1997: 293-304 - [c8]Vincenzo Auletta, Domenico Parente:
Better Algorithms for Minimum Weight Vertex-Connectivity Problems. STACS 1997: 547-558 - [c7]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of a Line of Identical Processors at a Given Time. TAPSOFT 1997: 405-416 - 1996
- [j7]Salvatore La Torre, Margherita Napoli, Mimmo Parente:
Synchronization of One-way Connected Processors. Complex Syst. 10(4) (1996) - [j6]Salvatore La Torre, Margherita Napoli, Domenico Parente:
Parallel Word Substitution. Fundam. Informaticae 27(1): 27-36 (1996) - [j5]Vincenzo Auletta
Dynamic and Static Algorithms for Optimal Placement of Resources in a Tree. Theor. Comput. Sci. 165(2): 441-461 (1996) - [c6]Vincenzo Auletta, Domenico Parente, Giuseppe Persiano:
A New Approach to Optimal Planning of Robot Motion on a Tree with Obstacles. ESA 1996: 529-545 - [c5]Vincenzo Auletta, Angelo Monti, Domenico Parente, Giuseppe Persiano:
A Linear Time Algorithm for the Feasibility of Pebble Motion on Trees. SWAT 1996: 259-270 - 1995
- [j4]Emanuela Fachini, Jozef Gruska, Margherita Napoli
Power of Interconnections and of Nondeterminism in Regular Y-Tree Systolic Automata. Math. Syst. Theory 28(3): 245-266 (1995) - [c4]Vincenzo Auletta, Domenico Parente, Giuseppe Persiano:
Placing Resources in a Tree: Dynamic and Static Algorithms. ICALP 1995: 232-243 - [c3]Jozef Gruska, Angelo Monti, Margherita Napoli, Domenico Parente:
State Complexity of SBTA Languages. LATIN 1995: 346-357 - 1994
- [c2]Jozef Gruska, Margherita Napoli, Domenico Parente:
Optimization of Systolic Tree Automata. IFIP Congress (1) 1994: 247-252 - 1993
- [j3]Jozef Gruska, Margherita Napoli, Domenico Parente:
On the Minimization and Succintness of Systolic Binary Tree Automata. Sci. Ann. Cuza Univ. 2: 13-26 (1993) - 1992
- [j2]Emanuela Fachini, Angelo Monti, Margherita Napoli
Languages Accepted by Systolic Y-Tree Automata: Structural Characterizations. Acta Informatica 29(8): 761-778 (1992) - 1991
- [j1]Angelo Monti, Domenico Parente:
Systolic Tree with Base Automata. Int. J. Found. Comput. Sci. 2(3): 221-236 (1991) - [c1]Emanuela Fachini, Angelo Monti, Margherita Napoli, Domenico Parente:
Systolic Y-Tree Automata: Closure Properties and Decision Problems. FCT 1991: 210-219
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: