Equivalence relations, invariants, and normal forms
SIAM Journal on Computing
ACM SIGACT News
A zero-one law for logic with a fixed-point operator
Information and Control
Definability by constant-depth polynomial-size circuits
Information and Control
Journal of the ACM (JACM)
Expected computation time for Hamiltonian path problem
SIAM Journal on Computing
Algorithms in the world of bounded resources
A half-century survey on The Universal Turing Machine
On Matijasevitch's nontraditional approach to search problems
Information Processing Letters
Journal of Computer and System Sciences
Proceedings of the 18th international colloquium on Automata, languages and programming
Randomizing reductions of search problems
SIAM Journal on Computing
ACM SIGACT News
Matrix Transformation is Complete for the Average Case
SIAM Journal on Computing
Evolving algebras 1993: Lipari guide
Specification and validation methods
The bakery algorithm: yet another specification and verification
Specification and validation methods
Group membership protocol: specification and verification
Specification and validation methods
Equivalence is in the eye of the beholder
Theoretical Computer Science
Information and Computation - Special issue: logic and computational complexity
A variation on the zero-one law
Information Processing Letters
The complexity of query reliability
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Monadic simultaneous rigid E-unification
Theoretical Computer Science
Logic with equality: partisan corroboration and shifted pairing
Information and Computation
Existential second-order logic over strings
Journal of the ACM (JACM)
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
Inadequacy of computable loop invariants
ACM Transactions on Computational Logic (TOCL)
The value, if any, of decidability
Current trends in theoretical computer science
Platonism, constructivism, and compuer proofs vs. proofs by hand
Current trends in theoretical computer science
Herbrand's theorem and equational reasoning: problems and solutions
Current trends in theoretical computer science
From invariants to canonization
Current trends in theoretical computer science
Current trends in theoretical computer science
The underlying logic of hoare logic
Current trends in theoretical computer science
Technical communications: Critiquing a critique of Hoare's programming logics
Communications of the ACM
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Syntax vs. Semantics on Finite Structures
Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Computation Theory and Logic, In Memory of Dieter Rödding
Monadic Simultaneous Rigid E-Unification and Related Problems
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Proceedings of the Symposium on Logical Foundations of Computer Science: Logic at Botik '89
The Decidability of Simultaneous Rigid E-Unification with One Variable
RTA '98 Proceedings of the 9th International Conference on Rewriting Techniques and Applications
Using Abstract State Machines at Microsoft: A Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Partially Ordered Runs: A Case Study
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Abstract State Machines and Computationally Complete Query Languages
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Investigating Java Concurrency Using Abstract State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
On the Reduction Theory for Average Case Complexity
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Choiceless Polynominal Time Computation and the Zero-One Law
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Background, Reserve, and Gandy Machines
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Algebraic Operational Semantics and Modula-2
CSL '87 Proceedings of the 1st Workshop on Computer Science Logic
Algebraic Operational Semantics and Occam
CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
Equivalence relations, invariants, and normal forms
Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity
Spectra of Monadic Second-Order Formulas with One Unary Function
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Can message buffers be characterized in linear temporal logic?
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Logician in the Land of OS: Abstract State Machines in Microsoft
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Abstract state machines capture parallel algorithms
ACM Transactions on Computational Logic (TOCL)
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Ordinary interactive small-step algorithms, I
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science - Formal methods for components and objects
Can abstract state machines be useful in language theory?
Theoretical Computer Science
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic (TOCL)
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic (TOCL)
Membership Problem for the Modular Group
SIAM Journal on Computing
Program termination and well partial orderings
ACM Transactions on Computational Logic (TOCL)
Abstract state machines capture parallel algorithms: Correction and extension
ACM Transactions on Computational Logic (TOCL)
DKAL: Distributed-Knowledge Authorization Language
CSF '08 Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium
Algebras of feasible functions
SFCS '83 Proceedings of the 24th Annual Symposium on Foundations of Computer Science
SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Matrix decomposition problem is complete for the average case
SFCS '90 Proceedings of the 31st Annual Symposium on Foundations of Computer Science
One Useful Logic That Defines Its Own Truth
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Database Query Processing Using Finite Cursor Machines
Theory of Computing Systems
Operational Semantics for DKAL: Application and Analysis
TrustBus '09 Proceedings of the 6th International Conference on Trust, Privacy and Security in Digital Business
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Partial updates exploration II
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Content-dependent chunking for differential compression, the local maximum approach
Journal of Computer and System Sciences
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Pillars of computer science
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic (TOCL)
Exact exploration and hanging algorithms
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |