المؤلفون: Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B45 (Primary) 03B70 (Secondary), F.4

URL الوصول: http://arxiv.org/abs/2406.16056

المؤلفون: Bussi, Laura^{Aff9, Aff10}, Ciancia, Vincenzo^Aff10, Gadducci, Fabio^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Gierasimczuk, Nina, editor^Aff7, Velázquez-Quesada, Fernando R., editor^Aff8

المصدر: Dynamic Logic. New Trends and Applications : 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15–16, 2023, Revised Selected Papers. 14401:1-19

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

المصدر: International Journal on Software Tools for Technology Transfer. 25(5-6):641-658

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

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Computer Vision and Pattern Recognition

URL الوصول: http://arxiv.org/abs/2010.07284

المؤلفون: Bussi, Laura^{Aff9, Aff10}, Ciancia, Vincenzo^Aff9, Gadducci, Fabio^Aff10, Latella, Diego^Aff9, Massink, Mieke^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^{Aff5, Aff8}, Yung, Moti, Editorial Board Member^Aff6, Margaria, Tiziana, editor^Aff7

المصدر: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I. 13701:479-497

المؤلفون: Bussi, Laura^{Aff10, Aff11}, Ciancia, Vincenzo^Aff11, Gadducci, Fabio^Aff10, Latella, Diego^Aff11, Massink, Mieke^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Bowles, Juliana, editor^Aff7, Broccia, Giovanna, editor^Aff8, Pellungrini, Roberto, editor^Aff9

المصدر: From Data to Models and Back : 10th International Symposium, DataMod 2021, Virtual Event, December 6–7, 2021, Revised Selected Papers. 13268:78-90

المؤلفون: Bussi, Laura^Aff9, Gadducci, Fabio^Aff9, Santini, Francesco^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, ter Beek, Maurice H., editor^Aff7, Sirjani, Marjan, editor^Aff8

المصدر: Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. 13271:159-177

المؤلفون: Belmonte, Gina^Aff10, Broccia, Giovanna^Aff11, Bussi, Laura^{Aff11, Aff12}, Ciancia, Vincenzo^Aff11, Latella, Diego^Aff11, Massink, Mieke^Aff11

المساهمون: Filipe, Joaquim, Editorial Board Member^Aff1, Ghosh, Ashish, Editorial Board Member^Aff2, Prates, Raquel Oliveira, Editorial Board Member^Aff3, Zhou, Lizhu, Editorial Board Member^Aff4, Bellatreche, Ladjel, editor^Aff5, Chernishev, George, editor^Aff6, Corral, Antonio, editor^Aff7, Ouchani, Samir, editor^Aff8, Vain, Jüri, editor^Aff9

المصدر: Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings. 1481:285-301

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

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Peters, Kirstin, editor^Aff8, Willemse, Tim A. C., editor^Aff9

المصدر: Formal Techniques for Distributed Objects, Components, and Systems : 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. 12719:188-196

المؤلفون: Bonchi, Filippo^Aff12, Bussi, Laura^Aff12, Gadducci, Fabio^Aff12, Santini, Francesco^Aff13

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Alvim, Mário S., editor^Aff8, Chatzikokolakis, Kostas, editor^Aff9, Olarte, Carlos, editor^Aff10, Valencia, Frank, editor^Aff11

المصدر: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. 11760:241-257