Ian A. Mason

Cited by

	All	Since 2019
Citations	3017	440
h-index	25	10
i10-index	42	10

160

120

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 24 25 53 52 76 51 99 114 140 146 112 86 104 110 92 92 133 101 109 105 69 88 81 73 86 69 60 55 53 49 63 44 44 79 134 75

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Scott F. SmithProfessor of Computer Science, The Johns Hopkins UniversityVerified email at cs.jhu.edu
Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorVerified email at illinois.edu
patrick lincolnSRIVerified email at sri.com
Vinod YegneswaranPrincipal Computer Scientist, SRI InternationalVerified email at csl.sri.com
Bruno DutertreAmazon Web ServicesVerified email at amazon.com
Vivek NigamAppleVerified email at apple.com
Dan BonehProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Natarajan ShankarSRI International Computer Science LaboratoryVerified email at csl.sri.com
Alisson V. BritoUniversidade Federal da Paraiba (UFPB)Verified email at ci.ufpb.br
Christopher ConnollyPrincipal Computer Scientist, SRI InternationalVerified email at sri.com
Jorge A NavasCertoraVerified email at certora.com
Jason HiserPrincipal Scientist in Department of Computer Science, University of VirginiaVerified email at virginia.edu
Stephanie ForrestProfessor of Computer Science, Univ. of New MexicoVerified email at santafe.edu
Michele CoResearch Scientist, University of VirginiaVerified email at virginia.edu
Anh Nguyen-TuongSenior Scientist, University of VirginiaVerified email at virginia.edu
Westley WeimerProfessor Computer Science, University of MichiganVerified email at umich.edu
Jacob FrostVerified email at my.uvu.edu
Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGVerified email at tttech.com
Srivatsan VaradarajanTechnical Engineering Fellow, Advanced Technology, Honeywell AerospaceVerified email at honeywell.com
Sam OwreSRI InternationalVerified email at sri.com

Ian A. Mason

Senior Computer Scientist, SRI International

Verified email at csl.sri.com - Homepage

Logic Computer Science Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A foundation for actor computation GA Agha, IA Mason, SF Smith, CL Talcott Journal of functional programming 7 (1), 1-72, 1997	706	1997
Equivalence in Functional Languages with Effects IA Mason, CL Talcott Journal of functional programming 1, 287-327, 1991	244	1991
Propositional logic of context S Buvac, IA Mason AAAI, 412-419, 1993	229	1993
Metamathematics of contexts S Buvač, V Buvač, IA Mason Fundamenta Informaticae 23 (2-4), 263-301, 1995	202	1995
Towards a theory of actor computation G Agha, IA Mason, S Smith, C Talcott CONCUR'92: Third International Conference on Concurrency Theory Stony Brook …, 1992	161	1992
Using typed lambda calculus to implement formal systems on a machine A Avron, F Honsell, IA Mason, R Pollack Journal of Automated Reasoning 9, 309-354, 1992	158	1992
A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995	99	1995
Deepphase: Periodic autoencoders for learning motion phase manifolds S Starke, I Mason, T Komura ACM Transactions on Graphics (TOG) 41 (4), 1-13, 2022	98	2022
From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996	89	1996
References, local variables and operational reasoning IA Mason, CL Talcott 1992 Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer …, 1992	64	1992
Using typed lambda calculus to implement formal systems on a machine A Avron, FA Honsell, IA Mason University of Edinburgh, Department of Computer Science, Laboratory for …, 1987	60	1987
Source-free adaptation to measurement shift via bottom-up feature restoration C Eastwood, I Mason, CKI Williams, B Schölkopf arXiv preprint arXiv:2107.05446, 2021	59	2021
Actor languages their syntax, semantics, translation, and equivalence IA Mason, CL Talcott Theoretical Computer Science 220 (2), 409-467, 1999	57	1999
The semantics of destructive Lisp IA Mason Center for the Study of Language and Information, 1987	55	1987
Programming, transforming, and proving with function abstractions and memories I Mason, C Talcott International Colloquium on Automata, Languages, and Programming, 574-588, 1989	52	1989
Inferring the equivalence of functional programs that mutate data I Mason, C Talcott Theoretical Computer Science 105 (2), 167-215, 1992	50	1992
Hoare's Logic in the LF IA Mason University of Edinburgh, Department of Computer Science. Laboratory for …, 1987	47	1987
Axiomatizing Operational Equivalence in the presence of Side E ects IA Mason, CL Talcott 4th Symposium on logic in computer science, Asilomar CA,(IEEE), 1989	45	1989
Verification of programs that destructively manipulate data IA Mason Science of Computer Programming 10 (2), 177-210, 1988	35	1988
The semantics of propositional contexts S Buvač, V Buvač, IA Mason Methodologies for Intelligent Systems: 8th International Symposium, ISMIS'94 …, 1994	32	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors