Volume 5 (1999)

Submission Procedure

share: |

Submission Procedure

Board of Editors

Follow us

Articles by Topics

Articles by Author

Geographical Mashup

Printed Publications

Volume 26 (2020)

Volume 25 (2019)

Volume 24 (2018)

Volume 23 (2017)

Volume 22 (2016)

Volume 21 (2015)

Volume 20 (2014)

Volume 19 (2013)

Volume 18 (2012)

Volume 17 (2011)

Volume 16 (2010)

Volume 15 (2009)

Volume 14 (2008)

Volume 13 (2007)

Volume 12 (2006)

Volume 11 (2005)

Volume 10 (2004)

Volume 9 (2003)

Volume 8 (2002)

Volume 7 (2001)

Volume 6 (2000)

Volume 5 (1999)

Volume 4 (1998)

Volume 3 (1997)

Volume 2 (1996)

Volume 1 (1995)

Volume 0 (1994)

Collection of other papers

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