Algorithms and Logic

  1. Research › Journal article
  2. Published

    Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Journal of Universal Computer Science, Vol. 18, No. 20, 2012, p. 2798-2831.

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

  3. Published

    Interval Temporal Logics : A Journey. / Monica, Dario Della; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: European Association for Theoretical Computer Science. Bulletin, Vol. 105, 2011, p. 73-99.

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

  4. Published

    Ant Colony Optimization and the minimum spanning tree problem. / Neumann, Frank; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 25, 2010, p. 2406-2413.

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

  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

    Runtime analysis of a binary particle swarm optimizer. / Sudholt, Dirk; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 21, 2010, p. 2084-2100.

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

  7. Published

    Improving Multi-Agent Systems Using Jason. / Vester, Steen; Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 61, No. 4, 2011, p. 297-307.

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

  8. Research › Conference article
  9. Published

    Two-sorted Point-Interval Temporal Logics. / Balbiani, Philippe; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 278, No. 1, 2011, p. 31-45.

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

  10. Published

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof.

    In: Information and Computation, Vol. 208, No. 5, 2010, p. 433-449.

    Publication: Research - peer-reviewConference article – Annual report year: 2010

  11. Published

    Preface. / Bolander, Thomas; Braüner, Torben.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.

    Publication: ResearchConference article – Annual report year: 2011

  12. Published

    Terminating Tableau Calculi for Hybrid Logics extending K. / Bolander, Thomas; Blackburn, Patrick.

    In: Electronical Notes in Theoretical Computer Science, Vol. 231, No. 25 March 2009, 2009, p. 21-39.

    Publication: Research - peer-reviewConference article – Annual report year: 2009

Previous 1 2 3 4 5 6 7 8 ...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