Aleksandar S. Dimovski
13 papers
cited 13×
cites 183
Mutuals
- Andrzej S. Murawski2 ⇄ 1
- C.-H. Luke Ong1 ⇄ 1
- Sebastian Erdweg1 ⇄ 1
- Thorsten Berger1 ⇄ 1
you ⇄ them
Main character
ASE 2015 · cited 7×
Vintage
You cite like it's 2011
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)
pldb.kirancodes.me/fun · within PLDB