Assaf Schuster (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

95 Sergey Polyakov, Assaf Schuster: Verification of the Java Causality Requirements. Haifa Verification Conference 2005: 224-246

67 Alex Gontmakher, Sergey Polyakov, Assaf Schuster: Complexity Of Verifying Java Shared Memory Execution. Parallel Processing Letters 13(4): 721-733 (2003)

Selection of 2 from 151 records - Assaf Schuster has 132 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

95		Sergey Polyakov, Assaf Schuster: Verification of the Java Causality Requirements. Haifa Verification Conference 2005: 224-246
67		Alex Gontmakher, Sergey Polyakov, Assaf Schuster: Complexity Of Verifying Java Shared Memory Execution. Parallel Processing Letters 13(4): 721-733 (2003)