The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jens Chr. Godskesen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen
    Timed Modal Specification - Theory and Tools. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:253-267 [Conf]
  2. Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone
    A Calculus of Mobile Resources. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:272-287 [Conf]
  3. Jens Chr. Godskesen
    A Formal Framework for Feature Interaction with Emphasis on Testing. [Citation Graph (0, 0)][DBLP]
    FIW, 1995, pp:21-30 [Conf]
  4. Jens Chr. Godskesen, Brian Nielsen, Arne Skou
    Connectivity Testing Through Model-Checking. [Citation Graph (0, 0)][DBLP]
    FORTE, 2004, pp:167-184 [Conf]
  5. Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
    A Timed Semantics for SDL. [Citation Graph (0, 0)][DBLP]
    FORTE, 1996, pp:295-309 [Conf]
  6. Jens Chr. Godskesen, Thomas T. Hildebrandt
    Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:140-151 [Conf]
  7. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Real-Time Calculi and Expansion Theorems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1992, pp:302-315 [Conf]
  8. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    MFCS, 1995, pp:519-528 [Conf]
  9. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Real-Time Calculi and Expansion Theorems. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:3-12 [Conf]
  10. Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
    Automatic verification of real-tim systems using epsilon. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:323-330 [Conf]
  11. Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
    A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:131-150 [Journal]
  12. Jens Chr. Godskesen
    Connectivity Testing. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:1, pp:5-38 [Journal]
  13. Lars Baekgaard, Jens Chr. Godskesen
    Real-time event control in active databases. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:42, n:3, pp:263-271 [Journal]
  14. Jens Chr. Godskesen, Kim Guldstrand Larsen
    Synthesizing Distinguishing Formulae for Real Time Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:3, pp:338-357 [Journal]
  15. Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
    A CPS encoding of name-passing in Higher-order mobile embedded resources. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:422-439 [Journal]
  16. Jens Chr. Godskesen
    A Calculus for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:132-150 [Conf]

  17. Mobility Models and Behavioural Equivalence for Wireless Networks. [Citation Graph (, )][DBLP]


  18. Observables for Mobile and Wireless Broadcasting Systems. [Citation Graph (, )][DBLP]


  19. Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources. [Citation Graph (, )][DBLP]


  20. Decidable Fragments of a Higher Order Calculus with Locations. [Citation Graph (, )][DBLP]


  21. A Calculus for Mobile Ad-hoc Networks with Static Location Binding. [Citation Graph (, )][DBLP]


  22. Preface. [Citation Graph (, )][DBLP]


  23. Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.037secs
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