| Publication | Date of Publication | Type |
|---|
Default \(\alpha \)-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints
Communications in Computer and Information Science | 2010-12-14 | Paper |
An adaptive middleware for context-sensitive communications for real-time applications in ubiquitous computing environments
Real-Time Systems | 2005-01-19 | Paper |
PROOF: A parallel object-oriented functional computation model
Journal of Parallel and Distributed Computing | 1992-06-26 | Paper |
An approach to module distribution for the design of embedded distributed software systems
Information Sciences | 1991-01-01 | Paper |
Markov reliability models of fault-tolerant distributed computing systems
Information Sciences | 1986-01-01 | Paper |
An Algebraic Model of Fault-Masking Logic Circuits
IEEE Transactions on Computers | 1983-01-01 | Paper |
An Approach to Concurrent Control Flow Checking
IEEE Transactions on Software Engineering | 1980-01-01 | Paper |
Generation of shortest test sequences for detecting individual faults of sequential circuits
The Computer Journal | 1979-01-01 | Paper |
Nonparametric Estimation of the Bayes Error of Feature Extractors Using Ordered Nearest Neighbor Sets
IEEE Transactions on Computers | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3541939 (Why is no real title available?) | 1977-01-01 | Paper |
On the Design of Modulo Arithmetic Units Based on Cyclic Groups
IEEE Transactions on Computers | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3516663 (Why is no real title available?) | 1975-01-01 | Paper |
Multiple Fault Detection for Combinational Logic Circuits
IEEE Transactions on Computers | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3529652 (Why is no real title available?) | 1975-01-01 | Paper |
Error Correction in Redundant Residue Number Systems
IEEE Transactions on Computers | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3407218 (Why is no real title available?) | 1972-01-01 | Paper |
A stochastic approximation method for waveform cluster center generation
IEEE Transactions on Information Theory | 1972-01-01 | Paper |
Generation of regular expressions for automata by the integral of regular expressions
The Computer Journal | 1972-01-01 | Paper |
A Hyperpower Iterative Method for Computing Matrix Products Involving the Generalized Inverse
SIAM Journal on Numerical Analysis | 1971-01-01 | Paper |
An Efficient Algorithm for Generating Complete Test Sets for Combinational Logic Circuits
IEEE Transactions on Computers | 1971-01-01 | Paper |
Two-way sequential transductions and stack automata
Information and Control | 1971-01-01 | Paper |
Transformation of an Arbitrary Switching Function to a Totally Symmetric Function
IEEE Transactions on Computers | 1971-01-01 | Paper |
On Identification of Redundancy and Symmetry of Switching Functions
IEEE Transactions on Computers | 1971-01-01 | Paper |
On decoding of maximum-distance separable linear codes
IEEE Transactions on Information Theory | 1971-01-01 | Paper |
Universal Logic Modules and Their Applications
IEEE Transactions on Computers | 1970-01-01 | Paper |
Realization of an Arbitrary Switching Function with a Two-Level Network of Threshold and Parity Elements
IEEE Transactions on Computers | 1970-01-01 | Paper |
Fault Diagnosis and Repair of Cutpoint Cellular Arrays
IEEE Transactions on Computers | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3455146 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3449770 (Why is no real title available?) | 1969-01-01 | Paper |
Design of Pattern Classifiers with the Updating Property Using Stochastic Approximation Techniques
IEEE Transactions on Computers | 1968-01-01 | Paper |
Redundant residue polynomial codes
Information and Control | 1968-01-01 | Paper |
Realization of a Class of Switching Functions by Threshold-Logic Networks
IEEE Transactions on Computers | 1968-01-01 | Paper |
Distance matrix of a graph and its realizability
Quarterly of Applied Mathematics | 1965-01-01 | Paper |
An Improvement on a Theorem of E. F. Moore
IEEE Transactions on Electronic Computers | 1965-01-01 | Paper |
The sensitivity of a traffic network
Journal of the Franklin Institute | 1964-01-01 | Paper |
A generalization of the cut-set
Journal of the Franklin Institute | 1962-01-01 | Paper |
