pldb wrapped

GTGiordano Tamburrelli

9 papers

cited 73×

cites 48

Reply guy/gal

ALAlberto Leva

cited you 6×

Mutuals

1. JKJeff Kramer4 ⇄ 4
2. SUSebastián Uchitel5 ⇄ 4
3. JMJeff Magee4 ⇄ 3
4. DSRDavid S. Rosenblum2 ⇄ 4
5. LGLars Grunske2 ⇄ 5

you ⇄ them

Parasocial crush

DPDavid Parker

you: 7 · them: 0

Secret admirer

JKJoost-Pieter Katoen

them: 5 · you: 0

Main character

Run-time efficient probabilistic model checking

ICSE 2011 · cited 21×

Ratio'd

Model-based Verification of Web Service Compositions

ASE 2003 · cited 14× · by your 17×

Vintage

You cite like it's 2009

Deepest dig

Verifying Continuous Time Markov Chains

CAV 1996

Lamport number5

1. GTyou
2. RCRadu Calinescu
3. MZKMarta Z. Kwiatkowska
4. MYMihalis Yannakakis
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.