-
1دورية أكاديمية
المؤلفون: Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
المصدر: Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)
مصطلحات موضوعية: computer science - logic in computer science, computer science - artificial intelligence, computer science - computer vision and pattern recognition, computer science - graphics, 68q60, f.4.1, d.2.4, i.2.4, i.3.6, i.4.6, i.5.4, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Tommaso Bolognesi, Vincenzo Ciancia
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 223, Iss Proc. ICE 2016, Pp 24-35 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 217, Iss Proc. FORECAST 2016, Pp 81-92 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
المصدر: Logical Methods in Computer Science, Vol Volume 12, Issue 4 (2017)
مصطلحات موضوعية: computer science - logic in computer science, d.2.4, f.3.1, f.3.2, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Vincenzo Ciancia
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 25-36 (2011)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
6
المؤلفون: Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
المصدر: ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 142–164, Rhodes, Greece, 24-28/10/2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581مصطلحات موضوعية: Synthesis, Multi-agent systems, Spatial model checking, Games, Rigorous tool engineering
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbc024fe4c75f8632ddeddfae0fa3150
https://openportal.isti.cnr.it/doc?id=people______::8749d9bd06bbd024fcbe01f78fe05318 -
7
المؤلفون: Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
المصدر: HCII 2022-24th International Conference on Human-Computer Interaction, pp. 103–111, Online conference, 26/06-01/07/2022
Communications in Computer and Information Science ISBN: 9783031063879مصطلحات موضوعية: Spatial logic model-checking, Spatial logics, Medical image analysis, Usability, User-entered design, Cognitive evaluation
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3e304147d68bd70ad8c5d9248f7ef7e
https://openportal.isti.cnr.it/doc?id=people______::3e0984d9414dcea76a135ddb8647ee8d -
8
المؤلفون: Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
المصدر: ISoLA 2022-11th International Symposium, pp. 479–497, Rhodes, Greece, 22-30/10/2022
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles ISBN: 9783031198489مصطلحات موضوعية: Spatial logics, Spatio-temporal logics, Binding, Closure spaces, Propositional quantifiers
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::adcaa24fa117e42b673e696fa66ca970
https://openportal.isti.cnr.it/doc?id=people______::65f8fe83ceb6e4a318b25ff0e30e0312 -
9
المؤلفون: Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
المصدر: Lecture Notes in Computer Science ISBN: 9783031156281
A Journey from Process Algebra via Timed Automata to Model Learning, edited by Jansen N., Stoelinga M., van den Bos P., pp. 98–115, 2022مصطلحات موضوعية: Spatial logics, Stuttering equivalence, Spatial bisimilarities, Topological spaces, Closure spaces
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f043faf3444a7815c0a08ad88458d8d8
https://doi.org/10.1007/978-3-031-15629-8_6 -
10
المؤلفون: Gina Belmonte, Diego Latella, Vincenzo Ciancia, Mieke Massink, Giovanna Broccia
المصدر: FormaliSE: International Conference on Formal Methods in Software Engineering, pp. 1–12, 18-21/05/2021
info:cnr-pdr/source/autori:Belmonte G.; Broccia G.; Ciancia V.; Latella D.; Massink M./congresso_nome:FormaliSE: International Conference on Formal Methods in Software Engineering/congresso_luogo:/congresso_data:18-21%2F05%2F2021/anno:2021/pagina_da:1/pagina_a:12/intervallo_pagine:1–12
FormaliSE@ICSEمصطلحات موضوعية: Model checking, Contouring, Similarity (geometry), Computer science, business.industry, Nevi, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, Pattern recognition, Image segmentation, Domain (software engineering), Model Checking, Medical Imaging, Image texture, Spatial Logics, Medical imaging, Segmentation, Artificial intelligence, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64b47865e35685aa97d48aadbcb1bc6e
http://www.cnr.it/prodotto/i/453199