( en | de | ru )

 

Disambiguierung von "Maarek, Manuel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Attack Modeling for System Security Analysis - (Position Paper).

, und . SAFECOMP Workshops, Volume 10489 von Lecture Notes in Computer Science, Seite 81-86. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Manuel

Manuel Knebelsberger

Manuel Schmitz

Manuel Bermes

Manuel Lohrengel

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving Predictability, Efficiency and Trust of Model-Based Proof Activity., , , und . ICSE (2), Seite 139-148. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Flexible Encoding of Mathematics on the Computer., , und . MKM, Volume 3119 von Lecture Notes in Computer Science, Seite 160-174. Springer, (2004)The Unique Dressing of Transactions: Wasabi CoinJoin Transaction Detection., , , und . EICC, Seite 21-28. ACM, (2022)Restoring Natural Language as a Computerised Mathematics Input Method., , , und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 280-295. Springer, (2007)Toward an Object-Oriented Structure for Mathematical Text., , und . MKM, Volume 3863 von Lecture Notes in Computer Science, Seite 217-233. Springer, (2005)Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator., , , und . ICSE (2), Seite 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.Co-created Design of a Serious Game Investigation into Developer-Centred Security., , , und . GALA, Volume 11385 von Lecture Notes in Computer Science, Seite 221-231. Springer, (2018)Integrating Canvas and GitLab to Enrich Learning Processes., , und . SEET@ICSE, Seite 180-190. ACM, (2024)Narrative Structure of Mathematical Texts., , , und . Calculemus/MKM, Volume 4573 von Lecture Notes in Computer Science, Seite 296-312. Springer, (2007)