Combining constructive and equational geometric constraint-solving techniques
ACM Transactions on Graphics (TOG)
The Timed Asynchronous Distributed System Model
IEEE Transactions on Parallel and Distributed Systems
A simplified correctness proof for a well-known algorithm computing strongly connected components
Information Processing Letters
A Recursive Algorithm for On-line Clustering Obstacles Cluttered in Dynamic Environments
Journal of Intelligent and Robotic Systems
Journal of Logic, Language and Information
A Symbolic Algorithms for Maximum Flow in 0-1 Networks
Formal Methods in System Design
Dynamic ordering for a parallel block-Jacobi SVD algorithm
Parallel Computing - Parallel matrix algorithms and applications
Computational properties of metaquerying problems
ACM Transactions on Computational Logic (TOCL)
Reachability Analysis of Term Rewriting Systems with Timbuk
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Type-Directed Partial Evaluation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Efficient Decision Procedures for Model Checking of Linear Time Logic Properties
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Discovering Repetitive Expressions and Affinities from Anthologies of Classical Japanese Poems
DS '01 Proceedings of the 4th International Conference on Discovery Science
Declarative definition of group indexed data structures and approximation of their domains
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Bounding Component Behavior via Protocols
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Formal Verification of Digital Systems
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Fundamenta Informaticae - Concurrency specification and programming
Constraint contextual rewriting
Journal of Symbolic Computation - Special issue: First order theorem proving
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
Journal of Functional Programming
Algorithms with polynomial interpretation termination proof
Journal of Functional Programming
On the complexity of inducing categorical and quantitative association rules
Theoretical Computer Science
Systematic functional coverage metric synthesis from hierarchical temporal event relation graph
Proceedings of the 41st annual Design Automation Conference
An algorithm for analysis of images in spatial information systems
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the 13th Australasian workshop on combinatorial algorithms
Two-level languages for program optimization
Theoretical Computer Science - Mathematical foundations of programming semantics
Information Processing Letters
Embeddings of k-connected graphs of pathwidth k
Discrete Applied Mathematics - Structural decompositions, width parameters, and graph labelings (DAS 5)
A Coarse-Grained multicomputer algorithm for the detection of repetitions
Information Processing Letters
Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Generalized structured programs and loop trees
Science of Computer Programming
Local properties of geometric graphs
Computational Geometry: Theory and Applications
Shallow confluence of conditional term rewriting systems
Journal of Symbolic Computation
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of programs with half-duplex communication
Information and Computation
A Coarse-Grained Multicomputer algorithm for the detection of repetitions
Information Processing Letters
Generating Petri net state spaces
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Recursion and parallel algorithms in geometric modeling problems
Cybernetics and Systems Analysis
Service matchmaking revisited: An approach based on model checking
Web Semantics: Science, Services and Agents on the World Wide Web
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Combinatorics on update digraphs in Boolean networks
Discrete Applied Mathematics
Automatic decidability and combinability
Information and Computation
Selected topics in computational complexity of membrane systems
Computation, cooperation, and life
Upper bounds on the computational power of an optical model of computation
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Asynchronous P systems with active membranes
Theoretical Computer Science
A Measurement Framework for Evaluating Emulators for Digital Preservation
ACM Transactions on Information Systems (TOIS)
P systems with active membranes operating under minimal parallelism
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Computer Science Review
Confluence in data reduction: bridging graph transformation and kernelization
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Work-optimal two-phase routing in a sparse optical torus
Proceedings of the 13th International Conference on Computer Systems and Technologies
Journal of Systems and Software
Runtime verification of microcontroller binary code
Science of Computer Programming
Hi-index | 0.00 |