Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Scandinavian Thins on Top of Cake: New and Improved Algorithms for Stacking and Packing

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2013English

Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2013English

Model Checking Boot Code From AWS Data Centers

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2020English

Generating, Sampling and Counting Subclasses of Regular Tree Languages

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2012English

Validating the Knuth-Morris-Pratt Failure Function, Fast and Online

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2013English

Nash Equilibria and the Price of Anarchy for Flows Over Time

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2010English

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Computing Parameters of Sequence-Based Dynamic Graphs

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2018English

Comparing Representations for Function Spaces in Computable Analysis

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2017English

Local Approximability of Max-Min and Min-Max Linear Programs

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy