Publications

Domenico PARENTE Publications


In corso di stampa
Mostra
L'arc@ di Noè, l'iconografia animale nel tempo attraverso la ceramica, Un allestimento museale, didattico e multidisciplinare. Vol. 1. Pag.2-90
Fiorillo, Rosa; Parente, Domenico
Show it in Product Database (IRIS)
2021
Articolo in rivista
Targeted Advertising That Protects the Privacy of Social Networks Users
HUMAN-CENTRIC COMPUTING AND INFORMATION SCIENCES. Vol. 11. Pag.1-20
ISSN:2192-1962.
Blundo, C; De Maio, C; Parente, M; Siniscalchi, L
Digital Object Identifier (DOI): 10.22967/HCIS.2021.11.018
Codice identificativo ISI: WOS:000668122500001
Show it in Product Database (IRIS)
2021
Articolo in rivista
Spatial and temporal reasoning with granular computing and three way formal concept analysis
GRANULAR COMPUTING. Vol. 6. Pag.797-813
ISSN:2364-4966.
Gaeta, Angelo; Loia, Vincenzo; Orciuoli, Francesco; Parente, Mimmo
Digital Object Identifier (DOI): 10.1007/s41066-020-00232-4
Codice identificativo ISI: WOS:000693984100003
Codice identificativo SCOPUS: 2-s2.0-85107968475
Show it in Product Database (IRIS)
2021
Articolo in rivista
An emotion-driven virtual counselling system in computer-mediated communication
JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. Pag.1-19
ISSN:1868-5137.
Gaeta, A.; Orciuoli, F.; Parente, M.
Digital Object Identifier (DOI): 10.1007/s12652-021-03483-4
Codice identificativo ISI: WOS:000695150900002
Codice identificativo SCOPUS: 2-s2.0-85114904823
Show it in Product Database (IRIS)
2020
Articolo in rivista
Improved hybridization of evolutionary algorithms with a sensitivity-based decision-making technique for the optimal planning of shunt capacitors in radial distribution systems
APPLIED SCIENCES. Vol. 10. Pag.1384-1409
ISSN:2076-3417.
Mahfoud, R. J.; Alkayem, N. F.; Sun, Y.; Alhelou, H. H.; Siano, P.; Parente, M.
Digital Object Identifier (DOI): 10.3390/app10041384
Codice identificativo ISI: WOS:000525287900191
Codice identificativo SCOPUS: 2-s2.0-85081197593
Show it in Product Database (IRIS)
2020
Articolo in rivista
Designing situated learning experiences for smart cities: the Inf@nziaDigiTales3.6 experience
INTERACTIVE LEARNING ENVIRONMENTS. Pag.1-18
ISSN:1049-4820.
Chang, M.; De Angelis, M.; Gaeta, A.; Orciuoli, F.; Parente, M.
Digital Object Identifier (DOI): 10.1080/10494820.2020.1799024
Codice identificativo ISI: WOS:000555625800001
Codice identificativo SCOPUS: 2-s2.0-85089029511
Show it in Product Database (IRIS)
2020
Articolo in rivista
Risk assessment of smart substation relay protection system based on markov model and risk transfer network
ENERGIES. Vol. 13. Pag.1777-1792
ISSN:1996-1073.
Nan, D.; Wang, W.; Mahfoud, R. J.; Alhelou, H. H.; Siano, P.; Parente, M.; Zhang, L.
Digital Object Identifier (DOI): 10.3390/en13071777
Codice identificativo ISI: WOS:000537688400246
Codice identificativo SCOPUS: 2-s2.0-85083624616
Show it in Product Database (IRIS)
2020
Articolo in rivista
Model-checking graded computation-tree logic with finite path semantics
THEORETICAL COMPUTER SCIENCE. Vol. 806. Pag.577-586
ISSN:0304-3975.
Murano, Aniello; Parente, Mimmo; Rubin, Sasha; Sorrentino, Loredana
Versione online
Digital Object Identifier (DOI): 10.1016/j.tcs.2019.09.021
Codice identificativo ISI: WOS:000510523000041
Codice identificativo SCOPUS: 2-s2.0-85072556537
Show it in Product Database (IRIS)
2020
Contributo in volume (Capitolo o Saggio)
Un clinical decision support system basato su realtà aumentata per l’assistenza domiciliare dei pazienti affetti da lesioni da pressione.
In Francesco Orciuoli, Giuseppe Fenza, Angela Peduto Health management system per la gestione di lesioni cutanee da decubito Pag.7-23
ISBN:9788835109365
Blundo, Carlo; Fenza, Giuseppe; Orciuoli, Francesco; Parente, Domenico; Peduto, Angela
Show it in Product Database (IRIS)
2019
Articolo in rivista
Time-aware adaptive tweets ranking through deep learning
FUTURE GENERATION COMPUTER SYSTEMS. Vol. 93. Pag.924-932
ISSN:0167-739X.
De Maio, Carmen; Fenza, Giuseppe; GALLO, MARIACRISTINA; Loia, Vincenzo; Parente, Mimmo
Digital Object Identifier (DOI): 10.1016/j.future.2017.07.039
Codice identificativo ISI: WOS:000459365800073
Codice identificativo SCOPUS: 2-s2.0-85027110605
Show it in Product Database (IRIS)
2019
Articolo in rivista
An effective passive islanding detection algorithm for distributed generations
ENERGIES. Vol. 12. Pag.3160-3175
ISSN:1996-1073.
Abyaz, A.; Panahi, H.; Zamani, R.; Alhelou, H. H.; Siano, P.; Shafie-Khah, M.; Parente, M.
Versione online
Digital Object Identifier (DOI): 10.3390/en12163160
Codice identificativo ISI: WOS:000484454000123
Codice identificativo SCOPUS: 2-s2.0-85071270910
Show it in Product Database (IRIS)
2019
Articolo in rivista
Improving learning with augmented reality: A didactic re-mediation model from inf@nzia digitales 3.6
JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY. Vol. 15. Pag.287-300
ISSN:1826-6223.
De Angelis, M.; Gaeta, A.; Orciuoli, F.; Parente, M.
Versione online
Digital Object Identifier (DOI): 10.20368/1971-8829/1135032
Codice identificativo ISI: WOS:000511122200021
Codice identificativo SCOPUS: 2-s2.0-85073722626
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)
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 SCOPUS: 2-s2.0-85058316231
Show it in Product Database (IRIS)
2019
Contributo in volume (Capitolo o Saggio)
Text Mining Basics in Bioinformatics.
In Ranganathan, S. and Nakai, K. and Schonbach, C. Encyclopedia of Bioinformatics and Computational Biology: ABC of Bioinformatics Pag.575-585 Elsevier.
De Maio, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Mimmo
Digital Object Identifier (DOI): 10.1016/B978-0-12-809633-8.20475-5
Codice identificativo SCOPUS: 2-s2.0-85079826536
Show it in Product Database (IRIS)
2018
Articolo in rivista
Social media marketing through time-aware collaborative filtering
CONCURRENCY AND COMPUTATION. Pag.1-11
ISSN:1532-0626.
DE MAIO, CARMEN; FENZA, GIUSEPPE; GALLO, MARIACRISTINA; LOIA, Vincenzo; PARENTE, Domenico
Versione online
Digital Object Identifier (DOI): 10.1002/cpe.4098
Codice identificativo ISI: WOS:000417256500001
Codice identificativo SCOPUS: 2-s2.0-85017391470
Show it in Product Database (IRIS)
2018
Articolo in rivista
A Granular Functional Network with delay: Some dynamical properties and application to the sign prediction in social networks
NEUROCOMPUTING. Vol. 321. Pag.61-71
ISSN:0925-2312.
Loia, Vincenzo; Parente, Domenico; Pedrycz, Witold; Tomasiello, Stefania
Versione online
Digital Object Identifier (DOI): 10.1016/j.neucom.2018.08.047
Codice identificativo ISI: WOS:000447385100006
Codice identificativo SCOPUS: 2-s2.0-85054008907
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, Mimmo
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
Articolo in rivista
An AmI-based and privacy-preserving shopping mall model
HUMAN-CENTRIC COMPUTING AND INFORMATION SCIENCES. Vol. 7. Pag.1-28
ISSN:2192-1962.
Blundo, Carlo; Orciuoli, Francesco; Parente, Domenico
Versione online
Digital Object Identifier (DOI): 10.1186/s13673-017-0107-4
Codice identificativo ISI: WOS:000409357900001
Codice identificativo SCOPUS: 2-s2.0-85029222208
Show it in Product Database (IRIS)
2017
Articolo in rivista
An ontology-driven context-aware recommender system for indoor shopping based on cellular automata
JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. Vol. 8. Pag.937-955
ISSN:1868-5137.
Orciuoli, Francesco; Parente, Mimmo
Versione online
Digital Object Identifier (DOI): 10.1007/s12652-016-0411-2
Codice identificativo ISI: WOS:000412897800011
Codice identificativo SCOPUS: 2-s2.0-85031789387
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
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)
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)
2016
Articolo in rivista
Solving the shopping plan problem through bio-inspired approaches
SOFT COMPUTING. Vol. 20. Pag.2077-2089
ISSN:1432-7643.
Orciuoli, F.; Parente, M.; Vitiello, A.
Versione online
Digital Object Identifier (DOI): 10.1007/s00500-015-1625-5
Codice identificativo ISI: WOS:000374310700030
Codice identificativo SCOPUS: 2-s2.0-84923329225
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, Mimmo; 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)
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, Mimmo
Digital Object Identifier (DOI): 10.1145/2851613.2851662
Codice identificativo SCOPUS: 2-s2.0-84975883424
Show it in Product Database (IRIS)
2015
Articolo in rivista
Time Aware Knowledge Extraction for microblog summarization on Twitter
INFORMATION FUSION. Pag.1628-1635
ISSN:1566-2535.
De Maio, Carmen; Fenza, Giuseppe; Loia, Vincenzo; Parente, Mimmo
Versione online
Digital Object Identifier (DOI): 10.1016/j.inffus.2015.06.004
Codice identificativo ISI: WOS:000364247900006
Codice identificativo SCOPUS: 2-s2.0-84943350744
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, Mimmo
Digital Object Identifier (DOI): 10.1109/IJCNN.2015.7280395
Codice identificativo SCOPUS: 2-s2.0-84950986049
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 SCOPUS: 2-s2.0-84975759918
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, Mimmo
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
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)
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)
2014
Contributo in volume (Capitolo o Saggio)
Minimum and non-minimum time solutions to the firing squad synchronization problem.
In Computing with New Resources Pag.114-128
ISBN:978-3-319-13349-2
Napoli, M.; Parente, M.
Versione online
Digital Object Identifier (DOI): 10.1007/978-3-319-13350-8_9
Codice identificativo ISI: WOS:000355015600010
Codice identificativo SCOPUS: 2-s2.0-84916899648
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, Mimmo
Versione online
Digital Object Identifier (DOI): 10.4204/EPTCS.119.20
Show it in Product Database (IRIS)
2011
Articolo in rivista
On a Logic for Coalitional Games with Priced-Resource Agents
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 278. Pag.215-228
ISSN:1571-0661.
Dario Della, Monica; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1016/j.entcs.2011.10.017
Codice identificativo SCOPUS: 2-s2.0-80155207446
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)
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)
2010
Articolo in rivista
Graded Alternating-Time Temporal Logic
FUNDAMENTA INFORMATICAE. Vol. 105(2). Pag.189-210
ISSN:0169-2968.
Faella, M; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.3233/FI-2010-363
Codice identificativo ISI: WOS:000287022900009
Codice identificativo SCOPUS: 2-s2.0-79951634547
Show it in Product Database (IRIS)
2010
Articolo in rivista
Environmental Impact Evaluation of Olive Mill Wastewater Shedding on Cultivated Fields
TERRESTRIAL & AQUATIC ENVIRONMENTAL TOXICOLOGY. Vol. 4. Pag.39-44
ISSN:1749-0324.
Giuseppe Celano; Assunta Maria Palese; Mimmo Parente; Luca Rizzuti; Nicola Silvestri
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)
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
Curatela
Curatore/i di Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di MONTANARI A; M. NAPOLI; PARENTE M
MONTANARI A; M. NAPOLI; PARENTE M
Show it in Product Database (IRIS)
2010
Curatela
Curatore/i di Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di MONTANARI A; NAPOLI M; D. PARENTE
MONTANARI A; NAPOLI M; D. PARENTE
Show it in Product Database (IRIS)
2010
Curatela
Curatore/i di Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Di Angelo Montanari; Margherita Napoli; Mimmo ParenteVol. 25.
Angelo Montanari; Margherita Napoli; Mimmo Parente
Digital Object Identifier (DOI): 10.4204/EPTCS.25
Show it in Product Database (IRIS)
2009
Articolo in rivista
MODEL-CHECKING FOR GRADED CTL
FUNDAMENTA INFORMATICAE. Vol. 96. Pag.1-17
ISSN:0169-2968.
FERRANTE A; NAPOLI M; PARENTE M.
Digital Object Identifier (DOI): 10.3233/FI-2009-181
Codice identificativo ISI: WOS:000273197600006
Codice identificativo SCOPUS: 2-s2.0-77149155980
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 M; NAPOLI M.; PARENTE M
Show it in Product Database (IRIS)
2008
Articolo in rivista
Mixed Nash equilibria in selfish routing problems with dynamic constraints
THEORETICAL COMPUTER SCIENCE. Vol. 393. Pag.37-53
ISSN:0304-3975.
Alessandro Ferrante;Mimmo Parente
Digital Object Identifier (DOI): 10.1016/j.tcs.2007.11.017
Codice identificativo ISI: WOS:000254543900004
Codice identificativo SCOPUS: 2-s2.0-39649104592
Show it in Product Database (IRIS)
2008
Articolo in rivista
ICABAS: Un software libero per la distribuzione di reflui oleari
L'INFORMATORE AGRARIO. Vol. 44. Pag.45-49
ISSN:0020-0689.
G. CELANO; A.M. PALESE; PARENTE M.; L. RIZZUTI; N. ROSSI; N. SILVESTRI
Show it in Product Database (IRIS)
2008
Articolo in rivista
Verification of Scope-dependent Hierarchical State Machines
INFORMATION AND COMPUTATION. Vol. 206. Pag.1161-1177
ISSN:0890-5401.
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
Digital Object Identifier (DOI): 10.1016/j.ic.2008.03.017
Codice identificativo ISI: WOS:000259251400015
Codice identificativo SCOPUS: 2-s2.0-50149099553
Show it in Product Database (IRIS)
2008
Articolo in rivista
Enriched mu--calculi module checking,
LOGICAL METHODS IN COMPUTER SCIENCE. Vol. 4. Pag.1-21
ISSN:1860-5974.
A. FERRANTE; A. MURANO; PARENTE M.
Digital Object Identifier (DOI): 10.2168/LMCS-4(3:1)2008
Codice identificativo ISI: WOS:000262643100001
Codice identificativo SCOPUS: 2-s2.0-84879692723
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; M. NAPOLI; PARENTE M.
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.; M. NAPOLI; M. PARENTE
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
Articolo in rivista
The Firing Squad Synchronization Problem on Squares, Toruses and Rings
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 18. Pag.637-654
ISSN:0129-0541.
Gruska, J; LA TORRE, Salvatore; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-34249750503
Show it in Product Database (IRIS)
2007
Articolo in rivista
The word problem for visibly pushdown languages described by grammars
FORMAL METHODS IN SYSTEM DESIGN. Vol. 31 (3). Pag.265-279
ISSN:0925-9856.
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/s10703-007-0040-7
Codice identificativo ISI: WOS:000250580800004
Codice identificativo SCOPUS: 2-s2.0-35649027452
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 M.
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 S; NAPOLI M.; PARENTE D; PARLATO G
Show it in Product Database (IRIS)
2006
Articolo in rivista
Different Time Solutions for the Firing Squad Synchronization Problem on Basic Grid Networks
RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 40. Pag.177-206
ISSN:0988-3754.
Gruska, J; LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico
Codice identificativo SCOPUS: 2-s2.0-33746307821
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 SCOPUS: 2-s2.0-33845197318
Show it in Product Database (IRIS)
2004
Articolo in rivista
On the Vertex-Connectivity Problem for Graphs with Sharpened Triangle Inequality
INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. Vol. 15 (5). Pag.701-715
ISSN:0129-0541.
PARENTE M.; FERRANTE A
Codice identificativo ISI: WOS:000227176500002
Codice identificativo SCOPUS: 2-s2.0-84892682287
Show it in Product Database (IRIS)
2004
Articolo in rivista
Specification and Verification of Protocols With Time Constraints
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.205-227
ISSN:1571-0661.
Napoli, Margherita; Parente, Domenico; Peron, A.
Codice identificativo SCOPUS: 2-s2.0-18944373667
Show it in Product Database (IRIS)
2004
Articolo in rivista
MODEL-CHECKING THE SECURE RELEASE OF A TIME-LOCKED SECRET OVER A NETWORK
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. Vol. 99. Pag.229-243
ISSN:1571-0661.
La Torre Salvatore, ; Murano, Aniello; Parente, Mimmo
Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010
Codice identificativo SCOPUS: 2-s2.0-18944406943
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 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, Mimmo
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
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 SCOPUS: 2-s2.0-35248871028
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 A.; PARENTE M
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: Automata, Languages and Programming: 30th International Colloquium, ICALP 2003Vol.2719, Pag.776-789
ISBN:9783540404934
Automata, Languages and Programming, 30th International Colloquium, ICALP 2003,
Eindhoven, Olanda. 30 Giugno - 4 Luglio, 2003
SALVATORE LA TORRE; MARGHERITA NAPOLI; MIMMO PARENTE; PARLATO G.
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
Articolo in rivista
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
RAIRO. INFORMATIQUE THEORIQUE ET APPLICATIONS. Vol. 34(6). Pag.549-564
ISSN:0988-3754.
LA TORRE S.; NAPOLI M.; PARENTE M.
Codice identificativo ISI: WOS:000168984600007
Codice identificativo SCOPUS: 2-s2.0-17844392080
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 S; NAPOLI M; PARENTE M
Show it in Product Database (IRIS)
1999
Articolo in rivista
A Linear Time Algorithm for the Feasibility of Pebble Motion on Trees
ALGORITHMICA. Vol. 23. Pag.223-245
ISSN:0178-4617.
Vincenzo Auletta; Angelo Monti; Domenico Parente; Giuseppe Persiano
Codice identificativo ISI: WOS:000077614700003
Codice identificativo SCOPUS: 2-s2.0-0039106388
Show it in Product Database (IRIS)
1999
Articolo in rivista
A 2-Approximation Algorithm for Finding an Optimum 3-Vertex-Connected Spanning Subgraph
JOURNAL OF ALGORITHMS. Vol. 32. Pag.21-30
ISSN:0196-6774.
AULETTA V; DINITZ Y; NUTOV Z; PARENTE M.
Codice identificativo ISI: WOS:000080885000002
Codice identificativo SCOPUS: 2-s2.0-0001977155
Show it in Product Database (IRIS)
1998
Articolo in rivista
Placing Resources on a Growing Line
JOURNAL OF ALGORITHMS. Vol. 26. Pag.87-100
ISSN:0196-6774.
Vincenzo Auletta; Domenico Parente; Giuseppe Persiano
Codice identificativo ISI: WOS:000071344600004
Show it in Product Database (IRIS)
1998
Articolo in rivista
Placing Resource on a Growing Line
JOURNAL OF ALGORITHMS. Vol. 26 (1). Pag.87-100
ISSN:0196-6774.
AULETTA V; PARENTE M.; PERSIANO G
Codice identificativo ISI: SIR1290
Show it in Product Database (IRIS)
1998
Articolo in rivista
Synchronization of a Line of Identical Processors at a Given Time
FUNDAMENTA INFORMATICAE. Vol. 34. Pag.103-128
ISSN:0169-2968.
La Torre S; Napoli M; Parente D
Digital Object Identifier (DOI): 10.3233/FI-1998-341204
Codice identificativo SCOPUS: 2-s2.0-0000478750
Show it in Product Database (IRIS)
1997
Articolo in rivista
Succinctness of descriptions of SBTA-languages
THEORETICAL COMPUTER SCIENCE. Vol. 179. Pag.251-271
ISSN:0304-3975.
Jozef Gruska;Angelo Monti;Margherita Napoli;Domenico Parente
Digital Object Identifier (DOI): 10.1016/S0304-3975(96)00133-8
Show it in Product Database (IRIS)
1997
Articolo in rivista
Synchronization of a line of identical processors at a given timeTAPSOFT '97: Theory and Practice of Software Development
LECTURE NOTES IN COMPUTER SCIENCE. Vol. 1214. Pag.405-416
ISSN:0302-9743.
Salvatore Torre;Margherita Napoli;Mimmo Parente
Digital Object Identifier (DOI): 10.1007/BFb0030614
Codice identificativo SCOPUS: 2-s2.0-84956999892
Show it in Product Database (IRIS)
1997
Contributo in Atti di convegno
Synchronization of 1-Way Connected Processors.
In: Proc. of the 11th International Symposium on Fundamentals of Computation Theory (FCT '97). Lecture Notes in Computer Science Springer Vol.1279, Pag.293-304
ISBN:3540633863
11th International Symposium on Fundamentals of Computation Theory (FCT '97)
Kraków, Poland September 1-3, 1997
La Torre, Salvatore; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.1007/BFb0036192
Codice identificativo SCOPUS: 2-s2.0-33746278249
Show it in Product Database (IRIS)
1996
Articolo in rivista
Synchronization of 1-way connected processors
COMPLEX SYSTEMS. Vol. 10 (4). Pag.239-255
ISSN:0891-2513.
LA TORRE S; NAPOLI M; PARENTE M.
Show it in Product Database (IRIS)
1996
Articolo in rivista
Dynamic and Static Algorithms for Optimal Placement of Resources in Trees
THEORETICAL COMPUTER SCIENCE. Vol. 165 n. 2. Pag.441-461
ISSN:0304-3975.
Vincenzo Auletta; Domenico Parente; Giuseppe Persiano
Show it in Product Database (IRIS)
1996
Articolo in rivista
Parallel Word Substitution
FUNDAMENTA INFORMATICAE. Vol. 27(1). Pag.27-36
ISSN:0169-2968.
La Torre, Salvatore; Napoli, Margherita; Parente, Domenico
Digital Object Identifier (DOI): 10.3233/fi-1996-27102
Codice identificativo SCOPUS: 2-s2.0-0030195787
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
Vincenzo Auletta;Domenico Parente;Pino Persiano
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)
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
Vincenzo Auletta;Angelo Monti;Mimmo Parente;Pino Persiano
Digital Object Identifier (DOI): 10.1007/3-540-61422-2_137
Show it in Product Database (IRIS)
1995
Articolo in rivista
Power of interconnections and of nondeterminism in regularY-tree systolic automata
MATHEMATICAL SYSTEMS THEORY. Vol. 28. Pag.245-266
ISSN:0025-5661.
E. Fachini;J. Gruska;M. Napoli;D. Parente
Digital Object Identifier (DOI): 10.1007/BF01303058
Codice identificativo ISI: WOS:A1995QR26200005
Codice identificativo SCOPUS: 2-s2.0-26844506768
Show it in Product Database (IRIS)
1995
Articolo in rivista
State complexity of SBTA languagesLATIN '95: Theoretical Informatics
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. Vol. 911. Pag.346-357
ISSN:0302-9743.
J. Gruska;A. Monti;M. Napoli;D. Parente
Digital Object Identifier (DOI): 10.1007/3-540-59175-3_101
Codice identificativo SCOPUS: 2-s2.0-84955604408
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, Mimmo; 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)
1992
Articolo in rivista
Languages accepted by systolic Y-tree automata: structural characterizations
ACTA INFORMATICA. Vol. 29. Pag.761-778
ISSN:0001-5903.
E. Fachini;A. Monti;M. Napoli;D. Parente
Digital Object Identifier (DOI): 10.1007/BF01191895
Codice identificativo ISI: WOS:A1992KC29400003
Codice identificativo SCOPUS: 2-s2.0-26844498049
Show it in Product Database (IRIS)
1991
Articolo in rivista
Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. Vol. 529. Pag.210-219
ISSN:0302-9743.
E. Fachini;A. Monti;M. Napoli;D. Parente
Digital Object Identifier (DOI): 10.1007/3-540-54458-5_65
Codice identificativo SCOPUS: 2-s2.0-26844493029
Show it in Product Database (IRIS)