Søren Christensen

◀ ▶ joint publications with Jens Bæk Jørgensen

> Home > Persons > Søren Christensen

Publications

2006
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/JorgensenCTX06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/JorgensenCTX06
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
[c27]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/isola/ChristensenJTX04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChristensenJTX04
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/ChristensenJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/ChristensenJ03
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
2002
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/uml/JorgensenC02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uml/JorgensenC02
Jens Bæk Jørgensen, Søren Christensen:
Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149
1997
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ACMdis/ChristensenJM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ACMdis/ChristensenJM97
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
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/ChristensenJ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ChristensenJ97
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]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristensenJK97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristensenJK97
Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223

a service of

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.