-
1مؤتمر
المؤلفون: Ciancia, V., Martinelli, F., Matteucci, I., Petrocchi, M., Martin, J.A., Pimentel, E.
المصدر: 2013 International Conference on Availability, Reliability and Security Availability, Reliability and Security (ARES), 2013 Eighth International Conference on. :455-464 Sep, 2013
Relation: 2013 Eighth International Conference on Availability, Reliability and Security (ARES)
-
2تقرير
المؤلفون: Nenzi, L., Bortolussi, L., Ciancia, V., Loreti, M., Massink, M.
المصدر: Logical Methods in Computer Science, Volume 14, Issue 4, Modal and temporal logics (October 23, 2018) lmcs:3774
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1
URL الوصول: http://arxiv.org/abs/1706.09334
-
3
المؤلفون: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.
المصدر: ISTI Technical Report, ISTI-2023-TR/003, 2023
مصطلحات موضوعية: Spatial logics, Logical equivalence, Spatial bisimilarity, Spatial model checking, Polyhedral models, Bisimulation relations
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::c87c2efc9e5bc3740873f181631453b2
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53 -
4
المؤلفون: Pratali L., Campana M. G., Delmastro F., Di Martino F., Pescosolido L., Barsocchi P., Broccia G., Ciancia V., Gennaro C., Girolami M., Lagani G., La Rosa D., Latella D., Magrini M., Manca M., Massink M., Mattioli A., Moroni D., Palumbo F., Paradisi P., Paternò F., Santoro C., Sebastiani L., Vairo C.
المصدر: ISTI Project Report, THE, D3.2, 2023
مصطلحات موضوعية: AAL
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::5da21f21e8a343b9aa4c4af016871b80
https://openportal.isti.cnr.it/doc?id=people______::67da1059f4ed73d1a7258c137d2f6a03 -
5
المؤلفون: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.
المصدر: DisCoTec 2023-43rd IFIP WG 6.1 International Conference, FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, pp. 132–151, Lisbon, Portugal, 19-23/06/2023
مصطلحات موضوعية: Spatial logics, Logical equivalence, Spatial bisimilarity, Spatial model checking, Polyhedral models, Bisimulation relations
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::214952863473fe4d9dbec838e9493620
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702 -
6
المؤلفون: Ciancia V., Groote J. F., Latella D., Massink M., De Vink E. P.
المصدر: ISTI Technical Report, ISTI-2022-TR/027, 2022
مصطلحات موضوعية: Spatial logics, Spatial bisimilarity, Spatial model checking, Spatial minimisation, Branching bisimilarity, Closure spaces
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::8cd5b851ceef9578f0842f0333ed543b
https://openportal.isti.cnr.it/doc?id=people______::4dfb32b6287fa4bf24ca6d5af12e68b9 -
7
المؤلفون: Ciancia V., Latella D., Massink M., De Vink E. P.
المصدر: ISTI Technical Report, ISTI-TR-2022/018, 2022
مصطلحات موضوعية: Spatial logics, Stuttering equivalence, Spatial bisimilarities, Topological spaces, Closure spaces
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::2c40d719bf9e6285e98a7fa721cbca5b
https://openportal.isti.cnr.it/doc?id=people______::eb81b2482ef19184fec7cbf7ad4489d9 -
8
المؤلفون: Ciancia V., Latella D., Massink M., De Vink E. P.
المصدر: ISTI Technical Report, ISTI-2022-TR/021, 2022
مصطلحات موضوعية: Spatial logics, Closure spaces
URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______9984::950950970e1d8139c5a0c455771d1728
https://openportal.isti.cnr.it/doc?id=people______::aaa7cc67cf015b226f62d1930c89d2a6 -
9دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
10
المؤلفون: Bezhanishvili N., Ciancia V., Gabelaia D., Grilletti G., Latella D., Massink M.
المصدر: Research report, IT-MaTTerS, PRIN 2017FTXR7S, 2021
مصطلحات موضوعية: Computer Science::Logic in Computer Science, Spatial Logic, Geometric Logic, Model Checking
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de73dbd5c53a57826c105128b860a8bf
https://openportal.isti.cnr.it/doc?id=people______::de73dbd5c53a57826c105128b860a8bf
Full Text Finder