Testing for cycles in infinite graphs with periodic structure
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Update propagation in Bakunin data networks
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A compression technique to materialize transitive closure
ACM Transactions on Database Systems (TODS)
Mixed-approach algorithms for transitive closure (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Data structures and algorithms for disjoint set union problems
ACM Computing Surveys (CSUR)
An Efficient Deadlock Avoidance Technique
IEEE Transactions on Computers
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
On tree-based techniques for query evaluation
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Directed s-t numberings, rubber bands, and testing digraph k-vertex connectivity
SODA '92 Proceedings of the third annual ACM-SIAM symposium on Discrete algorithms
On randomization in sequential and distributed algorithms
ACM Computing Surveys (CSUR)
Optimal Reconfiguration Algorithms for Real-Time Fault-Tolerant Processor Arrays
IEEE Transactions on Parallel and Distributed Systems
A randomized parallel 3D convex hull algorithm for coarse grained multicomputers
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Reasoning about digital systems using temporal logic
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Symbol Recognition by Error-Tolerant Subgraph Matching between Region Adjacency Graphs
IEEE Transactions on Pattern Analysis and Machine Intelligence - Graph Algorithms and Computer Vision
Real-time properties of indirect recursive procedures
Information and Computation
The Interpretation of Line Drawings with Contrast Failure and Shadows
International Journal of Computer Vision
Bandwidth reservation strategies for mobility support of wireless connections with QoS guarantees
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Towards pattern-based design recovery
Proceedings of the 24th International Conference on Software Engineering
A simplified correctness proof for a well-known algorithm computing strongly connected components
Information Processing Letters
Data-Flow Frameworks for Worst-Case Execution Time Analysis
Real-Time Systems
Optimal Collision Free Path Planning for Non-Synchronized Motions
Journal of Intelligent and Robotic Systems
Hardware-Software partitioning and pipelined scheduling of transformative applications
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Connective Fault Tolerance in Multiple-Bus Systems
IEEE Transactions on Parallel and Distributed Systems
Least and greatest solutions of equations over N
Nordic Journal of Computing
Fast Fixed-Parameter Tractable Algorithms for Nontrivial Generalizations of Vertex Cover
WADS '01 Proceedings of the 7th International Workshop on Algorithms and Data Structures
A Simple Algebraic Representation of Rijndael
SAC '01 Revised Papers from the 8th Annual International Workshop on Selected Areas in Cryptography
COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics
Some Prospects for Efficient Fixed Parameter Algorithms
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Symbolic preprocessing techniques for information retrieval using vector space models
Computational information retrieval
Problems in the information dissemination of the internet routing
Journal of Computer Science and Technology
Cell based performance optimization of combinational circuits
EURO-DAC '90 Proceedings of the conference on European design automation
On the computation of recursion in relational databases
Effective databases for text & document management
Consensus algorithms for the generation of all maximal bicliques
Discrete Applied Mathematics - The fourth international colloquium on graphs and optimisation (GO-IV)
Refined memorization for vertex cover
Information Processing Letters
Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover
Discrete Applied Mathematics
On the transitive closure representation and adjustable compression
Proceedings of the 2006 ACM symposium on Applied computing
Journal of Experimental Algorithmics (JEA)
A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem
Fundamenta Informaticae
Representation and Structure-Based Similarity Assessment for Agile Workflows
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
An Improved Upward Planarity Testing Algorithm and Related Applications
WALCOM '09 Proceedings of the 3rd International Workshop on Algorithms and Computation
TAMC '09 Proceedings of the 6th Annual Conference on Theory and Applications of Models of Computation
Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover
Discrete Applied Mathematics
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A graph matching method and a graph matching distance based on subgraph assignments
Pattern Recognition Letters
Improving the running time of embedded upward planarity testing
Information Processing Letters
Graph based shapes representation and recognition
GbRPR'07 Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition
Experience management: foundations, development methodology, and internet-based applications
Experience management: foundations, development methodology, and internet-based applications
Mediator-free secure policy interoperation of exclusively-trusted multiple domains
ISPEC'08 Proceedings of the 4th international conference on Information security practice and experience
Dynamic across-time measurement interpretation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Feedback vertex set in mixed graphs
WADS'11 Proceedings of the 12th international conference on Algorithms and data structures
Static detection of access anomalies in ada95
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A linear time algorithm for finding a maximal planar subgraph based on PC-trees
COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
Constraint bipartite vertex cover: simpler exact algorithms and implementations
Journal of Combinatorial Optimization
Quotient geometric crossovers and redundant encodings
Theoretical Computer Science
Theoretical Computer Science
A Generalization of the Assignment Problem, and its Application to the Rank Aggregation Problem
Fundamenta Informaticae
A symbol spotting approach in graphical documents by hashing serialized graphs
Pattern Recognition
A framework for load balancing of tensor contraction expressions via dynamic task partitioning
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
A Randomized Parallel Three-Dimensional Convex Hull Algorithm for Coarse-Grained Multicomputers
Theory of Computing Systems
Hi-index | 0.01 |