Jens Chr. Godskesen

	2012
28		Lei Song, Lijun Zhang, Jens Chr. Godskesen: Late Weak Bisimulation for Markov Automata CoRR abs/1202.4116: (2012)
27		Lei Song, Lijun Zhang, Jens Chr. Godskesen: The Branching Time Spectrum for Continuous-time MDPs CoRR abs/1204.1848: (2012)
	2011
26		Lei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations Meet PCTL Equivalences for Probabilistic Automata. CONCUR 2011: 108-123
25		Lei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations Meet PCTL Equivalences for Probabilistic Automata CoRR abs/1106.2181: (2011)
	2010
24		Jens Chr. Godskesen: Observables for Mobile and Wireless Broadcasting Systems. COORDINATION 2010: 1-15
23		Lei Song, Jens Chr. Godskesen: Probabilistic Mobility Models for Mobile and Wireless Networks. IFIP TCS 2010: 86-100
	2009
22		Jens Chr. Godskesen, Sebastian Nanz: Mobility Models and Behavioural Equivalence for Wireless Networks. COORDINATION 2009: 106-122
21		Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich: Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. Electr. Notes Theor. Comput. Sci. 229(2): 77-93 (2009)
20		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)
19		Jens Chr. Godskesen: A Calculus for Mobile Ad-hoc Networks with Static Location Binding. Electr. Notes Theor. Comput. Sci. 242(1): 161-183 (2009)
18		Jens Chr. Godskesen, Massimo Merro: Preface. Electr. Notes Theor. Comput. Sci. 242(2): 1 (2009)
	2007
17		Jens Chr. Godskesen: A Calculus for Mobile Ad Hoc Networks. COORDINATION 2007: 132-150
16		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		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		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		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		Jens Chr. Godskesen, Brian Nielsen, Arne Skou: Connectivity Testing Through Model-Checking. FORTE 2004: 167-184
11		Jens Chr. Godskesen: Connectivity Testing. Formal Methods in System Design 25(1): 5-38 (2004)
	2002
10		Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone: A Calculus of Mobile Resources. CONCUR 2002: 272-287
	1998
9		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		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		Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen: Timed Modal Specification - Theory and Tools. CAV 1993: 253-267
	1992
2		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] [20]
3	Karlis Cerans	[3]
4	Bjørn Haagensen	[20]
5	Michael R. Hansen (Michael Rygaard Hansen)	[8]
6	Thomas T. Hildebrandt	[10] [13] [14] [15] [16]
7	Hans Hüttel	[20] [21]
8	Morten Kühnrich	[21]
9	Kim Guldstrand Larsen (Kim G. Larsen)	[1] [2] [3] [4] [5] [6]
10	Massimo Merro	[18]
11	Simon Mørk	[8]
12	Sebastian Nanz	[22]
13	Brian Nielsen	[12]
14	Vladimiro Sassone	[10]
15	Robin Sharp	[8]
16	Arne Skou	[4] [12]
17	Lei Song	[23] [25] [26] [27] [28]
18	Lijun Zhang	[25] [26] [27] [28]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page