J.UCS, Volume 1

Volume 1, Number 1, January 1995

Hermann A. Maurer:
Managing Editor's Column. 1
Electronic Edition (link) BibTeX
Peter M. Fenwick:
High-Radix Division with Approximate Quotient-Digit Estimation. 2-22
Electronic Edition (link) BibTeX
Ville Leppänen:
On Implementing EREW Work-Optimally on Mesh of Trees. 23-34
Electronic Edition (link) BibTeX
Bill Flinn, Hermann A. Maurer:
Levels of Anonymity. 35-47
Electronic Edition (link) BibTeX
Cristian Calude:
What Is a Random String? 48-66
Electronic Edition (link) BibTeX
Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Grammars Based on the Shuffle Operation. 67-81
Electronic Edition (link) BibTeX

Volume 1, Number 2, February 1995

Hermann A. Maurer:
Managing Editor's Column. 83
Electronic Edition (link) BibTeX
Frank Kappe:
A Scalable Architecture for Maintaining Referential Integrity in Distributed Information Systems. 84-104
Electronic Edition (link) BibTeX
Rudolf Freund, Gheorghe Paun:
A Variant of Team Cooperation in Grammar Systems. 105-130
Electronic Edition (link) BibTeX
Juha Honkala, Werner Kuich:
On Four Classes of Lindenmayerian Power Series. 131-135
Electronic Edition (link) BibTeX
Jennifer Seberry, Xian-Mo Zhang, Yuliang Zheng:
The Relationship Between Propagation Characteristics and Nonlinearity of Cryptographic Functions. 136-150
Electronic Edition (link) BibTeX
Vadim Bulitko:
On Completeness of Pseudodimple Sets. 151-154
Electronic Edition (link) BibTeX

Volume 1, Number 3, March 1995

Hermann A. Maurer:
Managing Editor's Column. 155
Electronic Edition (link) BibTeX
P. Carlson, V. Larralde:
Combining Concept Mapping and Adaptive Advice to Teach Reading Comprehension. 156-161
Electronic Edition (link) BibTeX
Marc Daumas, Christophe Mazenc, Xavier Merrheim, Jean-Michel Muller:
Modular Range Reduction: A New Algorithm for Fast and Accurate Computation on the Elementary Functions. 162-175
Electronic Edition (link) BibTeX
Robert W. Doran:
Special Cases of Division. 176-194
Electronic Edition (link) BibTeX
Carl Gutwin, Marlene Jones, Patrick Brackett, Kim Massie Adolphe:
Bringing ITS to the Marketplace: A Successful Experiment in Minimalist Design. 195-200
Electronic Edition (link) BibTeX
Karl Svozil:
Halting Probability Amplitude Quantum Computers. 201-204
Electronic Edition (link) BibTeX

Volume 1, Number 4, April 1995

Hermann A. Maurer:
Managing Editor's Column. 205
Electronic Edition (link) BibTeX
Keith Andrews, Frank Kappe, Hermann A. Maurer:
The Hyper-G Network Information System. 206-220
Electronic Edition (link) BibTeX
Robert Cailliau:
About WWW. 221-231
Electronic Edition (link) BibTeX
Dietrich Goetze:
Electronic Publishing. 232-234
Electronic Edition (link) BibTeX
Mark P. McCahill, F. X. Anklesaria:
Evolution of Internet Gopher. 235-246
Electronic Edition (link) BibTeX
H. Muelner:
WAIS and Information Retrieval on the Internet. 247-250
Electronic Edition (link) BibTeX

Volume 1, Number 5, May 1995

Hermann A. Maurer:
Managing Editor's Column. 251
Electronic Edition (link) BibTeX
Erzsébet Csuhaj-Varjú, Gheorghe Paun, Arto Salomaa:
Conditional Tabled Eco-Grammar Systems. 252-268
Electronic Edition (link) BibTeX
Erik Duval, Henk J. Olivié, Piers O'Hanlon, David G. Jameson:
HOME: An Environment for Hypermedia Objects. 269-291
Electronic Edition (link) BibTeX
Alexandru Mateescu, Arto Salomaa, Kai Salomaa, Sheng Yu:
Lexical Analysis with a Simple Finite-Fuzzy-Automaton Model. 292-311
Electronic Edition (link) BibTeX
J. Shearer, Arnould Vermeer:
Software Patents and the Internet. 312-319
Electronic Edition (link) BibTeX
K. Zhang, Y. Zheng:
GAC - the Criterion for Global Avalance Characteristics of Cryptographic Functions. 320-337
Electronic Edition (link) BibTeX

Volume 1, Number 6, June 1995

Hermann A. Maurer:
Managing Editor's Column. 338
Electronic Edition (link) BibTeX
Richard Banach, J. Balazs, G. Papadoupolous:
A Translation of the Pi-Caculus Into MONSTR. 339-398
Electronic Edition (link) BibTeX
Artur Klauser, Reinhard Posch:
Distributed Caching in Networked File Systems. 399-409
Electronic Edition (link) BibTeX
Jennifer Lennon, Arnould Vermeer:
From Personal Computer to Personal Assistant. 410-422
Electronic Edition (link) BibTeX
Ivan Tomek:
Microworlds for Teaching Concepts of Object Oriented Programming. 423-434
Electronic Edition (link) BibTeX

