The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michael R. Hansen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas
    Integrating Relational Databases and Constraint Languages. [Citation Graph (5, 0)][DBLP]
    Comput. Lang., 1989, v:14, n:2, pp:63-82 [Journal]
  2. Peter Pistor, Bo S. Hansen, Michael R. Hansen
    Eine sequelartige Sprachschnittstelle für das NF2-Modell. [Citation Graph (0, 0)][DBLP]
    Sprachen für Datenbanken, 1983, pp:134-147 [Conf]
  3. Michael R. Hansen, Robin Sharp
    Using interval logics for temporal analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    FMSE, 2003, pp:24-31 [Conf]
  4. Zhou Chaochen, Michael R. Hansen
    An Adequate First Order Interval Logic. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:584-608 [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. Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel
    Provably Correct Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:288-335 [Conf]
  7. Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel
    Duration Specifications for Shared Processors. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1992, pp:21-32 [Conf]
  8. Zhou Chaochen, Anders P. Ravn, Michael R. Hansen
    An Extended Duration Calculus for Hybrid Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:36-59 [Conf]
  9. Martin Fränzle, Michael R. Hansen
    A Robust Interpretation of Duration Calculus. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:257-271 [Conf]
  10. Michael R. Hansen, Zhou Chaochen
    Specification & Verification of Higher Order Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1990, pp:322-328 [Conf]
  11. Michael R. Hansen, Zhou Chaochen
    Semantics and Completeness of Duration Calculus. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1991, pp:209-225 [Conf]
  12. Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen
    Generating web-based systems from specifications. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1647-1653 [Conf]
  13. Zhou Chaochen, Michael R. Hansen, Peter Sestoft
    Decidability and Undecidability Results for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    STACS, 1993, pp:58-68 [Conf]
  14. Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen
    Decidability of a Hybrid Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:6, pp:113-133 [Journal]
  15. Michael R. Hansen
    Model-Checking Discrete Duration Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1994, v:6, n:6A, pp:826-845 [Journal]
  16. Michael R. Hansen, Zhou Chaochen
    Duration Calculus: Logical Foundations. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:3, pp:283-330 [Journal]
  17. Cliff B. Jones, Michael R. Hansen
    Editorial. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:95-0 [Journal]
  18. Magne Haveraaen, Michael R. Hansen
    Guest Editors' Foreword. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:4, pp:267-268 [Journal]
  19. Henrik Pilegaard, Michael R. Hansen, Robin Sharp
    An Approach to Analyzing Availability Properties of Security Protocols. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:4, pp:337-0 [Journal]
  20. Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen
    Finite Divergence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:113-139 [Journal]
  21. Michael R. Hansen, Dang Van Hung
    A Theory of Duration Calculus with Application. [Citation Graph (0, 0)][DBLP]
    Domain Modeling and the Duration Calculus, 2007, pp:119-176 [Conf]
  22. Michael R. Hansen, Jan Madsen, Aske Wiid Brekling
    Semantics and Verification of a Language for Modelling Hardware Architectures. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:300-319 [Conf]
  23. Robin Sharp, Michael R. Hansen
    Timed Traces and Strand Spaces. [Citation Graph (0, 0)][DBLP]
    CSR, 2007, pp:373-386 [Conf]
  24. Martin Fränzle, Michael R. Hansen
    Deciding an Interval Logic with Accumulated Durations. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:201-215 [Conf]

  25. Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements. [Citation Graph (, )][DBLP]


  26. Generation of ERP Systems from REA Specifications. [Citation Graph (, )][DBLP]


  27. Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.025secs
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