The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Søren Christensen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. Søren Christensen
    A Logical Characterization of Asynchronously Communicating Agents. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:93-104 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]

  32. Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002