pldb wrapped

IZIlia Zlatkin

3 papers

cited 4×

cites 28

Reply guy/gal

MBMartin Blicha

cited you 2×

Mutuals

1. MBMartin Blicha2 ⇄ 2
2. NSNatasha Sharygina2 ⇄ 2
3. AEJAntti E. J. Hyvärinen2 ⇄ 1
4. LCCLucas C. Cordeiro1 ⇄ 1

you ⇄ them

Parasocial crush

AGArie Gurfinkel

you: 5 · them: 0

Main character

Maximizing Branch Coverage with Constrained Horn Clauses

TACAS 2022 · cited 3×

Vintage

You cite like it's 2018

Deepest dig

Symbolic Model Checking without BDDs

TACAS 1999

Lamport number4

1. IZyou
2. LALeonardo Alt
3. HCHana Chockler
4. RPKRobert P. Kurshan
5. 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.