Sam Owre

4.1k total citations
15 papers, 731 citations indexed

About

Sam Owre is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Sam Owre has authored 15 papers receiving a total of 731 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 5 papers in Software. Recurrent topics in Sam Owre's work include Formal Methods in Verification (12 papers), Logic, programming, and type systems (6 papers) and Real-Time Systems Scheduling (3 papers). Sam Owre is often cited by papers focused on Formal Methods in Verification (12 papers), Logic, programming, and type systems (6 papers) and Real-Time Systems Scheduling (3 papers). Sam Owre collaborates with scholars based in United States, Germany and France. Sam Owre's co-authors include Natarajan Shankar, John Rushby, Friedrich von Henke, Mandayam Srivas, Leonardo de Moura, Yassine Lakhnech, Harald Rueß, Saddek Bensalem, Vlad Rusu and César Muñoz and has published in prestigious journals such as IEEE Transactions on Software Engineering, Lecture notes in computer science and NASA STI Repository (National Aeronautics and Space Administration).

In The Last Decade

Sam Owre

15 papers receiving 599 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Sam Owre United States	10	487	365	307	163	149	15	731
B. Labaw United States	10	457 0.9×	416 1.1×	578 1.9×	112 0.7×	79 0.5×	16	836
Saddek Bensalem France	13	367 0.8×	221 0.6×	255 0.8×	175 1.1×	109 0.7×	42	565
Hubert Garavel France	12	385 0.8×	230 0.6×	230 0.7×	133 0.8×	142 1.0×	31	551
Doron Drusinsky United States	12	295 0.6×	204 0.6×	262 0.9×	120 0.7×	76 0.5×	62	535
Jan Madey Canada	5	272 0.6×	436 1.2×	423 1.4×	67 0.4×	122 0.8×	5	751
V. Stavridou United Kingdom	11	187 0.4×	184 0.5×	246 0.8×	79 0.5×	98 0.7×	39	506
István Majzik Hungary	12	258 0.5×	271 0.7×	406 1.3×	74 0.5×	125 0.8×	49	630
Peter Csaba Ölveczky Norway	12	352 0.7×	205 0.6×	136 0.4×	182 1.1×	206 1.4×	60	550
Jan Tretmans Netherlands	11	378 0.8×	152 0.4×	570 1.9×	112 0.7×	130 0.9×	35	695
Stefano Tonetta Italy	15	317 0.7×	250 0.7×	302 1.0×	66 0.4×	46 0.3×	65	535

Countries citing papers authored by Sam Owre

Since Specialization

Citations

This map shows the geographic impact of Sam Owre'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 Sam Owre with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sam Owre more than expected).

Fields of papers citing papers by Sam Owre

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Sam Owre. 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 Sam Owre. The network helps show where Sam Owre may publish in the future.

Co-authorship network of co-authors of Sam Owre

This figure shows the co-authorship network connecting the top 25 collaborators of Sam Owre. A scholar is included among the top collaborators of Sam Owre 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 Sam Owre. Sam Owre 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:

15 of 15 papers shown

1.

Dutertre, Bruno, et al.. (2012). Integrated Formal Analysis of Timed-Triggered Ethernet. NASA STI Repository (National Aeronautics and Space Administration). 4 indexed citations

2.

Owre, Sam. (2008). A Brief Overview of the PVS User Interface. 3 indexed citations

3.

Moura, Leonardo de, Sam Owre, & Natarajan Shankar. (2003). The SAL Language Manual. 61 indexed citations

4.

Owre, Sam & Natarajan Shankar. (2001). Theory Interpretations in PVS. 25 indexed citations

5.

Owre, Sam, et al.. (2001). Evaluating, Testing, and Animating PVS Specications. 17 indexed citations

6.

Bensalem, Saddek, Vijay Ganesh, Yassine Lakhnech, et al.. (2000). An Overview of SAL. Formal Methods. 101 indexed citations

7.

Owre, Sam, et al.. (1999). PVS: An Experience Report.. Lecture notes in computer science. 1641. 338–345. 5 indexed citations

8.

Owre, Sam & Natarajan Shankar. (1999). The Formal Semantics of PVS. NASA Technical Reports Server (NASA). 24 indexed citations

9.

Lakhnech, Yassine, et al.. (1998). Computing Abstractions of Infinite State Systems Compositionally and Automatically. 9 indexed citations

10.

Rushby, John, Sam Owre, & Natarajan Shankar. (1998). Subtypes for specifications: predicate subtyping in PVS. IEEE Transactions on Software Engineering. 24(9). 709–720. 67 indexed citations

11.

Owre, Sam, et al.. (1998). A Tutorial Introduction to PVS. 105 indexed citations

12.

Owre, Sam & Natarajan Shankar. (1997). Abstract Datatypes in PVS. 20 indexed citations

13.

Owre, Sam, John Rushby, & Natarajan Shankar. (1997). Analyzing Tabular and State-Transition Requirements Specifications in PVS. NASA Technical Reports Server (NASA). 11 indexed citations

14.

Owre, Sam, John Rushby, Natarajan Shankar, & Friedrich von Henke. (1995). Formal verification for fault-tolerant architectures: prolegomena to the design of PVS. IEEE Transactions on Software Engineering. 21(2). 107–125. 273 indexed citations

15.

Halpern, Joe, et al.. (1987). Muse—A Computer Assisted Verification System. IEEE Transactions on Software Engineering. SE-13(2). 151–156. 6 indexed citations

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