Foundations of Computation

Research output

Research output per year 2014 2014 2015 2016 2017 2018 2019 2020 2021 2023

• 608 Conference contribution
• 367 Article
• 17 Chapter
• 15 Working paper
• 51 More
  • 12 Book
  • 12 Paper
  • 7 Editorial
  • 6 Chapter (peer-reviewed)
  • 2 Anthology
  • 2 Commissioned report
  • 2 Comment/debate
  • 2 Review article
  • 2 Preprint
  • 1 Foreword/postscript
  • 1 Abstract
  • 1 Other contribution
  • 1 Doctoral Thesis

Research output per year

Research output per year

Search results

• 2018

  45th International Colloquium on Automata, Languages, and Programming: ICALP 2018, Prague, Czech Republic, July 9-13, 2018

  Chatzigiannakis, I. (ed.), Kaklamanis, C. (ed.), Marx, D. (ed.) & Sannella, D. (ed.), Jul 2018, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. 2236 p. (LIPIcs)

  Research output: Book/Report › Anthology

  Open Access

  File
• 2017

  POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

  Castagna, G. & Gordon, A., Jan 2017, New York, NY, USA: ACM. 922 p.

  Research output: Book/Report › Anthology