BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Austria
1 × Brazil
1 × Norway
1 × Serbia
Collaborated with:
G.Moser J.G.Simonsen M.Avanzini
Talks about:
complex (5) deriv (4) depend (3) induc (2) pair (2) interpret (1) framework (1) implicit (1) quadrat (1) multipl (1)

Person: Andreas Schnabl

DBLP DBLP: Schnabl:Andreas

Contributed to:

CSL 20112011
RTA 20112011
RTA 20092009
IJCAR 20082008
RTA 20082008

Wrote 5 papers:

CSL-2011-SchnablS #complexity #runtime
The Exact Hardness of Deciding Derivational and Runtime Complexity (AS, JGS), pp. 481–495.
RTA-2011-MoserS #complexity #dependence #framework #multi #proving #recursion #termination
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity (GM, AS), pp. 235–250.
RTA-2009-MoserS #complexity #dependence
The Derivational Complexity Induced by the Dependency Pair Method (GM, AS), pp. 255–269.
IJCAR-2008-AvanziniMS #analysis #automation #complexity
Automated Implicit Computational Complexity Analysis (MA, GM, AS), pp. 132–138.
RTA-2008-MoserS #polynomial #proving #using
Proving Quadratic Derivational Complexities Using Context Dependent Interpretations (GM, AS), pp. 276–290.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.