Content of Issue 1
DOI: 10.3217/jucs-006-01
|
Automata, Logic, and Computability: J.UCS Special Issue Dedicated to Professor Sergiu Rudeanu Festschrift |
C.S. Calude, G. Stefanescu |
1 |
Under the Sign of Boole |
S. Marcus |
3 |
Weak Inclusion Systems: Part Two |
V. Emil Cazanescu, G. Rosu |
5 |
The Lattice Structure of Pseudo_Wajsberg Algebras |
R. Ceterchi |
22 |
A Pi-Calculus Machine |
G. Ciobanu, M. Rotaru |
39 |
Galois Connections and Data Mining |
D. Cristofor, L. Cristofor, D. A. Simovici |
60 |
Behavioural Coherence in Object-Oriented Algebraic Specification |
R. Diaconescu, K. Futatsugi |
74 |
Monotone, Horn and Quadratic Pseudo-Boolean Functions |
S. Foldes, P. L. Hammer |
97 |
A Representation Theorem for Monadic Pavelka Algebras |
G. Georgescu, I. Leustean |
105 |
Mixed Relations as Enriched Semiringal Categories |
R. Grosu, D. Lucanu, G. Stefanescu |
112 |
Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem |
C. Grozea |
130 |
The Automorphism Group of a Hypercube |
F. Harary |
136 |
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV |
A. Iorgulescu |
139 |
A Canonical Model Construction for Substructural Logics |
H. Ishihara |
155 |
Computational Complementarity and Shift Spaces |
M. Lipponen |
169 |
Simulating H Systems by P Systems |
G. Paun, T. Yokomori |
178 |
On Equational Craig Interpolation |
G. Rosu, J. Goguen |
194 |
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures |
D. Vaida |
201 |
Extractors for the Real World |
K. Xue, M. Zimand |
212 |
Content of Issue 7
DOI: 10.3217/jucs-006-07
|
J.UCS Special Issue on Requirements Engineering - The Light Control Case Study |
E. Börger, R. Gotzhein |
580 |
The Light Control Case Study: A Synopsis |
E. Börger, R. Gotzhein |
582 |
The Light Control Case Study: Problem Description |
S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schaefer |
586 |
Capturing Requirements by Abstract State Machines: The Light Control Case Study |
E. Börger, E. Riccobene, J. Schmid |
597 |
Analyzing the Light Control System with PVS |
A. de Groot, J. Hooman |
621 |
Applying the SCR Requirements Method to the Light Control Case Study |
C. Heitmeyer, R. Bharadwaj |
650 |
Application of the FOREST Approach to the Light Control Case Study |
M. Kronenburg, C. Peper |
679 |
Incremental Development of Real-Time Requirements: The Light Control Case Study |
G. Smith, C. Fidge |
704 |
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study |
J. M. Thompson, M. W. Whalen, M. P. E. Heimdahl |
731 |
|