Følg
Manuel Maarek
Titel
Citeret af
Citeret af
År
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
322007
Flexible encoding of mathematics on the computer
F Kamareddine, M Maarek, J Wells
Mathematical Knowledge Management, 160-174, 2004
252004
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
Restoring natural language as a computerised mathematics input method
F Kamareddine, R Lamar, M Maarek, J Wells
Towards Mechanized Mathematical Assistants, 280-295, 2007
222007
Mathematical documents faithfully computerised: the grammatical and text & symbol aspects of the MathLang framework
M Maarek
Heriot-Watt University, 2007
132007
FoCDoc: The Documentation ثystem of FoC
M Maarek, V Prevosto
CALCULEMUS-2003, 31, 2003
132003
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
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
112007
Tracking mixed bitcoins
T Tironsakkul, M Maarek, A Eross, M Just
Data Privacy Management, Cryptocurrencies and Blockchain Technology, 447-457, 2020
102020
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
102018
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
82019
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
82019
Attack Modeling for System Security Analysis
A Altawairqi, M Maarek
International Conference on Computer Safety, Reliability, and Security, 81-86, 2017
82017
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
62015
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
52022
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
52017
FoCDoc: Te Documentation System of FoC
M Maarek, V Prevosto
HR], pp.–.: http://www. calculemus. net/meetings/rome03/Proceedings/final …, 0
5
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20