Journal: J. UCS

Volume 7, Issue 8

629 -- 630Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer. Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas
631 -- 640Cliff B. Jones. The Transition from VDL to VDM
641 -- 667Dines Bjørner. On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book
668 -- 691Mícheál Mac an Airchinnigh. An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]
692 -- 709Peter Gorm Larsen. Ten Years of Historical Development Bootstrapping VDMTools®
710 -- 735Bernhard K. Aichernig. Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
736 -- 753Hans P. Zima. Data Distribution Specification for High Performance Computing
754 -- 781José Nuno Oliveira. Bagatelle in C arranged for VDM SoLo
782 -- 0Hermann A. Maurer. Managing Editor s Column
783 -- 793Adrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu. Codifiable Languages and the Parikh Matrix Mapping
794 -- 815Sandra Fontani. Efficient Measure Learning
816 -- 825Sanjay Gupta. Determinism, Nondeterminism, Alternation, and Counting
826 -- 847Helge Kahler. More Than WORDs - Collaborative Tailoring of a Word Processor
848 -- 868Ulrich Sigmund, Theo Ungerer. On Speculation Control in Simultaneous Multithreaded Processors

Volume 7, Issue 7

548 -- 549Klaus Tochtermann, Hermann A. Maurer. J.UCS Special Issue: I-Know 01 - International Conference on Knowledge Management
550 -- 565David L. Hicks, Klaus Tochtermann. Personal Digital Libraries and Knowledge Management
566 -- 590Andreas Hotho, Alexander Maedche, Steffen Staab, Rudi Studer. SEAL-II - The Soft Spot between Richly Structured and Unstructured Knowledge
591 -- 601Erik Duval. Metadata Standards: What, Who & Why
602 -- 609B. Tillian. Knowledge Management More Effort - More Success?
610 -- 622Dirk Ramhorst. A Guided Tour through the Siemens Business Services Knowledge Management Framework

Volume 7, Issue 6

456 -- 457Klaus Tochtermann, Hermann A. Maurer. J.UCS Special Issue: I-Know 01 - International Conference on Knowledge Management
458 -- 471Ivan Tomek. Knowledge Management and Collaborative Virtual Environments
472 -- 487Joachim Hasebrook. Learning in the Learning Organization
488 -- 497Kurt-Martin Lugger, Herbert Kraus. Mastering the Human Barriers in Knowledge Management
498 -- 506Peter Johnston. Sustainability and Jobs in the Knowledge Economy
507 -- 516Franz Josef Radermacher. Knowledge Management in Superorganisms
517 -- 529James J. Thomas, Paula J. Cowley, Olga A. Kuchar, Lucy T. Nowell, Judy Thompson, Pak Chung Wong. Discovering Knowledge Through Visual Analysis
530 -- 547Werner Haas, Harald Mayer. MPEG and its Relevance for Content-based Multimedia Retrieval

Volume 7, Issue 5

335 -- 337Frank Kappe, Gerhard Pail. Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer
338 -- 354Franz Aurenhammer. Computational Geometry - Some Easy Questions and their Recent Solutions
355 -- 365John F. Buford. Telecommunication Services and Service Management Challenges
366 -- 378Gitta Domik. Glimpses into the Future of Computer Science Education
379 -- 399Herbert Edelsbrunner. 180 Wrapped Tubes
400 -- 409Dieter W. Fellner. Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands
410 -- 419Gerhard Goos. Issues in Compiling
420 -- 433Tobias Lauer, Rainer Müller, Thomas Ottmann. Animations for Teaching Purposes: Now and Tomorrow
434 -- 446Bernard M. E. Moret, Henry D. Shapiro. Algorithms and Experiments: The New (and Old) Methodology
447 -- 456Reinhard Posch. Will Internet Ever Be Secure ?

Volume 7, Issue 4

290 -- 0Hermann A. Maurer. Managing Editor s Column
291 -- 306David J. Haglin, Rupert W. Ford. The Message-Minimizing Load Redistribution Problem
307 -- 326Tommi A. Junttila. Computational Complexity of the Place/Transition-Net Symmetry Reduction Method
327 -- 334Jennifer Lennon, Hermann A. Maurer. Can Knowledge Management Help in Poverty-stricken Countries and Crisis Situations

