Volume 7, Number 1, January 2001 Tools for System Design and Verification - Part 1
: RAVEN: Real-Time Analyzing and Verification Environment.
Volume 7, Number 2, February 2001 Tools for System Design and Verification - Part 2
Volume 7, Number 3, March 2001
Daniel D. Suthers
: Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse.
Volume 7, Number 4, April 2001
Tommi A. Junttila
: Computational Complexity of the Place/Transition-Net Symmetry Reduction Method.
Volume 7, Number 5, May 2001 Future of Computer Science:
J.UCS Special Issue Dedicated to Professor Hermann A. Maurer
, Gerhard Pail
: Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer.
: Computational Geometry - Some Easy Questions and their Recent Solutions.
John F. Buford
: Telecommunication Services and Service Management Challenges.
: Glimpses into the Future of Computer Science Education.
Dieter W. Fellner
: Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands.
Volume 7, Number 6, June 2001 I-Know '01 - International Conference on Knowledge Management
: Knowledge Management and Collaborative Virtual Environments.
: Sustainability and Jobs in the Knowledge Economy.
Volume 7, Number 7, July 2001 I-Know '01 - International Conference on Knowledge Management
: Metadata Standards: What, Who & Why.
: Knowledge Management More Effort - More Success?
: A Guided Tour through the Siemens Business Services Knowledge Management Framework.
: New Learning of Adults in the Information and Knowledge Society.
Volume 7, Number 8, August 2001 Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
: On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book.
Mícheál Mac an Airchinnigh
: An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001].
Peter Gorm Larsen
: Ten Years of Historical Development "Bootstrapping" VDMTools®.
Bernhard K. Aichernig
: Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus.
Hans P. Zima
: Data Distribution Specification for High Performance Computing.
Volume 7, Number 9, September 2001
: Determinism, Nondeterminism, Alternation, and Counting.
: More Than WORDs - Collaborative Tailoring of a Word Processor.
Volume 7, Number 10, October 2001
: Three Variants of the DT0L Sequence Equivalence Problem.
Volume 7, Number 11, November 2001 Abstract State Machines 2001:
New Developments and Applications
, Uwe Glässer
: Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue.
: Verification of ASM Refinements Using Generalized Forward Simulation.
Volume 7, Number 12, December 2001
Hans L. Bodlaender
: A Generic NP-hardness Proof for a Variant of Graph Coloring.