DBLP
Complete and curated bibliography.
Täielik ja kureeritud bibliograafia.
Publications
Publikatsioonid
Publications
Publikatsioonid
2024 · Incremental Evaluation of Dynamic Datalog Programs as a Higher-order DBSP Program ·
DBLP
2023 · On the Suitability of Differential Dataflow for Datalog Interpretation in Highly Dynamic Settings ·
DOI
2023 · A Differential Datalog Interpreter ·
arXiv
2021 · Improving Thread-Modular Abstract Interpretation ·
DBLP
2021 · Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) ·
DBLP
2018 · Demand-driven interprocedural analysis for map-based abstract domains ·
DOI
2016 · Efficiently intertwining widening and narrowing ·
DOI
2013 · How to combine widening and narrowing for non-monotonic systems of equations ·
DOI
Full lists
Täielikud nimekirjad
Where to find more
Kust leida rohkem
Google Scholar
Citation tracking and profiles.
Tsitaadijälgimine ja profiilid.
ORCID
Persistent researcher identifier and record.
Püsiv teadlase identifikaator ja kirje.