The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

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.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002