pldb wrapped

MIMalte Isberner

3 papers

cited 41×

cites 27

Reply guy/gal

DBDirk Beyer

cited you 8×

Mutuals

1. DNDaniel Neider1 ⇄ 1
2. JSJun Sun1 ⇄ 1
3. Koushik Sen5 ⇄ 1
4. WVWillem Visser2 ⇄ 1

you ⇄ them

Parasocial crush

GAGul Agha

you: 4 · them: 0

Secret admirer

MMMalte Mues

them: 4 · you: 0

Main character

JDart: A Dynamic Symbolic Analysis Framework

TACAS 2016 · cited 20×

Ratio'd

libalf: The Automata Learning Framework

CAV 2010 · cited 15× · by your 19×

Vintage

You cite like it's 2010

Deepest dig

Model Checking Programs

ASE 2000

Lamport number5

1. MIyou
2. ZRZvonimir Rakamaric
3. SQShaz Qadeer
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.