Scott Owens

3.6k total citations
43 papers, 1.4k citations indexed

About

Scott Owens is a scholar working on Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics. According to data from OpenAlex, Scott Owens has authored 43 papers receiving a total of 1.4k indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Artificial Intelligence, 23 papers in Hardware and Architecture and 17 papers in Computational Theory and Mathematics. Recurrent topics in Scott Owens's work include Logic, programming, and type systems (28 papers), Parallel Computing and Optimization Techniques (21 papers) and Formal Methods in Verification (16 papers). Scott Owens is often cited by papers focused on Logic, programming, and type systems (28 papers), Parallel Computing and Optimization Techniques (21 papers) and Formal Methods in Verification (16 papers). Scott Owens collaborates with scholars based in United Kingdom, United States and Australia. Scott Owens's co-authors include Peter Sewell, Susmit Sarkar, Magnus O. Myreen, Mark Batty, Francesco Zappa Nardelli, Tjark Weber, Ramana Kumar, Michael Norrish, Tom Ridge and John Reppy and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Environment and Planning B Planning and Design.

In The Last Decade

Scott Owens

41 papers receiving 1.3k citations

Peers

Countries citing papers authored by Scott Owens

Since Specialization

Citations

This map shows the geographic impact of Scott Owens's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Scott Owens with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Scott Owens more than expected).

Fields of papers citing papers by Scott Owens

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Scott Owens. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Scott Owens. The network helps show where Scott Owens may publish in the future.

Co-authorship network of co-authors of Scott Owens

This figure shows the co-authorship network connecting the top 25 collaborators of Scott Owens. A scholar is included among the top collaborators of Scott Owens based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Scott Owens. Scott Owens is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	A better x86 memory model: x86-TSO (extended version) 2021 ·Kent Academic Repository (University of Kent) ·Scott Owens, Susmit Sarkar, Peter Sewell	1
2	Characterising renaming within OCaml’s module system: theory and implementation 2019 ·Kent Academic Repository (University of Kent) ·(unknown), (unknown), Simon Thompson, Scott Owens	5
3	Benchmarking weak memory models 2016 ·Kent Academic Repository (University of Kent) ·(unknown), Scott Owens	6
4	Lem 2014 ·ACM SIGPLAN Notices ·Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell	7
5	Proof-producing translation of higher-order logic into pure and stateful ML 2014 ·Journal of Functional Programming ·Magnus O. Myreen, Scott Owens	20
6	CakeML 2014 ·Kent Academic Repository (University of Kent) ·Ramana Kumar, Magnus O. Myreen, Michael Norrish, Scott Owens	150
7	Proof-producing synthesis of ML from higher-order logic 2012 ·Kent Academic Repository (University of Kent) ·Magnus O. Myreen, Scott Owens	16
8	Synchronising C/C++ and POWER 2012 ·ACM SIGPLAN Notices ·Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams	4
9	Clarifying and compiling C/C++ concurrency 2012 ·Kent Academic Repository (University of Kent) ·Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell	53
10	Proof-producing synthesis of ML from higher-order logic 2012 ·ACM SIGPLAN Notices ·Magnus O. Myreen, Scott Owens	2
11	Nitpicking c++ concurrency 2011 ·Kent Academic Repository (University of Kent) ·Jasmin Christian Blanchette, Tjark Weber, Mark Batty, Scott Owens, Susmit Sarkar	27
12	Ott: Effective tool support for the working semanticist 2010 ·Journal of Functional Programming ·Peter Sewell, Francesco Zappa Nardelli, Scott Owens, (unknown), (unknown), Susmit Sarkar, Rok Strniša	71
13	x86-TSO 2010 ·Communications of the ACM ·Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen	237
14	Mathematizing C++ Concurrency: The Post-Rapperswil Model 2010 ·Kent Academic Repository (University of Kent) ·Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber	6
15	The semantics of x86-CC multiprocessor machine code 2009 ·ACM SIGPLAN Notices ·Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, (unknown), Magnus O. Myreen, Jade Alglave	16
16	Addressing the Challenges of a Thruster-Based Precision Guided Mortar Munition With the Use of Embedded Telemetry Instrumentation 2009 ·(unknown), (unknown), (unknown), Scott Owens, (unknown), (unknown)	16
17	Adapting functional programs to higher order logic 2008 ·LISP and Symbolic Computation ·Scott Owens, Konrad Slind	9
18	From structures and functors to modules and units 2006 ·ACM SIGPLAN Notices ·Scott Owens, Matthew Flatt	2
19	Lexer and Parser Generators in Scheme 2004 ·Kent Academic Repository (University of Kent) ·Scott Owens, Matthew Flatt, Olin Shivers, (unknown)	10
20	Reviews: Urban and Regional Planning Series, Volume 38. A Decision-Centred View of Environmental Planning, Architecture of the British Empire, the History and Design of the Australian House, the Railway Station: A Social History, Goodnight Campers! The History of the British Holiday Camp, Innovation, Entrepreneurs and Regional Development, Monographs on Soil and Resources Survey 12. Principles of Geographical Information Systems for Land Resources Assessment, Microcomputer Graphics: Art, Design and Creative Modeling, the Art of Computer Graphics Programming: A Structured Introduction for Architects and Designers, Computer Graphics: Systems and Concepts, the Comparative Method: Moving beyond Qualitative and Quantitative Strategies, the Spatial Impact of Technological Change 1988 ·Environment and Planning B Planning and Design ·Alan Hooper, Anthony King, (unknown), Colin Mason, David Martín, (unknown), Robert Haining, Scott Owens	2

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact