The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jens Bæk Jørgensen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Claus Bossen, Jens Bæk Jørgensen
    Context-descriptive prototypes and their application to medicine administration. [Citation Graph (0, 0)][DBLP]
    Conference on Designing Interactive Systems, 2004, pp:297-306 [Conf]
  2. Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen
    Design As Interaction with Computer Based Materials. [Citation Graph (0, 0)][DBLP]
    Symposium on Designing Interactive Systems, 1997, pp:65-71 [Conf]
  3. Søren Christensen, Jens Bæk Jørgensen
    Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:402-412 [Conf]
  4. Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
    Application of Coloured Petri Nets in System Development. [Citation Graph (0, 0)][DBLP]
    Lectures on Concurrency and Petri Nets, 2003, pp:626-685 [Conf]
  5. Søren Christensen, Jens Bæk Jørgensen
    Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 1997, pp:387-406 [Conf]
  6. Jens Bæk Jørgensen
    Coloured Petri Nets in Development of a Pervasive Health Care System. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:256-275 [Conf]
  7. Jens Bæk Jørgensen, Kjeld Høyer Mortensen
    Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1996, pp:249-268 [Conf]
  8. Jens Bæk Jørgensen, Kristian Bisgaard Lassen
    Requirements Engineering for the Adviser Portal Bank System. [Citation Graph (0, 0)][DBLP]
    ECBS, 2006, pp:259-268 [Conf]
  9. Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen
    Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. [Citation Graph (0, 0)][DBLP]
    OTM Conferences (1), 2005, pp:22-39 [Conf]
  10. Jens Bæk Jørgensen, Claus Bossen
    Requirements Engineering for a Pervasive Health Care System. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:55-64 [Conf]
  11. Jens Bæk Jørgensen
    Towards Arguing the Cost-effectiveness of Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:246-252 [Conf]
  12. Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
    Design/CPN - A Computer Tool for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:209-223 [Conf]
  13. Jens Bæk Jørgensen, Søren Christensen
    Executable Design Models for a Pervasive Healthcare Middleware System. [Citation Graph (0, 0)][DBLP]
    UML, 2002, pp:140-149 [Conf]
  14. João Paulo Barros, Jens Bæk Jørgensen
    A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2005, v:12, n:3, pp:229-250 [Journal]
  15. Jens Bæk Jørgensen, Claus Bossen
    Executable Use Cases: Requirements for a Pervasive Health Care System. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2004, v:21, n:2, pp:34-41 [Journal]
  16. Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
    Tool Support for Estimating the Memory Usage of Mobile Phone Software. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:531-545 [Journal]
  17. Jens Bæk Jørgensen, Lars Michael Kristensen
    Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:7, pp:714-732 [Journal]
  18. Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen
    On Industrial Use of Requirements Engineering Techniques. [Citation Graph (0, 0)][DBLP]
    EMISA, 2007, pp:177-190 [Conf]

  19. Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. [Citation Graph (, )][DBLP]


  20. Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. [Citation Graph (, )][DBLP]


  21. Executable Use Cases: A Supplement to Model-Driven Development?. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002