Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Predicting the number of biochemical transformations needed to synthesize a compound., , , und . IJCNN, Seite 1-8. IEEE, (2022)Automated Network Resilience Optimization Using Computational Intelligence Methods., , und . IDC, Volume 616 von Studies in Computational Intelligence, Seite 485-495. Springer, (2015)Intradomain routing optimization based on evolutionary computation. University of Minho, Portugal, (2019)Combinatorial Optimization of Succinate Production in Escherichia coli., und . PACBB, Volume 325 von Lecture Notes in Networks and Systems, Seite 155-164. Springer, (2021)A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation., und . CCS, Seite 851-868. ACM, (2019)A High-Assurance, Automatically-Synthesized, Evaluator for Machine-Checked (Proactively) Secure Multi-Party Computation., und . IACR Cryptol. ePrint Arch., (2019)Optimizing Load Balancing Routing Mechanisms with Evolutionary Computation., , und . Intelligent Environments (Workshops), Volume 21 von Ambient Intelligence and Smart Environments, Seite 298-307. IOS Press, (2016)Linearization of class D amplifiers., , , , und . CICC, Seite 1-4. IEEE, (2012)Integrated Verification of Cryptographic Security Proofs and Implementations. University of Porto, Portugal, (2020)Boosting the Performance of High-Assurance Cryptography: Parallel Execution and Optimizing Memory Access in Formally-Verified Line-Point Zero-Knowledge., , , , , und . CCS, Seite 2098-2112. ACM, (2023)