Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modeling Adversaries in a Logic for Security Protocol Analysis
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Algorithms for Game Metrics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Modelling Probabilistic Wireless Networks
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Guarded Second-Order Logic, Spanning Trees, and Network Flows
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Grasping the Gap Between Blocking and Non-Blocking Transactional Memories
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
All Linear-Time Congruences for Familiar Operators
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Scalability Approaches for Causal Multicast: A Survey
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
A Distributed Power Sharing Framework Among Households in Microgrids: A Repeated Game Approach
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Point-Separable Classes of Simple Computable Planar Curves
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
‹
114
115
116
117
118
119
120
›
