Electronic Proceedings in Theoretical Computer Science

ISSNs: 2075-2180, 2075-2180

Open Publishing Association, Australia

ISI indexed (2013): ISI indexed no, Web of Science (2017): Indexed yes

Indexed in DOAJ

Central database

Journal

  1. 2017
  2. Published

    A gentle introduction to epistemic planning: The DEL approach. / Bolander, Thomas.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 1-22.

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

  3. Published

    Cooperative epistemic multi-agent planning for implicit coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert; Nebel, Bernhard.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 75-90.

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

  4. 2015
  5. Published

    Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. / ter Beek, Maurice H. ; Legay, Axel; Lluch Lafuente, Alberto; Vandin, Andrea.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 182, 2015, p. 56-70.

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

  6. 2013
  7. Published

    How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games. / Bulling, Nils; Goranko, Valentin.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 112, 2013, p. 33-41.

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

  8. 2011
  9. Published

    A Stochastic Broadcast Pi-Calculus. / Song, Lei; Nielson, Flemming; Nielsen, Bo Friis.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 57, No. Proc. QAPL 2011, 2011, p. 74-88.

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

Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word