Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Modeldrevet systemudvikling
- Modellering og validering af distribuerede systemer
- Farvede Petri Net
- Simulations- og analyseværktøjer
- Eksperimentel systemudvikling
- Kapacitetsplanlægning
- Programmeringssprog og formelle modeller
- Softwarespecifikation og -verifikation
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Kurt Jensen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Jensen, K. & Kristensen, L. M., 2009, Springer. 384 s.Publikation: Bog/antologi/rapport › Bog › Forskning
1213 Citationer (Scopus) -
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts
Jensen, K., 1992, Springer. 234 s. (Monographs in theoretical computer science: an EATCS series).Publikation: Bog/antologi/rapport › Bog › Forskning
-
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods
Jensen, K., 1995, Springer. 172 s. (Monographs in theoretical computer science: an EATCS series).Publikation: Bog/antologi/rapport › Bog › Forskning
-
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use
Jensen, K., 1997, Springer. 265 s. (Monographs in theoretical computer science: an EATCS series).Publikation: Bog/antologi/rapport › Bog › Forskning
-
Coloured Petri Nets and the Invariant Method
Jensen, K., 1981, I: Theoretical Computer Science. 14, 3, s. 317-336 19 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
373 Citationer (Scopus)
Aktiviteter
-
Styrekomite for det Internationale Petri Net Samfund
Jensen, K. (Medlem)
1 jul. 1985 → …Aktivitet: Præsentationer, medlemskaber, ansættelser, ejerskab og andre aktiviteter › Medlem af udvalg, råd og nævn
-
Transactions on Petri Nets and Other Modles of Concurrency (Tidsskrift)
Jensen, K. (Redaktør)
1 dec. 2006 → …Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Redaktør af tidsskrift › Formidling
-
International Journal on Software Tools for Technology Transfer (Tidsskrift)
Jensen, K. (Redaktør)
1 jan. 1997 → 31 dec. 1997Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Redaktør af tidsskrift › Formidling
-
33 rd International Conference on Applications and Theory of Petri Nets and Concurrency
Jensen, K. (Deltager)
20 jun. 2011 → 24 jun. 2011Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference
-
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Jensen, K. (Deltager)
21 jun. 2010 → 25 jun. 2010Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference