Ranko Lazic
3 papers
cited 8×
cites 11
Mutuals
- Andrzej S. Murawski2 ⇄ 1
- C.-H. Luke Ong1 ⇄ 1
- Christoph Haase1 ⇄ 1
- Michael Blondin1 ⇄ 1
you ⇄ them
Vintage
You cite like it's 2002
Early adopter
cited 1 paper before they were published
e.g. Data-Abstraction Refinement: A Game… (2005) → Compositional Model Extraction for Higher-Order… (TACAS 2006)
Lamport number4
Load-bearing co-author: Marcin Jurdzinski. Without them: 5.
pldb.kirancodes.me/fun · within PLDB