Volume 7 (2001)

Submission Procedure

share: |

Submission Procedure

Board of Editors

Follow us

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 26 (2020)

Volume 25 (2019)

Volume 24 (2018)

Volume 23 (2017)

Volume 22 (2016)

Volume 21 (2015)

Volume 20 (2014)

Volume 19 (2013)

Volume 18 (2012)

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Collection of other papers

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