MathLang: Experience-driven Development of a New Mathematical Language. - Fairouz Kamareddine; Manuel Maarek; J. B. Wells (MKM Symposium, 2003)

Flexible Encoding of Mathematics on the Computer. - Fairouz Kamareddine; Manuel Maarek; J. B. Wells (MKM, 2004)

Toward an Object-Oriented Structure for Mathematical Text. - Fairouz Kamareddine; Manuel Maarek; J. B. Wells (MKM, 2005)

Restoring Natural Language as a Computerised Mathematics Input Method. - Fairouz Kamareddine; Robert Lamar; Manuel Maarek; J. B. Wells (Calculemus/MKM, 2007)

Narrative Structure of Mathematical Texts. - Fairouz Kamareddine; Manuel Maarek; Krzysztof Retel; J. B. Wells (Calculemus/MKM, 2007)

Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework - Manuel Maarek (2007)

Liability in software engineering: overview of the LISE approach and illustration on a case study. - Daniel Le Métayer; Manuel Maarek; Valérie Viet Triem Tong; Eduardo Mazza; Marie-Laure Potet; Nicolas Craipeau; Stéphane Frénot; Ronan Hardouin (ICSE (1), 2010)

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. - Daniel Le Métayer; Manuel Maarek; Eduardo Mazza; Marie-Laure Potet; Stéphane Frénot; Valérie Viet Triem Tong; Nicolas Craipeau; Ronan Hardouin (Commun. ACM, 2011)

Experience in using a typed functional language for the development of a security application. - Damien Doligez; Christèle Faure; Thérèse Hardin; Manuel Maarek (F-IDE, 2014)

Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator. - Damien Doligez; Christèle Faure; Thérèse Hardin; Manuel Maarek (ICSE (2), 2015)

Improving Predictability, Efficiency and Trust of Model-Based Proof Activity. - Jean-Frédéric Étienne; Manuel Maarek; Florent Anseaume; Véronique Delebarre (ICSE (2), 2015)

Attack Modeling for System Security Analysis - (Position Paper). - Abdullah Altawairqi; Manuel Maarek (SAFECOMP Workshops, 2017)

Co-created Design of a Serious Game Investigation into Developer-Centred Security. - Manuel Maarek; Sandy Louchart; Léon McGregor; Ross McMenemy (GALA, 2018)

Observing the Uptake of a Language Change Making Strings Immutable. - Manuel Maarek (PLATEAU@SPLASH, 2018)

How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention. - Manuel Maarek; Léon McGregor; Sandy Louchart; Ross McMenemy (EuroS&P Workshops, 2019)

Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Cryptocurrency Tainting Analysis. - Tin Tironsakkul; Manuel Maarek; Andrea Eross; Mike Just (CoRR, 2019)

Tracking Mixed Bitcoins. - Tin Tironsakkul; Manuel Maarek; Andrea Eross; Mike Just (DPM/CBT@ESORICS, 2020)

Vision: Investigating Web API Developer Experience in Relation to Terms of Service and Privacy Policies. - Aidah Ichario; Manuel Maarek (EuroS&P Workshops, 2020)

Software Testing as Medium for Peer Feedback. - Léon McGregor; Manuel Maarek (UKICER, 2020)

Development of a Web Platform for Code Peer-Testing. - Manuel Maarek; Léon McGregor (CoRR, 2020)

The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection. - Tin Tironsakkul; Manuel Maarek; Andrea Eross; Mike Just (EICC, 2022)

Aligning a Serious Game, Secure Programming and CyBOK-Linked Learning Outcomes. - Léon McGregor; Sheung Chi Chan; Szymon Wlodarczyk; Manuel Maarek (EuroS&P Workshops, 2022)

Context matters: Methods for Bitcoin tracking. - Tin Tironsakkul; Manuel Maarek; Andrea Eross; Mike Just (Digit. Investig., 2022)

Introducing and Interfacing with Cybersecurity - A Cards Approach. - Ryan Shah; Manuel Maarek; Shenando Stals; Lynne Baillie; Sheung Chi Chan; Robert J. Stewart 001; Hans-Wolfgang Loidl; Olga Chatzifoti (CoRR, 2023)

Communicating on Security within Software Development Issue Tracking. - Léon McGregor; Manuel Maarek; Hans-Wolfgang Loidl (CoRR, 2023)

Integrating Canvas and GitLab to Enrich Learning Processes. - Laura Schauer; Robert J. Stewart 001; Manuel Maarek (SEET@ICSE, 2024)

Investigating the Proficiency of Large Language Models in Formative Feedback Generation for Student Programmers. - Smitha S. Kumar; Michael Adam Lones; Manuel Maarek; Hind Zantout (LLM4CODE@ICSE, 2024)

Evaluating and validating the Serious Slow Game Jam methodology as a mechanism for co-designing serious games to improve understanding of cybersecurity for different demographics. - Shenando Stals; Lynne Baillie; Ryan Shah; Jamie Iona Ferguson; Manuel Maarek (Comput. Stand. Interfaces, 2025)

Evaluating Serious Slow Game Jams as a Mechanism for Co-Designing Serious Games to Improve Understanding of Cybersecurity. - Shenando Stals; Lynne Baillie; Jamie Iona Ferguson; Daisy Abbott; Manuel Maarek; Ryan Shah; Sandy Louchart (Games Res. Pract., 2025)

Empower New Code Citizens to Reflect and Communicate on Code Security. - Manuel Maarek; Daisy Abbott; Olga Chatzifoti; Ryan Shah; Sheung Chi Chan; Hans-Wolfgang Loidl; Robert J. Stewart 001; Jamie Iona Ferguson; Sandy Louchart; Shenando Stals; Lynne Baillie (IEEE Secur. Priv., 2025)

Navigating Pitfalls: Evaluating LLMs in Machine Learning Programming Education. - Smitha S. Kumar; Michael A. Lones; Manuel Maarek; Hind Zantout (CoRR, 2025)