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

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

Hermann A. Maurer:
Managing Editor's Column. 226
Karel Culik 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

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

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

Hermann A. Maurer:
Managing Editor's Column. 366
Carlo Blundo, Barbara Masucci:
Randomness in Multi-Secret Sharing Schemes. 367-389
Stathes Hadjiefthymiades, Lazaros F. Merakos:
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

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

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

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 A. 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

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

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

Last update Wed May 22 18:02:50 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page