Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
A Fixed-Point Theorem in a Category of Compact Metric Spaces
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Denotational Semantics of a Parallel Object-Oriented Language
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Noninterference for Concurrent Programs and Thread Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Arithmetic Meyer Sets and Finite Automata
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Asynchronous Approximate Agreement
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
The Complexity of Clique Graph Recognition
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Simulation of the Nested Relational Algebra by the Flat Relational Algebra, With an Application to the Complexity of Evaluating Powerset Algebra Expressions
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
‹
886
887
888
889
890
891
892
›