Jacob Matthews

795 citations
13 papers · 305 · h-index 8

Impact in

Papers in

Jacob Matthews

10 papers receiving 291 citations

Peers

Jacob Matthews
Comparison fields: 5 of 27
  • Software 62
  • Hardware and Architecture 75
  • Artificial Intelligence 282
  • Computational Theory and Mathematics 105
  • Information Systems 118
Replace Olaf Chitil with:
Olaf Chitil United Kingdom
Rok Strniša United Kingdom
Sandrine Blazy France
Miguel Gómez‐Zamalloa Spain
Keith Wansbrough United Kingdom
Christos Dimoulas United States
Herman Venter United States
Diego Garbervetsky Argentina
Patrick M. Rondon United States
Chrislain Razafimahefa Switzerland
Jacob Matthews relative to Olaf Chitil United Kingdom Olaf Chitil's profile →
Citations per field
00.5×12×
Olaf Chitil · 1×
Citations per year

Countries citing papers authored by Jacob Matthews

Since Specialization
Citations

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

Fields of papers citing papers by Jacob Matthews

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authors

The 10 scholars most cited alongside Jacob Matthews, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Jacob Matthews Line = papers co-authored together Jacob Matthews links everyone, so they are left out of the graph.

All Works

13 of 13 papers shown
#Work
1 200973
2 200764
3 200945
4 200743
5 200736
6 200921
7
An operational semantics for R 5 RS Scheme
200510
8 20077
9
Component Deployment with PLaneT You Want it Where
20064
10 20231
11
The meaning of multilanguage programs
20081
12 20240
13 20240

About Jacob Matthews

Jacob Matthews is a scholar working on Artificial Intelligence, Information Systems, Computational Theory and Mathematics, Computer Networks and Communications and Aerospace Engineering, having authored 13 papers that have together received 305 indexed citations. Recurring topics across this work include Logic, programming, and type systems (8 papers), Software Engineering Research (4 papers), Advanced Software Engineering Methodologies (4 papers), Formal Methods in Verification (3 papers), Distributed systems and fault tolerance (2 papers), Software Engineering Techniques and Practices (1 paper), Ammonia Synthesis and Nitrogen Reduction (1 paper) and Model-Driven Software Engineering Techniques (1 paper). The work is most often cited by research in Software (62 citations), Hardware and Architecture (75 citations), Artificial Intelligence (282 citations), Computational Theory and Mathematics (105 citations) and Information Systems (118 citations). Jacob Matthews has collaborated with scholars based in United States, Philippines and Canada. Frequent co-authors include Robert Bruce Findler, Michael Sperber, Matthew Flatt, R. Kent Dybvig, Shriram Krishnamurthi, Arjun Guha, Philip Wadler, Amal Ahmed, John M. Starr and Marten van Schijndel. Their work appears in journals such as Journal of Functional Programming, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

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