Author Info
Name
Affiliation
Papers
ALEXANDER MALKIS
IMDEA Software Institute, Boadilla del Monte, Madrid, Spain
10
Collaborators
Citations 
PageRank 
9
49
4.65
Referers 
Referees 
References 
109
194
125
Search Limit
100194
Title
Citations
PageRank
Year
Reachability In Binary Multithreaded Programs Is Polynomial00.342017
Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial.10.362015
A Model of Service-Oriented Architectures30.472015
A Model Of Layered Architectures40.492015
On Automation in the Verification of Software Barriers: Experience Report00.342014
Verification of software barriers20.372012
On the strength of owicki-gries for resources20.362011
Thread-modular counterexample-guided abstraction refinement80.492010
A practical generic privacy language160.842010
Thread-modular verification is cartesian abstract interpretation130.602006