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

Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth., , , , und . CoRR, (2020)The Time Scale of Evolutionary Innovation., , , und . PLoS Comput. Biol., (2014)Passively mobile communicating machines that use restricted space., , , , und . Theor. Comput. Sci., 412 (46): 6469-6483 (2011)Precedence-Aware Automated Competitive Analysis of Real-Time Scheduling., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (11): 3981-3992 (2020)Social Balance on Networks: Local Minima and Best Edge Dynamics., , , , und . CoRR, (2022)How Hard Is Weak-Memory Testing?, , , und . Proc. ACM Program. Lang., 8 (POPL): 1978-2009 (Januar 2024)Value-centric dynamic partial order reduction., , und . Proc. ACM Program. Lang., 3 (OOPSLA): 124:1-124:29 (2019)Passively mobile communicating logarithmic space machines, , , , und . (2010)Fast, Sound and Effectively Complete Dynamic Race Detection.. CoRR, (2019)Maximizing the Probability of Fixation in the Positional Voter Model., , und . AAAI, Seite 12269-12277. AAAI Press, (2023)