J.UCS, Volume 3

Volume 3, Number 1, January 1997

• Hermann A. Maurer:
  Managing Editor's Column. 1
  
• Vaclav Dvorak:
  Bounds on Size of Decision Diagrams. 2-22
  
• Evgenija D. Popova, Christian P. Ullrich:
  Generalizing BIAS Specifications. 23-41
  
• David B. Skillicorn:
  Structured Parallel Parallel Computation in Structured Documents. 42-68
  

Volume 3, Number 2, February 1997

• Hermann A. Maurer:
  Managing Editor's Column. 69
  
• Peter M. Fenwick:
  Symbol Ranking Text Compression with Shannon Recodings. 70-85
  
• Jamaludin Omar, James M. Noras:
  Prototyping on the PC with Programmable Hardware. 86-119
  
• Jürgen F. H. Winkler:
  Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer Types. 120-146
  

Volume 3, Number 3, March 1997

• Hermann A. Maurer:
  Managing Editor's Column. 147
  
• Nils Andersen:
  Linear Time Simulation of Invertible Non-Deterministic Stack Algorithms. 148-171
  
• Asat Arslanov:
  Difference Splittings of Recursively Enumerable Sets. 172-184
  
• Shahram Bakhtiari, Reihaneh Safavi-Naini, Josef Pieprzyk:
  On the Weakness of Gong's Collisionful Hash Functions. 185-196
  
• Lane A. Hemaspaandra, Zhigen Jiang, Jörg Rothe, Osamu Watanabe:
  Polynomial-Time Multi-Selectivity. 197-229
  

Volume 3, Number 4, April 1997

• Egon Börger:
  Ten Years of Gurevich's Abstract State Machines. 230-232
  
• Yuri Gurevich, Marc Spielmann:
  Recursive Abstract State Machines. 233-246
  
• Andreas Blass, Yuri Gurevich:
  The Linear Time Hierarchy Theorems for Abstract State Machines and RAMs. 247-278
  
• Scott Dexter, Patrick Doyle, Yuri Gurevich:
  Gurevich Abstract State Machines and Schoenhage Storage Modification Machines. 279-303
  
• Karl Stroetmann:
  The Constrained Shortest Path Problem: A Case Study in Using ASMs. 304-319
  
• Yuri Gurevich, Nandit Soparkar, Charles Wallace:
  Formalizing Database Recovery. 320-340
  
• Keehang Kwon:
  A Structured Presentation of a Closure-Based Compilation Method for a Scoping Notion in Logic Programming. 341-376
  
• Gerhard Schellhorn, Wolfgang Ahrendt:
  Reasoning about Abstract State Machines: The WAM Case Study. 377-413
  

Volume 3, Number 5, May 1997

• Egon Börger:
  JUCS Special ASM Issue, Part II - Introduction. 414-415
  
• Philipp W. Kutter, Alfonso Pierantonio:
  Montages Specifications of Realistic Programming Languages. 416-442
  
• Philipp W. Kutter, Alfonso Pierantonio:
  The Formal Specification of Oberon. 443-503
  
• Wolf Zimmermann, Thilo Gaul:
  On the Construction of Correct Compiler Back-Ends: An ASM-Approach. 504-567
  
• Lourdes Araujo:
  Correctness Proof of a Distributed Implementation of Prolog by Means of Abstract State Machines. 568-602
  
• Egon Börger, Luca Mearelli:
  Integrating ASMs into the Software Development Life Cycle. 603-665
  
• Luca Mearelli:
  Refining an ASM Specification of the Production Cell to C++ Code. 666-688
  
• Kirsten Winter:
  Model Checking for Abstract State Machines. 689-701
  

Volume 3, Number 6, June 1997

• Hermann A. Maurer:
  Managing Editor's Column. 702
  
• Marc Bernard, François Jacquenet:
  Free Space Modeling for Placing Rectangles without Overlapping. 703-720
  
• Kaoru Kurosawa, Takashi Satoh, K. Yamamoto:
  Highly Nonlinear t-resilient Functions. 721-729
  
• Ahmad Baraani-Dastjerdi, Josef Pieprzyk, Reihaneh Safavi-Naini, Janusz R. Getta:
  Using Cryptographic Hash Functions for Discretionary Access Control in Object-Oriented Databases. 730-753
  

Volume 3, Number 7, July 1997

• Hermann A. Maurer:
  Managing Editor's Column. 754-755
  
• Richard Banach:
  MONSTR II - Suspending Semantics and Independence. 756-801
  
• S. Manoharan:
  Bounds on the Performance of Work-greedy Assignment Schemes. 803-812
  
• Ioan Tomescu:
  Optimum Huffman Forests. 813-820
  
• Peter E. Undrill, Kostas Delibasis, George G. Cameron:
  Stack Filter Design Using a Distributed Parallel Implementation of Genetic Algorithms. 821-834
  

Volume 3, Number 8, August 1997

