pldb wrapped

MTMatthias Tichy

7 papers

cited 10×

cites 27

Reply guy/gal

CHChristian Heinzemann

cited you 4×

Mutuals

1. OOOliver Oberschelp1 ⇄ 1
2. WSWilhelm Schäfer1 ⇄ 4

you ⇄ them

Parasocial crush

JVJan Vitek

you: 6 · them: 0

Secret admirer

ASAndreas Seibel

them: 3 · you: 0

Main character

Towards the compositional verification of real-time UML designs

FSE 2003 · cited 8×

Ratio'd

Integrating UML diagrams for production control systems

ICSE 2000 · cited 6× · by your 8×

Vintage

You cite like it's 2012

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number6

1. MTyou
2. HGHolger Giese
3. DBDirk Beyer
4. TAHThomas A. Henzinger
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. 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.