Publications

Domenico PARENTE Publications


2023
Contributo in Atti di convegno
Pump and Dump Cryptocurrency Detection Using Social Media.
In: 12th International Conference on Data Science, Technology and Applications (DATA) SCITEPRESS Pag.235-240
ISBN:978-989-758-664-4
International Conference on Data Science, Technology and Applications (DATA)
Roma, Italy July, 11-13 2023
Alfano, Domenico; Abbruzzese, Roberto; Parente, Domenico
Digital Object Identifier (DOI): 10.5220/0000168100003541
Show it in Product Database (IRIS)
2019
Contributo in Atti di convegno
A framework for situated learning scenarios based on learning cells and augmented reality.
In: Lecture Notes in Electrical Engineering Springer Verlag Vol.518, Pag.663-669
ISBN:978-981-13-1327-1; 978-981-13-1328-8
13th International Conference on Future Information Technology, FutureTech
Salerno; Italy; 23 April 2018 through 25 April 2018
Gaeta, A.; Orciuoli, F.; Parente, M.; Wang, M.
Versione online
Digital Object Identifier (DOI): 10.1007/978-981-13-1328-8_85
Codice identificativo ISI: WOS:000821121100085
Codice identificativo SCOPUS: 2-s2.0-85058316231
Show it in Product Database (IRIS)
2019
Contributo in Atti di convegno
A virtual counselor for online social networks (or did I really want to send you my post?).
In: CEUR Workshop Proceedings CEUR-WS Vol.2524, Pag.1-6
1st Symposium on Psychology-Based Technologies, PSYCHOBIT 2019
ita 2019
Orciuoli, F.; Parente, M.
Codice identificativo SCOPUS: 2-s2.0-85077509918
Show it in Product Database (IRIS)
2019
Contributo in Atti di convegno
An intelligent and private method to profile social network users.
In: IEEE International Conference on Fuzzy Systems Institute of Electrical and Electronics Engineers Inc. Vol.2019-, Pag.1-6
ISBN:978-1-5386-1728-1
2019 IEEE International Conference on Fuzzy Systems, FUZZ 2019
usa 2019
Blundo, C.; Maio, C. D.; Parente, M.; Siniscalchi, L.
Digital Object Identifier (DOI): 10.1109/FUZZ-IEEE.2019.8858912
Codice identificativo SCOPUS: 2-s2.0-85073809472
Show it in Product Database (IRIS)
2018
Contributo in Atti di convegno
A methodology for a complete simulation of Cyber-Physical Energy Systems.
In: A methodology for a complete simulation of Cyber-Physical Energy Systems IEEE Pag.1-5
ISBN:978-1-5386-6405-6
IEEE Workshop on Environmental, Energy, and Structural Monitoring Systems
Salerno, Italy 21-22 June 2018
Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Versione online
Codice identificativo ISI: WOS:000482986200018
Codice identificativo SCOPUS: 2-s2.0-85051013335
Show it in Product Database (IRIS)
2018
Contributo in Atti di convegno
Context-aware advertisment recommendation on twitter through rough sets.
In: IEEE International Conference on Fuzzy Systems Institute of Electrical and Electronics Engineers Inc. Vol.2018-, Pag.1-8
ISBN:9781509060207
2018 IEEE International Conference on Fuzzy Systems, FUZZ 2018
bra 2018
Boffa, Stefania; De Maio, Carmen; Gerla, Brunella; Parente, Domenico
Digital Object Identifier (DOI): 10.1109/FUZZ-IEEE.2018.8491510
Codice identificativo ISI: WOS:000451248900069
Codice identificativo SCOPUS: 2-s2.0-85060448127
Show it in Product Database (IRIS)
2017
Contributo in Atti di convegno
A private Intelligent Shopping Mall.
In: 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016 Institute of Electrical and Electronics Engineers Inc. Pag.1-7
ISBN:9781509042401
2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016
grc 2016
Blundo, Carlo; Orciuoli, Francesco; Parente, Domenico
Digital Object Identifier (DOI): 10.1109/SSCI.2016.7850186
Codice identificativo ISI: WOS:000400488302092
Codice identificativo SCOPUS: 2-s2.0-85016020200
Show it in Product Database (IRIS)
2017
Contributo in Atti di convegno
Model Checking Cyber-Physical Energy Systems.
In: 2017 International Renewable and Sustainable Energy Conference (IRSEC) IEEE Pag.1-6
ISBN:978-1-5386-2847-8
2017 International Renewable and Sustainable Energy Conference (IRSEC)
Tangier, Morocco 4-7 December 2017
Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Digital Object Identifier (DOI): 10.1109/IRSEC.2017.8477334
Codice identificativo ISI: WOS:000464725700117
Codice identificativo SCOPUS: 2-s2.0-85055894604
Show it in Product Database (IRIS)
2017
Contributo in Atti di convegno
Modeling cyber-physical systems for automatic verification.
In: 2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD) IEEE Pag.1-4
ISBN:978-1-5090-5052-9
International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)
Giardini Naxos (Italy) 12-15 June 2017
Driouich, Youssef; Parente, Domenico; Tronci, Enrico
Digital Object Identifier (DOI): 10.1109/SMACD.2017.7981621
Codice identificativo ISI: WOS:000463391700066
Codice identificativo SCOPUS: 2-s2.0-85027510649
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
OLAP analysis of multidimensional tweet streams for supporting advanced analytics.
In: Proceedings of the ACM Symposium on Applied Computing Association for Computing Machinery Vol.04-08-, Pag.992-999
ISBN:9781450337397; 9781450337397
31st Annual ACM Symposium on Applied Computing, SAC 2016
ita 2016
Cuzzocrea, Alfredo; Fenza, Giuseppe; DE MAIO, Carmen; Loia, Vincenzo; Parente, Domenico
Digital Object Identifier (DOI): 10.1145/2851613.2851662
Codice identificativo SCOPUS: 2-s2.0-84975883424
Show it in Product Database (IRIS)
2016
Contributo in Atti di convegno
Time aware knowledge extraction to analyze nanosafety cluster scientific activities.
In: 2016 IEEE Congress on Evolutionary Computation, CEC 2016 Institute of Electrical and Electronics Engineers Inc. Pag.1233-1240
ISBN:9781509006229; 9781509006229
2016 IEEE Congress on Evolutionary Computation, CEC 2016
Vancouver Convention Centre, can 2016
DE MAIO, Carmen; Parente, Domenico; Fenza, Giuseppe; Greco, Dario
Digital Object Identifier (DOI): 10.1109/CEC.2016.7743928
Codice identificativo ISI: WOS:000390749101052
Codice identificativo SCOPUS: 2-s2.0-85008256526
Show it in Product Database (IRIS)
2015
Contributo in Atti di convegno
Natural Language Query Processing Framework for Biomedical Literature.
In: Natural Language Query Processing Framework for Biomedical Literature © Atlantis Press Pag.1628-1635
ISBN:978-94-62520-77-6
IFSA-EUSFLAT-2015
Gijon Spagna 30/06/2015 - 03/07/2015
DE MAIO, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Domenico
Digital Object Identifier (DOI): 10.2991/ifsa-eusflat-15.2015.232
Codice identificativo ISI: WOS:000358581100231
Show it in Product Database (IRIS)
2015
Contributo in Atti di convegno
Online query-focused twitter summarizer through fuzzy lattice.
In: 2015 {IEEE} International Conference on Fuzzy Systems Adnan Yazici Pag.1-8
International Conference on Fuzzy Systems, {FUZZ-IEEE}
Istanbul, Turkey, August 2-5, 2015
DE MAIO, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Domenico
Digital Object Identifier (DOI): 10.1109/FUZZ-IEEE.2015.7337927
Codice identificativo ISI: WOS:000370288300128
Codice identificativo SCOPUS: 2-s2.0-84975759918
Show it in Product Database (IRIS)
2015
Contributo in Atti di convegno
An Agent-based Framework for Indoor Navigation in Blended Shopping.
In: Proceedings - 2015 IEEE Symposium Series on Computational Intelligence, SSCI 2015 345 E 47TH ST, NEW YORK, NY 10017 USA IEEE Pag.640-646
ISBN:978-147997560-0
IEEE Symposium Series on Computational Intelligence 2015, SSCI 2015
Cape Town; South Africa 8 December 2015 through 10 December 2015
Orciuoli, Francesco; Parente, Domenico
Versione online
Digital Object Identifier (DOI): 10.1109/SSCI.2015.263
Codice identificativo ISI: WOS:000380431500089
Codice identificativo SCOPUS: 2-s2.0-84964931391
Show it in Product Database (IRIS)
2015
Contributo in Atti di convegno
Towards OLAP Analysis of Multidimensional Tweet Streams.
In: Proceedings of the ACM Eighteenth International Workshop on Data Warehousing and OLAP, DOLAP ACM Pag.69-73
ACM Eighteenth International Workshop on Data Warehousing and OLAP, DOLAP
Melbourne, VIC, Australia October 19-23, 2015
Cuzzocrea, Alfredo; DE MAIO, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Domenico
Digital Object Identifier (DOI): 10.1145/2811222.2811233
Codice identificativo SCOPUS: 2-s2.0-84958690402
Show it in Product Database (IRIS)
2015
Contributo in Atti di convegno
Biomedical data integration and ontology-driven multi-facets visualization.
In: Neural Networks (IJCNN), 2015 International Joint Conference on IEEE Pag.1-8
Neural Networks (IJCNN), 2015 International Joint Conference on
Killarney, Ireland 12-17 July 2015
DE MAIO, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Domenico
Digital Object Identifier (DOI): 10.1109/IJCNN.2015.7280395
Codice identificativo ISI: WOS:000370730600100
Codice identificativo SCOPUS: 2-s2.0-84950986049
Show it in Product Database (IRIS)
2014
Contributo in Atti di convegno
Enhancing an AmI-based Framework for U-commerce by applying Memetic Algorithms to Plan Shopping.
In: Proceedings - 2014 International Conference on Intelligent Networking and Collaborative Systems, IEEE INCoS 2014 345 E 47TH ST, NEW YORK, NY 10017 USA IEEE Pag.169-175
ISBN:9781479963867
6th International Conference on Intelligent Networking and Collaborative Systems, IEEE INCoS 2014
University of Salerno, Italy 2014
D'Aniello, Giuseppe; Orciuoli, Francesco; Parente, Domenico; Vitiello, Autilia
Versione online
Digital Object Identifier (DOI): 10.1109/INCoS.2014.44
Codice identificativo ISI: WOS:000380454200025
Codice identificativo SCOPUS: 2-s2.0-84926511383
Show it in Product Database (IRIS)
2013
Contributo in Atti di convegno
Model checking coalitional games in shortage resource scenarios.
In: Fourth International Symposium on Games, Automata, Logics and Formal Verification EPTCS Vol.119, Pag.240-255
International Symposium on Games, Automata, Logics and Formal Verification (GANDALF)
Borca di Cadore, Italy 29th to 31st of August 2013.
DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Versione online
Digital Object Identifier (DOI): 10.4204/EPTCS.119.20
Show it in Product Database (IRIS)
2011
Contributo in Atti di convegno
Coalitional Games with Priced-Resource Agents.
In: CILC 2011, 26th Italian Conference on Computational Logic CEUR-WS.org Pag.341-347
CILC 2011, 26th Italian Conference on Computational Logic
pescara (italy) 31 August 2011 Through 2 September 2011
DELLA MONICA, Dario; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/978-3-642-02846-5_32
Codice identificativo ISI: WOS:000268998400026
Codice identificativo SCOPUS: 2-s2.0-84883370333
Show it in Product Database (IRIS)
2011
Contributo in Atti di convegno
Graded CTL model checking for test generation..
In: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS) SCS/ACM Pag.59-66
ISBN:9781930638563
Conference of Theory of Modeling and Simulation: DEVS Integrative M and S Symposium 2011, TMS-DEVS 2011
Boston, MA 3 April 2011 Through 7 April 2011
Napoli, Margherita; Parente, Domenico
Codice identificativo ISI: WOS:000398858400007
Codice identificativo SCOPUS: 2-s2.0-84887037894
Show it in Product Database (IRIS)
2010
Contributo in Atti di convegno
A NuSMV Extension for Graded-CTL Model Checking.
In: Proc. of CAV 2010, Lecture Notes in Computer Science Springer-Verlag Pag.670-673
ISBN:978-3-642-14294-9
Conference of 22nd International Conference on Computer-Aided Verification, CAV 2010
Edimburgh 15 July 2010 Through 19 July 2010
Ferrante, A; Memoli, M; Napoli, Margherita; Parente, Domenico; Sorrentino, F.
Digital Object Identifier (DOI): 10.1007/978-3-642-14295-6_58
Codice identificativo ISI: WOS:000281446200057
Codice identificativo SCOPUS: 2-s2.0-77955007634
Show it in Product Database (IRIS)
2010
Contributo in Atti di convegno
Graded Alternating-Time Temporal Logic.
In: Lecture Notes in Computer Science Springer Vol.6355, Pag.189-210
ISBN:9783642175107
The 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
(LPAR '10) Dakar, Senegal 25 Aprile-- 1 Maggio, 2010
Parente, Domenico; Napoli, Margherita; Faella, M.
Digital Object Identifier (DOI): 10.1007/978-3-642-17511-4_12
Codice identificativo ISI: WOS:000309668000012
Codice identificativo SCOPUS: 2-s2.0-78650850178
Show it in Product Database (IRIS)
2009
Contributo in Atti di convegno
Graded-CTL: Satisfiability and Symbolic Model Checking.
In: International Conference on Formal Engineering Methods Springer-Verlag Vol.5885, Pag.306-325
Conference of 11th International Conference on Formal Engineering Methods, ICFEM 2009
Rio de Janeiro; Brazil; 9 December 2009 through 12 December 2009
Alessandro, Ferrante; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/978-3-642-10373-5_16
Codice identificativo ISI: WOS:000280073000016
Codice identificativo SCOPUS: 2-s2.0-77954989561
Show it in Product Database (IRIS)
2009
Contributo in Atti di convegno
Graded Alternating Time Temporal Logic.
In: 24-esimo Convegno Italiano di Logica Computazionale FERRARA Marco Gavanelli and Fabrizio Riguzzi Pag.1-15

Ferrara 24-26 giugno 2009
Faella, Marco; Napoli, Margherita; Parente, Domenico
Show it in Product Database (IRIS)
2008
Contributo in Atti di convegno
Program Complexity in Hierarchical Module Checking.
In: Lecture Notes in Computer Science Springer-Verlag Pag.318-332
ISBN:9783540894384
15th International Conference on Logic for Programming Artificial Intelligence and Reasoning
Doha, Qatar November 22-27, 2008
A., Murano; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/978-3-540-89439-1_23
Codice identificativo ISI: WOS:000262502600023
Codice identificativo SCOPUS: 2-s2.0-58049125850
Show it in Product Database (IRIS)
2008
Contributo in Atti di convegno
CTL Model-Checking with Graded Quantifiers.
In: Lecture Notes in Computer Science ATVA 2008, L.N.C.S. Springer-Verlag Vol.5311, Pag.18-32
ISBN:354088386X; 9783540883869
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
Seoul, South Korea October 20-23, 2008
Ferrante, A.; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/978-3-540-88387-6_4
Codice identificativo ISI: WOS:000261873000003
Codice identificativo SCOPUS: 2-s2.0-56749155699
Show it in Product Database (IRIS)
2007
Contributo in Atti di convegno
Enriched mu--Calculus Pushdown Module Checking.
In: Int.Conf. on Logic for Programming, Artificial Intelligence and Reasoning 2007. L.N.C.S. Vol.4790, Pag.438-453
ISBN:9783540755586
LPAR '07
Yerevan, Armenia 15--19 Ottobre 2007
A., Ferrante; A., Murano; Parente, Domenico
Codice identificativo ISI: WOS:000251785100032
Codice identificativo SCOPUS: 2-s2.0-38149047466
Show it in Product Database (IRIS)
2007
Contributo in Atti di convegno
Verification of Succinct Hierarchical State Machines.
In: Proc. of the 1st International Conference on Language and Automata Theory and Applications, (LATA 2007). Universitat Rovira i Virgili, Tarragona Vol.Report 35/07, Pag.485-496
1st International Conference on Language and Automata Theory and Applications, LATA 2007
Tarragona (Spain) March 29 - April 4, 2007
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
Show it in Product Database (IRIS)
2006
Contributo in Atti di convegno
On the Membership Problem for Visibly Pushdown Languages.
In: Proc. of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA 2006). Lecture Notes in Computer Science. BERLIN Springer Vol.4218, Pag.96-109
ISBN:3540472371
Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006
Beijing (China) October 23-26
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Codice identificativo ISI: WOS:000241648200010
Codice identificativo SCOPUS: 2-s2.0-33845197318
Show it in Product Database (IRIS)
2004
Contributo in Atti di convegno
Optimal Time and Communication Solutions of Firing Squad Synchronization Problems on Square Arrays, Toruses and Rings.
In: Proc. of the 8th International Conference on Developments in Language Theory (DLT’04). Lecture Notes in Computer Science Berlin Springer Vol.3340, Pag.200-211
ISBN:3540240144
Developments in Language Theory
Auckland (New Zealand) December 13 - 17, 2004
Gruska, J.; LA TORRE, Salvatore; Parente, Domenico
Codice identificativo ISI: WOS:000226160800017
Codice identificativo SCOPUS: 2-s2.0-33746314400
Show it in Product Database (IRIS)
2004
Contributo in Atti di convegno
Existence of Nash Equilibria in Selfish Routing Problems.
In: Structural Information and Communication Complexity Berlin, Heidelberg Springer Vol.3104, Pag.149-160
ISBN:9783540222309
SIROCCO 2004
Takayama, Japan July 23-25, 2014
Ferrante, Alessandro; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/978-3-540-27796-5_14
Codice identificativo ISI: WOS:000222843600014
Codice identificativo SCOPUS: 2-s2.0-35048875312
Show it in Product Database (IRIS)
2003
Contributo in Atti di convegno
An Approximation Algorithm for the Minimum Weight Vertex-Connectivity Problem with Sharpened Triangle Inequality.
In: Lecture Notes on Computer Science Springer Vol.2841, Pag.137-149
Eight Italian Conference on Theoretical Computer Science
Bertinoro (FC) - Italy 13-15/10/2003
Ferrante, Alessandro; Parente, Domenico
Codice identificativo ISI: WOS:000187497700012
Show it in Product Database (IRIS)
2003
Contributo in Atti di convegno
Hierarchical and Recursive State Machines with Context-Dependent Properties.
In: Proc. of the 30th International Colloquium on Automata, Languages and Programming (ICALP 2003). Lecture Notes in Computer Science Berlin Springer Vol.2719, Pag.776-789
ISBN:3540404937
ICALP '03
Eindhoven (The Netherlands) June 30 - July 4, 2003
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, G.
Codice identificativo ISI: WOS:000185145700061
Codice identificativo SCOPUS: 2-s2.0-35248871028
Show it in Product Database (IRIS)
2003
Contributo in Atti di convegno
Applying WBEM to heterogeneous TLC Network Management: an evaluation.
In: International Conference on Software, Telecommunications and Computer Networks SoftCOM 2003 Split (HR) Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture - University of Split Pag.380-385
ISBN:953611464X
International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2003)
Split, Dubrovnik (Croatia), Venice, Ancona (Italy) 07-10 Ottobre 2003
Castiglione, Aniello; Cattaneo, Giuseppe; Catuogno, Luigi; Ferraro Petrillo, Umberto; Parente, Domenico; Fresa, Antonio; Casella, Raffaele; Auletta, Luigi; De Gregorio, Antonio
Show it in Product Database (IRIS)
2001
Contributo in Atti di convegno
Firing Squad Synchronization Problem on Bidimensional Cellular Automata with Communication Constraints.
In: Proc. of the 3rd International Conference on Machines, Computations and Universality (MCU’01). Lecture Notes in Computer Science Berlin Springer Vol.2055, Pag.264-275
ISBN:3540421211
3rd INTERNATIONAL CONFERENCE ON MACHINES, COMPUTATIONS AND UNIVERSALITY
Chisinau (Moldavia) May 23-27, 2001
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-2142736604
Show it in Product Database (IRIS)
2000
Contributo in Atti di convegno
Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information.
In: Proc. of the 5th Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL 2000) Pag.1-10
5th Workshop su Sistemi Distribuiti: Algoritmi, Architetture e Linguaggi (WSDAAL 2000)
Ischia, Italy 18-20 Settembre, 2000
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Show it in Product Database (IRIS)
1996
Contributo in Atti di convegno
A linear time algorithm for the feasibility of pebble motion on treesAlgorithm Theory.
In: 5th Scandinavian Workshop on Algorithm Theory Springer Vol.1097, Pag.259-270
ISBN:3-540-61422-2
5th Scandinavian Workshop on Algorithm Theory
Reykjavík July 3-5 1996
Auletta, Vincenzo; Angelo, Monti; Parente, Domenico; Persiano, Giuseppe
Digital Object Identifier (DOI): 10.1007/3-540-61422-2_137
Codice identificativo SCOPUS: 2-s2.0-84946083404
Show it in Product Database (IRIS)
1996
Contributo in Atti di convegno
A new approach to optimal planning of robot motion on a tree with obstaclesAlgorithms — ESA '96.
In: Lecture Notes in Computer ScienceAlgorithmsVol.1136, Pag.529-545
ISBN:9783540616801; 9783540706670
European Symposium on Algorithms
Barcelona, Spain, September 25–27, 1996
Auletta, Vincenzo; Parente, Domenico; Persiano, Giuseppe
Versione online
Digital Object Identifier (DOI): 10.1007/3-540-61680-2_80
Codice identificativo SCOPUS: 2-s2.0-84958074358
Show it in Product Database (IRIS)
1995
Contributo in Atti di convegno
Placing resources in a tree: Dynamic and static algorithmsAutomata, Languages and Programming.
In: Lecture Notes in Computer ScienceAutomata, Languages and Programming Berlin Springer Vol.944, Pag.232-243
ISBN:9783540494256; 9783540600848
International Colloquium on Automata, Languages and Programming
Szeged, Hungary July 10–14, 1995
Auletta, Vincenzo; Parente, Domenico; Persiano, Giuseppe
Versione online
Digital Object Identifier (DOI): 10.1007/3-540-60084-1_77
Codice identificativo SCOPUS: 2-s2.0-84958050058
Show it in Product Database (IRIS)