default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSøren Christensen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c28]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: 45-56
2000 – 2009
- 2006
- [j8]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): 531-545 (2006) - 2004
- [j7]Lars Michael Kristensen, Søren Christensen:
Implementing Coloured Petri Nets Using a Functional Programming Language. High. Order Symb. Comput. 17(3): 207-243 (2004) - [c27]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: 304-310 - 2003
- [c26]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: 402-412 - [c25]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: 450-462 - [c24]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: 483-505 - 2002
- [c23]Jens Bæk Jørgensen, Søren Christensen:
Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149 - 2001
- [c22]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: 71-80 - [c21]Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
Condensed State Spaces for Timed Petri Nets. ICATPN 2001: 101-120 - [c20]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: 11-12 - [c19]Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen:
Simulation Based Performance Analysis of Web Servers. PNPM 2001: 59-68 - [c18]Søren Christensen, Lars Michael Kristensen, Thomas Mailund:
A Sweep-Line Method for State Space Exploration. TACAS 2001: 450-464 - [c17]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: 574-577 - 2000
- [j6]Søren Christensen, Laure Petrucci:
Modular Analysis of Petri Nets. Comput. J. 43(3): 224-242 (2000)
1990 – 1999
- 1998
- [j5]Lars Michael Kristensen, Søren Christensen, Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. 2(2): 98-132 (1998) - [j4]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): 160-167 (1998) - [c16]Søren Christensen, Laure Petrucci:
How to determine and use place flows in coloured Petri nets. SMC 1998: 66-71 - [c15]Carla Capellmann, Søren Christensen, Uwe Herzog:
Visualising the Behaviour of Intelligent Networks. Services and Visualization: Towards User-Friendly Design 1998: 174-189 - 1997
- [c14]Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen:
Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems 1997: 65-71 - [c13]Søren Christensen, Kjeld Høyer Mortensen:
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course. ICATPN 1997: 290-309 - [c12]Søren Christensen, Jens Bæk Jørgensen:
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN 1997: 387-406 - [c11]Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223 - 1995
- [j3]Søren Christensen, Hans Hüttel, Colin Stirling:
Bisimulation Equivalence is Decidable for All Context-Free Processes. Inf. Comput. 121(2): 143-148 (1995) - [c10]Søren Christensen, Laure Petrucci:
Modular State Space Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1995: 201-217 - 1994
- [j2]Søren Christensen, Yoram Hirshfeld, Faron Moller:
Decidable Subsets of CCS. Comput. J. 37(4): 233-242 (1994) - [c9]Søren Christensen, Niels Damgaard Hansen:
Coloured Petri Nets Extended with Channels for Synchronous Communication. Application and Theory of Petri Nets 1994: 159-178 - [c8]Charles Lakos, Søren Christensen:
A General Systematic Approach to Arc Extensions for Coloured Petri Nets. Application and Theory of Petri Nets 1994: 338-357 - 1993
- [b1]Søren Christensen:
Decidability and decomposition in process algebras. University of Edinburgh, UK, 1993 - [j1]Søren Christensen, Hans Hüttel:
Decidability issues for infinite-state processes- a survey. Bull. EATCS 51: 155-167 (1993) - [c7]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: 186-205 - [c6]Søren Christensen, Yoram Hirshfeld, Faron Moller:
Bisimulation Equivalence is Decidable for Basic Parallel Processes. CONCUR 1993: 143-157 - [c5]Søren Christensen, Yoram Hirshfeld, Faron Moller:
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes. LICS 1993: 386-396 - 1992
- [c4]Søren Christensen, Laure Petrucci:
Towards a Modular Analysis of Coloured Petri Nets. Application and Theory of Petri Nets 1992: 113-133 - [c3]Søren Christensen, Hans Hüttel, Colin Stirling:
Bisimulation Equivalence is Decidable for all Context-Free Processes. CONCUR 1992: 138-147 - [c2]Søren Christensen:
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. CONCUR 1992: 148-161 - [c1]Søren Christensen:
A Logical Characterization of Asynchronously Communicating Agents. LFCS 1992: 93-104
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
