Concepedia

Søren Christensen

SC

11

Publications

622

Citations

11

H-Index

1992

Active since

Affiliations

Aarhus University(Current)

Copenhagen Business School

University of Edinburgh

Søren Christensen is an author at Aarhus University specializing in engineering, formal verification, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationBusinessManagementVerificationSystems EngineeringComputer Engineering

Publications per year

1992–2002

11

Publications

11

The practitioner's guide to coloured Petri nets

Lars Michael Kristensen, Søren Christensen, Kurt Jensen · International Journal on Software Tools for Technology Transfer · 1998 · 312 citations

Architectural Design, Industrial Design, Petri Net +9

Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components

Allan Cheng, Søren Christensen, Kjeld Høyer Mortensen · DAIMI Report Series · 1997 · 79 citations · Full text

Petri Net, Ctl-like Logic, Engineering +16

Simulation based performance analysis of web servers

Lisa Wells, Søren Christensen, Lars Michael Kristensen et al. · 2002 · 43 citations

Petri Net, Cluster Computing, Engineering +19

Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes

Søren Christensen, Yoram Hirshfeld, Faron Moller · 2002 · 42 citations

Engineering, Basic Parallel Processes, Automated Reasoning +15

Coloured Petri Nets Extended with Channels for Synchronous Communication

Søren Christensen, Niels Damgaard Hansen · DAIMI Report Series · 1992 · 28 citations · Full text

Petri Net, Engineering, Computer Architecture +18

Rows per page

1–5 of 11