![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | Sergey Polyakov, Assaf Schuster: Verification of the Java Causality Requirements. Haifa Verification Conference 2005: 224-246 |
2003 | ||
2 | EE | Alex Gontmakher, Sergey Polyakov, Assaf Schuster: Complexity Of Verifying Java Shared Memory Execution. Parallel Processing Letters 13(4): 721-733 (2003) |
2002 | ||
1 | EE | Igor Popov, Sergey Polyakov, Yuri Karamzin: High Accuracy Difference Schemes on Unstructured Triangle Grids. Numerical Methods and Application 2002: 555-562 |
1 | Alex Gontmakher | [2] |
2 | Yuri Karamzin | [1] |
3 | Igor Popov | [1] |
4 | Assaf Schuster | [2] [3] |