skip to main content
10.1145/2603088.2616161acmconferencesArticle/Chapter ViewAbstractPublication PageslicsConference Proceedingsconference-collections
research-article

The Ackermann award 2014

Published: 14 July 2014 Publication History

Abstract

Report of the Jury for the 2014 Ackermann Award.

References

[1]
H. L. Bodlaender. NC-algorithms for graphs with small treewidth. In Graph-Theoretic Concepts in Computer Science, 14th International Workshop, volume 344 of Lecture Notes in Computer Science, pages 1--10. Springer, 1989.
[2]
B. Courcelle. Graph rewriting: An algebraic and logic approach. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pages 193--242. Elsevier, 1990.
[3]
G. Gottlob, N. Leone, and F. Scarcello. Computing LOGCFL certificates. Theor. Comput. Sci., 270(1-2):761--777, 2002.
[4]
E. Wanke. Bounded tree-width and LOGCFL. J. Algorithms, 16(3):470--491, 1994.

Index Terms

  1. The Ackermann award 2014

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    CSL-LICS '14: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
    July 2014
    764 pages
    ISBN:9781450328869
    DOI:10.1145/2603088
    • Program Chairs:
    • Thomas Henzinger,
    • Dale Miller
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

    Sponsors

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 14 July 2014

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Ackermann award
    2. EACSL
    3. best dissertation

    Qualifiers

    • Research-article

    Conference

    CSL-LICS '14
    Sponsor:

    Acceptance Rates

    CSL-LICS '14 Paper Acceptance Rate 74 of 212 submissions, 35%;
    Overall Acceptance Rate 215 of 622 submissions, 35%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 103
      Total Downloads
    • Downloads (Last 12 months)1
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 28 Feb 2025

    Other Metrics

    Citations

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media