Skip to search formSkip to main contentSemantic Scholar
You are currently offline. Some features of the site may not work correctly.
Ludwig Staiger
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
We consider Turing machines which perform infinite sequences of runs, where the (finite) number of computation steps in each run… Expand
Is this relevant?
2016
2016
Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs, Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza, TR16… Expand
Is this relevant?
2012
2012
Abstract Synthetic pattern generation procedures have various applications, and a number of approaches (fractals, L-systems, etc… Expand
Is this relevant?
Review
2011
Review
2011
Fakahatchee Strand Preserve State Park is located in Collier County at the extreme southwestern corner of Florida, close to… Expand
Is this relevant?
2011
2011
The subword complexity of an infinite word ξ is a function f (ξ, n) returning the number of finite subwords (factors, infixes) of… Expand
Is this relevant?
2010
2010
We define an action-based extension of the branching-time temporal logic CTL which allows path quantifiers to be restricted by… Expand
Is this relevant?
2008
2008
The main topic of the present work are universal machines for plain and prefix-free description complexity and their domains. It… Expand
Is this relevant?
2008
2008
This is an extended abstract presenting new results on the topological complexity of omega-powers (which are included in a paper… Expand
Is this relevant?
2008
2008
Titchenerpsilas T-complexity is a computable complexity measure for finite strings with practical applications in a number of… Expand
Is this relevant?
Review
2005
Review
2005
EU-US trade disputes have recently caught much attention, because they have involved lasting non-compliance coupled with WTO… Expand
Is this relevant?