| |
| 2008 | ||
|---|---|---|
| 3 | EE | Da Qi Ren, Dennis Giannacopoulos, Reiji Suda: An optimized Dynamic Load Balancing method for parallel 3-D mesh refinement for finite element electromagnetics with Tetrahedra. CLUSTER 2008: 430-436 |
| 2003 | ||
| 2 | EE | Purnendu Sinha, Da Qi Ren: Formal verification of dependable distributed protocols. Information & Software Technology 45(12): 873-888 (2003) |
| 2002 | ||
| 1 | Purnendu Sinha, Da Qi Ren: On the Use of Category Theory for Specification Composition of Dependable Distributed Protocols. IASTED PDCS 2002: 229-234 | |
| 1 | Dennis Giannacopoulos | [3] |
| 2 | Purnendu Sinha | [1] [2] |
| 3 | Reiji Suda | [3] |