Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Versat: A Verified Modern SAT Solver
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Transforming Graphical System Models to Graphical Attack Models
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Online Evolution for Multi-Action Adversarial Games
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Investigation of Traffic Pattern for the Augmented Reality Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conceptual Model and System for Genre-Focused Interactive Storytelling
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improvement of the Protein–Protein Docking Prediction by Introducing a Simple Hydrophobic Interaction Model: An Application to Interaction Pathway Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Privacy-Aware and Scalable Content Dissemination in Distributed Social Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Transactional Memory for OpenMP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Planar Subgraphs Without Low-Degree Nodes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
571
572
573
574
575
576
577
›
