J.UCS, Volume 1

Volume 1, Number 1, January 1995

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

Volume 1, Number 2, February 1995

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

Volume 1, Number 3, March 1995

• Hermann A. Maurer:
  Managing Editor's Column. 155
  
• P. Carlson, V. Larralde:
  Combining Concept Mapping and Adaptive Advice to Teach Reading Comprehension. 156-161
  
• 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
  
• Robert W. Doran:
  Special Cases of Division. 176-194
  
• Carl Gutwin, Marlene Jones, Patrick Brackett, Kim Massie Adolphe:
  Bringing ITS to the Marketplace: A Successful Experiment in Minimalist Design. 195-200
  
• Karl Svozil:
  Halting Probability Amplitude Quantum Computers. 201-204
  

Volume 1, Number 4, April 1995

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

Volume 1, Number 5, May 1995

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

Volume 1, Number 6, June 1995

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

Volume 1, Number 7, July 1995

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

Volume 1, Number 8, August 1995

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

Volume 1, Number 9, September 1995

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

Volume 1, Number 10, October 1995

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

Volume 1, Number 11, November 1995

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

Volume 1, Number 12, December 1995

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