Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Computational Theory
The Poset of Closures as a Model of Changing Databases
Order
Algebra
Geometry
Number Theory
Computational Theory
Mathematics
Topology
Fairness and Hyperfairness
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Editorial: It’s All About Change
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Sublogarithmic Distributed MIS Algorithm for Sparse Graphs Using Nash-Williams Decomposition
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
On the Computability Power and the Robustness of Set Agreement-Oriented Failure Detector Classes
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
On Modern Clause-Learning Satisfiability Solvers
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
On the Scope of Averaging for Frankl’s Conjecture
Order
Algebra
Geometry
Number Theory
Computational Theory
Mathematics
Topology
Special Issue on PODC 2007
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
The Interactive Workspaces Project: Experiences With Ubiquitous Computing Rooms
IEEE Pervasive Computing
Computational Theory
Software
Computer Science Applications
Mathematics
‹
462
463
464
465
466
467
468
›