default search action
J.UCS, Volume 5
Volume 5, Number 1, January 1999
- Hermann A. Maurer:
Managing Editor's Column. 1 - Thomas Dietinger, Christian Gütl, Bernhard Knögler, Dietmar Neussl, Klaus Schmaranz:
Dynamic Background Libraries - New Developments In Distance Education Using HIKS. 2-10 - Juha Honkala:
On algebraicness of D0L power series. 11-19 - Josef Pieprzyk, Cheng Xin Qu:
Rotation-Symmetric Functions and Fast Hashing. 20-31
Volume 5, Number 2, February 1999
- Hermann A. Maurer:
Managing Editor's Column. 32 - Jürgen Dassow, Gheorghe Paun:
On the Power of Membrane Computing. 33-49
Volume 5, Number 3, March 1999
- Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif:
J.UCS Special Issue on Integration of Deduction Systems. - Thomas Baar, Bernd Fischer, Dirk Fuchs:
Integrating Deduction Techniques in a Software Reuse Application. 52-72 - Lawrence C. Paulson:
A Generic Tableau Prover and its Integration with Isabelle. 73-87 - Christoph Kreitz, Jens Otten
:
Connection-based Theorem Proving in Classical and Non-classical Logics. 88-112 - Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert:
Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. 113-134 - Frieder Stolzenburg:
Loop-Detection in Hyper-Tableaux by Powerful Model Generation. 135-155 - Andreas Franke, Stephan M. Hess, Christoph G. Jung, Michael Kohlhase, Volker Sorge:
Agent-Oriented Integration of Distributed Mathematical Services. 156-187 - Christoph Benzmüller, Matthew Bishop, Volker Sorge:
Integrating Tps and Omega. 188-207 - Jörg Meyer, Arnd Poetzsch-Heffter:
Interactive Verification Environments for Object-Oriented Programs. 208-225
Volume 5, Number 4, April 1999
- Hermann A. Maurer:
Managing Editor's Column. 226 - Karel Culík II, P. C. von Rosenberg:
Generalized Weighted Finite Automata Based Image Compression. 227-242 - Seymour Ginsburg, Nan C. Shu, Dan A. Simovici:
Automatic Data Restructuring. 243-286
Volume 5, Number 5, May 1999
- Hermann A. Maurer:
Managing Editor's Column. 287 - Paul E. Dunne, Paul H. Leng:
The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae. 288-306 - Leo Storme, Alexis De Vos, Gerald Jacobs:
Group Theoretical Aspects of Reversible Logic Gates. 307-321
Volume 5, Number 6, June 1999
- Hermann A. Maurer:
Managing Editor's Column. 322 - Marc Daumas, Claire Finot:
Division of Floating Point Expansions with an Application to the Computation of a Determinant. 323-338 - Volker Wulf, Matthias Krings, Oliver Stiemerling, Giulio Iacucci, Martin Maidhof, Ralph Peters, Paul Fuchs-Fronhofen, Bernhard Nett, Joachim Hinrichs:
Improving Inter-Organizational Processes with Integrated Organization and Technology Development. 339-366
Volume 5, Number 7, July 1999
- Hermann A. Maurer:
Managing Editor's Column. 366 - Carlo Blundo, Barbara Masucci:
Randomness in Multi-Secret Sharing Schemes. 367-389 - Stathes Hadjiefthymiades
A Survey of Web Architectures for Wireless Communication Environments. 390-417 - J. Gerard Wolff:
Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview. 418-462
Volume 5, Number 8, August 1999
- Hermann A. Maurer:
Managing Editor's Column. 463 - Georg Franck-Oberaspach, Dietmar B. Schweiger, Karl Svozil:
A Packing Problem, Solved by Genetic Algorithms. 464-470 - Ileana Popescu, Monica Dumitrescu:
Laha Distribution: Computer Generation and Applications to Life Time Modelling. 471-481 - Grigore Rosu:
Kan Extensions of Institutions. 482-493
Volume 5, Number 9, September 1999
- Alexandru Mateescu:
J.UCS Special Issue on Formal Languages and Automata. 493 - Tudor Balanescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan:
Communicating Stream X-Machines Systems are no more than X-Machines. 494-507 - Symeon Bozapalidis:
An Introduction To Polypodic Structures. 508-520 - Sigrid Ewert, Andries P. J. van der Walt:
Shrink Indecomposable Fractals. 521-531 - Sándor Horváth, Masami Ito:
Decidable and Undecidable Problems of Primitive Words, Regular and Context-Free Languages. 532-541 - Padmanabhan Krishnan:
Issues Related to Distributed Processing of Picture Languages. 542-551 - Manfred Kudlek:
Some Algebraic Structures with Iteration Lemmata. 552-562 - Maurice Margenstern, Kenichi Morita:
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane. 563-573 - Kahn Mason, Padmanabhan Krishnan:
Decomposition of Timed Automata. 574-587 - Ion Petre, Luigia Petre:
Mobile Ambients and P-Systems. 588-598 - George Rahonis
Splicing on Trees: the Iterated Case. 599-609 - Kai Salomaa, Sheng Yu:
Synchronization Expressions and Languages. 610-621 - Loutfi Soufi:
Type Specification by Regular Expressions. 622-631
Volume 5, Number 10, October 1999
- Klaus Echtle, Jörg Keller:
J.UCS Special Issue on Dependability Evaluation and Validation. 632 - Winfrid G. Schneeweiss:
Advanced Fault Tree Modeling. 633-643 - Hans-Dieter Kochs, Holger Hilmer, Thomas Nisbach:
Efficient Approximate Reliability Evaluation Using the Markovian Minimal Cut Approach. 644-667 - Felix C. Gärtner:
Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification. 668-692 - Alfredo Benso, Maurizio Rebaudengo, Matteo Sonza Reorda
Fault Injection for Embedded Microprocessor-based Systems. 693-711 - Wilfrido Alejandro Moreno, John R. Samson Jr., Fernando J. Falquez:
Laser Injection of Soft Faults for the Validation of Dependability Design. 712-729 - Hans Mauser, Erwin M. Thurner:
Electronic Throttle Control - A Dependability Case Study. 730-741
Volume 5, Number 11, November 1999
- Hermann A. Maurer:
Managing Editor's Column. 742 - Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A Decision Method for Duration Calculus. 743-764 - E. C. Tan, M. H. Ho:
Matrix Method to Detect Logic Hazards in Combinational Circuits with EX-OR Gates. 765-776 - J. Gerard Wolff:
Computing as Information Compression by Multiple Alignment, Unification and Search. 777-815
Volume 5, Number 12, December 1999
- Hermann A. Maurer:
Managing Editor's Column. 816 - Russell Bent, Michael Schear, Lane A. Hemaspaandra, Gabriel Istrate:
A Note on Bounded-Weight Error-Correcting Codes. 817-827 - Edith Hemaspaandra:
On the Power of Positive Turing Reductions. 828-832 - Wonsik Lee, Sunghan Lee, Beom Hee Lee, Young Dae Lee:
An Efficient Planning Algorithm for Multi-head Surface Mounting Machines Using a Genetic Algorithm. 833-854
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 2024-12-27 21: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: