Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
The Derivational Complexity Induced by the Dependency Pair Method
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Block Structure vs Scope Extrusion: Between Innocence and Omniscience
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Featherweight VeriFast
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Expressive Path Queries on Graph With Data
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Weighted Logics for Nested Words and Algebraic Formal Power Series
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Toward Sustainable Data Centers: A Comprehensive Energy Management Strategy
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Random Number Generation System Improving Simulations of Stochastic Models of Neural Cells
Computing (Vienna/New York)
Numerical Analysis
Computational Theory
Computer Science Applications
Computational Mathematics
Mathematics
Theoretical Computer Science
Software
Metapholio: A Mobile App for Supporting Collaborative Note Taking and Reflection in Teacher Education
Technology, Knowledge and Learning
Human-Computer Interaction
Engineering
Computer Science Applications
Mathematics
Computational Theory
Education
Theoretical Computer Science
Graph Logics With Rational Relations
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Relation Lifting, With an Application to the Many-Valued Cover Modality
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
‹
120
121
122
123
124
125
126
›
