Mathlang: Experience-driven development of a new mathematical language F Kamareddine, M Maarek, JB Wells Electronic Notes in Theoretical Computer Science 93, 138-160, 2004 | 34 | 2004 |
MathLang: experience-driven development of a mathematical language F Kamareddine, M Maarek, J Wells | 34* | |
Narrative structure of mathematical texts F Kamareddine, M Maarek, K Retel, J Wells Towards Mechanized Mathematical Assistants, 296-312, 2007 | 32 | 2007 |
Flexible encoding of mathematics on the computer F Kamareddine, M Maarek, J Wells Mathematical Knowledge Management, 160-174, 2004 | 25 | 2004 |
Toward an object-oriented structure for mathematical text F Kamareddine, M Maarek, J Wells Mathematical Knowledge Management, 217-233, 2006 | 23 | 2006 |
Liability in software engineering: overview of the LISE approach and illustration on a case study D Le Métayer, M Maarek, VVT Tong, E Mazza, ML Potet, N Craipeau, ... Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 22 | 2010 |
Restoring natural language as a computerised mathematics input method F Kamareddine, R Lamar, M Maarek, J Wells Towards Mechanized Mathematical Assistants, 280-295, 2007 | 22 | 2007 |
Mathematical documents faithfully computerised: the grammatical and text & symbol aspects of the MathLang framework M Maarek Heriot-Watt University, 2007 | 13 | 2007 |
FoCDoc: The Documentation ثystem of FoC M Maarek, V Prevosto CALCULEMUS-2003, 31, 2003 | 13 | 2003 |
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties D Le Métayer, M Maarek, E Mazza, ML Potet, S Frénot, VVT Tong, ... Communications of the ACM 54 (4), 99-106, 2011 | 11 | 2011 |
Gradual computerisation/formalisation of mathematical texts into Mizar F Kamareddine, M Maarek, K Retel, JB Wells From Insight to Proof: Festschrift in Honour of Andrzej Trybulec 10 (23), 95-120, 2007 | 11 | 2007 |
Tracking mixed bitcoins T Tironsakkul, M Maarek, A Eross, M Just Data Privacy Management, Cryptocurrencies and Blockchain Technology, 447-457, 2020 | 10 | 2020 |
Co-created Design of a Serious Game Investigation into Developer-Centred Security M Maarek, S Louchart, L McGregor, R McMenemy International Conference on Games and Learning Alliance, 221-231, 2018 | 10 | 2018 |
How Could Serious Games Support Secure Programming? Designing a Study Replication and Intervention M Maarek, L McGregor, S Louchart, R McMenemy EuroUSEC European Workshop on Usable Security 2019, 2019 | 8 | 2019 |
Probing the mystery of cryptocurrency theft, an investigation into methods for cryptocurrency tainting analysis T Tironsakkul, M Maarek, A Eross, M Just Cryptocurrency Research Conference 2019, 2019 | 8 | 2019 |
Attack Modeling for System Security Analysis A Altawairqi, M Maarek International Conference on Computer Safety, Reliability, and Security, 81-86, 2017 | 8 | 2017 |
Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator D Doligez, C Faure, T Hardin, M Maarek Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International …, 2015 | 6 | 2015 |
The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection T Tironsakkul, M Maarek, A Eross, M Just Proceedings of the 2022 European Interdisciplinary Cybersecurity Conference …, 2022 | 5 | 2022 |
Probing the Mystery of Cryptocurrency Theft: An Investigation into Methods for Taint Analysis T Tironsakkul, M Maarek, A Eross, M Just Available at SSRN 3403656, 2019 | 5 | 2019 |
Development of a Web Platform for Code Peer-Testing M Maarek, L McGregor The 8th Workshop on Evaluation and Usability of Programming Languages and …, 2017 | 5 | 2017 |