Algorithms and Logic

  1. 2011
  2. Published

    Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  3. Published

    Runtime analysis of the 1-ANT ant colony optimizer. / Doerr, Benjamin; Neumann, Frank; Sudholt, Dirk; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 412, No. 17, 2011, p. 1629-1644.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  4. Published

    Sharp Bounds by Probability-Generating Functions and Variable Drift. / Doerr, Benjamin; Fouz, Mahmoud; Witt, Carsten.

    Genetic and Evolutionary Computation Conference, GECCO'11. ACM, 2011. p. 2083-2090.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  5. Published

    Simplified Drift Analysis for Proving Lower Bounds in Evolutionary Computation. / Oliveto, Pietro S.; Witt, Carsten.

    In: Algorithmica, Vol. 59, No. 3, 2011, p. 369-386.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

  6. Published

    Strategic Games and Truly Playable Effectivity Functions. / Goranko, Valentin; Jamroga, Wojtek; Turrini, Paolo.

    Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011). ed. / Tumer, Yolum, Sonenberg and Stone. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  7. Published

    Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.

    Combinatorial Pattern Matching: 22nd Annual Symposium, CPM 2011 Palermo, Italy, June 27-29, 2011 Proceedings. Vol. 6661 Springer, 2011. p. 299-308 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  8. Published

    SyntaxTrain: Relieving the pain of learning syntax. / Moth, Andreas Leon Aagaard; Villadsen, Jørgen; Ben-Ari, Mordechai.

    ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  9. Published

    The dark side of Interval Temporal Logic: sharpening the undecidability border. / Bresolin, Davide; Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). 2011. p. 131-138.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  10. Published

    Theory of Randomized Search Heuristics in Combinatorial Optimization. / Witt, Carsten (Author).

    2011. 13th Annual Conference on Genetic and Evolutionary Computation, Dublin, Ireland, 12/07/11.

    Publication: ResearchSound/Visual production (digital) – Annual report year: 2011

  11. Published

    The Tree Inclusion Problem: In Linear Space and Faster. / Bille, Philip; Gørtz, Inge Li.

    In: A C M Transactions on Algorithms, Vol. 7, No. 3, 2011, p. 38.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

Previous 12 3 4 5 6 7 8 9 ...14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word