Andreas Pavlogiannis

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jaco van de Pol

> Home > Persons > Andreas Pavlogiannis

Publications

2025
[j26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ConradoKPP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ConradoKPP25
Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Jaco van de Pol, Andreas Pavlogiannis:
Program Analysis via Multiple Context Free Language Reachability. Proc. ACM Program. Lang. 9(POPL): 509-538 (2025)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/rc/ChristensenJPP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rc/ChristensenJPP25
Jens Emil Christensen, Søren Fuglede Jørgensen, Andreas Pavlogiannis, Jaco van de Pol:
On Exact Sizes of Minimal CNOT Circuits. RC 2025: 71-88
2024
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/JakobsenJPP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/JakobsenJPP24
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis:
Fast Symbolic Computation of Bottom SCCs. TACAS (3) 2024: 110-128
[i33]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2411-06383
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2411-06383
Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Andreas Pavlogiannis, Jaco van de Pol:
Program Analysis via Multiple Context Free Language Reachability. CoRR abs/2411.06383 (2024)
2023
[c24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LarsenSSJPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LarsenSSJPP23
Casper Abild Larsen, Simon Meldahl Schmidt, Jesper Steensgaard, Anna Blume Jakobsen, Jaco van de Pol, Andreas Pavlogiannis:
A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. TACAS (2) 2023: 353-371
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/JakobsenJPP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/JakobsenJPP23
Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis:
Fast Symbolic Computation of Bottom SCCs - TACAS 2024 artifact. Zenodo, 2023

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.