pldb wrapped

PSDParasara Sridhar Duggirala

7 papers

cited 42×

cites 38

Reply guy/gal

HSHussein Sibai

cited you 6×

Mutuals

1. GFGeorgios Fainekos2 ⇄ 2
2. ADAlexandre Donzé10 ⇄ 1
3. CFChuchu Fan1 ⇄ 4
4. EÁErika Ábrahám4 ⇄ 1
5. TDThao Dang10 ⇄ 1

you ⇄ them

Parasocial crush

OMOded Maler

you: 9 · them: 0

Secret admirer

JLJia Lee

them: 6 · you: 0

Main character

C2E2: A Verification Tool for Stateflow Models

TACAS 2015 · cited 15×

Ratio'd

The d/dt Tool for Verification of Hybrid Systems

CAV 2002 · cited 9× · by your 11×

Vintage

You cite like it's 2008

Deepest dig

Construction of Abstract State Graphs with PVS

CAV 1997

Lamport number5

1. PSDyou
2. MVMahesh Viswanathan
3. PMP. Madhusudan
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.