Ian A. Mason

Cited by

	All	Since 2018
Citations	2954	409
h-index	25	10
i10-index	42	11

160

120

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202318 27 24 49 53 74 49 100 112 140 145 113 89 109 114 91 92 136 100 110 105 70 88 74 77 90 69 64 57 53 49 65 42 40 87 124

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 NigamHuaweiVerified email at huawei.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
Wilfried SteinerDirector TTTech Labs, TTTech Computertechnik AGVerified email at tttech.com
Srivatsan VaradarajanTechnical Engineering Fellow, Advanced Technology, Honeywell AerospaceVerified email at honeywell.com
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
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	709	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	228	1993
Metamathematics of contexts S Buvač, V Buvač, IA Mason Fundamenta Informaticae 23 (2, 3, 4), 263-301, 1995	204	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	159	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	156	1992
A variable typed logic of effects F Honsell, IA Mason, S Smith, C Talcott Information and computation 119 (1), 55-90, 1995	100	1995
From operational semantics to domain theory IA Mason, SF Smith, CL Talcott Information and Computation 128 (1), 26-47, 1996	87	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
Actor languages their syntax, semantics, translation, and equivalence IA Mason, CL Talcott Theoretical Computer Science 220 (2), 409-467, 1999	61	1999
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
Deepphase: Periodic autoencoders for learning motion phase manifolds S Starke, I Mason, T Komura ACM Transactions on Graphics (TOG) 41 (4), 1-13, 2022	56	2022
The semantics of destructive Lisp IA Mason Center for the Study of Language and Information, 1987	53	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
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	44	2021
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	44	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	33	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