default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ.UCS, Volume 7
Volume 7, Number 1, January 2001
- Wolfgang Reif, Gerhard Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification - Part 1. 1-2 - Timo Aaltonen, Mika Katara, Risto Pitkänen:
DisCo Toolset - The New Generation. 3-18 - Christine Choppy, Pascal Poizat, Jean-Claude Royer:
The Korrigan Environment. 19-36 - Heinz Treseler, Olaf Stursberg, Paul Wai Hing Chung, Shuang-Hua Yang:
An Open Software Architecture for the Verification of Industrial Controllers. 37-53 - Wolfram Kahl, Frank Derichsweiler:
Declarative Term Graph Attribution for Program Generation. 54-70 - John N. Crossley, Iman Poernomo:
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs. 71-88 - Jürgen Ruf:
RAVEN: Real-Time Analyzing and Verification Environment. 89-104
Volume 7, Number 2, February 2001
- Wolfgang Reif, Gerhard Schellhorn:
J.UCS Special Issue on Tools for System Design and Verification - Part 2. 105-106 - Rudolf Berghammer, Thorsten Hoffmann:
Modeling Sequences within the RelView System. 107-123 - Alessandro Armando, Silvio Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic. 124-140 - Kai Baukus, Yassine Lakhnech, Karsten Stahl:
Verification of Parameterized Protocols. 141-158 - Dominique Cansell, Dominique Méry, Stephan Merz:
Diagram Refinements for the Design of Reactive Systems. 159-174 - Jan Rothe, Hendrik Tews, Bart Jacobs:
The Coalgebraic Class Specification Language CCSL. 175-193 - Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf:
Correctness of Efficient Real-Time Model Checking. 194-209
Volume 7, Number 3, March 2001
- Hermann A. Maurer:
Managing Editor's Column. 210 - Kanji Akahori, Hidetsugu Horiguschi, Katsuaki Suzuki, Masatoshi Nambu:
Development and Evaluation of Web-based In-Service Training System for Improving the ICT Leadership of Schoolteachers. 211-225 - Tomoko Kojiri, Yushi Ogawa, Toyohide Watanabe:
Agent-oriented Support Environment in Web-based Collaborative Learning. 226-239 - Chin-Hwa Kuo, David Wible, Chia-Lin Chou:
A Synchronous EFL Writing Environment for the Internet. 240-253 - Daniel D. Suthers:
Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse. 254-277 - David Wible, Chin-Hwa Kuo, Nai-Lung Tsao, Anne Li-E Liu:
An Online Writing Platform for Language Teachers. 278-289
Volume 7, Number 4, April 2001
- Hermann A. Maurer:
Managing Editor's Column. 290 - David J. Haglin, Rupert W. Ford:
The Message-Minimizing Load Redistribution Problem. 291-306 - Tommi A. Junttila:
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method. 307-326 - Jennifer Lennon, Hermann A. Maurer:
Can Knowledge Management Help in Poverty-stricken Countries and Crisis Situations. 327-334
Volume 7, Number 5, May 2001
- Frank Kappe, Gerhard Pail:
Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer. 335-337 - Franz Aurenhammer:
Computational Geometry - Some Easy Questions and their Recent Solutions. 338-354 - John F. Buford:
Telecommunication Services and Service Management Challenges. 355-365 - Gitta Domik:
Glimpses into the Future of Computer Science Education. 366-378 - Herbert Edelsbrunner:
180 Wrapped Tubes. 379-399 - Dieter W. Fellner
:
Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands. 400-409 - Gerhard Goos:
Issues in Compiling. 410-419 - Tobias Lauer, Rainer Müller, Thomas Ottmann:
Animations for Teaching Purposes: Now and Tomorrow. 420-433 - Bernard M. E. Moret, Henry D. Shapiro:
Algorithms and Experiments: The New (and Old) Methodology. 434-446 - Reinhard Posch:
Will Internet Ever Be Secure ? 447-456
Volume 7, Number 6, June 2001
- Klaus Tochtermann, Hermann A. Maurer:
J.UCS Special Issue: I-Know '01 - International Conference on Knowledge Management. 456-457 - Ivan Tomek:
Knowledge Management and Collaborative Virtual Environments. 458-471 - Joachim Hasebrook:
Learning in the Learning Organization. 472-487 - Kurt-Martin Lugger, Herbert Kraus:
Mastering the Human Barriers in Knowledge Management. 488-497 - Peter Johnston:
Sustainability and Jobs in the Knowledge Economy. 498-506 - Franz Josef Radermacher:
Knowledge Management in Superorganisms. 507-516 - James J. Thomas, Paula J. Cowley, Olga A. Kuchar, Lucy T. Nowell, Judy Thompson, Pak Chung Wong:
Discovering Knowledge Through Visual Analysis. 517-529 - Werner Haas, Harald Mayer:
MPEG and its Relevance for Content-based Multimedia Retrieval. 530-547
Volume 7, Number 7, July 2001
- Klaus Tochtermann, Hermann A. Maurer:
J.UCS Special Issue: I-Know '01 - International Conference on Knowledge Management. 548-549 - David L. Hicks, Klaus Tochtermann:
Personal Digital Libraries and Knowledge Management. 550-565 - Andreas Hotho, Alexander Maedche, Steffen Staab, Rudi Studer:
SEAL-II - The Soft Spot between Richly Structured and Unstructured Knowledge. 566-590 - Erik Duval:
Metadata Standards: What, Who & Why. 591-601 - B. Tillian:
Knowledge Management More Effort - More Success? 602-609 - Dirk Ramhorst:
A Guided Tour through the Siemens Business Services Knowledge Management Framework. 610-622 - Wolfgang Schinagl:
New Learning of Adults in the Information and Knowledge Society. 623-628
Volume 7, Number 8, August 2001
- Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer:
Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. 629-630 - Cliff B. Jones:
The Transition from VDL to VDM. 631-640 - Dines Bjørner:
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. 641-667 - Mícheál Mac an Airchinnigh:
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]. 668-691 - Peter Gorm Larsen:
Ten Years of Historical Development "Bootstrapping" VDMTools®. 692-709 - Bernhard K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. 710-735 - Hans P. Zima:
Data Distribution Specification for High Performance Computing. 736-753 - José Nuno Oliveira:
"Bagatelle in C arranged for VDM SoLo". 754-781
Volume 7, Number 9, September 2001
- Hermann A. Maurer:
Managing Editor's Column. 782 - Adrian Atanasiu, Carlos Martín-Vide, Alexandru Mateescu:
Codifiable Languages and the Parikh Matrix Mapping. 783-793 - Sandra Fontani:
Efficient Measure Learning. 794-815 - Sanjay Gupta:
Determinism, Nondeterminism, Alternation, and Counting. 816-825 - Helge Kahler:
More Than WORDs - Collaborative Tailoring of a Word Processor. 826-847 - Ulrich Sigmund, Theo Ungerer:
On Speculation Control in Simultaneous Multithreaded Processors. 848-868
Volume 7, Number 10, October 2001
- Hermann A. Maurer:
Managing Editor's Column. 869 - Amitava Datta, Thomas Ottmann:
Towards a Virtual University. 870-885 - Juha Honkala:
Three Variants of the DT0L Sequence Equivalence Problem. 886-892 - Yuliang Liu, Dean Ginther, Paul Zelhart:
How Do Frequency and Duration of Messaging Affect Impression Development in Computer-Mediated Communication? 893-914
Volume 7, Number 11, November 2001
- Egon Börger, Uwe Glässer:
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. 914-916 - Yuri Gurevich, Nikolai Tillmann:
Partial Updates: Exploration. 917-951 - Gerhard Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation. 952-979 - Robert F. Stärk, Stanislas Nanchen:
A Logic for Abstract State Machines. 980-1005 - Egon Börger, Diego Sona:
A Neural Abstract Machine. 1006-1023 - Robert 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. 1024-1049 - Angelo Gargantini, Elvinia Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. 1050-1067 - Joachim Schmid:
Compiling Abstract State Machines to C++. 1068-1087 - Charles Wallace, Guy Tremblay, José Nelson Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol. 1088-1112
Volume 7, Number 12, December 2001
- Hermann A. Maurer:
Managing Editor's Column. 1113 - Hans L. Bodlaender:
A Generic NP-hardness Proof for a Variant of Graph Coloring. 1114-1124 - Harald Krottmaier, Hermann A. Maurer:
Transclusions in the 21st Century. 1125-1136
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 00:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