Volume 1, Number 7, July 1995

Hermann A. Maurer:
Managing Editor's Column. 435
Electronic Edition (link) BibTeX
Jean-Claude Bajard, Dominique Michelucci, Jean-Michel Moreau, Jean-Michel Muller:
Introduction to the Special Issue: "Real Numbers and Computers". 436-438
Electronic Edition (link) BibTeX
Thomas Lynch, Michael J. Schulte:
A High Radix On-Line Arithmetic for Credible and Accurate Computing. 439-453
Electronic Edition (link) BibTeX
J. Asserrhine, J. Chesneaux, J. Lamotte:
Estimation of Round-Off Errors on Several Computer Architectures. 455-468
Electronic Edition (link) BibTeX
Fabienne Jézéquel:
Round-Off Error Propagation in the Solution of the Heat Equation by Finite Differences. 469-483
Electronic Edition (link) BibTeX
Peter Kornerup, David W. Matula:
LCF: A Lexicagraphic Binary representation of the Rationals. 484-503
Electronic Edition (link) BibTeX
David Lester:
Exact Statistics and Continued Fractions. 504-513
Electronic Edition (link) BibTeX
S. Markov:
On Direct Interval Arithmetic and its Applications. 514-526
Electronic Edition (link) BibTeX
Asger Munk Nielsen, Peter Kornerup:
MSB-First Digit Serial Arithmetic. 527-547
Electronic Edition (link) BibTeX
R. Pavec:
Some Algorithms Providing Rigorous Bounds for the Eigenvalue of a Matrix. 548-559
Electronic Edition (link) BibTeX
Evgenija D. Popova:
On Formally Correct Implementation of IEEE Computer Arithmetic. 560-569
Electronic Edition (link) BibTeX

Volume 1, Number 8, August 1995

Hermann A. Maurer:
Managing Editor's Column. 570
Electronic Edition (link) BibTeX
Patricia A. Carlson:
BROCA: A Computerized Environment for Mediating Scientific Reasoning. 571-590
Electronic Edition (link) BibTeX
Peter M. Fenwick:
Differential Ziv-Lempel Text Compression. 591-602
Electronic Edition (link) BibTeX
Laurentiu Panaitopol, Doru Steffánescu:
Bounds for Heights of Integer Polynomial Factors. 603-613
Electronic Edition (link) BibTeX
Axel Pinz, Manfred Prantl, Harald Ganster:
A Robust Affine Matching Algorithm Using an Exponentially Decreasing Distance Function. 614-631
Electronic Edition (link) BibTeX

Volume 1, Number 9, September 1995

Hermann A. Maurer:
Managing Editor's Column. 632
Electronic Edition (link) BibTeX
Rohan F. M. Aranha, C. Pandu Rangan:
An Efficient Distributed Algorithm For st-numbering The Verices Of A Biconnected Graph. 633-650
Electronic Edition (link) BibTeX
Juha Honkala:
A Decision Method for the Unambiguity of Sets Defined by Number Systems. 652-657
Electronic Edition (link) BibTeX
Dongming Wang:
A Method for Proving Theorems in Differebtial Geometry and Mechanics. 658-673
Electronic Edition (link) BibTeX

Volume 1, Number 10, October 1995

Hermann A. Maurer:
Managing Editor's Column. 674
Electronic Edition (link) BibTeX
Karel Culik II, Jarkko Kari:
An Aperiodic Set of Wang Cubes. 675-686
Electronic Edition (link) BibTeX
Erik Duval, Henk J. Olivié, Nick Scherbakov:
Contained Hypermedia. 687-705
Electronic Edition (link) BibTeX
Thomas Ottmann, Christian Bacher:
Authoring on the Fly. 706-717
Electronic Edition (link) BibTeX

Volume 1, Number 11, November 1995

Hermann A. Maurer:
Managing Editor's Column. 718
Electronic Edition (link) BibTeX
Hermann A. Maurer, Jennifer Lennon:
Digital Libraries as Learning and Teaching Support. 719-727
Electronic Edition (link) BibTeX
Wolfgang Mayerwieser, Karl C. Posch, Reinhard Posch, Volker Schindler:
Testing a High-Speed Data Path: The Design of the RSAs Crypto Chip. 728-743
Electronic Edition (link) BibTeX
Andrew Pam, Arnould Vermeer:
A Comparison of WWW and Hyper-G. 744-750
Electronic Edition (link) BibTeX

Volume 1, Number 12, December 1995

Hermann A. Maurer:
Managing Editor's Column. 751
Electronic Edition (link) BibTeX
Oswin Aichholzer, Franz Aurenhammer, David Alberts, Bernd Gärtner:
A Novel Type of Skeleton for Polygons. 752-761
Electronic Edition (link) BibTeX
Jean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi, Johann H. Schlichter:
Constraint Agents for the Information Age. 762-789
Electronic Edition (link) BibTeX
Alexandru Mateescu, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Parikh Prime Words and GO-like Territories. 790-810
Electronic Edition (link) BibTeX
Marco Platzner, Bernhard Rinner, Reinhold Weiss:
Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. 811-820
Electronic Edition (link) BibTeX
Catalina Stefanescu:
A Markov Process for Sequential Allocation. 821-827
Electronic Edition (link) BibTeX