Domenico PARENTE | Pubblicazioni
Domenico PARENTE Pubblicazioni
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 | |
Visualizza sul Database dei Prodotti (IRIS) |
2024 | |
Articolo in rivista | |
Comprehensive review of depression detection techniques based on machine learning approach SOFT COMPUTING. Pag.1-25 ISSN:1432-7643. | |
Pinto, Smitha Joyce; Parente, Mimmo | |
Versione online | |
Digital Object Identifier (DOI): 10.1007/s00500-024-09862-1 Codice identificativo SCOPUS: 2-s2.0-85199251697 | |
Visualizza sul Database dei Prodotti (IRIS) |
2023 | |
Articolo in rivista | |
Resilience and Stability Analysis of Distributed Secondary Controllers in DC Microgrids Under Cyber Attacks and Communication Delays IEEE ACCESS. Vol. 11. Pag.132296-132311 ISSN:2169-3536. | |
Pinto, S. J.; Siano, P.; Parente, M.; Ozdemir, G. | |
Digital Object Identifier (DOI): 10.1109/ACCESS.2023.3335131 Codice identificativo ISI: WOS:001116498100001 Codice identificativo SCOPUS: 2-s2.0-85178057921 | |
Visualizza sul Database dei Prodotti (IRIS) |
2023 | |
Articolo in rivista | |
An emotion-driven virtual counselling system in computer-mediated communication JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING. Vol. 14. Pag.3531-3549 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 | |
Visualizza sul Database dei Prodotti (IRIS) |
2023 | |
Articolo in rivista | |
A profitable trading algorithm for cryptocurrencies using a Neural Network model EXPERT SYSTEMS WITH APPLICATIONS. Vol. 238. Pag.1-14 ISSN:0957-4174. | |
Parente, Mimmo; Rizzuti, Luca; Trerotola, Mario | |
Versione online | |
Digital Object Identifier (DOI): 10.1016/j.eswa.2023.121806 Codice identificativo SCOPUS: 2-s2.0-85173171749 | |
Visualizza sul Database dei Prodotti (IRIS) |
2023 | |
Articolo in rivista | |
Review of Cybersecurity Analysis in Smart Distribution Systems and Future Directions for Using Unsupervised Learning Methods for Cyber Detection ENERGIES. Vol. 16. Pag.1651-1674 ISSN:1996-1073. | |
Pinto, Smitha Joyce; Siano, Pierluigi; Parente, Mimmo | |
Digital Object Identifier (DOI): 10.3390/en16041651 Codice identificativo ISI: WOS:000944984800001 Codice identificativo SCOPUS: 2-s2.0-85149182919 | |
Visualizza sul Database dei Prodotti (IRIS) |
312380Implementing a Flexible Penalizing Mechanism for Wind Power Producers in the Regulating Market
2023 | |
Articolo in rivista | |
Implementing a Flexible Penalizing Mechanism for Wind Power Producers in the Regulating Market IEEE ACCESS. Vol. 11. Pag.125204-125216 ISSN:2169-3536. | |
Rashidizadeh-Kermani, H.; Vahedipour-Dahraie, M.; Parente, M.; Shafie-Khah, M.; Siano, P. | |
Digital Object Identifier (DOI): 10.1109/ACCESS.2023.3330906 Codice identificativo ISI: WOS:001107251800001 Codice identificativo SCOPUS: 2-s2.0-85177089379 | |
Visualizza sul Database dei Prodotti (IRIS) |
2023 | |
Articolo in rivista | |
Designing situated learning experiences for smart cities: the Inf@nziaDigiTales3.6 experience INTERACTIVE LEARNING ENVIRONMENTS. Vol. 31. Pag.544-561 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 | |
Visualizza sul Database dei Prodotti (IRIS) |
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 | |
Visualizza sul Database dei Prodotti (IRIS) |
2022 | |
Articolo in rivista | |
Investigating the Impact of External Demand Response Flexibility on the Market Power of Strategic Virtual Power Plant IEEE ACCESS. Vol. 10. Pag.84960-84969 ISSN:2169-3536. | |
Vahedipour-Dahraie, M.; Rashidizadeh-Kermani, H.; Parente, M.; Shafie-Khah, M.; Siano, P. | |
Digital Object Identifier (DOI): 10.1109/ACCESS.2022.3197908 Codice identificativo ISI: WOS:000843783800001 Codice identificativo SCOPUS: 2-s2.0-85136089872 | |
Visualizza sul Database dei Prodotti (IRIS) |
2022 | |
Articolo in rivista | |
Strategic Offering of a Price Maker Wind Power Producer in Distribution-Level Energy Markets in Presence of Flexible Prosumers IEEE ACCESS. Vol. 10. Pag.21475-21485 ISSN:2169-3536. | |
Rashidizadeh-Kermani, H.; Vahedipour-Dahraie, M.; Parente, M.; Shafie-Khah, M.; Siano, P. | |
Digital Object Identifier (DOI): 10.1109/ACCESS.2022.3152551 Codice identificativo ISI: WOS:000764090800001 Codice identificativo SCOPUS: 2-s2.0-85125344209 | |
Visualizza sul Database dei Prodotti (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 Codice identificativo SCOPUS: 2-s2.0-85121420159 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (IRIS) |
163399Improving learning with augmented reality: A didactic re-mediation model from inf@nzia digitales 3.6
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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, 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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (IRIS) |
124266An ontology-driven context-aware recommender system for indoor shopping based on cellular automata
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, Domenico | |
Versione online | |
Digital Object Identifier (DOI): 10.1007/s12652-016-0411-2 Codice identificativo ISI: WOS:000412897800011 Codice identificativo SCOPUS: 2-s2.0-85031789387 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, Francesco; Parente, Domenico; Vitiello, Autilia | |
Versione online | |
Digital Object Identifier (DOI): 10.1007/s00500-015-1625-5 Codice identificativo ISI: WOS:000374310700030 Codice identificativo SCOPUS: 2-s2.0-84923329225 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, Domenico | |
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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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. | |
Celano, Giuseppe; Assunta Maria, Palese; Parente, Domenico; Luca, Rizzuti; Nicola, Silvestri | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (IRIS) |
2010 | |
Curatela | |
Curatore/i di Proceedings First Symposium on Games, Automata, Logic, and Formal Verification. Di Angelo, Montanari; Napoli, Margherita; Parente, DomenicoVol. 25. | |
Angelo, Montanari; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.4204/EPTCS.25 | |
Visualizza sul Database dei Prodotti (IRIS) |
2010 | |
Curatela | |
Curatore/i di Proceedings of First International Symposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di Montanari, A; Napoli, Margherita; Parente, Domenico | |
Montanari, A; Napoli, Margherita; Parente, Domenico | |
Visualizza sul Database dei Prodotti (IRIS) |
2010 | |
Curatela | |
Curatore/i di Proceeding of the 1st International Sumposium on Games, Automata, Logics and Formal Verification (GANDALF 2010). Di Montanari, A; Napoli, Margherita; Parente, Domenico | |
Montanari, A; Napoli, Margherita; Parente, Domenico | |
Visualizza sul Database dei Prodotti (IRIS) |
2009 | |
Articolo in rivista | |
MODEL-CHECKING FOR GRADED CTL FUNDAMENTA INFORMATICAE. Vol. 96. Pag.1-17 ISSN:0169-2968. | |
Ferrante, Alessandro; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.3233/FI-2009-181 Codice identificativo ISI: WOS:000273197600006 Codice identificativo SCOPUS: 2-s2.0-77149155980 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, Domenico | |
Digital Object Identifier (DOI): 10.2168/LMCS-4(3:1)2008 Codice identificativo ISI: WOS:000262643100001 Codice identificativo SCOPUS: 2-s2.0-84879692723 | |
Visualizza sul Database dei Prodotti (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, Domenico; L., Rizzuti; N., Rossi; N., Silvestri | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1016/j.tcs.2007.11.017 Codice identificativo ISI: WOS:000254543900004 Codice identificativo SCOPUS: 2-s2.0-39649104592 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 ISI: WOS:000251155900012 Codice identificativo SCOPUS: 2-s2.0-34249750503 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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. | |
Visualizza sul Database dei Prodotti (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 ISI: WOS:000239790500007 Codice identificativo SCOPUS: 2-s2.0-33746307821 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, Domenico | |
Digital Object Identifier (DOI): 10.1016/j.entcs.2004.02.010 Codice identificativo SCOPUS: 2-s2.0-18944406943 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, Domenico; Ferrante, Alessandro | |
Codice identificativo ISI: WOS:000227176500002 Codice identificativo SCOPUS: 2-s2.0-84892682287 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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, Salvatore; Napoli, Margherita; Parente, Domenico | |
Codice identificativo ISI: WOS:000168984600007 Codice identificativo SCOPUS: 2-s2.0-17844392080 | |
Visualizza sul Database dei Prodotti (IRIS) |
42677Compositionality in the Synchronization of Processors Exchanging a minimal amount of Information
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 | |
Visualizza sul Database dei Prodotti (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. | |
Auletta, Vincenzo; Angelo, Monti; Parente, Domenico; Persiano, Giuseppe | |
Codice identificativo ISI: WOS:000077614700003 Codice identificativo SCOPUS: 2-s2.0-0039106388 | |
Visualizza sul Database dei Prodotti (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, Vincenzo; Dinitz, Y; Nutov, Z; Parente, Domenico | |
Codice identificativo ISI: WOS:000080885000002 Codice identificativo SCOPUS: 2-s2.0-0001977155 | |
Visualizza sul Database dei Prodotti (IRIS) |
1998 | |
Articolo in rivista | |
Placing Resources on a Growing Line JOURNAL OF ALGORITHMS. Vol. 26. Pag.87-100 ISSN:0196-6774. | |
Auletta, Vincenzo; Parente, Domenico; Persiano, Giuseppe | |
Codice identificativo ISI: WOS:000071344600004 | |
Visualizza sul Database dei Prodotti (IRIS) |
1998 | |
Articolo in rivista | |
Placing Resource on a Growing Line JOURNAL OF ALGORITHMS. Vol. 26 (1). Pag.87-100 ISSN:0196-6774. | |
Auletta, Vincenzo; Parente, Domenico; Persiano, Giuseppe | |
Codice identificativo ISI: SIR1290 | |
Visualizza sul Database dei Prodotti (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, Salvatore; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.3233/FI-1998-341204 Codice identificativo SCOPUS: 2-s2.0-0000478750 | |
Visualizza sul Database dei Prodotti (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; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1016/S0304-3975(96)00133-8 Codice identificativo ISI: WOS:A1997XE38800007 Codice identificativo SCOPUS: 2-s2.0-0031162632 | |
Visualizza sul Database dei Prodotti (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; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1007/BFb0030614 Codice identificativo SCOPUS: 2-s2.0-84956999892 | |
Visualizza sul Database dei Prodotti (IRIS) |
1996 | |
Articolo in rivista | |
Synchronization of 1-way connected processors COMPLEX SYSTEMS. Vol. 10 (4). Pag.239-255 ISSN:0891-2513. | |
LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico | |
Codice identificativo ISI: WOS:000170638000025 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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. | |
Auletta, Vincenzo; Parente, Domenico; Persiano, Giuseppe | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (IRIS) |
48109A new approach to optimal planning of robot motion on a tree with obstaclesAlgorithms — ESA '96
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 | |
Visualizza sul Database dei Prodotti (IRIS) |
1995 | |
Articolo in rivista | |
State complexity of SBTA languagesLATIN '95: Theoretical Informatics LECTURE NOTES IN ARTIFICIAL INTELLIGENCE. Vol. 911. Pag.346-357 | |
J., Gruska; A., Monti; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1007/3-540-59175-3_101 Codice identificativo SCOPUS: 2-s2.0-84955604408 | |
Visualizza sul Database dei Prodotti (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; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1007/BF01303058 Codice identificativo ISI: WOS:A1995QR26200005 Codice identificativo SCOPUS: 2-s2.0-26844506768 | |
Visualizza sul Database dei Prodotti (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 | |
Visualizza sul Database dei Prodotti (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; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1007/BF01191895 Codice identificativo ISI: WOS:A1992KC29400003 Codice identificativo SCOPUS: 2-s2.0-26844498049 | |
Visualizza sul Database dei Prodotti (IRIS) |
48115Systolic Y-tree automata: closure properties and decision problemsFundamentals of Computation Theory
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 | |
E., Fachini; A., Monti; Napoli, Margherita; Parente, Domenico | |
Digital Object Identifier (DOI): 10.1007/3-540-54458-5_65 Codice identificativo SCOPUS: 2-s2.0-26844493029 | |
Visualizza sul Database dei Prodotti (IRIS) |