Søren Christensen

	2006
32		Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu: Tool Support for Estimating the Memory Usage of Mobile Phone Software. STTT 8(6): 531-545 (2006)
	2004
31		Søren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu: Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. ISoLA (Preliminary proceedings) 2004: 304-310
30		Lars Michael Kristensen, Søren Christensen: Implementing Coloured Petri Nets Using a Functional Programming Language. Higher-Order and Symbolic Computation 17(3): 207-243 (2004)
	2003
29		Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen: CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN 2003: 450-462
28		Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber: The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN 2003: 483-505
27		Søren Christensen, Jens Bæk Jørgensen: Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Lectures on Concurrency and Petri Nets 2003: 402-412
	2002
26		Jens Bæk Jørgensen, Søren Christensen: Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149
	2001
25		Søren Christensen, Lars Michael Kristensen, Thomas Mailund: Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120
24		Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen: CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN 2001: 71-80
23		Søren Christensen, Lars Michael Kristensen, Thomas Mailund: A Sweep-Line Method for State Space Exploration. TACAS 2001: 450-464
22		Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Søren Christensen, Kurt Jensen: CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. TACAS 2001: 574-577
	2000
21		Søren Christensen, Laure Petrucci: Modular Analysis of Petri Nets. Comput. J. 43(3): 224-242 (2000)
	1998
20		Carla Capellmann, Søren Christensen, Uwe Herzog: Visualising the Behaviour of Intelligent Networks. Services and Visualization: Towards User-Friendly Design 1998: 174-189
19		Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras: Analysing a Mechatronic System with Coloured Petri Nets. STTT 2(2): 160-167 (1998)
18		Lars Michael Kristensen, Søren Christensen, Kurt Jensen: The Practitioner's Guide to Coloured Petri Nets. STTT 2(2): 98-132 (1998)
	1997
17		Søren Christensen, Kjeld Høyer Mortensen: Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. ICATPN 1997: 290-309
16		Søren Christensen, Jens Bæk Jørgensen: Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN 1997: 387-406
15		Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen: Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems 1997: 65-71
14		Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen: Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223
	1995
13		Søren Christensen, Laure Petrucci: Modular State Space Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1995: 201-217
12		Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. 121(2): 143-148 (1995)
	1994
11		Søren Christensen, Niels Damgaard Hansen: Coloured Petri Nets Extended with Channels for Synchronous Communication. Application and Theory of Petri Nets 1994: 159-178
10		Charles Lakos, Søren Christensen: A General Systematic Approach to Arc Extensions for Coloured Petri Nets. Application and Theory of Petri Nets 1994: 338-357
9		Søren Christensen, Yoram Hirshfeld, Faron Moller: Decidable Subsets of CCS. Comput. J. 37(4): 233-242 (1994)
	1993
8		Søren Christensen, Niels Damgaard Hansen: Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Application and Theory of Petri Nets 1993: 186-205
7		Søren Christensen, Yoram Hirshfeld, Faron Moller: Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR 1993: 143-157
6		Søren Christensen, Yoram Hirshfeld, Faron Moller: Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes LICS 1993: 386-396
5		Søren Christensen, Hans Hüttel: Decidability issues for infinite-state processes- a survey. Bulletin of the EATCS 51: 155-167 (1993)
	1992
4		Søren Christensen, Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1992: 113-133
3		Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR 1992: 138-147
2		Søren Christensen: Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. CONCUR 1992: 148-161
1		Søren Christensen: A Logical Characterization of Asynchronously Communicating Agents. LFCS 1992: 93-104

Coauthor Index

1	Peter Andersen	[22] [24]
2	Michel Beaudouin-Lafon	[22] [24]
3	Jonathan Billington	[28]
4	Carla Capellmann	[20]
5	Hamid Demmou	[19]
6	Niels Damgaard Hansen	[8] [11]
7	Kees M. van Hee	[28]
8	Uwe Herzog	[20]
9	Yoram Hirshfeld	[6] [7] [9]
10	Hans Hüttel	[3] [5] [12]
11	Paul Janecek	[22] [24]
12	Kurt Jensen	[18] [22] [24] [29]
13	Mads Jensen	[22] [24]
14	Jens Bæk Jørgensen	[14] [15] [16] [26] [27] [31] [32]
15	Ekkart Kindler	[28]
16	Lars Michael Kristensen	[14] [18] [23] [25] [30]
17	Olaf Kummer	[28]
18	Charles Lakos	[10]
19	Henry Michael Lassen	[22] [24] [29]
20	Mads Laursen	[29]
21	Kasper Lund	[22] [24]
22	Wendy E. Mackay	[22] [24]
23	Kim Halskov Madsen	[15]
24	Thomas Mailund	[23] [25]
25	Faron Moller	[6] [7] [9]
26	Gilles Moncelet	[19]
27	Kjeld Høyer Mortensen	[17] [22] [24]
28	Stephanie Munck	[22] [24]
29	Mario Paludetto	[19]
30	Laure Petrucci (Laure Petrucci-Dauchy)	[4] [13] [21] [28]
31	José Porras	[19]
32	Reinier Post (R. D. J. Post)	[28]
33	Jacob Frank Qvortrup	[29]
34	Anne V. Ratzer	[22] [24] [29]
35	Katrine Ravn	[22] [24]
36	Christian Stehno	[28]
37	Colin Stirling	[3] [12]
38	Martin Stig Stissing	[29]
39	Antti-Pekka Tuovinen	[31] [32]
40	Michael Weber	[28]
41	Lisa Wells	[29]
42	Michael Westergaard	[29]
43	Jianli Xu	[31] [32]

Colors in the list of coauthors