Jeffrey J. Joyce

641 total citations
25 papers, 251 citations indexed

About

Jeffrey J. Joyce is a scholar working on Computational Theory and Mathematics, Software and Hardware and Architecture. According to data from OpenAlex, Jeffrey J. Joyce has authored 25 papers receiving a total of 251 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Computational Theory and Mathematics, 8 papers in Software and 7 papers in Hardware and Architecture. Recurrent topics in Jeffrey J. Joyce's work include Formal Methods in Verification (10 papers), Embedded Systems Design Techniques (7 papers) and Software Reliability and Analysis Research (4 papers). Jeffrey J. Joyce is often cited by papers focused on Formal Methods in Verification (10 papers), Embedded Systems Design Techniques (7 papers) and Software Reliability and Analysis Research (4 papers). Jeffrey J. Joyce collaborates with scholars based in Canada, United Kingdom and Poland. Jeffrey J. Joyce's co-authors include Greg Lomow, Konrad Slind, Brian Unger, Carl-Johan H. Seger, Nancy A. Day, Ivan Damnjanović, Stuart Anderson, Rami Debouk, José Antonio de la O Serna and Joseph D’Ambrosio and has published in prestigious journals such as ACM Transactions on Computer Systems, Lecture notes in computer science and Journal of Management in Engineering.

In The Last Decade

Jeffrey J. Joyce

21 papers receiving 212 citations

Peers

Jeffrey J. Joyce

CNC

HA

CTM

AI

SOFTW

Padmanabhan Krishnan Australia

Perry Alexander United States

Noah S. Prywes United States

Alexander K. Petrenko Russia

Rida A. Bazzi United States

R.R.H. Schiffelers Netherlands

John Fendrich United States

Moonjoo Kim United States

Yitzhak Mandelbaum United States

Erik Meijer United States

Padmanabhan Krishnan Australia

Jeffrey J. Joyce

106 ×0.8

CNC

60 ×0.6

HA

39 ×0.6

CTM

92 ×1.4

AI

127 ×2.3

SOFTW

Citations per year, relative to Jeffrey J. Joyce Jeffrey J. Joyce (= 1×) peers Padmanabhan Krishnan

Countries citing papers authored by Jeffrey J. Joyce

Since Specialization

Citations

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

Fields of papers citing papers by Jeffrey J. Joyce

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Jeffrey J. Joyce

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

1.

Serna, José Antonio de la O, et al.. (2020). Bridging the Gap between ISO 26262 and Machine Learning: A Survey of Techniques for Developing Confidence in Machine Learning Systems. SAE International Journal of Advances and Current Practices in Mobility. 2(3). 1538–1550. 3 indexed citations

2.

Joyce, Jeffrey J., et al.. (2013). Creating safety assurance cases for rebreather systems. 47. 34–39. 1 indexed citations

3.

Damnjanović, Ivan, et al.. (2013). Identifying, Communicating, and Responding to Project Value Interests. Journal of Management in Engineering. 29(1). 50–59. 4 indexed citations

4.

Joyce, Jeffrey J.. (2009). A discipline of specification-based test derivation. Open Collections. 1 indexed citations

5.

Day, Nancy A., et al.. (2008). Modelling feature interactions in the automotive domain. 45–50. 17 indexed citations

6.

Day, Nancy A., et al.. (1998). Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region. 4 indexed citations

7.

Joyce, Jeffrey J., et al.. (1998). 5.1.4 Applying an Automated Test Description Tool to Testing Based on System Level Requirements. INCOSE International Symposium. 8(1). 166–170. 3 indexed citations

8.

Joyce, Jeffrey J. & Nancy A. Day. (1998). A framework for multinotation, model-orientated requirements analysis. 1 indexed citations

9.

Joyce, Jeffrey J., et al.. (1996). GENERATING TEST CASES FROM FORMAL SPECIFICATIONS. INCOSE International Symposium. 6(1). 463–470. 4 indexed citations

10.

Joyce, Jeffrey J., et al.. (1995). 6.4.1 Industrialization Of Formal Methods Through Process Definition. INCOSE International Symposium. 5(1). 917–921. 1 indexed citations

11.

Joyce, Jeffrey J. & Carl-Johan H. Seger. (1994). Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings. Medical Entomology and Zoology. 1 indexed citations

12.

Joyce, Jeffrey J., et al.. (1994). Higher Order Logic Theorem Proving and Its Applications. Lecture notes in computer science. 5 indexed citations

13.

Joyce, Jeffrey J.. (1993). Integration of CASE into undergraduate education. Conference of the Centre for Advanced Studies on Collaborative Research. 128–137. 2 indexed citations

14.

Joyce, Jeffrey J. & Carl-Johan H. Seger. (1993). Proceedings of the 6th International Workshop on Higher Order Logic Theorem Proving and its Applications. 2 indexed citations

15.

Joyce, Jeffrey J., et al.. (1992). A Mathematically Precise Two-Level Formal Hardware Verification Methodology*. 6 indexed citations

16.

Joyce, Jeffrey J.. (1990). More Reasons Why Higher-Order Logic is a Good Formalism for Specifying and Verifying Hardware. 4 indexed citations

17.

Joyce, Jeffrey J.. (1989). Formal specification and verification of microprocessor systems. Integration. 7(3). 247–266. 5 indexed citations

18.

Joyce, Jeffrey J.. (1988). Formal specification and verification of microprocessor systems. Microprocessing and Microprogramming. 24(1-5). 371–378. 3 indexed citations

19.

Joyce, Jeffrey J., Greg Lomow, Konrad Slind, & Brian Unger. (1987). Monitoring distributed systems. ACM Transactions on Computer Systems. 5(2). 121–150. 156 indexed citations

20.

Joyce, Jeffrey J., Greg Lomow, Konrad Slind, & Brian Unger. (1985). Monitoring distributed systems. PRISM (University of Calgary). 113–142. 3 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