Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Bit-Vector Algorithms for Binary Constraint Satisfaction and Subgraph Isomorphism
Journal of Experimental Algorithmics
Theoretical Computer Science
Preface to the Special Issue “SI: Satisfiability Modulo Theories”
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Incrementally Closing Octagons
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Strategic Pricing in Next-Hop Routing With Elastic Demands
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Noisy Corruption Detection
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Tight Lower Bounds for the Workflow Satisfiability Problem Based on the Strong Exponential Time Hypothesis
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Global K-Level Crossing Reduction
Journal of Graph Algorithms and Applications
Geometry
Computer Science Applications
Computer Science
Mathematics
Computational Theory
Theoretical Computer Science
Topology
An FPT Algorithm for Edge Subset Feedback Edge Set
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Multimodal Recognition of Reading Activity in Transit Using Body-Worn Sensors
ACM Transactions on Applied Perception
Theoretical Computer Science
Computer Science
Experimental
Cognitive Psychology
Depth Artifacts Caused by Spatial Interlacing in Stereoscopic 3D Displays
ACM Transactions on Applied Perception
Theoretical Computer Science
Computer Science
Experimental
Cognitive Psychology
‹
127
128
129
130
131
132
133
›
