( 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 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)

Andreas Eickelkamp

Der Nutzwertjournalismus. Uni Leipzig, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Passively mobile communicating logarithmic space machines, , , , und . (2010)Passively mobile communicating machines that use restricted space., , , , und . FOMC, Seite 6-15. ACM, (2011)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)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)The fine-grained and parallel complexity of andersen's pointer analysis., und . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , und . POPL, Seite 733-747. ACM, (2016)Fixation Maximization in the Positional Moran Process., , , , und . AAAI, Seite 9304-9312. AAAI Press, (2022)Dynamic data race prediction: fundamentals, theory, and practice (tutorial)., und . ESEC/SIGSOFT FSE, Seite 1820. ACM, (2022)