The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simon Ambler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
    On Duality for the Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:18-32 [Conf]
  2. John Fox, Paul Krause, Simon Ambler
    Arguments, Contradicitions and Practical Reasoning. [Citation Graph (0, 0)][DBLP]
    ECAI, 1992, pp:623-627 [Conf]
  3. Alberto Momigliano, Simon Ambler
    Multi-level Meta-reasoning with Higher-Order Abstract Syntax. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2003, pp:375-391 [Conf]
  4. Paul Krause, Simon Ambler, John Fox
    The Development of a "Logic of Argumentation". [Citation Graph (0, 0)][DBLP]
    IPMU, 1992, pp:109-118 [Conf]
  5. Simon Ambler, Roy L. Crole
    Mechanized Operational Semantics via (Co)Induction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:221-238 [Conf]
  6. Simon Ambler, Roy L. Crole, Alberto Momigliano
    Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:13-30 [Conf]
  7. Paul Krause, Simon Ambler, Morten Elvang-Gøransson, John Fox
    A Logic of Argumentation for Reasoning under Uncertainty. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 1995, v:11, n:, pp:113-131 [Journal]
  8. Alberto Momigliano, Simon Ambler, Roy L. Crole
    A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  9. Simon Ambler
    A Categorial Approach to the Semantics of Argumentation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1996, v:6, n:2, pp:167-188 [Journal]
  10. Simon Ambler, Roy L. Crole, Alberto Momigliano
    Preface: Mechanised Reasoning about Languages with Variable Binding 2001. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
  11. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
    Duality and the Completeness of the Modal mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:3-27 [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