Andreas Pavlogiannis

Aarhus University

Denmark

Research Interests

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (15)

Year:

2025

Year:

2025

Year:

2025

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Collaborators (4)

Mahesh Viswanathan

University of Illinois at Urbana-Champaign

UNITED STATES

View details

Josef Tkadlec

Assistant Professor

Charles University

CZECH REPUBLIC

View details

Umang Mathur

Assistant Professor

National University of Singapore (NUS)

SINGAPORE

View details

J.C. van de Pol

Aarhus University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Andreas Pavlogiannis

Research Interests

Contact this professor

Articles (15)

AWDIT

CFL-based methods for approximating interleaved Dyck reachability

Program Analysis via Multiple Context Free Language Reachability

How Hard Is Weak-Memory Testing?

On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

Optimal Reads-From Consistency Checking for C11-Style Memory Models

Sound Dynamic Deadlock Prediction in Linear Time

A Truly Symbolic Linear-Time Algorithm for SCC Decomposition

Social balance on networks

Invasion Dynamics in the Biased Voter Process

Fixation Maximization in the Positional Moran Process

Infection dynamics of COVID-19 virus under lockdown and reopening

The Decidability and Complexity of Interleaved Bidirected Dyck Reachability

Fast and strong amplifiers of natural selection

The reads-from equivalence for the TSO and PSO memory models

Collaborators (4)

Mahesh Viswanathan

Josef Tkadlec

Umang Mathur

J.C. van de Pol

Make your next move.