المؤلفون: Antonino, Pedro^{Aff1, IDs1027002301143z_cor1}, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A. W.^{Aff1, Aff3, Aff4}, Arruda, Filipe

المصدر: Software and Systems Modeling. 23(3):657-693

المؤلفون: Roscoe, A. W.^{Aff9, Aff10, Aff11}, Antonino, Pedro^Aff9, Lawrence, Jonathan^Aff9

المساهمون: Goos, Gerhard, Series 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, Foster, Simon, editor^Aff7, Sampaio, Augusto, editor^Aff8

المصدر: The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. 14900:172-202

المؤلفون: Maffei, Ivo^Aff11, Roscoe, A. W.^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, Tsudik, Gene, editor^Aff7, Conti, Mauro, editor^Aff8, Liang, Kaitai, editor^Aff9, Smaragdakis, Georgios, editor^Aff10

المصدر: Computer Security – ESORICS 2023 : 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part I. 14344:313-333

المؤلفون: Maffei, Ivo^Aff9, Roscoe, Andrew W.^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, Baldimtsi, Foteini, editor^Aff7, Cachin, Christian, editor^Aff8

المصدر: Financial Cryptography and Data Security : 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I. 13950:94-111

المؤلفون: Antonino, Pedro, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A. W.

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Logic in Computer Science

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

المؤلفون: Maffei, Ivo, Roscoe, A. W.

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

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

المؤلفون: Liu, Han, Zhang, Huafeng, Chen, Bangdao, Roscoe, A. W.

المصدر: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) Blockchain and Cryptocurrency (ICBC), 2022 IEEE International Conference on. :1-2 May, 2022

Relation: 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)

المؤلفون: Liu, Han, Antonino, Pedro, Yang, Zhiqiang, Liu, Chao, Roscoe, A. W.

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

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

المؤلفون: Antonino, Pedro, Wołoszyn, Wojciech Aleksander, Roscoe, A. W.

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Hardware Architecture, Computer Science - Software Engineering

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

المؤلفون: Roscoe, A. W.^{Aff10, Aff11, Aff12}, Antonino, Pedro^Aff10, Lawrence, Jonathan^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, Bowen, Jonathan P., editor^Aff7, Li, Qin, editor^Aff8, Xu, Qiwen, editor^Aff9

المصدر: Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 14080:136-162