Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 5

Content of Issue 1
DOI: 10.3217/jucs-005-01
Managing Editor's Column H. Maurer 1
Dynamic Background Libraries - New Developments in Distance Education Using HIKS (Hierarchical Interactive Knowledge System) T. Dietinger, C. Gütl, B. Knögler, D. Neussl, K. Schmaranz 2
On Algebraicness of D0L Power Series J. Honkala 11
Fast Hashing and Rotation-Symmetric Functions J. Pieprzyk, C.X. Qu 20
Content of Issue 2
DOI: 10.3217/jucs-005-02
Managing Editor's Column H. Maurer 32
On the Power of Membrane Computing J. Dassow, G. Paun 33
Content of Issue 3
DOI: 10.3217/jucs-005-03
J.UCS Special Issue on Integration of Deduction Systems R. Hähnle, W. Menzel, P. H. Schmitt, W. Reif 50
Integrating Deduction Techniques in a Software Reuse Application T. Baar, B. Fischer, D. Fuchs 52
A Generic Tableau Prover and its Integration with Isabelle L. C. Paulson 73
Connection-Based Theorem Proving in Classical and Non-Classical Logics C. Kreitz, J. Otten 88
Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi G. Stenz, W. Ahrendt, B. Beckert 113
Loop-Detection in Hyper-Tableaux by Powerful Model Generation F. Stolzenburg 135
Agent-Oriented Integration of Distributed Mathematical Services A. Franke, S. M. Hess, C. Jung, M. Kohlhase, V. Sorge 156
Integrating Tps and Omega C. Benzmüller, M. Bishop, V. Sorge 188
Interactive Verification Environments for Object-Oriented Programs J. Meyer, A. Poetzsch-Heffter 208
Content of Issue 4
DOI: 10.3217/jucs-005-04
Managing Editor's Column H. Maurer 226
Generalized Weighted Finite Automata Based Image Compression K. Culik II., P. C. von Rosenberg 227
Automatic Data Restructuring S. Ginsburg, N. C. Shu, D. A. Simovici 243
Content of Issue 5
DOI: 10.3217/jucs-005-05
Managing Editor's Column H. Maurer 287
The Average Case Performance of an Algorithm for Demand-Driven Evaluation of Boolean Formulae P. E. Dunne, P. H. Leng 288
Group Theoretical Aspects of Reversible Logic Gates L. Storme, A. De Vos, G. Jacobs 307
Content of Issue 6
DOI: 10.3217/jucs-005-06
Managing Editor's Column H. Maurer 322
Division of Floating Point Expansions with an Application to the Computation of a Determinant M. Daumas, C. Finot 323
Improving Inter-Organizational Processes with Integrated Organization and Technology Development V. Wulf, M. Krings, O. Stiemerling, G. Iacucci, M. Maidhof, R. Peters, P. Fuchs-Fronhofen, B. Nett, J. Hinrichs 339
Content of Issue 7
DOI: 10.3217/jucs-005-07
Managing Editor's Column H. Maurer 366
Randomness in Multi-Secret Sharing Schemes C. Blundo, B. Masucci 367
A Survey of Web Architectures for Wireless Communication Environments S. Hadjiefthymiades, L. Merakos 390
Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview J.G. Wolff 418
Content of Issue 8
DOI: 10.3217/jucs-005-08
Managing Editor's Column H. Maurer 463
A Packing Problem, Solved by Genetic Algorithms G. Franck-Oberaspach, D. B. Schweiger, K. Svozil 464
Laha Distribution: Computer Generation and Applications to Life Time Modelling I. Popescu, M. Dumitrescu 471
Kan Extensions of Institutions G. Rosu 482
Content of Issue 9
DOI: 10.3217/jucs-005-09
J.UCS Special Issue on Formal Languages and Automata (WFLA) A. Mateescu 493
Communicating Stream X-Machines Systems are no more than X-Machines T. Balanescu, A. J. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan 494
An Introduction To Polypodic Structures S. Bozapalidis 508
Shrink Indecomposable Fractals S. Ewert, A. van der Walt 521
Decidable and Undecidable Problems of Primitive Words, Regular and Context-Free Languages S. Horváth, M. Ito 532
Issues Related to Distributed Processing of Picture Languages P. Krishnan 542
Some Algebraic Structures with Iteration Lemmata M. Kudlek 552
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane M. Margenstern, K. Morita 563
Decomposition of Timed Automata K. Mason, P. Krishnan 574
Mobile Ambients and P-Systems I. Petre, L. Petre 588
Splicing on Trees: the Iterated Case G. Rahonis 599
Synchronization Expressions and Languages K. Salomaa, S. Yu 610
Type Specification by Regular Expressions L. Soufi 622
Content of Issue 10
DOI: 10.3217/jucs-005-10
J.UCS Special Issue on Dependability Evaluation and Validation K. Echtle, J. Keller 632
Advanced Fault Tree Modeling W. G. Schneeweiss 633
Efficient Approximate Reliability Evaluation Using the Markovian Minimal Cut Approach H.-D. Kochs, H. Hilmer, T. Nisbach 644
Transformational Approaches to the Specification and Verification of Fault-Tolerant Systems: Formal Background and Classification F. C. Gärtner 668
Fault Injection for Embedded Microprocessor-Based Systems A. Benso, M. Rebaudengo, M. Sonza Reorda 693
Laser Injection of Soft Faults for the Validation of Dependability Design W. A. Moreno, J. R. Samson, Jr., F. J. Falquez 712
Electronic Throttle Control _ A Dependability Case Study H. Mauser, E. Thurner 730
Content of Issue 11
DOI: 10.3217/jucs-005-11
Managing Editor's Column H. Maurer 742
A Decision Method for Duration Calculus N. Chetcuti-Sperandio, L.F.d. Cerro 743
Matrix Method to Detect Logic Hazards in Combinational Circuits with EX-OR Gates E. C. Tan, M. H. Ho 765
'Computing' as Information Compression by Multiple Alignment, Unification and Search J.G. Wolff 777
Content of Issue 12
DOI: 10.3217/jucs-005-12
Managing Editor's Column H. Maurer 816
A Note on Bounded-Weight Error-Correcting Codes R. Bent, M. Schear, L. A. Hemaspaandra, G. Istrate 817
On the Power of Positive Turing Reductions E. Hemaspaandra 828
An Efficient Planning Algorithm for Multi-Head Surface Mounting Machines Using a Genetic Algorithm W. Lee, S. Lee, B. Hee Lee, Y. Dae Lee 833