Jens Chr. Godskesen Vis

*	2009
20	EE	Jens Chr. Godskesen, Sebastian Nanz: Mobility Models and Behavioural Equivalence for Wireless Networks. COORDINATION 2009: 106-122
19	EE	Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel: Decidable Fragments of a Higher Order Calculus with Locations. Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009)
18	EE	Jens Chr. Godskesen: A Calculus for Mobile Ad-hoc Networks with Static Location Binding. Electr. Notes Theor. Comput. Sci. 242(1): 161-183 (2009)
	2007
17	EE	Jens Chr. Godskesen: A Calculus for Mobile Ad Hoc Networks. COORDINATION 2007: 132-150
16	EE	Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. Electr. Notes Theor. Comput. Sci. 194(1): 23-38 (2007)
	2006
15	EE	Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: A CPS encoding of name-passing in Higher-order mobile embedded resources. Theor. Comput. Sci. 356(3): 422-439 (2006)
	2005
14	EE	Jens Chr. Godskesen, Thomas T. Hildebrandt: Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. FSTTCS 2005: 140-151
13	EE	Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen: A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. Electr. Notes Theor. Comput. Sci. 128(2): 131-150 (2005)
	2004
12	EE	Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
11	EE	Jens Chr. Godskesen: Connectivity Testing. Formal Methods in System Design 25(1): 5-38 (2004)
	2002
10	EE	Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
	1998
9	EE	Lars Baekgaard, Jens Chr. Godskesen: Real-time event control in active databases. Journal of Systems and Software 42(3): 263-271 (1998)
	1996
8		Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. FORTE 1996: 295-309
	1995
7		Jens Chr. Godskesen: A Formal Framework for Feature Interaction with Emphasis on Testing. FIW 1995: 21-30
6	EE	Jens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). MFCS 1995: 519-528
5		Jens Chr. Godskesen, Kim Guldstrand Larsen: Synthesizing Distinguishing Formulae for Real Time Systems. Nord. J. Comput. 2(3): 338-357 (1995)
	1994
4		Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou: Automatic verification of real-tim systems using epsilon. PSTV 1994: 323-330
	1993
3	EE	Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
	1992
2	EE	Jens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. FSTTCS 1992: 302-315
1		Jens Chr. Godskesen, Kim Guldstrand Larsen: Real-Time Calculi and Expansion Theorems. NAPAW 1992: 3-12

Coauthor Index

1	Lars Baekgaard	[9]
2	Mikkel Bundgaard	[13] [15] [16] [19]
3	Karlis Cerans	[3]
4	Bjørn Haagensen	[19]
5	Michael R. Hansen	[8]
6	Thomas T. Hildebrandt	[10] [13] [14] [15] [16]
7	Hans Hüttel	[19]
8	Kim Guldstrand Larsen	[1] [2] [3] [4] [5] [6]
9	Simon Mørk	[8]
10	Sebastian Nanz	[20]
11	Brian Nielsen	[12]
12	Vladimiro Sassone	[10]
13	Robin Sharp	[8]
14	Arne Skou	[4] [12]

Colors in the list of coauthors