Jensen, Kurt, 1950-....

Jensen, Kurt

Jensen, K. (Kurt), 1950-

Jensen, K.

Jensen, Kurt f. 1950

Kurt Jensen (datalog) norsk ingeniør og informatiker

Jensen, K. (Kurt)

Kurt Jensen norsk ingeniør og informatiker

VIAF ID: 233490753 (Personal)

Permalink: http://viaf.org/viaf/233490753

Preferred Forms

200 _ | ‎‡a Jensen‏ ‎‡b Kurt‏ ‎‡f 1950-....‏
100 1 _ ‎‡a Jensen, K.‏
100 1 _ ‎‡a Jensen, K.‏ ‎‡q (Kurt)‏
100 1 _ ‎‡a Jensen, K.‏ ‎‡q (Kurt),‏ ‎‡d 1950-‏
100 1 _ ‎‡a Jensen, K.‏ ‎‡q (Kurt),‏ ‎‡d 1950-‏
100 1 _ ‎‡a Jensen, K.‏ ‎‡q (Kurt),‏ ‎‡d 1950-‏
100 1 _ ‎‡a Jensen, K.‏ ‎‡q (Kurt),‏ ‎‡d 1950-‏
100 1 _ ‎‡a Jensen, Kurt‏
100 1 _ ‎‡a Jensen, Kurt‏
100 1 _ ‎‡a Jensen, Kurt‏
100 1 _ ‎‡a Jensen, Kurt‏ ‎‡d (1950- )‏
100 1 _ ‎‡a Jensen, Kurt‏ ‎‡d (1950- ).‏
100 1 _ ‎‡a Jensen, Kurt‏ ‎‡d 1950-‏
100 1 _ ‎‡a Jensen, Kurt‏ ‎‡d f. 1950‏
100 1 _ ‎‡a Jensen, Kurt,‏ ‎‡d 1950-‏
100 1 _ ‎‡a Jensen, Kurt,‏ ‎‡d 1950-....‏
100 0 _ ‎‡a Kurt Jensen (datalog)‏ ‎‡c norsk ingeniør og informatiker‏
100 0 _ ‎‡a Kurt Jensen‏ ‎‡c norsk ingeniør og informatiker‏

4xx's: Alternate Name Forms (13)

400 1 _ ‎‡a Jensen, K.‏
400 1 _ ‎‡a Jensen, K.‏ ‎‡d 1950-‏
400 1 _ ‎‡a Jensen, Kurt‏
400 1 _ ‎‡a Jensen, Kurt,‏ ‎‡d 1950-‏
400 1 _ ‎‡a Jensen, Kurt‏ ‎‡d 1950-‏
400 0 _ ‎‡a Kurt Jensen‏
400 0 _ ‎‡a Kurt Jensen (computer scientist)‏ ‎‡c Noors informaticus‏
400 0 _ ‎‡a Kurt Jensen‏ ‎‡c Norwegian computer scientist‏
400 0 _ ‎‡a Kurt Jensen‏ ‎‡c informatico, ingegnere‏
400 0 _ ‎‡a Kurt Jensen‏ ‎‡c norsk ingeniør og informatiker‏
400 0 _ ‎‡a Kurt Jensen‏ ‎‡c norwegischer Ingenieur und Informatiker‏
400 0 _ ‎‡a Kurt Jensen‏ ‎‡c ríomheolaí Ioruach‏
400 0 _ ‎‡a كورت جنسن‏

5xx's: Related Names (2)

Works

Title	Sources
Application and theory of Petri nets 1992 : 13th international conference, Sheffield, UK, June 22-26, 1992 : proceedings
Canadian Arctic Contaminants Assessment Report
Coloured Petri nets basic concepts, analysis methods and practical use
Coloured petri nets modelling and validation of concurrent systems
Connection between Dijkstra's predicate-transformers and denotional continuation-semantics
Epsilon, a system description language
ETAPS 2004
Extended and hyper Petri nets
God transportteknikk - færre ulykker
High-level Petri nets
How to find invariants for coloured Petri nets
International symposium series
Katalog over anvendelsesorienteret forskning og efteruddannelsesaktiviteter på Roskilde Universitetscenter
A method to compare the descriptive power of different types of Petri nets
Ødsle koldkrigere & Videnskabens lyse ideer : to eksempler til belysning af forskerens arbejdsbetingelser : en projektrapport
Orienteringsteknik I
Petri net package user's manual
Petri nets and semantics of system descriptions
PN'92
Preliminary report on the meteorological measurements at Risø
Proteinmængdens indflydelse paa ungkvægets vækst
Roning
TACAS 2004
Tanglopper : illustreret nøgle til danske tanglopper (Amphipoda)
Third workshop and tutorial on practical use of Coloured Petri Nets and the CPN Tools, Ꜳrhus, Denmark, August 29-31, 2001
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
Ulykker ved laste- og lossearbeid : pakkhus, lagere, siloer m.v.
Verdensbankens globale befolkningsprognose : et projekt om matematisk modellering

