kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Michele Dorigatti
2 papers
cited 70×
cites 23
Reply guy/gal
Marco Bozzano
cited you 8×
Mutuals
  1. Alberto Griggio1 ⇄ 4
  2. Armin Biere1 ⇄ 2
  3. Dirk Beyer1 ⇄ 1
  4. Joost-Pieter Katoen1 ⇄ 2
  5. Marco Bozzano1 ⇄ 8
you ⇄ them
Parasocial crush
Edmund M. Clarke
you: 3 · them: 0
Secret admirer
Kristin Yvonne Rozier
them: 7 · 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
Conjoining Specifications
TOPLAS 1995
Lamport number4
  1. you
  2. Stefano Tonetta
  3. Moshe Y. Vardi
  4. Robert P. Kurshan
  5. Leslie 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.