Theoretical Computer Science

Publikation

Publikationer pr. år 2007 2013 2014 2015 2016 2017 2018 2019 2022 2024

• 203 Konferencebidrag i proceedings
• 94 Tidsskriftartikel
• 36 Konferenceartikel
• 16 Ph.d.-afhandling
• 57 Mere
  • 13 Bidrag til bog/antologi
  • 9 Rapport
  • 9 Paper
  • 4 Preprint
  • 3 Encyclopædiartikel
  • 3 Konferenceabstrakt til konference
  • 2 Antologi
  • 2 Bidrag til avis - Kronik
  • 2 Bidrag til avis - Avisartikel
  • 2 Andet bidrag
  • 1 Bog
  • 1 Forord/efterskrift
  • 1 Poster
  • 1 Bidrag til avis - Kommentar/debat
  • 1 Leder
  • 1 Udgivelser på nettet - Net-publikation
  • 1 Patent
  • 1 Working paper

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2016

  Representing Session Types

  Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 s.

  Publikation: Andet › Andet bidrag › Forskning

  Åben adgang

  Fil

  • Session Types 100%
  • Operational Semantics 100%
  • Calculus 50%
  • Metalanguage 50%
  • Network Routing 50%
• 2015

  M3: Matrix Multiplication on MapReduce

  Silvestri, F. & Ceccarello, M., 2015

  Publikation: Andet › Andet bidrag › Forskning

  • Matrix multiplication 100%
  • MapReduce 100%
  • Matrix Multiplication 100%
  • Map-Reduce 100%
  • Multi-round 50%