High-performance operating system primitives for robotics and real-time control systems
ACM Transactions on Computer Systems (TOCS)
General Criterion for Essential Nonfault Locatability of Logical Functions
IEEE Transactions on Computers
An Efficient Channel Routing Algorithm to Yield an Optimal Solution
IEEE Transactions on Computers
A transistor reordering technique for gate matrix layout
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Software Reuse by Specialization of Generic Procedures through Views
IEEE Transactions on Software Engineering
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
Development models of herbaceous plants for computer imagery purposes
SIGGRAPH '88 Proceedings of the 15th annual conference on Computer graphics and interactive techniques
The academic image of computer science
ACM SIGCSE Bulletin
Creation of Views for Reuse of Software with Different Data Representations
IEEE Transactions on Software Engineering
A solution of DEDS control synthesis problems
Systems Analysis Modelling Simulation - Some recent progress in systems research and applications
A multivalued switching algebra with Boolean properties
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
The why and how of discrete structures
SIGCSE '76 Proceedings of the sixth SIGCSE technical symposium on Computer science education
Predetermining visibility priority in 3-D scenes (Preliminary Report)
SIGGRAPH '79 Proceedings of the 6th annual conference on Computer graphics and interactive techniques
A first course in discrete structures with applications to computer science
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
A discrete structures course for a small college
SIGCSE '75 Proceedings of the fifth SIGCSE technical symposium on Computer science education
A set-theoretic view of data-base representation
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
A Method for Obtaining SPOOF's
IEEE Transactions on Computers
Analysis of three multilevel security architectures
Proceedings of the 2007 ACM workshop on Computer security architecture
A new constrained edit distance between quotiented ordered trees
Journal of Discrete Algorithms
A constrained edit distance algorithm between semi-ordered trees
Theoretical Computer Science
Quantifying the Degree of Self-Nestedness of Trees: Application to the Structural Analysis of Plants
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
A relational approach to functional decomposition of logic circuits
ACM Transactions on Database Systems (TODS)
| Hi-index | 0.01 |