Search the dblp DataBase
Søren Christensen :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Søren Christensen , Yoram Hirshfeld , Faron Moller Decidable Subsets of CCS. [Citation Graph (1, 0)][DBLP ] Comput. J., 1994, v:37, n:4, pp:233-242 [Journal ] Søren Christensen , Jens Bæk Jørgensen , Kim Halskov Madsen Design As Interaction with Computer Based Materials. [Citation Graph (0, 0)][DBLP ] Symposium on Designing Interactive Systems, 1997, pp:65-71 [Conf ] Søren Christensen , Jens Bæk Jørgensen Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. [Citation Graph (0, 0)][DBLP ] Lectures on Concurrency and Petri Nets, 2003, pp:402-412 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:483-505 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICATPN, 2001, pp:71-80 [Conf ] Søren Christensen , Niels Damgaard Hansen Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1993, pp:186-205 [Conf ] Søren Christensen , Niels Damgaard Hansen Coloured Petri Nets Extended with Channels for Synchronous Communication. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1994, pp:159-178 [Conf ] Søren Christensen , Jens Bæk Jørgensen Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 1997, pp:387-406 [Conf ] Søren Christensen , Lars Michael Kristensen , Thomas Mailund Condensed State Spaces for Timed Petri Nets. [Citation Graph (0, 0)][DBLP ] ICATPN, 2001, pp:101-120 [Conf ] Søren Christensen , Kjeld Høyer Mortensen Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. [Citation Graph (0, 0)][DBLP ] ICATPN, 1997, pp:290-309 [Conf ] Søren Christensen , Laure Petrucci Towards a Modular Analysis of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1992, pp:113-133 [Conf ] Søren Christensen , Laure Petrucci Modular State Space Analysis of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1995, pp:201-217 [Conf ] Charles Lakos , Søren Christensen A General Systematic Approach to Arc Extensions for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] Application and Theory of Petri Nets, 1994, pp:338-357 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ICATPN, 2003, pp:450-462 [Conf ] Søren Christensen Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:148-161 [Conf ] Søren Christensen , Yoram Hirshfeld , Faron Moller Bisimulation Equivalence is Decidable for Basic Parallel Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1993, pp:143-157 [Conf ] Søren Christensen , Hans Hüttel , Colin Stirling Bisimulation Equivalence is Decidable for all Context-Free Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1992, pp:138-147 [Conf ] Søren Christensen A Logical Characterization of Asynchronously Communicating Agents. [Citation Graph (0, 0)][DBLP ] LFCS, 1992, pp:93-104 [Conf ] Søren Christensen , Yoram Hirshfeld , Faron Moller Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes [Citation Graph (0, 0)][DBLP ] LICS, 1993, pp:386-396 [Conf ] Carla Capellmann , Søren Christensen , Uwe Herzog Visualising the Behaviour of Intelligent Networks. [Citation Graph (0, 0)][DBLP ] Services and Visualization: Towards User-Friendly Design, 1998, pp:174-189 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:574-577 [Conf ] Søren Christensen , Lars Michael Kristensen , Thomas Mailund A Sweep-Line Method for State Space Exploration. [Citation Graph (0, 0)][DBLP ] TACAS, 2001, pp:450-464 [Conf ] Søren Christensen , Jens Bæk Jørgensen , Lars Michael Kristensen Design/CPN - A Computer Tool for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:209-223 [Conf ] Jens Bæk Jørgensen , Søren Christensen Executable Design Models for a Pervasive Healthcare Middleware System. [Citation Graph (0, 0)][DBLP ] UML, 2002, pp:140-149 [Conf ] Søren Christensen , Laure Petrucci Modular Analysis of Petri Nets. [Citation Graph (0, 0)][DBLP ] Comput. J., 2000, v:43, n:3, pp:224-242 [Journal ] Søren Christensen , Hans Hüttel Decidability issues for infinite-state processes- a survey. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1993, v:51, n:, pp:155-167 [Journal ] Søren Christensen , Hans Hüttel , Colin Stirling Bisimulation Equivalence is Decidable for All Context-Free Processes [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1995, v:121, n:2, pp:143-148 [Journal ] Lars Michael Kristensen , Søren Christensen Implementing Coloured Petri Nets Using a Functional Programming Language. [Citation Graph (0, 0)][DBLP ] Higher-Order and Symbolic Computation, 2004, v:17, n:3, pp:207-243 [Journal ] Lars Michael Kristensen , Søren Christensen , Kurt Jensen The Practitioner's Guide to Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] STTT, 1998, v:2, n:2, pp:98-132 [Journal ] Gilles Moncelet , Søren Christensen , Hamid Demmou , Mario Paludetto , José Porras Analysing a Mechatronic System with Coloured Petri Nets. [Citation Graph (0, 0)][DBLP ] STTT, 1998, v:2, n:2, pp:160-167 [Journal ] Jens Bæk Jørgensen , Søren Christensen , Antti-Pekka Tuovinen , Jianli Xu Tool Support for Estimating the Memory Usage of Mobile Phone Software. [Citation Graph (0, 0)][DBLP ] STTT, 2006, v:8, n:6, pp:531-545 [Journal ] Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. [Citation Graph (, )][DBLP ] Search in 0.065secs, Finished in 0.068secs