| |
| 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] |