• Uwe M. Borghoff, Remo Pareschi:
  Information Technology for Knowledge Management. 835-842
  
• Wolfgang Prinz, Anja Syri:
  Two complementary tools for the cooperation in a ministerial environment. 843-864
  
• Carla Simone, Monica Divitini:
  Ariadne: Supporting Coordination through a Flexible Use of the Knowledge on Work Processes. 865-898
  
• Simon Buckingham Shum:
  Negotiating the Construction and Reconstruction of Organisational Memories. 899-928
  
• Otto Kühn, Andreas Abecker:
  Corporate Memories for Knowledge Management in Industrial Practice: Prospects and Challenges. 929-954
  
• Dietmar Rösner, Brigitte Grote, Knut Hartmann, Björn Höfling:
  From Natural Language Documents to Sharable Product Knowledge: A Knowledge Engineering Approach. 955-987
  
• Humphrey Sorensen, Adrian O'Riordan, Colm O'Riordan:
  Profiling with the INFOrmer Text Filtering Agent. 988-1006
  
• Gianni Amati, Daniela D. Aloisi, Vittorio Giannini, Flavio Ubaldini:
  A Framework for Filtering News and Managing Distributed Data. 1007-1021
  

Volume 3, Number 9, September 1997

• Hermann A. Maurer:
  Managing Editor's Column. 1022
  
• Cunsheng Ding, Tero Laihonen, Ari Renvall:
  Linear Multisecret-Sharing Schemes and Error-Correcting Codes. 1023-1036
  
• Martti Forsell:
  MTAC - A Multithreaded VLIW Architecture for PRAM Simulation. 1037-1055
  
• Young Dae Lee, Beom Hee Lee:
  Genetic Trajectory Planner for a Manipulator with Acceleration Parametrization. 1056-1073
  
• Lutz Prechelt:
  Why We Need an Explicit Forum for Negative Results. 1074-1083
  

Volume 3, Number 10, October 1997

• Hermann A. Maurer:
  Managing Editor's Column. 1084
  
• Anton Cerný:
  Optimal Description of Automatic Paperfolding Sequences. 1085-1099
  
• Karel Culik II, Vladimir Valenta, Jarkko Kari:
  Compression of Silhouette-like Images based on WFA. 1100-1113
  
• Juha Honkala:
  On N-algebraic Parikh slender power series. 1114-1120
  
• Bernd Rederlechner, Jörg Keller:
  A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers. 1121-1125
  
• Hermann A. Maurer:
  On Two Aspects of Improving Web-Based Training. 1126-1132
  

Volume 3, Number 11, November 1997

• Douglas S. Bridges, Cristian Calude, Michael J. Dinneen, Bakhadyr Khoussainov:
  Logic in Computer Science. 1133
  
• Takahito Aoto, Yoshihito Toyama:
  Persistency of Confluence. 1134-1147
  
• Douglas S. Bridges, Wang Yuchuan:
  Constructive Aspects of the Dirichlet Problem. 1148-1161
  
• Cristian Calude, André Nies:
  Chaitin Omega Numbers and Strong Reducibilities. 1162-1166
  
• Cristian Calude, Ioan Tomescu:
  Optimum Extendible Prefix Codes. 1167-1179
  
• Elena Calude, Marjo Lipponen:
  Minimal Deterministic Incomplete Automata. 1180-1193
  
• Bruno Courcelle, Rodney G. Downey, Michael R. Fellows:
  A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals. 1194-1198
  
• Michael J. Dinneen:
  Too Many Minor Order Obstructions. 1199-1206
  
• Ulrich Günther, Peter Hertling, Radu Nicolescu, Mark R. Titchener:
  Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders. 1207-1225
  
• Peter Hertling:
  Surjective Functions on Computably Growing Cantor Sets. 1226-1240
  
• Peter Hertling, Yongge Wang:
  Invariance Properties of Random Sequences. 1241-1249
  
• Hajime Ishihara:
  Sequential Continuity of Linear Mappings in Constructive Mathematics. 1250-1254
  
• Hajime Ishihara, Bakhadyr Khoussainov:
  Effectiveness of the Completeness Theorem for an Intermediate Logic. 1255-1265
  
• Yoshihiko Murakawa, Satoshi Tojo, Susumu Kunifuji:
  Imperfect Information Flow of Agents Communication in Arrow Logic. 1266-1281
  

Volume 3, Number 12, December 1997

• Hermann A. Maurer:
  Managing Editor's Column. 1282
  
• Richard Banach:
  MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. 1283-1336
  
• Giampaolo Bella, Elvinia Riccobene:
  Formal Analysis of the Kerberos Authentication System. 1337-1381
  
• Uwe Glässer, Rene Karges:
  Abstract State Machine Semantics of SDL. 1382-1414
  
• Padmanabhan Krishnan:
  An Asynchronous Calculus Based on the Absence of Actions. 1415-