Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJ.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 D. 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, Kentaro 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 F. 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 Culík 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-
a service of 
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-04-15 21:34 CEST 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:
