Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Søren Christensen
2000 – 2009
- 2006
[j8]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
- [j7]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)
- [c24]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
- 2003
- [c23]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
- [c22]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
- [c21]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
- 2002
- [c20]Jens Bæk Jørgensen, Søren Christensen: Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149
- 2001
- [c19]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
- [c18]Søren Christensen, Lars Michael Kristensen, Thomas Mailund: Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120
- [c17]Søren Christensen, Lars Michael Kristensen, Thomas Mailund: A Sweep-Line Method for State Space Exploration. TACAS 2001: 450-464
- [c16]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
- [j6]
1990 – 1999
- 1998
- [j5]Lars Michael Kristensen, Søren Christensen, Kurt Jensen: The Practitioner's Guide to Coloured Petri Nets. STTT 2(2): 98-132 (1998)
- [j4]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)
- [c15]Carla Capellmann, Søren Christensen, Uwe Herzog: Visualising the Behaviour of Intelligent Networks. Services and Visualization: Towards User-Friendly Design 1998: 174-189
- 1997
- [c14]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
- [c13]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
- [c12]Søren Christensen, Jens Bæk Jørgensen: Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN 1997: 387-406
- [c11]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
- [j3]Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for All Context-Free Processes. Inf. Comput. 121(2): 143-148 (1995)
- [c10]Søren Christensen, Laure Petrucci: Modular State Space Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1995: 201-217
- 1994
- [j2]Søren Christensen, Yoram Hirshfeld, Faron Moller: Decidable Subsets of CCS. Comput. J. 37(4): 233-242 (1994)
- [c9]Søren Christensen, Niels Damgaard Hansen: Coloured Petri Nets Extended with Channels for Synchronous Communication. Application and Theory of Petri Nets 1994: 159-178
- [c8]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
- 1993
- [j1]Søren Christensen, Hans Hüttel: Decidability issues for infinite-state processes- a survey. Bulletin of the EATCS 51: 155-167 (1993)
- [c7]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
- [c6]Søren Christensen, Yoram Hirshfeld, Faron Moller: Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR 1993: 143-157
- [c5]Søren Christensen, Yoram Hirshfeld, Faron Moller: Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes. LICS 1993: 386-396
- 1992
- [c4]Søren Christensen, Laure Petrucci: Towards a Modular Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1992: 113-133
- [c3]Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR 1992: 138-147
- [c2]Søren Christensen: Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. CONCUR 1992: 148-161
- [c1]Søren Christensen: A Logical Characterization of Asynchronously Communicating Agents. LFCS 1992: 93-104
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-16 20:41 CET by the dblp team