Publications

C. Sun and R. Sosic. Optional Locking Integrated with Operational Transformation in Distributed Real-Time Group, 18th ACM Symposium on Principles of Distributed Computing, pp.43-52, Atlanta, GA, USA, May 4-6, 1999.

R. Sosic and D. Abramson. Guard: A Relative Debugger, Software - Practice and Experience. Vol. 27, 2, pp. 185-206, February 1997.

D. Abramson, I. Foster, J. Giddy, A. Lewis, R. Sosic, R. Sutherst, N. White. The Nimrod Computational Workbench: A Case Study in Desktop Metacomputing, Australian Computer Science Conference (ACSC 97), Macquarie University, Sydney, Feb 1997.

D. Abramson, I. Foster, J. Michalakes, and R. Sosic, Relative Debugging: A New Paradigm for Debugging Scientific Applications, Communications of the ACM, Vol 39, 11, pp 67 - 77, November 1996.

R. Sosic, J. Gu and R. Johnson. The Unison Algorithm: Fast Evaluation of Boolean Expressions, accepted by Communications of the ACM in 1992, appeared in ACM Transactions on Design Automation of Electronic Systems, Vol. 1, 4, pp.456-477, October 1996.

D. Abramson, R. Sosic, and G. Watson. Implementation Techniques for a Parallel Relative Debugger, International Conference on Parallel Architectures and Compilation Techniques - PACT '96, October 20-23, 1996, Boston, Massachusetts, USA.

D. Abramson and R. Sosic. A Debugging and Testing Tool for Supporting Software Evolution, Journal of Automated Software Engineering, 3, pp 369 - 390, 1996.

R. Stevens and R. Sosic. Emergent Behaviour in Slime Mould Environments. Accepted in IEEE International Conference on Evolutionary Computing, Perth, November 1995.

A. Lewis, D. Abramson, R. Sosic and J. Giddy. Tool-based Parameterisation: An Application Perspective. Computational Techniques and Applications Conference, Melbourne, July 1995.

D. Abramson, I. Foster, J. Michalakes, and R. Sosic. Relative Debugging and its Application to the Development of Large Numerical Models. Accepted in Supercomputing'95, San Diego, December 1995 (best paper award). -Postscript copy-

D. Abramson, R. Sosic, J. Giddy and B. Hall. Nimrod: A Tool for Performing Parametised Simulations using Distributed Workstations. 4th IEEE Symposium on High Performance Distributed Computing, Virginia, pp. 112-121, IEEE, August 1995. -Postscript copy-

D. Abramson and R. Sosic. A Debugging Tool for Software Evolution. CASE-95, 7th International Workshop on Computer-Aided Software Engineering, Toronto, Ontario, Canada, pp. 206-214, July 1995. -Postscript copy-

R. Sosic. Design and Implementation of Dynascope, a Directing Platform for Compiled Programs. Computing Systems. Vol. 8, 2, pp.107-134, Spring 1995. -Postscript copy-

R. Sosic and Robert R. Johnson. Computational Properties of Self-Reproducing Growing Automata. BioSystems. Vol. 36, pp. 7-17, 1995. -Postscript copy-

R. Sosic. A Procedural Interface for Program Directing. Software - Practice and Experience. Vol. 25, 7, pp. 767-787, July 1995. -Postscript copy-

R. Sosic. History Cache. Computer Architecture News, Vol. 22, 5, pp. 11-18, Dec 1994. -Postscript copy-

R. Sosic and G. Wilby. Using the Quality-Time Tradeoff in Local Optimization. IEEE Second ANZIIS Conference, Brisbane, pp. 253-257, IEEE, Dec 1994. -Postscript copy-

R. Sosic. A Parallel Search Algorithm for the N-Queens Problem. Parallel Computing and Transputer Conference, Wollongong, pp. 162-172, IOS Press, Nov 1994. -Postscript copy-

