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 × Brazil
1 × Canada
1 × Poland
1 × Serbia
1 × The Netherlands
1 × United Kingdom
2 × Japan
Collaborated with:
G.Moser U.D.Lago C.Sternagel R.Thiemann N.Eguchi A.Schnabl
Talks about:
complex (8) order (4) analysi (3) rewrit (3) comput (3) function (2) path (2) framework (1) exponenti (1) tyrolean (1)

Person: Martin Avanzini

DBLP DBLP: Avanzini:Martin

Contributed to:

ICFP 20152015
RTA 20152015
RTA 20132013
RTA 20112011
FLOPS 20102010
RTA 20102010
RTA 20092009
FLOPS 20082008
IJCAR 20082008

Wrote 10 papers:

ICFP-2015-AvanziniLM #complexity #first-order #functional #higher-order #source code
Analysing the complexity of functional programs: higher-order meets first-order (MA, UDL, GM), pp. 152–164.
RTA-2015-AvanziniST #certification #complexity #proving #using
Certification of Complexity Proofs using CeTA (MA, CS, RT), pp. 23–39.
RTA-2013-AvanziniM #complexity #framework
A Combination Framework for Complexity (MA, GM), pp. 55–70.
RTA-2013-AvanziniM13a #complexity
Tyrolean Complexity Tool: Features and Usage (MA, GM), pp. 71–80.
RTA-2011-AvanziniEM #exponential #order #term rewriting
A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.
FLOPS-2010-AvanziniM #analysis #complexity #graph grammar
Complexity Analysis by Graph Rewriting (MA, GM), pp. 257–271.
RTA-2010-AvanziniM #complexity #runtime
Closing the Gap Between Runtime Complexity and Polytime Computability (MA, GM), pp. 33–48.
RTA-2009-AvanziniM #dependence #order #polynomial
Dependency Pairs and Polynomial Path Orders (MA, GM), pp. 48–62.
FLOPS-2008-AvanziniM #analysis #complexity
Complexity Analysis by Rewriting (MA, GM), pp. 130–146.
IJCAR-2008-AvanziniMS #analysis #automation #complexity
Automated Implicit Computational Complexity Analysis (MA, GM, AS), pp. 132–138.

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.