( en | de | ru )

 

Disambiguation of "Maarek, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
Restoring Natural Language as a Computerised Mathematics Input Method.

, , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Manuel

Manuel Knebelsberger

Manuel Schmitz

Manuel Keller

Manuel Bermes

 

Other publications of authors with the same name

Flexible Encoding of Mathematics on the Computer., , and . MKM, volume 3119 of Lecture Notes in Computer Science, page 160-174. Springer, (2004)Improving Predictability, Efficiency and Trust of Model-Based Proof Activity., , , and . ICSE (2), page 139-148. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Restoring Natural Language as a Computerised Mathematics Input Method., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 280-295. Springer, (2007)The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection., , , and . EICC, page 21-28. ACM, (2022)Toward an Object-Oriented Structure for Mathematical Text., , and . MKM, volume 3863 of Lecture Notes in Computer Science, page 217-233. Springer, (2005)Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator., , , and . ICSE (2), page 209-218. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Mathematical documents faithfully computerised : the grammatical and text & symbol aspects of the MathLang framework. Heriot-Watt University, UK, (2007)British Library, EThOS.Attack Modeling for System Security Analysis - (Position Paper)., and . SAFECOMP Workshops, volume 10489 of Lecture Notes in Computer Science, page 81-86. Springer, (2017)Narrative Structure of Mathematical Texts., , , and . Calculemus/MKM, volume 4573 of Lecture Notes in Computer Science, page 296-312. Springer, (2007)Software Testing as Medium for Peer Feedback., and . UKICER, page 66-72. ACM, (2020)