The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anne Elisabeth Haxthausen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anne Elisabeth Haxthausen
    Mutually Recursive Algebraic Domain Equations. [Citation Graph (0, 0)][DBLP]
    ADT, 1988, pp:- [Conf]
  2. Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
    Permissive Subsorted Partial Logic in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:91-107 [Conf]
  3. Morten P. Lindegaard, Anne Elisabeth Haxthausen
    Proof Support for RAISE by a Reuse Approach Based on Institutions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:319-333 [Conf]
  4. Anne Elisabeth Haxthausen
    Order-sorted Algebraic Specifications with Higher-order Functions. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:133-151 [Conf]
  5. Anne Elisabeth Haxthausen, Friederike Nickl
    Pushouts of Order-Sorted Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:132-147 [Conf]
  6. Anne Elisabeth Haxthausen
    Parameterized Algebraic Domain Equations. [Citation Graph (0, 0)][DBLP]
    Categorial Methods in Computer Science, 1988, pp:198-219 [Conf]
  7. Dines Bjørner, Chris George, Anne Elisabeth Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika
    "UML-ising' Formal Techniques. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:423-450 [Conf]
  8. Anne Elisabeth Haxthausen
    Mutually Recursive Algebraic Domain Equations. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:299-317 [Conf]
  9. Anne Elisabeth Haxthausen, Chris George
    A Concurrency Case Study Using RAISE. [Citation Graph (0, 0)][DBLP]
    FME, 1993, pp:367-387 [Conf]
  10. Anne Elisabeth Haxthausen, Jan Peleska
    Formal Development and Verification of a Distributed Railway Control System. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1546-1563 [Conf]
  11. Anne Elisabeth Haxthausen
    Recursive Algebraic Specifications and their Semantics. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:607-612 [Conf]
  12. Anne Elisabeth Haxthausen, Xia Yong
    Linking DC Toghether with TRSL. [Citation Graph (0, 0)][DBLP]
    IFM, 2000, pp:25-44 [Conf]
  13. Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner
    Subsorted Partial Higher-Order Locig as an Extension of CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:126-145 [Conf]
  14. Chris George, Anne Elisabeth Haxthausen
    The Logic of the RAISE Specification Language. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:4, pp:- [Journal]
  15. Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki
    Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal]
  16. Anne Elisabeth Haxthausen
    Order-Sorted Algebraic Specifications with Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:183, n:2, pp:157-185 [Journal]
  17. Anne Elisabeth Haxthausen, Jan Peleska
    Formal Development and Verification of a Distributed Railway Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:8, pp:687-701 [Journal]
  18. Anne Elisabeth Haxthausen, Jan Peleska
    A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:320-348 [Conf]

  19. A Domain-Specific Framework for Automated Construction and Verification of Railway Control Systems. [Citation Graph (, )][DBLP]


  20. Modelling and Verification of Relay Interlocking Systems. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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