pldb wrapped

SWCSung Woo Choi

2 papers

cited 7×

cites 35

Reply guy/gal

MLDMatthew L. Daggitt

cited you 4×

Mutuals

1. GKGuy Katz6 ⇄ 2
2. HWHaoze Wu4 ⇄ 2
3. AZAleksandar Zeljic3 ⇄ 1
4. CWBClark W. Barrett6 ⇄ 1
5. EKEkaterina Komendantskaya1 ⇄ 3

you ⇄ them

Parasocial crush

SBStanley Bak

you: 9 · them: 0

Main character

NNV 2.0: The Neural Network Verification Tool

CAV 2023 · cited 7×

Vintage

You cite like it's 2021

Deepest dig

SpaceEx: Scalable Verification of Hybrid Systems

CAV 2011

Lamport number5

1. SWCyou
2. GFGeorgios Fainekos
3. SSSriram Sankaranarayanan
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Georgios Fainekos. Without them: 6.

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.