pldb wrapped

NMNuno Macedo

6 papers

cited 13×

cites 48

Reply guy/gal

GRGermán Regis

cited you 4×

Mutuals

1. AEAlexander Egyed1 ⇄ 1
2. JSJouke Stoel1 ⇄ 1
3. JPGJuan Pablo Galeotti1 ⇄ 1
4. MFFMarcelo F. Frias1 ⇄ 4
5. NANazareno Aguirre1 ⇄ 4

you ⇄ them

Parasocial crush

BFBernd Finkbeiner

you: 8 · them: 0

Secret admirer

SGBSimón Gutiérrez Brida

them: 3 · you: 0

Main character

Lightweight specification and analysis of dynamic systems with rich…

FSE 2016 · cited 7×

Ratio'd

A type system for object models

FSE 2004 · cited 6× · by your 7×

Vintage

You cite like it's 2012

Deepest dig

Symbolic Model Checking

CAV 1996

Lamport number5

1. NMyou
2. JBJulien Brunel
3. DDDamien Doligez
4. GGGeorges Gonthier
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Julien Brunel. Without them: 6.

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.