Department of Computer Science

• Published

  Carl Adam Petri: a tribute from Aarhus

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Communication

• Published

  Computational Thinking — hvorfor, hvad og hvordan? Efter opdrag fra Villum Fondens bestyrelse

  Research output: Book/anthology/dissertation/report › Report › Research

• Published

  Towards Storage of Solar Energy in Photochromic Molecules: Benzannulation of the Dihydroazulene/ Vinylheptafulvene Couple

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

View all (118) »

• Logic in Computer Science, LICS'13 (External organisation)

  Activity: Membership types › Member of committee, council, board

• Privacy, Trust Management and Security, IFIPTM'13 (External organisation)

  Activity: Membership types › Member of committee, council, board

• Gödel Prize (External organisation)

  Activity: Membership types › Member of committee, council, board

View all (61) »