default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ.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 - Patricia A. Carlson, Veronica 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, Farhad 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 - Xian-Mo Zhang, Yuliang 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 W. Lynch, Michael J. Schulte:
A High Radix On-Line Arithmetic for Credible and Accurate Computing. 439-453 - J. Asserrhine, Jean Marie Chesneaux, Jean Luc 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 R. 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 Culík 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
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-12-01 23:10 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:
