Go to the homepage of Department of Computer Science (cs.au.dk)

Aarhus Universitet

{$plugin.au_config.secondaryLogoTexten}

Department of Computer Science

Navigation

MAINLY FOR

Hovedmenu

About

Kurt Jensen

Kurt Jensen

Institut for Datalogi
Åbogade 34
bygning 5346, lokale 237
8200, Aarhus N
Danmark
kjensen@cs.au.dk
Direkte telefon: 87156129
Mobiltelefon: 29905612

Forskningsområder

Institutleder for Institut for Datalogi

Sådan finder du mit kontor (press car-icon in upper left corner to get driving instructions)

Leder af CPN Gruppen

Petri Net papirer

Citationer

Seneste publikationer

Udgivet
The sweep-line state space exploration method
Publikation: Forskning - peer review › Tidsskriftartikel
Udgivet
Transactions on Petri Nets and Other Models of Concurrency IV : ToPNoC
Publikation: Forskning › Antologi
Udgivet
Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools : Aarhus, Denmark, October 19-21, 2009
Publikation: Forskning › Working paper

Vis alle (79) »

Seneste aktiviteter

33 rd International Conference on Applications and Theory of Petri Nets and Concurrency
Aktivitet: Konference/workshop/kursus/seminar › Organisation af og deltagelse i konference
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Aktivitet: Konference/workshop/kursus/seminar › Organisation af og deltagelse i konference
Arrangør og programkomiteformand for Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
Aktivitet: Konference/workshop/kursus/seminar › Organisation af og deltagelse i konference

Vis alle (21) »

Seneste aktiviteter og konferencer

Indlæser lokationer...

+–Vis alleVeje Hybrid Satellit Terræn

ID: 10624

Department of Computer Science
Aarhus University
Åbogade 34
DK-8200 Aarhus N
Denmark

Email: cs@cs.au.dk
Tel: +45 8715 4112
Fax: +45 8715 4113

CVR no: 31119103
P no: 1007674542
EAN no: 5798000419841
Budget code: 55245

© Comments to web editor