Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 7

Content of Issue 1
DOI: 10.3217/jucs-007-01
J.UCS Special Issue on Tools for System Design and Verification W. Reif, G. Schellhorn 1
DisCo Toolset - The New Generation T. Aaltonen, M. Katara, R. Pitkänen 3
The Korrigan Environment C. Choppy, P. Poizat, J.-C. Royer 19
An Open Software Architecture for the Verification of Industrial Controllers H. Treseler, O. Stursberg, P. W. H. Chung, S. Yang 37
Declarative Term Graph Attribution for Program Generation W. Kahl, F. Derichsweiler 54
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs J. Crossley, I. Poernomo 71
RAVEN: Real-Time Analyzing and Verification Environment J. Ruf 89
Content of Issue 2
DOI: 10.3217/jucs-007-02
J.UCS Special Issue on Tools for System Design and Verification - Part 2 W. Reif, G. Schellhorn 105
Modeling Sequences within the RelView System R. Berghammer, T. Hoffmann 107
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic A. Armando, S. Ranise 124
Verification of Parameterized Protocols K. Baukus, Y. Lakhnech, K. Stahl 141
Diagram Refinements for the Design of Reactive Systems D. Cansell, D. Mery, S. Merz 159
The Coalgebraic Class Specification Language CCSL J. Rothe, H. Tews, B. Jacobs 175
Correctness of Efficient Real-Time Model Checking W. Reif, G. Schellhorn, T. Vollmer, J. Ruf 194
Content of Issue 3
DOI: 10.3217/jucs-007-03
Managing Editor's Column H. Maurer 210
Development and Evaluation of Web-based In-Service Training System for Improving the ICT Leadership of Schoolteachers K. Akahori, H. Horiguschi, K. Suzuki, M. Nambu 211
Agent-oriented Support Environment in Web-based Collaborative Learning T. Kojiri, Y. Ogawa, T. Watanabe 226
A Synchronous EFL Writing Environment for the Internet C.-H. Kuo, D. Wible, C.-L. Chou 240
Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse D. D. Suthers 254
An Online Writing Platform for Language Teachers D. Wible, C.-H. Kuo, N.-l. Tsao, A. Liu 278
Content of Issue 4
DOI: 10.3217/jucs-007-04
Managing Editor's Column H. Maurer 290
The Message-Minimizing Load Redistribution Problem D. J. Haglin, R. W. Ford 291
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method T. A. Junttila 307
Can Knowledge Management Help in Poverty-stricken Countries and Crisis Situations J. Lennon, H. Maurer 327
Content of Issue 5
DOI: 10.3217/jucs-007-05
Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer F. Kappe, G. Pail 335
Computational Geometry - Some Easy Questions and their Recent Solutions F. Aurenhammer 338
Telecommunication Services and Service Management Challenges J. Buford 355
Glimpses into the Future of Computer Science Education G. Domik 366
180 Wrapped Tubes H. Edelsbrunner 379
Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands D. W. Fellner 400
Issues in Compiling G. Goos 410
Animations for Teaching Purposes: Now and Tomorrow T. Lauer, R. Müller, T. Ottmann 420
Algorithms and Experiments: The New (and Old) Methodology B. M. E. Moret, H.D. D. Shapiro 434
Will Internet Ever Be Secure ? R. Posch 447
Content of Issue 6
DOI: 10.3217/jucs-007-06
J.UCS Special Issue: I-Know 01 - International Conference on Knowledge Management, Part 1 K. Tochtermann, H. Maurer 456
Knowledge Management and Collaborative Virtual Environments I. Tomek 458
Learning in the Learning Organization J. P. Hasebrook 472
Mastering the Human Barriers in Knowledge Management K.-M. Lugger, H. Kraus 488
Sustainability and Jobs in the Knowledge Economy P. Johnston 498
Knowledge Management in Superorganisms F.J. Radermacher 507
Discovering Knowledge Through Visual Analysis J. Thomas, P. Cowley, O. Kuchar, L. Nowell, J. Thomson, P. Chung Wong 517
MPEG and its Relevance for Content-based Multimedia Retrieval W. Haas, H. Mayer 530
Content of Issue 7
DOI: 10.3217/jucs-007-07
J.UCS Special Issue: I-Know 01 - International Conference on Knowledge Management, Part 2 K. Tochtermann, H. Maurer 548
Personal Digital Libraries and Knowledge Management D. L. Hicks, K. Tochtermann 550
SEAL-II - The Soft Spot between Richly Structured and Unstructured Knowledge A. Hotho, A. Maedche, S. Staab, R. Studer 566
Metadata Standards: What, Who & Why E. Duval 591
Knowledge Management More Effort - More Success? B. Tillian 602
A Guided Tour through the Siemens Business Services Knowledge Management Framework D. Ramhorst 610
New Learning of Adults in the Information and Knowledge Society W. Schinagl 623
Content of Issue 8
DOI: 10.3217/jucs-007-08
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas B. K. Aichernig, B. Froehlich, A. Kerschbaumer 629
The Transition from VDL to VDM C. B. Jones 631
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book D. Bjørner 641
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001] M. Mac an Airchinnigh 668
Ten Years of Historical Development "Bootstrapping" VDMTools P. Gorm Larsen 692
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus B. K. Aichernig 710
Data Distribution Specification for High Performance Computing H. P. Zima 736
"Bagatelle in C arranged for VDM SoLo" J. N. Oliveira 754
Content of Issue 9
DOI: 10.3217/jucs-007-09
Managing Editor's Column H. Maurer 782
Codifiable Languages and the Parikh Matrix Mapping A. Atanasiu, C. Martín-Vide, A. Mateescu 783
Efficient Measure Learning S. Fontani 794
Determinism, Nondeterminism, Alternation, and Counting S. Gupta 816
More Than WORDs - Collaborative Tailoring of a Word Processor H. Kahler 826
On Speculation Control in Simultaneous Multithreaded Processors U. Sigmund, T. Ungerer 848
Content of Issue 10
DOI: 10.3217/jucs-007-10
Managing Editor s Column H. Maurer 869
Towards a Virtual University A. Datta, T. Ottmann 870
Three Variants of the DT0L Sequence Equivalence Problem J. Honkala 886
How Do Frequency and Duration of Messaging Affect Impression Development in Computer-Mediated Communication? Y. Liu, D. Ginther, P. Zelhart 893
Content of Issue 11
DOI: 10.3217/jucs-007-11
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue E. Börger, U. Glaesser 914
Partial Updates: Exploration Y. Gurevich, N. Tillmann 917
Verification of ASM Refinements Using Generalized Forward Simulation G. Schellhorn 952
A Logic for Abstract State Machines R. F. Stärk, S. Nanchen 980
A Neural Abstract Machine E. Börger, D. Sona 1006
Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz 1024
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence A. Gargantini, E. Riccobene 1050
Compiling Abstract State Machines to C++ J. Schmid 1068
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol C. Wallace, G. Tremblay, J. N. Amaral 1088
Content of Issue 12
DOI: 10.3217/jucs-007-12
Managing Editor's Column H. Maurer 1113
A Generic NP-hardness Proof for a Variant of Graph Coloring H. L. Bodlaender 1114
Transclusions in the 21st Century H. Krottmaier, H. Maurer 1125