Sren Christensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
1992–2004
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ISoLA | Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. | Sren Christensen, Jens Bk Jrgensen, Antti-Pekka Tuovinen, Jianli Xu |
| 2001 | CHI | CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. | Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Hyer Mortensen, Stephanie Munck, Katrine Ravn, Anne V. Ratzer, Sren Christensen, Kurt Jensen |
| 2001 | TACAS | CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. | Michel Beaudouin-Lafon, Wendy E. Mackay, Mads Jensen, Peter Andersen, Paul Janecek, Henry Michael Lassen, Kasper Lund, Kjeld Hyer Mortensen, Stephanie Munck, Anne V. Ratzer, Katrine Ravn, Sren Christensen, Kurt Jensen |
| 2001 | TACAS | A Sweep-Line Method for State Space Exploration. | Sren Christensen, Lars Michael Kristensen, Thomas Mailund |
| 1998 | SMC | How to determine and use place flows in coloured Petri nets. | Sren Christensen, Laure Petrucci |
| 1998 | TACAS | Visualising the Behaviour of Intelligent Networks. | Carla Capellmann, Sren Christensen, Uwe Herzog |
| 1997 | TACAS | Design/CPN - A Computer Tool for Coloured Petri Nets. | Sren Christensen, Jens Bk Jrgensen, Lars Michael Kristensen |
| 1993 | CONCUR | Bisimulation Equivalence is Decidable for Basic Parallel Processes. | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | LICS | Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1992 | CONCUR | Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. | Sren Christensen |
| 1992 | CONCUR | Bisimulation Equivalence is Decidable for all Context-Free Processes. | Sren Christensen, Hans Httel, Colin Stirling |
| 1992 | LFCS | A Logical Characterization of Asynchronously Communicating Agents. | Sren Christensen |