متابعة
Andreas Pavlogiannis
Andreas Pavlogiannis
Associate Professor, Aarhus University
بريد إلكتروني تم التحقق منه على cs.au.dk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Data-centric dynamic partial order reduction‏
M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya‏
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017‏
792017
Passively mobile communicating machines that use restricted space‏
I Chatzigiannakis, O Michail, S Nikolaou, A Pavlogiannis, PG Spirakis‏
Proceedings of the 7th ACM ACM SIGACT/SIGMOBILE International Workshop on …, 2011‏
782011
Population structure determines the tradeoff between fixation probability and fixation time‏
J Tkadlec, A Pavlogiannis, K Chatterjee, MA Nowak‏
Communications biology 2 (1), 138, 2019‏
762019
Optimal Dyck reachability for data-dependence and alias analysis‏
K Chatterjee, B Choudhary, A Pavlogiannis‏
Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017‏
742017
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory‏
A Pavlogiannis, J Tkadlec, K Chatterjee, MA Nowak‏
Communications biology 1 (1), 71, 2018‏
642018
Limits on amplifiers of natural selection under death-Birth updating‏
J Tkadlec, A Pavlogiannis, K Chatterjee, MA Nowak‏
PLoS computational biology 16 (1), e1007494, 2020‏
602020
Fast, sound, and effectively complete dynamic race prediction‏
A Pavlogiannis‏
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019‏
522019
Amplification on undirected population structures: comets beat stars‏
A Pavlogiannis, J Tkadlec, K Chatterjee, MA Nowak‏
Scientific reports 7 (1), 82, 2017‏
502017
The time scale of evolutionary innovation‏
K Chatterjee, A Pavlogiannis, B Adlam, MA Nowak‏
PLoS computational biology 10 (9), e1003818, 2014‏
482014
Fast and strong amplifiers of natural selection‏
J Tkadlec, A Pavlogiannis, K Chatterjee, MA Nowak‏
Nature Communications 12 (1), 4009, 2021‏
422021
Optimal prediction of synchronization-preserving races‏
U Mathur, A Pavlogiannis, M Viswanathan‏
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021‏
352021
Distributed synthesis for LTL fragments‏
K Chatterjee, TA Henzinger, J Otop, A Pavlogiannis‏
2013 Formal Methods in Computer-Aided Design, 18-25, 2013‏
352013
Value-centric dynamic partial order reduction‏
K Chatterjee, A Pavlogiannis, V Toman‏
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019‏
302019
Algorithms for algebraic path properties in concurrent systems of constant treewidth components‏
K Chatterjee, AK Goharshady, R Ibsen-Jensen, A Pavlogiannis‏
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016‏
302016
Faster algorithms for algebraic path properties in recursive state machines with constant treewidth‏
K Chatterjee, R Ibsen-Jensen, A Pavlogiannis, P Goyal‏
Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015‏
292015
Efficient parameterized algorithms for data packing‏
K Chatterjee, AK Goharshady, N Okati, A Pavlogiannis‏
Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019‏
272019
The complexity of dynamic data race prediction‏
U Mathur, A Pavlogiannis, M Viswanathan‏
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020‏
252020
Optimal and perfectly parallel algorithms for on-demand data-flow analysis‏
K Chatterjee, AK Goharshady, R Ibsen-Jensen, A Pavlogiannis‏
Programming Languages and Systems: 29th European Symposium on Programming …, 2020‏
252020
Stateless model checking under a reads-value-from equivalence‏
P Agarwal, K Chatterjee, S Pathak, A Pavlogiannis, V Toman‏
International Conference on Computer Aided Verification, 341-366, 2021‏
232021
Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth‏
K Chatterjee, AK Goharshady, P Goyal, R Ibsen-Jensen, A Pavlogiannis‏
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (4), 1-46, 2019‏
222019
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20