Volume 7, Issue 3

210 -- 0Hermann A. Maurer. Managing Editor s Column
211 -- 225Kanji Akahori, Hidetsugu Horiguschi, Katsuaki Suzuki, Masatoshi Nambu. Development and Evaluation of Web-based In-Service Training System for Improving the ICT Leadership of Schoolteachers
226 -- 239Tomoko Kojiri, Yushi Ogawa, Toyohide Watanabe. Agent-oriented Support Environment in Web-based Collaborative Learning
240 -- 253Chin-Hwa Kuo, David Wible, Chia-Lin Chou. A Synchronous EFL Writing Environment for the Internet
254 -- 277Daniel D. Suthers. Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse
278 -- 289David Wible, Chin-Hwa Kuo, Nai-Lung Tsao, Anne Liu. An Online Writing Platform for Language Teachers

Volume 7, Issue 2

105 -- 106Wolfgang Reif, Gerhard Schellhorn. J.UCS Special Issue on Tools for System Design and Verification - Part 2
107 -- 123Rudolf Berghammer, Thorsten Hoffmann. Modeling Sequences within the RelView System
124 -- 140Alessandro Armando, Silvio Ranise. A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
141 -- 158Kai Baukus, Yassine Lakhnech, Karsten Stahl. Verification of Parameterized Protocols
159 -- 174Dominique Cansell, Dominique Méry, Stephan Merz. Diagram Refinements for the Design of Reactive Systems
175 -- 193Jan Rothe, Hendrik Tews, Bart Jacobs. The Coalgebraic Class Specification Language CCSL
194 -- 209Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf. Correctness of Efficient Real-Time Model Checking

Volume 7, Issue 12

1113 -- 0Hermann A. Maurer. Managing Editor s Column
1114 -- 1124Hans Leo Bodlaender. A Generic NP-hardness Proof for a Variant of Graph Coloring
1125 -- 1136Harald Krottmaier, Hermann A. Maurer. Transclusions in the 21st Century

Volume 7, Issue 11

914 -- 916Egon Börger, Uwe Glässer. Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue
917 -- 951Yuri Gurevich, Nikolai Tillmann. Partial Updates: Exploration
952 -- 979Gerhard Schellhorn. Verification of ASM Refinements Using Generalized Forward Simulation
980 -- 1005Robert F. Stärk, Stanislas Nanchen. A Logic for Abstract State Machines
1006 -- 1023Egon Börger, Diego Sona. A Neural Abstract Machine
1024 -- 1049Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Martin von Löwis, Andreas Prinz. Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
1050 -- 1067Angelo Gargantini, Elvinia Riccobene. ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
1068 -- 1087Joachim Schmid. Compiling Abstract State Machines to C++
1088 -- 1112Charles Wallace, Guy Tremblay, José Nelson Amaral. An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol

Volume 7, Issue 10

869 -- 0Hermann A. Maurer. Managing Editor s Column
870 -- 885Amitava Datta, Thomas Ottmann. Towards a Virtual University
886 -- 892Juha Honkala. Three Variants of the DT0L Sequence Equivalence Problem
893 -- 914Yuliang Liu, Dean Ginther, Paul Zelhart. How Do Frequency and Duration of Messaging Affect Impression Development in Computer-Mediated Communication?

Volume 7, Issue 1

1 -- 2Wolfgang Reif, Gerhard Schellhorn. J.UCS Special Issue on Tools for System Design and Verification - Part 1
3 -- 18Timo Aaltonen, Mika Katara, Risto Pitkänen. DisCo Toolset - The New Generation
19 -- 36Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment
37 -- 53Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuang-Hua Yang. An Open Software Architecture for the Verification of Industrial Controllers
54 -- 70Wolfram Kahl, Frank Derichsweiler. Declarative Term Graph Attribution for Program Generation
71 -- 88John N. Crossley, Iman Poernomo. Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs
89 -- 104Jürgen Ruf. RAVEN: Real-Time Analyzing and Verification Environment