Kurt Jensen

Public CV

Fastnet+4529905612
E-mailkjensencs.audk

Åbogade 34, 5342, 219
8200 Aarhus N
Danmark

Publikationer pr. år

26 Konferencebidrag i proceedings
14 Working paper
11 Antologi
9 Tidsskriftartikel
Mere

11 resultater

Filter

2013
Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC
Jensen, K. (Redaktør), Aalst, W. M. V. D. (Redaktør), Balbo, G. (Redaktør), Koutny, M. (Redaktør) & Wolf, K. (Redaktør), 10 maj 2013, Springer VS. 423 s. (Lecture Notes in Computer Science, Bind 7480).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
2012
Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC
Jensen, K. (Redaktør), Donatelli, S. (Redaktør) & Kleijn , J. (Redaktør), 2012, Springer. 293 s. (Lecture Notes in Computer Science, Bind 6900).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC
Jensen, K. (Redaktør), Aalst, W. M. V. D. (Redaktør), Marsan, M. A. (Redaktør), Franceschinis, G. (Redaktør), Kleijn , J. (Redaktør) & Kristensen, L. M. (Redaktør), 2012, Springer. 365 s. (Lecture Notes in Computer Science, Bind 7400).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
2010

Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC
Jensen, K. (Redaktør), Donatelli, S. (Redaktør) & Koutny, M. (Redaktør), 2010, Springer. 224 s. (Lecture Notes in Computer Science, Bind 6550).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
2009

Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems
Jensen, K. (Redaktør) & Wil M.P. van der, A. (Redaktør), 2009, Springer. 295 s. (Lecture Notes in Computer Science, Bind 5460).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC
Jensen, K. (Redaktør), Billington, J. (Redaktør) & Koutny, M. (Redaktør), 2009, Springer. 255 s. (Lecture Notes in Computer Science, Bind 5800).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
2008

Transactions on Petri Nets and Other Models of concurrency I: ToPNoC
Jensen, K. (Redaktør), Aalst, W. M. P. V. D. (Redaktør) & Billington, J. (Redaktør), 2008, Springer. 249 s. (Lecture Notes in Computer Science, Bind 5100).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
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. (Redaktør) & Podelski, A. (Redaktør), 2004, Berlin: Springer. 608 s. (Lecture Notes in Computer Science, Bind 2988).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
1992
Application and Theory of Petri Nets
Jensen, K. (Redaktør), 1992, Springer. 398 s. (Lecture Notes in Computer Science, Bind 616).
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
1991
High-level Petri Nets: Theory and Applications
Jensen, K. (Redaktør) & Rozenberg, G. (Redaktør), 1991, London, UK: Springer. 724 s.
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
1985

6th European Workshop on Applications and Theory of Petri Nets. Proceedings: Held in Espoo, Finland in June 1985
Jensen, K. (Redaktør), 1985
Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

Kurt Jensen

Publikation

Søgeresultater