A Aralex Aachen research explorer

ACM Transactions on Programming Languages and Systems Sign in to save

Search and filter its papers →

6

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

20

21

22

23

Papers 4

Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

citations
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic
2021 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Frank S. de Boer, Hans-Dieter A. Hiep

3

citations
A First-order Logic with Frames
2023 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Christof Löding, P. Madhusudan

2

citations

4 results

Most active Aachen authors

Jürgen Giesl 4,354 citations overall
1 paper
Christof Löding 2,764 citations overall
1 paper
Frank S. de Boer 1,022 citations overall
1 paper
Henning Basold 98 citations overall
1 paper
Matthias Naaf 87 citations overall
1 paper
Hans-Dieter A. Hiep 52 citations overall
1 paper