المؤلفون: Capozucca, Alfredo, Cristiá, Maximiliano, Horne, Ross, Katz, Ricardo

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

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

المؤلفون: Bursuc, Sergiu, Horne, Ross, Mauw, Sjouke, Yurkov, Semen

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

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

المؤلفون: Horne, Ross, Padovani, Luca

المصدر: EPTCS 378, 2023, pp. 26-37

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Programming Languages

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

المؤلفون: Esposito, Christian, Hartig, Olaf, Horne, Ross, Sun, Chang

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

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

المؤلفون: Aubert, Clément, Horne, Ross, Johansen, Christian

المصدر: EPTCS 368, 2022, pp. 3-22

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Programming Languages, F.3.2, C.2.2

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

المؤلفون: Horne, Ross, Mauw, Sjouke, Yurkov, Semen

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

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

المؤلفون: van Glabbeek, Rob, Höfner, Peter, Horne, Ross

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.3.1, F.4.1, F.1.2, F.3.3

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

المؤلفون: Braun, Christoph H.-J., Horne, Ross, Käfer, Tobias, Mauw, Sjouke

مصطلحات موضوعية: Electronic computers. Computer science

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/89386/7/Braun-etal-ACM-2024-SSI-from-specifications-to-protocol.pdf; Braun, Christoph H.-J. and Horne, Ross and Käfer, Tobias and Mauw, Sjouke; (2024 ) SSI, from specifications to protocol? : Formally verify security! In: WWW '24: Proceedings of the ACM on Web Conference 2024. ACM, Singapore, 1620–1631. ISBN 9798400701719

الاتاحة: https://strathprints.strath.ac.uk/89386/
https://doi.org/10.1145/3589334.3645426

المؤلفون: Acclavio, Matteo, Horne, Ross, Straßburger, Lutz

المصدر: Logical Methods in Computer Science, Volume 18, Issue 4 (October 21, 2022) lmcs:6957

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

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

المؤلفون: Horne, Ross, Padovani, Luca

المصدر: Journal of Logical and Algebraic Methods in Programming ; volume 141, page 100986 ; ISSN 2352-2208

الاتاحة: https://doi.org/10.1016/j.jlamp.2024.100986
https://api.elsevier.com/content/article/PII:S2352220824000403?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:S2352220824000403?httpAccept=text/plain

المؤلفون: Arshad, Hamed, Horne, Ross, Johansen, Christian, Owe, Olaf, Willemse, Tim A.C.

مصطلحات موضوعية: Computer software

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/87145/1/Arshad-etal-SCP-2023-XACML2mCRL2-automatic-transformation-of-XACML-policies-into-mCRL2-specifications.pdf; Arshad, Hamed and Horne, Ross and Johansen, Christian and Owe, Olaf and Willemse, Tim A.C. (2024 ) XACML2mCRL2 : automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming , 232. 103046. ISSN 0167-6423

الاتاحة: https://strathprints.strath.ac.uk/87145/
https://doi.org/10.1016/j.scico.2023.103046

المؤلفون: Horne, Ross, Mauw, Sjouke

المصدر: Logical Methods in Computer Science, Volume 17, Issue 2 (June 2, 2021) lmcs:6117

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

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

المؤلفون: Horne, Ross

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

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

المؤلفون: Crepaldi, Marco, Horne, Ross, Mauw, Sjouke

المصدر: Space Law in a Networked World ; page 162-186 ; ISBN 9789004527263 9789004527270

الاتاحة: https://doi.org/10.1163/9789004527270_008
https://brill.com/view/book/9789004527270/BP000009.xml
https://brill.com/downloadpdf/title/63561

المؤلفون: Ahn, Ki Yung, Horne, Ross, Tiu, Alwen

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

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

المؤلفون: Ahn, Ki Yung, Horne, Ross, Tiu, Alwen

المصدر: Logical Methods in Computer Science, Volume 17, Issue 3 (August 10, 2021) lmcs:4666

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1

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

المؤلفون: Esposito, Christian, Horne, Ross, Robaldo, Livio, Buelens, Bart, Goesaert, Elfi

مصطلحات موضوعية: Other topics, A-Z

وصف الملف: text

Relation: https://strathprints.strath.ac.uk/86790/1/Esposito_etal_Information_2023_Assessing_the_solid_protocol_in_relation_to_security_and_privacy.pdf; Esposito, Christian and Horne, Ross and Robaldo, Livio and Buelens, Bart and Goesaert, Elfi (2023 ) Assessing the solid protocol in relation to security and privacy obligations. Information , 14 (7). 411. ISSN 2078-2489

الاتاحة: https://strathprints.strath.ac.uk/86790/
https://strathprints.strath.ac.uk/86790/1/Esposito_etal_Information_2023_Assessing_the_solid_protocol_in_relation_to_security_and_privacy.pdf
https://doi.org/10.3390/info14070411

المؤلفون: HORNE, Ross James, MAUW, Sjouke, MIZERA, Andrzej, Stemper, André, THOEMEL, Jan

المصدر: Journal of Aerospace Information Systems, 1-14 (2023-08-25)

مصطلحات موضوعية: Electrical and Electronic Engineering, Computer Science Applications, Aerospace Engineering, Engineering, computing & technology, Aerospace & aeronautics engineering, Ingénierie, informatique & technologie, Ingénierie aérospatiale

Relation: urn:issn:2327-3097; https://orbilu.uni.lu/handle/10993/57221; info:hdl:10993/57221

الاتاحة: https://orbilu.uni.lu/handle/10993/57221
https://orbilu.uni.lu/bitstream/10993/57221/1/horne-et-al-2023-anomaly-detection-using-deep-learning-respecting-the-resources-on-board-a-cubesat.pdf
https://doi.org/10.2514/1.i011232

المؤلفون: Horne, Ross J.

Thesis Advisors: Sassone, Vladimiro

مصطلحات موضوعية: 005.3, QA75 Electronic computers. Computer science

الاتاحة: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561545

المؤلفون: Horne, Ross, Tiu, Alwen, Aman, Bogdan, Ciobanu, Gabriel

المصدر: ACM Trans. Comput. Log. 20(4): 22:1-22:44 (2019)

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, F.1.1

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