Selected Co-authors

Billington, Jonathan ‎(11)
Koutny, Maciej 1958-.... ‎(10)
Kristensen, Lars Michael ‎(9)
Rozenberg, Grzegorz ‎(8)
Aalst, Wil van der ‎(8)
Podelski, Andreas ‎(7)
Donatelli, Susanna ‎(5)
Kyng, Morten ‎(4)
Vern og velferd ‎(2)
Springer-Verlag (Berlin) ‎(2)

Countries and Regions of Publication (7)

View the list below for more details.

Low

High

The flags indicate which authority file had at least some publications from the country or region:

DE - Germany (53)
NL - Netherlands (3)
DK - Denmark (3)
US - United States (1)
NC - (1)
GB - United Kingdom (1)
FR - France (1)

Record ID	Action	Time
LC\|n 91040030	add	2012-11-26T09:56:13+00:00
BIBSYS\|x90542610	delete	2012-11-27T04:00:16+00:00
NTA\|089519426	add	2012-12-19T19:11:18+00:00
BNF\|13338814	add	2012-12-19T19:11:18+00:00
SUDOC\|050163728	add	2013-01-14T22:09:03+00:00
NKC\|xx0021277	add	2013-01-14T22:09:03+00:00
ISNI\|0000000367952172	add	2013-10-13T19:17:13+00:00
NSK\|000032178	add	2013-12-12T18:02:00+00:00
DBC\|87097968499038	add	2014-04-14T18:18:00+00:00
DNB\|112795854	delete	2014-10-21T12:48:43+00:00
NUKAT\|n 95302119	add	2014-10-27T16:17:29+00:00
WKP\|Kurt_Jensen_(computer_scientist)	delete	2015-04-14T18:56:54+00:00
WKP\|Q12342483	add	2015-11-21T11:57:57.043225+00:00
DNB\|1122310188	add	2016-12-25T08:46:37.672701+00:00
BIBSYS\|90542610	add	2017-03-19T15:45:05.907284+00:00
BIBSYS\|90302302	add	2017-04-01T11:30:25.814240+00:00
PLWABN\|9810571465005606	add	2019-06-09T12:26:28.912819+00:00
NLP\|a28872332	delete	2019-07-14T16:27:39.839869+00:00
J9U\|987007444979005171	add	2020-02-02T15:55:29.571426+00:00
NLI\|002238313	delete	2020-04-12T13:46:55.614092+00:00
NII\|DA05685904	add	2020-05-10T13:44:27.069097+00:00
RERO\|vtls003424442	delete	2020-06-16T22:51:58.589264+00:00
RERO\|A003424442	add	2020-06-17T13:14:38.177793+00:00
CAOONL\|ncf12098012	add	2020-07-14T13:22:00.384219+00:00

VIAF

Virtual International Authority File

Search

Jensen, Kurt, 1950-....

Jensen, Kurt

Jensen, K. (Kurt), 1950-

Jensen, K.

Jensen, Kurt f. 1950

Kurt Jensen (datalog) norsk ingeniør og informatiker

Jensen, K. (Kurt)

Kurt Jensen norsk ingeniør og informatiker

VIAF ID: 233490753 (Personal)

Permalink: http://viaf.org/viaf/233490753

Preferred Forms

4xx's: Alternate Name Forms (13)

5xx's: Related Names (2)

Works

Selected Co-authors

Countries and Regions of Publication (7)

Publication Statistics

Publication History

Identifiers

Selected Publishers (10)

About

Personal Information

Gender : Male

Nationality or associated country:

Language:

External Links

Record Views

History of VIAF ID:233490753 (24)