pldb wrapped

NMNiklas Metzger

6 papers

cited 9×

cites 67

Reply guy/gal

ASAnne-Kathrin Schmuck

cited you 1×

Mutuals

1. AAAshwani Anand2 ⇄ 1
2. BBBorzoo Bonakdarpour3 ⇄ 1
3. GBGilles Barthe1 ⇄ 1
4. KMKaushik Mallik1 ⇄ 1
5. MMarcelo d'Amorim1 ⇄ 1

you ⇄ them

Parasocial crush

CSCésar Sánchez

you: 8 · them: 0

Main character

Second-Order Hyperproperties

CAV 2023 · cited 6×

Vintage

You cite like it's 2013

Deepest dig

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984

Lamport number4

1. NMyou
2. BFBernd Finkbeiner
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Bernd Finkbeiner. 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.