المؤلفون: Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Rossi, Sabina, Spano, Alvise

المصدر: 2023 IEEE International Conference on Blockchain (Blockchain) BLOCKCHAIN Blockchain (Blockchain), 2023 IEEE International Conference on. :62-67 Dec, 2023

Relation: 2023 IEEE International Conference on Blockchain (Blockchain)

المؤلفون: Bartoletti, Massimo, Benetollo, Lorenzo, Bugliesi, Michele, Crafa, Silvia, Sasso, Giacomo Dal, Pettinau, Roberto, Pinna, Andrea, Piras, Mattia, Rossi, Sabina, Salis, Stefano, Spanò, Alvise, Tkachenko, Viacheslav, Tonelli, Roberto, Zunino, Roberto

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages

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

المؤلفون: Crafa, Silvia^{Aff1, IDs44206024001034_cor1}

المصدر: Digital Society: Ethics, Socio-Legal and Governance of Digital Technology. 3(2)

المؤلفون: Crafa, Silvia

المصدر: EPTCS 368, 2022, pp. 23-42

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Computers and Society, Computer Science - Logic in Computer Science

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

المؤلفون: Crafa, Silvia, Laneve, Cosimo, Sartor, Giovanni

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Crafa, Silvia, Di Pirro, Matteo

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Crafa, Silvia^Aff9, Laneve, Cosimo^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, Tapia Tarifa, Silvia Lizeth, editor^Aff7, Proença, José, editor^Aff8

المصدر: Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. 13712:205-221

المؤلفون: Crafa, Silvia^Aff11, Laneve, Cosimo^Aff12

المساهمون: 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, Ahrendt, Wolfgang, editor^Aff7, Beckert, Bernhard, editor^Aff8, Bubel, Richard, editor^Aff9, Johnsen, Einar Broch, editor^Aff10

المصدر: The Logic of Software. A Tasting Menu of Formal Methods : Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. 13360:129-146

المؤلفون: Crafa, Silvia^Aff13, Di Pirro, Matteo^Aff13, Zucca, Elena^Aff14

المساهمون: 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, Bracciali, Andrea, editor^Aff8, Clark, Jeremy, editor^Aff9, Pintore, Federico, editor^Aff10, Rønne, Peter B., editor^Aff11, Sala, Massimiliano, editor^Aff12

المصدر: Financial Cryptography and Data Security : FC 2019 International Workshops, VOTING and WTSC, St. Kitts, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers. 11599:138-153

المؤلفون: Crafa, Silvia^Aff1

المصدر: Journal of Economic Interaction and Coordination. 16(3):649-673