Ian A. Mason - RankMe

44 papers A* 6A 1B 2C 2Journal 20Unranked 13

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Detection and diagnosis of deviations in distributed systems of autonomous agents. Math. Struct. Comput. Sci. Vivek Nigam, Minyoung Kim, Ian A. Mason, Carolyn L. Talcott
2020	—	`conf`	Verification of an Optimized NTT Algorithm. VSTTE Jorge A. Navas, Bruno Dutertre, Ian A. Mason
2019	J	`jnl`	Reasoning about effects: from lists to cyber-physical agents. Log. Methods Comput. Sci. Ian A. Mason, Carolyn L. Talcott
2018	J	`jnl`	Reasoning about effects: from lists to cyber-physical agents. CoRR Ian A. Mason, Carolyn L. Talcott
2017	—	`conf`	A Framework for Analyzing Adaptive Autonomous Aerial Vehicles. SEFM Workshops Ian A. Mason, Vivek Nigam, Carolyn L. Talcott, Alisson Vasconcelos de Brito
2016	—	`conf`	Double Helix and RAVEN: A System for Cyber Fault Tolerance and Recovery. CISRC Michele Co, Jack W. Davidson, Jason D. Hiser, John C. Knight, Anh Nguyen-Tuong, Westley Weimer, Jonathan Burket, Gregory L. Frazier, Tiffany M. Frazier, Bruno Dutertre, Ian A. Mason, Natarajan Shankar, Stephanie Forrest
2014	—	`conf`	The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
2008	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Ian A. Mason
2005	—	`conf`	Actors and Logical Analysis of Interactive Systems. FInCo@ETAPS Ian A. Mason, Carolyn L. Talcott
2005	—	`conf`	ClusterGrind: Valgrinding LAM/MPI Applications. PVM/MPI Brett Carson, Ian A. Mason
2004	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Ian A. Mason
2004	—	`conf`	IOP: The InterOperability Platform & IMaude: An Interactive Extension of Maude. WRLA Ian A. Mason, Carolyn L. Talcott
2003	J	`jnl`	Formal Foundations of Operational Semantics. High. Order Symb. Comput. Jonathan Ford, Ian A. Mason
2001	—	`conf`	Operational Techniques in PVS - A Preliminary Evaluation. CATS Jonathan M. Ford, Ian A. Mason
2000	—	`conf`	Simple Network Protocol Simulation within Maude. WRLA Ian A. Mason, Carolyn L. Talcott
1999	J	`jnl`	Actor Languages Their Syntax, Semantics, Translation, and Equivalence. Theor. Comput. Sci. Ian A. Mason, Carolyn L. Talcott
1999	J	`jnl`	Computing with Contexts. High. Order Symb. Comput. Ian A. Mason
1997	J	`jnl`	A First Order Logic of Effects. Theor. Comput. Sci. Ian A. Mason
1997	J	`jnl`	A Foundation for Actor Computation. J. Funct. Program. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1997	A*	`conf`	A Semantically Sound Actor Tranlsation. ICALP Ian A. Mason, Carolyn L. Talcott
1996	J	`jnl`	From Operational Semantics to Domain Theory. Inf. Comput. Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1995	J	`jnl`	A Variable Typed Logic of Effects Inf. Comput. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1995	J	`jnl`	Metamathematics of Contexts. Fundam. Informaticae Sasa Buvac, Vanja Buvac, Ian A. Mason
1995	J	`jnl`	Reasoning About Object Systems in VTLoE. Int. J. Found. Comput. Sci. Ian A. Mason, Carolyn L. Talcott
1995	J	`jnl`	Special Issue on State in Programming Languages - Introduction. LISP Symb. Comput. Ian A. Mason, Martin Odersky
1994	—	`conf`	Extraction of events from 3D volumes of seismic data. ICPR (3) Peter H. Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox
1994	—	`conf`	Identification of Events from 3D Volumes of Seismic Data. ICIP (3) Peter Henry Tu, Andrew Zisserman, Ian A. Mason, Ingemar J. Cox
1994	—	`conf`	Program Transformation via Contextual Assertions. Logic, Language and Computation Ian A. Mason, Carolyn L. Talcott
1994	C	`conf`	The Semantics of Propositional Contexts. ISMIS Sasa Buvac, Vanja Buvac, Ian A. Mason
1993	A*	`conf`	Propositional Logic of Context. AAAI Sasa Buvac, Ian A. Mason
1993	A	`conf`	Seismic Time Section Analysis Using Machine Vision. BMVC Peter H. Tu, Andrew Zisserman, Ian A. Mason
1992	B	`conf`	A Theory of Classes for a Functional Language with Effects. CSL Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1992	J	`jnl`	Inferring the Equivalence of Functional Programs That Mutate Data. Theor. Comput. Sci. Ian A. Mason, Carolyn L. Talcott
1992	A*	`conf`	References, Local Variables and Operational Reasoning LICS Ian A. Mason, Carolyn L. Talcott
1992	B	`conf`	Towards a Theory of Actor Computation. CONCUR Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1992	J	`jnl`	Using Typed Lambda Calculus to Implement Formal Systems on a Machine. J. Autom. Reason. Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
1991	J	`jnl`	Equivalence in Functional Languages with Effects. J. Funct. Program. Ian A. Mason, Carolyn L. Talcott
1991	C	`conf`	Program Transformations for Configuring Components. PEPM Ian A. Mason, Carolyn L. Talcott
1990	—	`conf`	Reasoning About Programs with Effects. PLILP Ian A. Mason, Carolyn L. Talcott
1989	A*	`conf`	Axiomatizing Operational Equivalence in the Presence of Side Effects LICS Ian A. Mason, Carolyn L. Talcott
1989	A*	`conf`	Programming, Transforming, and Providing with Function Abstractions and Memories. ICALP Ian A. Mason, Carolyn L. Talcott
1988	J	`jnl`	Verification of Programs That Destructively Manipulate Data. Sci. Comput. Program. Ian A. Mason
1986	A*	`conf`	Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation LICS Ian A. Mason
1985	J	`jnl`	The Metatheory of the Classical Propositional Calculus is not Axiomatizable. J. Symb. Log. Ian A. Mason