| 1999 |
|---|
| 14 | EE | Chengzheng Sun,
Rok Sosic:
Optimal Locking Integrated with Operational Transformation in Distributed Real-Time Group Editors.
PODC 1999: 43-52 |
| 1997 |
|---|
| 13 | | Rok Sosic,
David Abramson:
Guard: A Relative Debugger.
Softw., Pract. Exper. 27(2): 185-206 (1997) |
| 1996 |
|---|
| 12 | EE | Rok Sosic,
Jun Gu,
Robert R. Johnson:
The Unison algorithm: fast evaluation of Boolean expressions.
ACM Trans. Design Autom. Electr. Syst. 1(4): 456-477 (1996) |
| 11 | | David Abramson,
Rok Sosic:
A Debugging and Testing Tool for Supporting Software Evolution.
Autom. Softw. Eng. 3(3/4): 369-390 (1996) |
| 10 | | David Abramson,
Ian T. Foster,
John Michalakes,
Rok Sosic:
A New Methodology for Debugging Scientific Applications.
Commun. ACM 39(11): 69-77 (1996) |
| 1995 |
|---|
| 9 | EE | David Abramson,
Rok Sosic,
Jonathan Giddy,
B. Hall:
Nimrod: A Tool for Performing Parameterised Simulations Using Distributed Workstations.
HPDC 1995: 112-121 |
| 8 | EE | David Abramson,
Ian T. Foster,
John Michalakes,
Rok Sosic:
Relative Debugging and its Application to the Development of Large Numerical Models.
SC 1995 |
| 7 | | Rok Sosic:
The Dynascope Directing Server: Design and Implementation.
Computing Systems 8(2): 107-134 (1995) |
| 6 | | Rok Sosic:
A Procedural Interface for Program Directing.
Softw., Pract. Exper. 25(7): 767-787 (1995) |
| 1994 |
|---|
| 5 | EE | Rok Sosic,
Jun Gu:
Efficient Local Search with Conflict Minimization: A Case Study of the n-Queens Problem.
IEEE Trans. Knowl. Data Eng. 6(5): 661-668 (1994) |
| 1992 |
|---|
| 4 | | Rok Sosic:
Dynascope: A Tool for Program Directing.
PLDI 1992: 12-21 |
| 1991 |
|---|
| 3 | | Rok Sosic,
Jun Gu:
3000000 Queens in Less Than One Minute.
SIGART Bulletin 2(2): 22-24 (1991) |
| 1990 |
|---|
| 2 | | Jun Gu,
Rok Sosic:
A Parallel Optimal Arc Consistency Algorithm.
ICPP (1) 1990: 599-600 |
| 1 | | Rok Sosic,
Jun Gu:
A Polynomial Time Algorithm for the N-Queens Problem.
SIGART Bulletin 1(3): 7-11 (1990) |
