-
1دورية أكاديمية
المؤلفون: Antonino, PedroAff1, IDs1027002301143z_cor1, Ferreira, Juliandson, Sampaio, Augusto, Roscoe, A. W.Aff1, Aff3, Aff4, Arruda, Filipe
المصدر: Software and Systems Modeling. 23(3):657-693
-
2كتاب إلكتروني
المؤلفون: Roscoe, A. W.Aff9, Aff10, Aff11, Antonino, PedroAff9, Lawrence, JonathanAff9
المساهمون: Goos, Gerhard, Series EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Foster, Simon, editorAff7, Sampaio, Augusto, editorAff8
المصدر: The Application of Formal Methods : Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. 14900:172-202
-
3كتاب إلكتروني
المؤلفون: Maffei, IvoAff11, Roscoe, A. W.Aff11
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Tsudik, Gene, editorAff7, Conti, Mauro, editorAff8, Liang, Kaitai, editorAff9, Smaragdakis, Georgios, editorAff10
المصدر: 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
-
4كتاب إلكتروني
المؤلفون: Maffei, IvoAff9, Roscoe, Andrew W.Aff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Baldimtsi, Foteini, editorAff7, Cachin, Christian, editorAff8
المصدر: 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
-
5تقرير
المؤلفون: 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
-
6تقرير
المؤلفون: Maffei, Ivo, Roscoe, A. W.
مصطلحات موضوعية: Computer Science - Cryptography and Security
URL الوصول: http://arxiv.org/abs/2205.05594
-
7مؤتمر
المؤلفون: 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)
-
8تقرير
-
9تقرير
-
10كتاب إلكتروني
المؤلفون: Roscoe, A. W.Aff10, Aff11, Aff12, Antonino, PedroAff10, Lawrence, JonathanAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Bowen, Jonathan P., editorAff7, Li, Qin, editorAff8, Xu, Qiwen, editorAff9
المصدر: Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. 14080:136-162