pldb wrapped

DMLDiego Manzanas Lopez

3 papers

cited 32×

cites 32

Reply guy/gal

MLDMatthew L. Daggitt

cited you 6×

Mutuals

1. GKGuy Katz6 ⇄ 5
2. HWHaoze Wu3 ⇄ 4
3. AZAleksandar Zeljic3 ⇄ 2
4. CWBClark W. Barrett6 ⇄ 2
5. KJKyle Julian6 ⇄ 2

you ⇄ them

Parasocial crush

DLDDavid L. Dill

you: 6 · them: 0

Secret admirer

EKEkaterina Komendantskaya

them: 5 · you: 0

Main character

NNV: The Neural Network Verification Tool for Deep Neural Networks and…

CAV 2020 · cited 22×

Ratio'd

VerifAI: A Toolkit for the Formal Design and Analysis of Artificial…

CAV 2019 · cited 16× · by your 22×

Vintage

You cite like it's 2019

Deepest dig

An Abstraction-Refinement Approach to Verification of Artificial Neural Networks

CAV 2010

Lamport number6

1. DMLyou
2. SBStanley Bak
3. SBSergiy Bogomolov
4. RGRadu Grosu
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. 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.