The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sten Agerholm: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sten Agerholm, Jacob Frost
    Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:278-297 [Conf]
  2. Sten Agerholm, Peter Gorm Larsen
    A Lightweight Approach to Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:168-183 [Conf]
  3. Sten Agerholm, Peter Gorm Larsen
    The IFAD VDM Tools: Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
    FM-Trends, 1998, pp:326-329 [Conf]
  4. Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert
    Formal specification and validation at work: a case study using VDM-SL. [Citation Graph (0, 0)][DBLP]
    FMSP, 1998, pp:78-84 [Conf]
  5. Sten Agerholm
    Mechanizing Program Verification in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:208-222 [Conf]
  6. Sten Agerholm
    Domain Theory in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:295-309 [Conf]
  7. Sten Agerholm
    LCF Examples in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:1-16 [Conf]
  8. Sten Agerholm
    Non-primitive Recursive Function Definitions. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:17-31 [Conf]
  9. Sten Agerholm
    Translating Specifications in VDM-SL to PVS. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:1-16 [Conf]
  10. Sten Agerholm, Ilya Beylin, Peter Dybjer
    A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:17-32 [Conf]
  11. Sten Agerholm, Jacob Frost
    An Isabelle-Based Theorem Prover for VDM-SL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1997, pp:1-16 [Conf]
  12. Sten Agerholm, Michael J. C. Gordon
    Experiments with ZF Set Theory in HOL and Isabelle. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:32-45 [Conf]
  13. Sten Agerholm
    LCF Examples in HOL. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1995, v:38, n:2, pp:121-130 [Journal]
  14. Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm
    Investigating the Integration of two Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:5-6, pp:532-549 [Journal]

Search in 0.002secs, Finished in 0.003secs
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