pldb wrapped

AMAndrea Micheli

4 papers

cited 81×

cites 26

Reply guy/gal

KYRKristin Yvonne Rozier

cited you 6×

Mutuals

1. ABArmin Biere2 ⇄ 2
2. STStefano Tonetta2 ⇄ 6
3. ATAndrei Tchaltsev1 ⇄ 1
4. ASAngela Sanseviero1 ⇄ 1
5. AFPAnthony Fernandes Pires1 ⇄ 3

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 4 · them: 0

Secret admirer

AIAhmed Irfan

them: 4 · you: 0

Main character

The nuXmv Symbolic Model Checker

CAV 2014 · cited 62×

Ratio'd

InvGen: An Efficient Invariant Generator

CAV 2009 · cited 44× · by your 62×

Vintage

You cite like it's 2010

Deepest dig

Automatic Translation of Natural Language System Specifications

CAV 1996

Lamport number4

1. AMyou
2. STStefano Tonetta
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Stefano Tonetta. Without them: 5.

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.