Institut for Datalogi

• Udgivet

  Carl Adam Petri: a tribute from Aarhus

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

• Udgivet

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

  Publikation: Bog/antologi/afhandling/rapport › Rapport

• Udgivet

  Trust in Event Structures

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

Vis alle (111) »

• 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) »