D. Abramson, R. Sosic, J. Giddy and M. Cope. The Laboratory Bench: Distributed Computing for Parametised Simulations. Parallel Computing and Transputer Conference, Wollongong, pp. 17-28, IOS Press, Nov 1994. -Postscript copy-

R. Sosic and J. Gu. Efficient Local Search with Conflict Minimization: A Case Study of the N-Queens Problem. IEEE Transactions on Knowledge and Data Engineering, Vol. 6, 5, pp. 661-668, Oct 1994. -Postscript copy-

R. Sosic and J. Gu. A Method and Apparatus for Processing of Arbitrary Complex Boolean Signals, USA patent 5,291,612, Mar, 1994.

D. Abramson and R. Sosic. Method for Testing and Debugging Computer Programs. Australian Provisional Patent, PM5196/94, 1994.

R. Sosic. Introspective Computer Systems. Electrotechnical Review. Vol. 59, 5, pp. 292-298, Dec 1992. -Postscript copy-

R. Sosic. Introspective Computer Architectures. IMSA'92 Workshop on Reflective and Meta-Level Architectures, November 1992, Tokio, 1992.

R. Sosic. Dynascope: A Tool for Program Directing. SIGPLAN'92 Conference on Programming Language Design and Implementation, SIGPLAN Notices, Vol. 27, 7, pp. 12-21, Jul, 1992. -Postscript copy-

R. Sosic. The Many Faces of Introspection. PhD Thesis, Department of Computer Science, University of Utah, Salt Lake City, June, 1992. -Postscript copy-

R. Sosic. Global Networks at Work. ACM Forum, Communications of the ACM, Vol. 35, 7, pp. 16-18, Jul, 1992.

R. Sosic and J. Gu. Fast Search Algorithms for the N-Queens Problem. IEEE Transactions on Systems, Man, and Cybernetics. Vol. 21, 6, pp. 1572-1576, Nov/Dec, 1991. -Postscript copy-

J. Gu and R. Sosic. A Parallel Architecture for Constraint Satisfaction. International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, June 1991, Kauai, Hawaii, pp. 229-237, 1991. -Postscript copy-

R. Sosic and J. Gu. 3,000,000 Queens in Less Than One Minute. SIGART Bulletin, Vol. 2, 2, pp. 22-24, Apr, 1991. -Postscript copy-

R. Sosic and R. F. Riesenfeld. Parallel Algorithms for Line Generation. International Journal of Parallel Programming, Vol. 19, 5, pp. 389-404, Oct, 1990. -Postscript copy-

R. Sosic and J. Gu. A Polynomial Time Algorithm for the N-Queens Problem. SIGART Bulletin, Vol. 1, 3, pp. 7-11, Oct, 1990. -Postscript copy-

J. Gu and R. Sosic. A Parallel, Optimal Arc Consistency Algorithm. 1990 International Conference on Parallel Processing, pp. I-599-600, 1990.

R. Sosic. Growing Computations: How to Use Artificial Life. Artificial Life II, Santa Fe, New Mexico, 1990 (poster presentation).

R. Sosic, R. Riesenfeld, and T. Carter. Parallel Algorithms for Line Generation. VLSI DARPA Contractors Meeting, Snowbird, Utah, 1989.

J. Trontelj, L. Trontelj, T. Slivnik jr., and R. Sosic. An Expert System for Analog-Digital VLSI. MIEL 1988, Zagreb, Yugoslavia, pp. 225-231, 1988.

J. Trontelj, L. Trontelj, T. Slivnik jr., R. Sosic, D. Strle, and D. Lucas. Analog Silicon Compiler for Switched Capacitor Circuits. ICCAD 1987, Santa Clara, CA, pp. 506-509, 1987.

J. Trontelj, L. Trontelj, T. Slivnik jr., and R. Sosic. Analog-Digital VLSI Router. MIEL 1987, Banja Luka, Yugoslavia, pp. 97-104, 1987.
sosic@cit.gu.edu.au, 19 June 1995