Søren Christensen

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 1

Top Venues

BrainLes@MICCAI

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Sebastian Otálora, Jonathan Rafael-Patino, Antoine Madrona, Elda Fischi Gomez, Veronica Ravano, Tobias Kober, Søren Christensen, Arsany Hakim, Roland Wiest, Jonas Richiardi, Richard McKinley
Weighting Schemes for Federated Learning in Heterogeneous and Imbalanced Segmentation Datasets. BrainLes@MICCAI (2022)
Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
Tool Support for Estimating the Memory Usage of Mobile Phone Software. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
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)
Lars Michael Kristensen, Søren Christensen
Implementing Coloured Petri Nets Using a Functional Programming Language. High. Order Symb. Comput. 17 (3) (2004)
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)
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)
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)
Jens Bæk Jørgensen, Søren Christensen
Executable Design Models for a Pervasive Healthcare Middleware System. UML (2002)
Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen
Simulation Based Performance Analysis of Web Servers. PNPM (2001)
Søren Christensen, Lars Michael Kristensen, Thomas Mailund
A Sweep-Line Method for State Space Exploration. TACAS (2001)
Michel Beaudouin-Lafon, Wendy E. Mackay, Peter Andersen, Paul Janecek, Mads Jensen, Henry Michael Lassen, Kasper Lund, Kjeld Høyer Mortensen, Stephanie Munck, Katrine Ravn, Anne V. Ratzer, Søren Christensen, Kurt Jensen
CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. CHI Extended Abstracts (2001)
Søren Christensen, Lars Michael Kristensen, Thomas Mailund
Condensed State Spaces for Timed Petri Nets. ICATPN (2001)
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)
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)
Søren Christensen, Laure Petrucci
Modular Analysis of Petri Nets. Comput. J. 43 (3) (2000)
Lars Michael Kristensen, Søren Christensen, Kurt Jensen
The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Carla Capellmann, Søren Christensen, Uwe Herzog
Visualising the Behaviour of Intelligent Networks. Services and Visualization: Towards User-Friendly Design (1998)
Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras
Analysing a Mechatronic System with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2 (2) (1998)
Søren Christensen, Laure Petrucci
How to determine and use place flows in coloured Petri nets. SMC (1998)
Søren Christensen, Kjeld Høyer Mortensen
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. ICATPN (1997)
Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS (1997)
Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen
Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems (1997)
Søren Christensen, Jens Bæk Jørgensen
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN (1997)
Søren Christensen, Laure Petrucci
Modular State Space Analysis of Coloured Petri Nets. Application and Theory of Petri Nets (1995)
Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. 121 (2) (1995)
Søren Christensen, Niels Damgaard Hansen
Coloured Petri Nets Extended with Channels for Synchronous Communication. Application and Theory of Petri Nets (1994)
Søren Christensen, Yoram Hirshfeld, Faron Moller
Decidable Subsets of CCS. Comput. J. 37 (4) (1994)
Charles Lakos, Søren Christensen
A General Systematic Approach to Arc Extensions for Coloured Petri Nets. Application and Theory of Petri Nets (1994)
Søren Christensen, Hans Hüttel
Decidability issues for infinite-state processes- a survey. Bull. EATCS 51 (1993)
Søren Christensen, Yoram Hirshfeld, Faron Moller
Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR (1993)
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)
Søren Christensen, Yoram Hirshfeld, Faron Moller
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes LICS (1993)
Søren Christensen
A Logical Characterization of Asynchronously Communicating Agents. LFCS (1992)
Søren Christensen, Laure Petrucci
Towards a Modular Analysis of Coloured Petri Nets. Application and Theory of Petri Nets (1992)
Søren Christensen
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. CONCUR (1992)
Søren Christensen, Hans Hüttel, Colin Stirling
Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR (1992)

Søren Christensen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Søren Christensen