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

المؤلفون: Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/78787

الاتاحة: https://www.openaccessrepository.it/record/78787
https://doi.org/10.1007/978-3-030-17462-0_16

المؤلفون: Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

مصطلحات موضوعية: voxlogica, spatial logic, strategy synthesis, contract automata

Relation: https://doi.org/10.5281/zenodo.8220527; https://doi.org/10.5281/zenodo.8220528; oai:zenodo.org:8220528

الاتاحة: https://doi.org/10.5281/zenodo.8220528

المؤلفون: Vincenzo Ciancia, Stephen Glimore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink

المساهمون: Ciancia, Vincenzo, Glimore, Stephen, Grilletti, Gianluca, Latella, Diego, Loreti, Michele, Massink, Mieke

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000431667100004; volume:20; issue:3; firstpage:289; lastpage:311; numberofpages:23; journal:INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER; http://hdl.handle.net/11581/407563; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85040909569; https://link.springer.com/article/10.1007/s10009-018-0483-8

الاتاحة: http://hdl.handle.net/11581/407563
https://doi.org/10.1007/s10009-018-0483-8
https://link.springer.com/article/10.1007/s10009-018-0483-8

المؤلفون: Laura Nenzi, Luca and Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink

المساهمون: Nenzi, Laura, and Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, Massink, Mieke

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000452745300013; volume:14; issue:4; firstpage:1; lastpage:38; numberofpages:38; journal:LOGICAL METHODS IN COMPUTER SCIENCE; http://hdl.handle.net/11581/428946; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85060191506; https://lmcs.episciences.org/4913/pdf

الاتاحة: http://hdl.handle.net/11581/428946
https://doi.org/10.23638/LMCS-14(4:2)2018
https://lmcs.episciences.org/4913/pdf

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

المؤلفون: 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, Michele Loreti, Mieke Massink

المساهمون: Ciancia, Vincenzo, Latella, Diego, Loreti, Michele, Massink, Mieke

وصف الملف: STAMPA

Relation: volume:37; issue:4; firstpage:223; lastpage:227; numberofpages:5; journal:ADA USER JOURNAL; http://hdl.handle.net/11581/407562; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85014569412

الاتاحة: http://hdl.handle.net/11581/407562

المؤلفون: Vincenzo Ciancia, Tommaso Bolognesi

مصطلحات موضوعية: General Earth and Planetary Sciences, General Engineering, General Environmental Science

Relation: url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/129027

الاتاحة: https://www.openaccessrepository.it/record/129027
https://doi.org/10.4204/eptcs.223.2

المؤلفون: Fabio Gadducci, Vincenzo Ciancia, Laura Bussi

المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030780883
FORTE
FORTE 2021-41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp. 188–196, Online conference, 15-17/06/2021
info:cnr-pdr/source/autori:Bussi L.; Ciancia V.; Gadducci F./congresso_nome:FORTE 2021-41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems/congresso_luogo:Online conference/congresso_data:15-17%2F06%2F2021/anno:2021/pagina_da:188/pagina_a:196/intervallo_pagine:188–196

مصطلحات موضوعية: Model checking, 020203 distributed computing, GPU computation, Spatial logics, Computer science, 020207 software engineering, 02 engineering and technology, Parallel computing, Spatial logic, Spatial Logics, Spatial model, Simple (abstract algebra), Scalability, 0202 electrical engineering, electronic engineering, information engineering, Benchmark (computing), Segmentation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7d6d0a08b29c68403e93ef09a55e2416
https://doi.org/10.1007/978-3-030-78089-0_12

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

المؤلفون: Giovanna Broccia, Vincenzo Ciancia, Mieke Massink, Laura Bussi, Diego Latella, Gina Belmonte

المصدر: MEDI 2021-Advances in Model and Data Engineering in the Digitalization Era, pp. 285–301, Tallinn, Estonia, 21-23/06/2021
info:cnr-pdr/source/autori:Belmonte G.; Broccia G.; Bussi L.; Ciancia V.; Latella D.; Massink M./congresso_nome:MEDI 2021-Advances in Model and Data Engineering in the Digitalization Era/congresso_luogo:Tallinn, Estonia/congresso_data:21-23%2F06%2F2021/anno:2021/pagina_da:285/pagina_a:301/intervallo_pagine:285–301
Advances in Model and Data Engineering in the Digitalization Era ISBN: 9783030876562
MEDI Workshops

مصطلحات موضوعية: Model checking, Information retrieval, Computer science, Medical image analysis, Medical imaging, Position paper, Spatial logic

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ba46e4863ff5dd35f2063134ca4b14c
http://www.cnr.it/prodotto/i/461175

المؤلفون: Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink

المصدر: Model Checking Software ISBN: 9783030846282
SPIN

مصطلحات موضوعية: Model checking, Computer science, Human–computer interaction, GRASP, Medical imaging, Segmentation, Formal methods, Image (mathematics), Declarative programming, Domain (software engineering)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b8c496c2772fa5aa7616ddc98a409477
https://doi.org/10.1007/978-3-030-84629-9_2

المؤلفون: Vincenzo Ciancia, Giorgio Oronzo Spagnolo, Diego Latella, Maurice H. ter Beek, Mieke Massink

المصدر: Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems, pp. 39–47, Online conference, 24-26/08/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Ciancia V.; Latella D.; Massink M.; Spagnolo G.O./congresso_nome:FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems/congresso_luogo:Online conference/congresso_data:24-26%2F08%2F2021/anno:2021/pagina_da:39/pagina_a:47/intervallo_pagine:39–47

مصطلحات موضوعية: Model checking, Measure (data warehouse), business.industry, Computer science, Real-time computing, Smart stations, computer.software_genre, Spatial logics, User experience design, Spatial model, Voxel, Spatio-temporal model checking, Position paper, Spatial model checking, Use case, business, computer, Incidence (geometry)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1729a3b7b0045236b6626aa062d4af35
https://doi.org/10.1007/978-3-030-85248-1_3