pldb wrapped

AMAlessandro Mariotti

2 papers

cited 62×

cites 18

Reply guy/gal

KYRKristin Yvonne Rozier

cited you 5×

Mutuals

1. ABArmin Biere1 ⇄ 2
2. DBDirk Beyer1 ⇄ 1
3. JKJoost-Pieter Katoen1 ⇄ 1
4. MBMarco Bozzano1 ⇄ 5
5. RSRoberto Sebastiani2 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 2 · them: 0

Secret admirer

JLJianwen Li

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 2011

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.