pldb wrapped

IWIgor Walukiewicz

6 papers

cited 42×

cites 59

Reply guy/gal

RARajeev Alur

cited you 6×

Mutuals

1. Rupak Majumdar6 ⇄ 4
2. PMP. Madhusudan3 ⇄ 5
3. PAAParosh Aziz Abdulla3 ⇄ 4
4. APAndreas Podelski3 ⇄ 2
5. MFAMohamed Faouzi Atig2 ⇄ 4

you ⇄ them

Parasocial crush

MMMarkus Müller-Olm

you: 7 · them: 0

Secret admirer

Swarat Chaudhuri

them: 4 · you: 0

Main character

Pushdown Processes: Games and Model Checking

CAV 1996 · cited 29×

Ratio'd

On Model-Checking for Fragments of µ-Calculus

CAV 1993 · cited 23× · by your 29×

Vintage

You cite like it's 2010

Deepest dig

Using Partial Orders to Improve Automatic Verification Methods

CAV 1990

Lamport number4

1. IWyou
2. AMAnca Muscholl
3. ELGElsa L. Gunter
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Anca Muscholl. 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.