المؤلفون: 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

Relation: https://lmcs.episciences.org/9060/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/57108e6df75746e8824662401f131dc3

المؤلفون: 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

Relation: http://arxiv.org/pdf/1608.03320v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/609586c7d9ee468584ae0814a7926842

المؤلفون: 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

Relation: http://arxiv.org/pdf/1607.02235v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/1420478a0c3b4382ba5adc7c7f224e53

المؤلفون: 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

Relation: https://lmcs.episciences.org/2067/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/9c809110290c4cf288fa4f72468a3546

المؤلفون: 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

Relation: http://arxiv.org/pdf/1108.0464v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/6de4dd0e2415440a8a32cb4481d06333

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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

المؤلفون: 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