Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
Synthesizing Data-Centric Models From Business Process Models
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Pebble Games, Proof Complexity, and Time-Space Trade-Offs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Modal μ-Calculus With Independent Product
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Towards Bandwidth and Energy Optimization in IEEE 802.15.4 Wireless Sensor Networks
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
A Dependent Nominal Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Optimizing Nonzero-Based Sparse Matrix Partitioning Models via Reducing Latency
Journal of Parallel and Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Artificial Intelligence
Software
Linearizability With Ownership Transfer
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Formalization of Abstract State Transition Systems for SAT
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Straight-Line Instruction Sequence Completeness for Total Calculation on Cancellation Meadows
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
‹
121
122
123
124
125
126
127
›
