Volume 7, Number 1, January 2001 Tools for System Design and Verification - Part 1
share record
short URL:
https://dblp.org/rec/journals/jucs/ReifS01 export record
dblp key:
journals/jucs/AaltonenP01 share record
short URL:
https://dblp.org/rec/journals/jucs/AaltonenP01 share record
short URL:
https://dblp.org/rec/journals/jucs/ChoppyPR01 export record
dblp key:
journals/jucs/TreselerSCY01 share record
short URL:
https://dblp.org/rec/journals/jucs/TreselerSCY01 share record
short URL:
https://dblp.org/rec/journals/jucs/KahlD01 export record
dblp key:
journals/jucs/CrossleyP01 share record
short URL:
https://dblp.org/rec/journals/jucs/CrossleyP01 share record
short URL:
https://dblp.org/rec/journals/jucs/Ruf01 Jürgen Ruf :
RAVEN: Real-Time Analyzing and Verification Environment. 89-104
Volume 7, Number 2, February 2001 Tools for System Design and Verification - Part 2
share record
short URL:
https://dblp.org/rec/journals/jucs/ReifS01a export record
dblp key:
journals/jucs/BerghammerH01 share record
short URL:
https://dblp.org/rec/journals/jucs/BerghammerH01 share record
short URL:
https://dblp.org/rec/journals/jucs/ArmandoR01 share record
short URL:
https://dblp.org/rec/journals/jucs/BaukusLS01 export record
dblp key:
journals/jucs/CansellMM01 share record
short URL:
https://dblp.org/rec/journals/jucs/CansellMM01 share record
short URL:
https://dblp.org/rec/journals/jucs/RotheTJ01 share record
short URL:
https://dblp.org/rec/journals/jucs/ReifSVR01
Volume 7, Number 3, March 2001
share record
short URL:
https://dblp.org/rec/journals/jucs/Maurer01 export record
dblp key:
journals/jucs/AkahoriHSN01 share record
short URL:
https://dblp.org/rec/journals/jucs/AkahoriHSN01 share record
short URL:
https://dblp.org/rec/journals/jucs/KojiriOW01 share record
short URL:
https://dblp.org/rec/journals/jucs/KuoWC01 share record
short URL:
https://dblp.org/rec/journals/jucs/Suthers01 Daniel D. Suthers :
Towards a Systematic Study of Representational Guidance for Collaborative Learing Discourse. 254-277 share record
short URL:
https://dblp.org/rec/journals/jucs/WibleKTL01
Volume 7, Number 4, April 2001
share record
short URL:
https://dblp.org/rec/journals/jucs/Maurer01a share record
short URL:
https://dblp.org/rec/journals/jucs/HaglinF01 share record
short URL:
https://dblp.org/rec/journals/jucs/Junttila01 Tommi A. Junttila :
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method. 307-326 share record
short URL:
https://dblp.org/rec/journals/jucs/LennonM01
Volume 7, Number 5, May 2001 Future of Computer Science:
J.UCS Special Issue Dedicated to Professor
Hermann A. Maurer
share record
short URL:
https://dblp.org/rec/journals/jucs/KappePS01 Frank Kappe ,
Gerhard Pail :
Future of Computer Science: J.UCS Special Issue Dedicated to Professor Hermann Maurer. 335-337 export record
dblp key:
journals/jucs/Aurenhammer01 share record
short URL:
https://dblp.org/rec/journals/jucs/Aurenhammer01 Franz Aurenhammer :
Computational Geometry - Some Easy Questions and their Recent Solutions. 338-354 share record
short URL:
https://dblp.org/rec/journals/jucs/Buford01 John F. Buford :
Telecommunication Services and Service Management Challenges. 355-365 share record
short URL:
https://dblp.org/rec/journals/jucs/Domik01 Gitta Domik :
Glimpses into the Future of Computer Science Education. 366-378 export record
dblp key:
journals/jucs/Edelsbrunne01 share record
short URL:
https://dblp.org/rec/journals/jucs/Edelsbrunne01 share record
short URL:
https://dblp.org/rec/journals/jucs/Fellner01 Dieter W. Fellner :
Graphics Content in Digital Libraries: Old Problems, Recent Solutions, Future Demands. 400-409 share record
short URL:
https://dblp.org/rec/journals/jucs/Goos01 share record
short URL:
https://dblp.org/rec/journals/jucs/LauerMO01 share record
short URL:
https://dblp.org/rec/journals/jucs/MoretS01 share record
short URL:
https://dblp.org/rec/journals/jucs/Posch01
Volume 7, Number 6, June 2001 I-Know '01 - International Conference on Knowledge Management
export record
dblp key:
journals/jucs/TochtermannM01 share record
short URL:
https://dblp.org/rec/journals/jucs/TochtermannM01 share record
short URL:
https://dblp.org/rec/journals/jucs/Tomek01 Ivan Tomek :
Knowledge Management and Collaborative Virtual Environments. 458-471 export record
dblp key:
journals/jucs/Hasebrook01 share record
short URL:
https://dblp.org/rec/journals/jucs/Hasebrook01 share record
short URL:
https://dblp.org/rec/journals/jucs/LuggerK01 share record
short URL:
https://dblp.org/rec/journals/jucs/Johnston01 Peter Johnston :
Sustainability and Jobs in the Knowledge Economy. 498-506 export record
dblp key:
journals/jucs/Radermacher01 share record
short URL:
https://dblp.org/rec/journals/jucs/Radermacher01 export record
dblp key:
journals/jucs/ThomasCKNTW01 share record
short URL:
https://dblp.org/rec/journals/jucs/ThomasCKNTW01 share record
short URL:
https://dblp.org/rec/journals/jucs/HaasM01
Volume 7, Number 7, July 2001 I-Know '01 - International Conference on Knowledge Management
export record
dblp key:
journals/jucs/TochtermannM01a share record
short URL:
https://dblp.org/rec/journals/jucs/TochtermannM01a share record
short URL:
https://dblp.org/rec/journals/jucs/HicksT01 share record
short URL:
https://dblp.org/rec/journals/jucs/HothoMSS01 share record
short URL:
https://dblp.org/rec/journals/jucs/Duval01 Erik Duval :
Metadata Standards: What, Who & Why. 591-601 share record
short URL:
https://dblp.org/rec/journals/jucs/Tillian01 B. Tillian :
Knowledge Management More Effort - More Success? 602-609 share record
short URL:
https://dblp.org/rec/journals/jucs/Ramhorst01 Dirk Ramhorst :
A Guided Tour through the Siemens Business Services Knowledge Management Framework. 610-622 share record
short URL:
https://dblp.org/rec/journals/jucs/Schinagl01 Wolfgang Schinagl :
New Learning of Adults in the Information and Knowledge Society. 623-628
Volume 7, Number 8, August 2001 Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor
Peter Lucas
export record
dblp key:
journals/jucs/AichernigFK01 share record
short URL:
https://dblp.org/rec/journals/jucs/AichernigFK01 share record
short URL:
https://dblp.org/rec/journals/jucs/Jones01 share record
short URL:
https://dblp.org/rec/journals/jucs/Bjorner01 Dines Bjørner :
On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book. 641-667 export record
dblp key:
journals/jucs/Airchinnigh01 share record
short URL:
https://dblp.org/rec/journals/jucs/Airchinnigh01 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 share record
short URL:
https://dblp.org/rec/journals/jucs/Larsen01 Peter Gorm Larsen :
Ten Years of Historical Development "Bootstrapping" VDMTools®. 692-709 export record
dblp key:
journals/jucs/Aichernig01 share record
short URL:
https://dblp.org/rec/journals/jucs/Aichernig01 Bernhard K. Aichernig :
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. 710-735 share record
short URL:
https://dblp.org/rec/journals/jucs/Zima01 Hans P. Zima :
Data Distribution Specification for High Performance Computing. 736-753 share record
short URL:
https://dblp.org/rec/journals/jucs/Oliveira01
Volume 7, Number 9, September 2001
share record
short URL:
https://dblp.org/rec/journals/jucs/Maurer01b export record
dblp key:
journals/jucs/AtanasiuMM01 share record
short URL:
https://dblp.org/rec/journals/jucs/AtanasiuMM01 share record
short URL:
https://dblp.org/rec/journals/jucs/Fontani01 share record
short URL:
https://dblp.org/rec/journals/jucs/Gupta01 Sanjay Gupta :
Determinism, Nondeterminism, Alternation, and Counting. 816-825 share record
short URL:
https://dblp.org/rec/journals/jucs/Kahler01 Helge Kahler :
More Than WORDs - Collaborative Tailoring of a Word Processor. 826-847 share record
short URL:
https://dblp.org/rec/journals/jucs/SigmundU01
Volume 7, Number 10, October 2001
share record
short URL:
https://dblp.org/rec/journals/jucs/Maurer01c share record
short URL:
https://dblp.org/rec/journals/jucs/DattaO01 share record
short URL:
https://dblp.org/rec/journals/jucs/Honkala01 Juha Honkala :
Three Variants of the DT0L Sequence Equivalence Problem. 886-892 share record
short URL:
https://dblp.org/rec/journals/jucs/LiuGZ01
Volume 7, Number 11, November 2001 Abstract State Machines 2001:
New Developments and Applications
share record
short URL:
https://dblp.org/rec/journals/jucs/BorgerG01 Egon Börger ,
Uwe Glässer :
Abstract State Machines 2001: New Developments and Applications - J.UCS Special Issue. 914-916 export record
dblp key:
journals/jucs/GurevichT01 share record
short URL:
https://dblp.org/rec/journals/jucs/GurevichT01 export record
dblp key:
journals/jucs/Schellhorn01 share record
short URL:
https://dblp.org/rec/journals/jucs/Schellhorn01 Gerhard Schellhorn :
Verification of ASM Refinements Using Generalized Forward Simulation. 952-979 share record
short URL:
https://dblp.org/rec/journals/jucs/StarkN01 share record
short URL:
https://dblp.org/rec/journals/jucs/BorgerS01 export record
dblp key:
journals/jucs/EschbachGGLP01 share record
short URL:
https://dblp.org/rec/journals/jucs/EschbachGGLP01 export record
dblp key:
journals/jucs/GargantiniR01 share record
short URL:
https://dblp.org/rec/journals/jucs/GargantiniR01 share record
short URL:
https://dblp.org/rec/journals/jucs/Schmid01 export record
dblp key:
journals/jucs/WallaceTA01 share record
short URL:
https://dblp.org/rec/journals/jucs/WallaceTA01
Volume 7, Number 12, December 2001
share record
short URL:
https://dblp.org/rec/journals/jucs/Maurer01d export record
dblp key:
journals/jucs/Bodlaender01 share record
short URL:
https://dblp.org/rec/journals/jucs/Bodlaender01 Hans L. Bodlaender :
A Generic NP-hardness Proof for a Variant of Graph Coloring. 1114-1124 export record
dblp key:
journals/jucs/KrottmaierM01 share record
short URL:
https://dblp.org/rec/journals/jucs/KrottmaierM01
maintained by
at