Kurt Jensen

Public CV

Phone+4529905612
Emailkjensencs.audk

Åbogade 34, 5342, 219
8200 Aarhus N
Denmark

Research activity per year

26 Article in proceedings
14 Working paper
11 Anthology
9 Journal article
More

11 results

Filter

2013
Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC
Jensen, K. (Editor), Aalst, W. M. V. D. (Editor), Balbo, G. (Editor), Koutny, M. (Editor) & Wolf, K. (Editor), 10 May 2013, Springer VS. 423 p. (Lecture Notes in Computer Science, Vol. 7480).
Research output: Book/anthology/dissertation/report › Anthology › Research
2012
Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC
Jensen, K. (Editor), Donatelli, S. (Editor) & Kleijn , J. (Editor), 2012, Springer. 293 p. (Lecture Notes in Computer Science, Vol. 6900).
Research output: Book/anthology/dissertation/report › Anthology › Research
Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC
Jensen, K. (Editor), Aalst, W. M. V. D. (Editor), Marsan, M. A. (Editor), Franceschinis, G. (Editor), Kleijn , J. (Editor) & Kristensen, L. M. (Editor), 2012, Springer. 365 p. (Lecture Notes in Computer Science, Vol. 7400).
Research output: Book/anthology/dissertation/report › Anthology › Research
2010

Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC
Jensen, K. (Editor), Donatelli, S. (Editor) & Koutny, M. (Editor), 2010, Springer. 224 p. (Lecture Notes in Computer Science, Vol. 6550).
Research output: Book/anthology/dissertation/report › Anthology › Research
2009

Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems
Jensen, K. (Editor) & Wil M.P. van der, A. (Editor), 2009, Springer. 295 p. (Lecture Notes in Computer Science, Vol. 5460).
Research output: Book/anthology/dissertation/report › Anthology › Research
Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC
Jensen, K. (Editor), Billington, J. (Editor) & Koutny, M. (Editor), 2009, Springer. 255 p. (Lecture Notes in Computer Science, Vol. 5800).
Research output: Book/anthology/dissertation/report › Anthology › Research
2008

Transactions on Petri Nets and Other Models of concurrency I: ToPNoC
Jensen, K. (Editor), Aalst, W. M. P. V. D. (Editor) & Billington, J. (Editor), 2008, Springer. 249 p. (Lecture Notes in Computer Science, Vol. 5100).
Research output: Book/anthology/dissertation/report › Anthology › Research
2004
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004,Barcelona, Spain, March 29 - April 2, 2004 : proceedings
Jensen, K. (Editor) & Podelski, A. (Editor), 2004, Berlin: Springer. 608 p. (Lecture Notes in Computer Science, Vol. 2988).
Research output: Book/anthology/dissertation/report › Anthology › Research
1992
Application and Theory of Petri Nets
Jensen, K. (Editor), 1992, Springer. 398 p. (Lecture Notes in Computer Science, Vol. 616).
Research output: Book/anthology/dissertation/report › Anthology › Research
1991
High-level Petri Nets: Theory and Applications
Jensen, K. (Editor) & Rozenberg, G. (Editor), 1991, London, UK: Springer. 724 p.
Research output: Book/anthology/dissertation/report › Anthology › Research
1985

6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985
Jensen, K. (Editor), 1985
Research output: Book/anthology/dissertation/report › Anthology › Research

Kurt Jensen

Research output

Search results