Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Soham Chakraborty
Aspect-Oriented Linearizability Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Simplifying Linearizability Proofs With Reduction and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Zás - Aspect-Oriented Authorization Services
Superimpositions and Aspect-Oriented Programming
Computer Journal
Computer Science
Aspect-Oriented In-Lined Reference Monitors
An Aspect-Oriented Security Assurance Solution
Term Rewriting Meets Aspect-Oriented Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Crosscutting Interfaces for Aspect-Oriented Modeling
Journal of the Brazilian Computer Society
Computer Science
Interaction Analysis in Aspect-Oriented Models
Aspect-Oriented Programming and Modular Reasoning
