Institut for Datalogi

• Udgivet

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

  Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

• Udgivet

  Trust in Event Structures

  Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review

• Udgivet

  To Dexter - A Tribute from Aarhus

  Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling

Vis alle (110) »

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

  Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn

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

  Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn

• Gödel Prize (Ekstern organisation)

  Aktivitet: Medlemsskab - typer › Medlemskab af udvalg, råd og nævn

Vis alle (61) »