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

Search the dblp DataBase

Title:
Author:
Ian A. Mason: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sasa Buvac, Ian A. Mason
    Propositional Logic of Context. [Citation Graph (1, 0)][DBLP]
    AAAI, 1993, pp:412-419 [Conf]
  2. Sasa Buvac, Vanja Buvac, Ian A. Mason
    Metamathematics of Contexts. [Citation Graph (1, 0)][DBLP]
    Fundam. Inform., 1995, v:23, n:2/3/4, pp:263-301 [Journal]
  3. Ian A. Mason, Carolyn L. Talcott
    Program Transformation via Contextual Assertions. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:225-254 [Conf]
  4. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    Towards a Theory of Actor Computation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:565-579 [Conf]
  5. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Theory of Classes for a Functional Language with Effects. [Citation Graph (0, 0)][DBLP]
    CSL, 1992, pp:309-326 [Conf]
  6. Ian A. Mason, Carolyn L. Talcott
    Programming, Transforming, and Providing with Function Abstractions and Memories. [Citation Graph (0, 0)][DBLP]
    ICALP, 1989, pp:574-588 [Conf]
  7. Ian A. Mason, Carolyn L. Talcott
    A Semantically Sound Actor Tranlsation. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:369-378 [Conf]
  8. Peter Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox
    Identification of Events from 3D Volumes of Seismic Data. [Citation Graph (0, 0)][DBLP]
    ICIP (3), 1994, pp:309-313 [Conf]
  9. Sasa Buvac, Vanja Buvac, Ian A. Mason
    The Semantics of Propositional Contexts. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:468-477 [Conf]
  10. Ian A. Mason
    Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation [Citation Graph (0, 0)][DBLP]
    LICS, 1986, pp:105-117 [Conf]
  11. Ian A. Mason, Carolyn L. Talcott
    Axiomatizing Operational Equivalence in the Presence of Side Effects [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:284-293 [Conf]
  12. Ian A. Mason, Carolyn L. Talcott
    References, Local Variables and Operational Reasoning [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:186-197 [Conf]
  13. Ian A. Mason, Carolyn L. Talcott
    Program Transformations for Configuring Components. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:297-308 [Conf]
  14. Ian A. Mason, Carolyn L. Talcott
    Reasoning About Programs with Effects. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:189-203 [Conf]
  15. Brett Carson, Ian A. Mason
    ClusterGrind: Valgrinding LAM/MPI Applications. [Citation Graph (0, 0)][DBLP]
    PVM/MPI, 2005, pp:325-332 [Conf]
  16. Ian A. Mason, Carolyn L. Talcott
    Simple Network Protocol Simulation within Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  17. Ian A. Mason, Carolyn L. Talcott
    IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:117, n:, pp:315-333 [Journal]
  18. Ian A. Mason, Carolyn L. Talcott
    Actors and Logical Analysis of Interactive Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:5, pp:115-133 [Journal]
  19. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Variable Typed Logic of Effects [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:119, n:1, pp:55-90 [Journal]
  20. Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    From Operational Semantics to Domain Theory. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:128, n:1, pp:26-47 [Journal]
  21. Ian A. Mason, Carolyn L. Talcott
    Reasoning About Object Systems in VTLoE. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1995, v:6, n:3, pp:265-298 [Journal]
  22. Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
    Using Typed Lambda Calculus to Implement Formal Systems on a Machine. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:3, pp:309-354 [Journal]
  23. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
    A Foundation for Actor Computation. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1997, v:7, n:1, pp:1-72 [Journal]
  24. Ian A. Mason, Carolyn L. Talcott
    Equivalence in Functional Languages with Effects. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:3, pp:287-327 [Journal]
  25. Ian A. Mason
    The Metatheory of the Classical Propositional Calculus is not Axiomatizable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:451-457 [Journal]
  26. Jonathan Ford, Ian A. Mason
    Formal Foundations of Operational Semantics. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:3, pp:161-202 [Journal]
  27. Olivier Danvy, Ian A. Mason
    Editorial. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:4, pp:275-275 [Journal]
  28. Ian A. Mason
    Computing with Contexts. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 1999, v:12, n:2, pp:171-201 [Journal]
  29. Ian A. Mason, Martin Odersky
    Special Issue on State in Programming Languages - Introduction. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1995, v:8, n:4, pp:291-292 [Journal]
  30. Ian A. Mason
    Verification of Programs That Destructively Manipulate Data. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1988, v:10, n:1, pp:177-210 [Journal]
  31. Jonathan M. Ford, Ian A. Mason
    Operational Techniques in PVS - A Preliminary Evaluation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:42, n:, pp:- [Journal]
  32. Ian A. Mason
    A First Order Logic of Effects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:185, n:2, pp:277-318 [Journal]
  33. Ian A. Mason, Carolyn L. Talcott
    Inferring the Equivalence of Functional Programs That Mutate Data. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:2, pp:167-215 [Journal]
  34. Ian A. Mason, Carolyn L. Talcott
    Actor Languages Their Syntax, Semantics, Translation, and Equivalence. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:220, n:2, pp:409-467 [Journal]

Search in 0.050secs, Finished in 0.052secs
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