( en | de | ru )

 

Disambiguierung von "Pavlogiannis, Andreas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distributed synthesis for LTL fragments.

, , , und . FMCAD, Seite 18-25. IEEE, (2013)

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.

Andreas

Andreas Sarcletti

Die Bedeutung von Praktika und studentischen Erwerbstätigkeiten für den Berufseinstieg.. Uni Bamberg, (2009)

Andreas Ströhl

Die Geste Mensch: Vilém Flussers Kulturtheorie als kommunikationsphilosophischer Zukunftsentwurf. Uni Marburg, (2009)

Andreas Nerlich

Lebensumstände und Krankheiten einer mittelalterlich bis neuzeitlichen Bevölkerung Südddeutschlands: paläopathologische Untersuchungen. Uni München, (2009)

Andreas Edelmann

Direkte Empfindlichkeitsprüfung von Bakterien aus positiven Blutkulturen: genügt die Zuverlässigkeit der Agardiffusionsmethode den klinischen Anforderungen?. Uni Ulm, (2009)
 

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 . FOMC, Seite 6-15. ACM, (2011)Passively mobile communicating logarithmic space machines, , , , und . (2010)Maximizing the Probability of Fixation in the Positional Voter Model., , und . AAAI, Seite 12269-12277. AAAI Press, (2023)Invasion Dynamics in the Biased Voter Process., , , und . IJCAI, Seite 265-271. ijcai.org, (2022)Efficient approximations for cache-conscious data placement., , , und . PLDI, Seite 857-871. ACM, (2022)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , und . POPL, Seite 733-747. ACM, (2016)Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth., , , , und . ACM Trans. Program. Lang. Syst., 41 (4): 23:1-23:46 (2019)Dynamic data race prediction: fundamentals, theory, and practice (tutorial)., und . ESEC/SIGSOFT FSE, Seite 1820. ACM, (2022)