pldb wrapped

MRMarco Roveri

19 papers

cited 269×

cites 96

Reply guy/gal

SMShahar Maoz

cited you 21×

Mutuals

1. MYVMoshe Y. Vardi6 ⇄ 10
2. ABArmin Biere11 ⇄ 5
3. RSRoberto Sebastiani6 ⇄ 5
4. KHKeijo Heljanko4 ⇄ 4
5. NPNir Piterman3 ⇄ 4

you ⇄ them

Parasocial crush

YZYunshan Zhu

you: 10 · them: 0

Secret admirer

JORJan Oliver Ringert

them: 12 · you: 0

Main character

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV 2002 · cited 93×

Ratio'd

InvGen: An Efficient Invariant Generator

CAV 2009 · cited 44× · by your 62×

Vintage

You cite like it's 2005

Deepest dig

Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic…

TOPLAS 1986

Lamport number4

1. MRyou
2. JKJoost-Pieter Katoen
3. DAPDoron A. Peled
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.