kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Felix Klaedtke
7 papers
cited 10×
cites 24
Reply guy/gal
Alessandro Cimatti
cited you 2×
Mutuals
  1. Jérôme Leroux2 ⇄ 2
  2. Alessandro Cimatti1 ⇄ 2
  3. Axel Legay1 ⇄ 1
  4. Gérald Point1 ⇄ 1
  5. Marcelo d'Amorim1 ⇄ 1
you ⇄ them
Parasocial crush
Bernard Boigelot
you: 3 · them: 0
Secret admirer
Sergio Mover
them: 2 · you: 0
Main character
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals
CAV 2007 · cited 4×
Vintage
You cite like it's 2003
Deepest dig
Parametric Circuit Representation Using Inductive Boolean Functions
CAV 1993
Lamport number4
  1. you
  2. Jochen Eisinger
  3. Ross McIlroy
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Jochen Eisinger. 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.