bibliometric analysis

Arroyabe, Marta F., Fernandez De Arroyabe Arranz, Carlos ORCID: https://orcid.org/0000-0002-6866-0684, Fernandez De Arroyabe, Juan Carlos and Fernandez, Ignacio (2024) Digitalization and cybersecurity in SMEs: a bibliometric analysis. Procedia Computer Science, 237. pp. 80-87. ISSN 1877-0509 (doi:10.1016/j.procs.2024.05.082)

blockchain interoperability

Ramesh, Dharavath, Santosh, Thakur, Trivedi, Munesh Chandra and Le, Chi Hieu ORCID: https://orcid.org/0000-0002-5168-2297 (2025) Ensuring digital sovereignty in cross-chain EHR sharing: a relay-as-a-service approach for secure healthcare interoperability. Procedia Computer Science, 254. pp. 48-57. ISSN 1877-0509 (doi:10.1016/j.procs.2025.02.063)

computational thinking

Kazimoglu, Cagin, Kiernan, Mary, Bacon, Liz and MacKinnon, Lachlan (2012) Learning programming at the computational thinking level via digital game-play. Procedia Computer Science, 9. pp. 522-531. ISSN 1877-0509 (doi:10.1016/j.procs.2012.04.056)

cross blockchain

Ramesh, Dharavath, Santosh, Thakur, Trivedi, Munesh Chandra and Le, Chi Hieu ORCID: https://orcid.org/0000-0002-5168-2297 (2025) Ensuring digital sovereignty in cross-chain EHR sharing: a relay-as-a-service approach for secure healthcare interoperability. Procedia Computer Science, 254. pp. 48-57. ISSN 1877-0509 (doi:10.1016/j.procs.2025.02.063)

cybersecurity

Arroyabe, Marta F., Fernandez De Arroyabe Arranz, Carlos ORCID: https://orcid.org/0000-0002-6866-0684, Fernandez De Arroyabe, Juan Carlos and Fernandez, Ignacio (2024) Digitalization and cybersecurity in SMEs: a bibliometric analysis. Procedia Computer Science, 237. pp. 80-87. ISSN 1877-0509 (doi:10.1016/j.procs.2024.05.082)

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

digital sovereignty

Ramesh, Dharavath, Santosh, Thakur, Trivedi, Munesh Chandra and Le, Chi Hieu ORCID: https://orcid.org/0000-0002-5168-2297 (2025) Ensuring digital sovereignty in cross-chain EHR sharing: a relay-as-a-service approach for secure healthcare interoperability. Procedia Computer Science, 254. pp. 48-57. ISSN 1877-0509 (doi:10.1016/j.procs.2025.02.063)

digitalization

Arroyabe, Marta F., Fernandez De Arroyabe Arranz, Carlos ORCID: https://orcid.org/0000-0002-6866-0684, Fernandez De Arroyabe, Juan Carlos and Fernandez, Ignacio (2024) Digitalization and cybersecurity in SMEs: a bibliometric analysis. Procedia Computer Science, 237. pp. 80-87. ISSN 1877-0509 (doi:10.1016/j.procs.2024.05.082)

distributed ICS

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

Electronics Health Records (EHRs)

Ramesh, Dharavath, Santosh, Thakur, Trivedi, Munesh Chandra and Le, Chi Hieu ORCID: https://orcid.org/0000-0002-5168-2297 (2025) Ensuring digital sovereignty in cross-chain EHR sharing: a relay-as-a-service approach for secure healthcare interoperability. Procedia Computer Science, 254. pp. 48-57. ISSN 1877-0509 (doi:10.1016/j.procs.2025.02.063)

formal verification

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

game based learning

Kazimoglu, Cagin, Kiernan, Mary, Bacon, Liz and MacKinnon, Lachlan (2012) Learning programming at the computational thinking level via digital game-play. Procedia Computer Science, 9. pp. 522-531. ISSN 1877-0509 (doi:10.1016/j.procs.2012.04.056)

games and learning

Kazimoglu, Cagin, Kiernan, Mary, Bacon, Liz and MacKinnon, Lachlan (2012) Learning programming at the computational thinking level via digital game-play. Procedia Computer Science, 9. pp. 522-531. ISSN 1877-0509 (doi:10.1016/j.procs.2012.04.056)

generative AI

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

industrial control systems

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

inline security monitoring

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

introductory programming

Kazimoglu, Cagin, Kiernan, Mary, Bacon, Liz and MacKinnon, Lachlan (2012) Learning programming at the computational thinking level via digital game-play. Procedia Computer Science, 9. pp. 522-531. ISSN 1877-0509 (doi:10.1016/j.procs.2012.04.056)

JML specifications

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

large language models

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

runtime anomaly detection

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)

serious games

Kazimoglu, Cagin, Kiernan, Mary, Bacon, Liz and MacKinnon, Lachlan (2012) Learning programming at the computational thinking level via digital game-play. Procedia Computer Science, 9. pp. 522-531. ISSN 1877-0509 (doi:10.1016/j.procs.2012.04.056)

SMEs

Arroyabe, Marta F., Fernandez De Arroyabe Arranz, Carlos ORCID: https://orcid.org/0000-0002-6866-0684, Fernandez De Arroyabe, Juan Carlos and Fernandez, Ignacio (2024) Digitalization and cybersecurity in SMEs: a bibliometric analysis. Procedia Computer Science, 237. pp. 80-87. ISSN 1877-0509 (doi:10.1016/j.procs.2024.05.082)

water distribution systems

Raptis, George E., Khan, Muhammad Taimoor ORCID: https://orcid.org/0000-0002-5752-6420, Koulamas, Christos and Serpanos, Dimitrios (2025) Cross-model evaluation of LLMs for generating formal specification of distributed Industrial Control Systems. Procedia Computer Science, 270. pp. 5846-5854. ISSN 1877-0509 (Online) (doi:10.1016/j.procs.2025.10.053)