| Publication | Date of Publication | Type |
|---|
Problems, solutions, and semantic computing
International Journal of Semantic Computing | 2010-08-19 | Paper |
scientific article; zbMATH DE number 4128363 (Why is no real title available?)
| 1986-01-01 | Paper |
A methodology for assessing the correctness of control programs
Computers and Electrical Engineering | 1984-01-01 | Paper |
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
IEEE Transactions on Software Engineering | 1980-01-01 | Paper |
An Approach to Formal Specification of Control Modules
IEEE Transactions on Software Engineering | 1980-01-01 | Paper |
A Design of a Fast Cellular Associative Memory for Ordered Retrieval
IEEE Transactions on Computers | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3543635 (Why is no real title available?)
| 1977-01-01 | Paper |
Scheduling Parallel Processable Tasks for a Uniprocessor
IEEE Transactions on Computers | 1976-01-01 | Paper |
Aspects of a Dynamically Adaptive Operating System
IEEE Transactions on Computers | 1976-01-01 | Paper |
Reliability Analysis of Systems with Concurrent Error Detection
IEEE Transactions on Computers | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3490475 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3548409 (Why is no real title available?)
| 1974-01-01 | Paper |
A High-Level Language for Horizontal Microprogramming
IEEE Transactions on Computers | 1974-01-01 | Paper |
Automatic Testing for the Correctness and Equivalence of Loopfree Microprograms
IEEE Transactions on Computers | 1974-01-01 | Paper |
A Scheduling Problem*
The Journal of the Operational Research Society | 1973-01-01 | Paper |
Compilation Techniques for Recognition of Parallel Processable Tasks in Arithmetic Expressions
IEEE Transactions on Computers | 1973-01-01 | Paper |
On the Flow-Shop Sequencing Problem with No Wait in Process†
The Journal of the Operational Research Society | 1972-01-01 | Paper |
Optimal Scheduling Strategies in a Multiprocessor System
IEEE Transactions on Computers | 1972-01-01 | Paper |
Rollback and Recovery Strategies for Computer Programs
IEEE Transactions on Computers | 1972-01-01 | Paper |
System Modeling and Testing Procedures for Microdiagnostics
IEEE Transactions on Computers | 1972-01-01 | Paper |
Parallel Task Execution in a Decentralized System
IEEE Transactions on Computers | 1972-01-01 | Paper |
Optimization Strategies for Microprograms
IEEE Transactions on Computers | 1971-01-01 | Paper |
System Segmentation for the Parallel Diagnosis of Computers
IEEE Transactions on Computers | 1971-01-01 | Paper |
Computer Diagnosis Using the Blocking Gate Approach
IEEE Transactions on Computers | 1971-01-01 | Paper |
Fault-Tolerant Computing: An Introduction and an Overview
IEEE Transactions on Computers | 1971-01-01 | Paper |
An Efficient Organization or Large Frequency-Dependent Files for Binary Searcking
IEEE Transactions on Computers | 1971-01-01 | Paper |
Optimization of Memory Hierarchies in Multiprogrammed Systems
Journal of the ACM | 1970-01-01 | Paper |
Optimization of information storage systems
Information and Control | 1968-01-01 | Paper |
Reinforced prefixed comma-free codes
IEEE Transactions on Information Theory | 1967-01-01 | Paper |
Analysis of Graphs by Connectivity Considerations
Journal of the ACM | 1966-01-01 | Paper |
A Method of Determining the Number of Vertices Contained in the SC Network Corresponding to a Given SC Transmission Function
IEEE Transactions on Electronic Computers | 1965-01-01 | Paper |
Code structures for protection and manipulation of variable-length items
Communications of the ACM | 1965-01-01 | Paper |
