pldb wrapped

ASAsadullah Shaikh

2 papers

cited 2×

cites 3

Reply guy/gal

AWAndrzej Wasowski

cited you 1×

Parasocial crush

DRDaniel Riera

you: 2 · them: 0

Main character

Verification-driven slicing of UML/OCL models

ASE 2010 · cited 3×

Deepest dig

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint…

ASE 2007

Lamport number8

1. ASyou
2. RCRobert Clarisó
3. LBLola Burgueño
4. JKJörg Kienzle
5. RGRachid Guerraoui
6. TAHThomas A. Henzinger
7. RARajeev Alur
8. RPKRobert P. Kurshan

Load-bearing co-author: Robert Clarisó. Without them: ∞.

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.