Søren Christensen

37 papers A* 1A 4B 4Misc 1Journal 8Unranked 18

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Weighting Schemes for Federated Learning in Heterogeneous and Imbalanced Segmentation Datasets. BrainLes@MICCAI 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
2006	J	`jnl`	Tool Support for Estimating the Memory Usage of Mobile Phone Software. Int. J. Softw. Tools Technol. Transf. Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
2004	—	`conf`	Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. ISoLA (Preliminary proceedings) Søren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu
2004	J	`jnl`	Implementing Coloured Petri Nets Using a Functional Programming Language. High. Order Symb. Comput. Lars Michael Kristensen, Søren Christensen
2003	—	`conf`	CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. ICATPN Anne V. Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing, Michael Westergaard, Søren Christensen, Kurt Jensen
2003	—	`conf`	Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Lectures on Concurrency and Petri Nets Søren Christensen, Jens Bæk Jørgensen
2003	—	`conf`	The Petri Net Markup Language: Concepts, Technology, and Tools. ICATPN Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber
2002	—	`conf`	Executable Design Models for a Pervasive Healthcare Middleware System. UML Jens Bæk Jørgensen, Søren Christensen
2001	A	`conf`	A Sweep-Line Method for State Space Exploration. TACAS Søren Christensen, Lars Michael Kristensen, Thomas Mailund
2001	—	`conf`	CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. ICATPN 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
2001	A	`conf`	CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS. TACAS 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
2001	—	`conf`	CPN/tools: revisiting the desktop metaphor with post-WIMP interaction techniques. CHI Extended Abstracts 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
2001	—	`conf`	Condensed State Spaces for Timed Petri Nets. ICATPN Søren Christensen, Lars Michael Kristensen, Thomas Mailund
2001	—	`conf`	Simulation Based Performance Analysis of Web Servers. PNPM Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen
2000	J	`jnl`	Modular Analysis of Petri Nets. Comput. J. Søren Christensen, Laure Petrucci
1998	J	`jnl`	Analysing a Mechatronic System with Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. Gilles Moncelet, Søren Christensen, Hamid Demmou, Mario Paludetto, José Porras
1998	B	`conf`	How to determine and use place flows in coloured Petri nets. SMC Søren Christensen, Laure Petrucci
1998	J	`jnl`	The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. Lars Michael Kristensen, Søren Christensen, Kurt Jensen
1998	—	`conf`	Visualising the Behaviour of Intelligent Networks. Services and Visualization: Towards User-Friendly Design Carla Capellmann, Søren Christensen, Uwe Herzog
1997	—	`conf`	Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN Søren Christensen, Jens Bæk Jørgensen
1997	A	`conf`	Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen
1997	A	`conf`	Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
1997	—	`conf`	Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. ICATPN Søren Christensen, Kjeld Høyer Mortensen
1995	J	`jnl`	Bisimulation Equivalence is Decidable for All Context-Free Processes Inf. Comput. Søren Christensen, Hans Hüttel, Colin Stirling
1995	—	`conf`	Modular State Space Analysis of Coloured Petri Nets. Application and Theory of Petri Nets Søren Christensen, Laure Petrucci
1994	—	`conf`	A General Systematic Approach to Arc Extensions for Coloured Petri Nets. Application and Theory of Petri Nets Charles Lakos, Søren Christensen
1994	—	`conf`	Coloured Petri Nets Extended with Channels for Synchronous Communication. Application and Theory of Petri Nets Søren Christensen, Niels Damgaard Hansen
1994	J	`jnl`	Decidable Subsets of CCS. Comput. J. Søren Christensen, Yoram Hirshfeld, Faron Moller
1993	B	`conf`	Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR Søren Christensen, Yoram Hirshfeld, Faron Moller
1993	—	`conf`	Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Application and Theory of Petri Nets Søren Christensen, Niels Damgaard Hansen
1993	—	`—`	Decidability and decomposition in process algebras. Søren Christensen
1993	J	`jnl`	Decidability issues for infinite-state processes- a survey. Bull. EATCS Søren Christensen, Hans Hüttel
1993	A*	`conf`	Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes LICS Søren Christensen, Yoram Hirshfeld, Faron Moller
1992	Misc	`conf`	A Logical Characterization of Asynchronously Communicating Agents. LFCS Søren Christensen
1992	B	`conf`	Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR Søren Christensen, Hans Hüttel, Colin Stirling
1992	B	`conf`	Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. CONCUR Søren Christensen
1992	—	`conf`	Towards a Modular Analysis of Coloured Petri Nets. Application and Theory of Petri Nets Søren Christensen, Laure Petrucci