Follow
Manuel Maarek
Title
Cited by
Cited by
Year
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
362004
MathLang: experience-driven development of a mathematical language
F Kamareddine, M Maarek, J Wells
36*
Narrative structure of mathematical texts
F Kamareddine, M Maarek, K Retel, J Wells
Towards Mechanized Mathematical Assistants, 296-312, 2007
302007
Flexible encoding of mathematics on the computer
F Kamareddine, M Maarek, J Wells
Mathematical Knowledge Management, 160-174, 2004
242004
Restoring natural language as a computerised mathematics input method
F Kamareddine, R Lamar, M Maarek, J Wells
Towards Mechanized Mathematical Assistants, 280-295, 2007
232007
Toward an object-oriented structure for mathematical text
F Kamareddine, M Maarek, J Wells
Mathematical Knowledge Management, 217-233, 2006
232006
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
212010
Mathematical documents faithfully computerised: the grammatical and text & symbol aspects of the MathLang framework
M Maarek
Heriot-Watt University, 2007
132007
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
122007
FoCDoc: The Documentation ثystem of FoC
M Maarek, V Prevosto
CALCULEMUS-2003, 31, 2003
122003
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
112011
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
72019
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
72018
Attack Modeling for System Security Analysis
A Altawairqi, M Maarek
International Conference on Computer Safety, Reliability, and Security, 81-86, 2017
52017
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
52015
FoCDoc: Te Documentation System of FoC
M Maarek, V Prevosto
HR], pp.–.: http://www. calculemus. net/meetings/rome03/Proceedings/final …, 0
5
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
42019
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
42017
Digitised mathematics: Computerisation vs. formalisation
F Kamareddine, M Maarek, K Retel, JB Wells
Review of the National Center for Digitization 10, 1-8, 2006
42006
Tracking mixed bitcoins
T Tironsakkul, M Maarek, A Eross, M Just
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 447-457, 2020
32020
The system can't perform the operation now. Try again later.
Articles 1–20