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
342004
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
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
222010
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
102011
FoCDoc: Te Documentation System of FoC
M Maarek, V Prevosto
HR], pp.–.: http://www. calculemus. net/meetings/rome03/Proceedings/final …, 0
5
Attack Modeling for System Security Analysis
A Altawairqi, M Maarek
International Conference on Computer Safety, Reliability, and Security, 81-86, 2017
42017
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
42015
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
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
32019
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
32018
Transition from Passive Learner to Critical Evaluator through Peer-Testing of Programming Artefacts
G Grov, M Hamdan, S Kumar, M Maarek, L McGregor, T Shaikh, JB Wells, ...
New Directions in the Teaching of Physical Sciences, 2017
32017
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
32017
Experience in using a typed functional language for the development of a security application
D Doligez, C Faure, T Hardin, M Maarek
arXiv preprint arXiv:1404.6606, 2014
22014
The system can't perform the operation now. Try again later.
Articles 1–20