Gordon J. Pace

1.7k total citations
72 papers, 426 citations indexed

About

Gordon J. Pace is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Information Systems. According to data from OpenAlex, Gordon J. Pace has authored 72 papers receiving a total of 426 indexed citations (citations by other indexed papers that have themselves been cited), including 34 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 17 papers in Information Systems. Recurrent topics in Gordon J. Pace's work include Formal Methods in Verification (22 papers), Logic, programming, and type systems (15 papers) and Embedded Systems Design Techniques (12 papers). Gordon J. Pace is often cited by papers focused on Formal Methods in Verification (22 papers), Logic, programming, and type systems (15 papers) and Embedded Systems Design Techniques (12 papers). Gordon J. Pace collaborates with scholars based in Malta, Sweden and Spain. Gordon J. Pace's co-authors include Joshua Ellul, Christian Colombo, Gerardo Schneider, Koen Claessen, Stephen McCarthy, Adrian Francalanza, Wolfgang Ahrendt, Fernando Schapachnik, Jifeng He and Ylìès Falcone and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Access and ACM Computing Surveys.

In The Last Decade

Gordon J. Pace

59 papers receiving 397 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Gordon J. Pace Malta	13	195	173	111	103	91	72	426
Gerardo Schneider Sweden	12	298 1.5×	111 0.6×	78 0.7×	147 1.4×	111 1.2×	83	484
Eerke Boiten United Kingdom	13	380 1.9×	217 1.3×	165 1.5×	270 2.6×	211 2.3×	75	645
Kassem Saleh Kuwait	12	133 0.7×	183 1.1×	199 1.8×	139 1.3×	218 2.4×	73	533
Fatma Mili United States	10	247 1.3×	325 1.9×	114 1.0×	47 0.5×	116 1.3×	35	527
Éric van der Vlist France	4	198 1.0×	117 0.7×	162 1.5×	36 0.3×	28 0.3×	8	330
Joseph E. Urban United States	10	171 0.9×	139 0.8×	62 0.6×	69 0.7×	104 1.1×	78	357
Roberto Bruni Italy	15	418 2.1×	178 1.0×	186 1.7×	323 3.1×	123 1.4×	84	650
Patrick Arnold Germany	5	369 1.9×	277 1.6×	102 0.9×	51 0.5×	164 1.8×	8	499
João Paulo Barros Portugal	13	101 0.5×	172 1.0×	75 0.7×	276 2.7×	73 0.8×	60	535
Aysu Betin-Can Türkiye	13	174 0.9×	331 1.9×	134 1.2×	44 0.4×	257 2.8×	33	553

Countries citing papers authored by Gordon J. Pace

Since Specialization

Citations

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

Fields of papers citing papers by Gordon J. Pace

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Gordon J. Pace

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

Ellul, Joshua, et al.. (2024). Bottling Up Trust: A Review of Blockchain Adoption in Wine Supply Chain Traceability. IEEE Access. 12. 178320–178344. 4 indexed citations

Ellul, Joshua, et al.. (2020). Regulating Blockchain, DLT and Smart Contracts: A Technology Regulator’s Perspective. 1 indexed citations

Cambronero, M. Emilia, et al.. (2020). Themulus: A Timed Contract-calculus. 193–204.

Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Chalmers Research (Chalmers University of Technology). 38 indexed citations

Sánchez, César, Gerardo Schneider, Wolfgang Ahrendt, et al.. (2019). Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design. 55(1). 72–72. 1 indexed citations

Ellul, Joshua & Gordon J. Pace. (2019). Towards A Unified Programming Model for Blockchain Smart Contract dApp Systems. 55–56. 2 indexed citations

Cambronero, M. Emilia, et al.. (2017). Timed contract compliance under event timing uncertainty. OAR@UM (University of Malta). 1 indexed citations

Colombo, Christian, et al.. (2017). Control-Flow Residual Analysis for Symbolic Automata. SHILAP Revista de lepidopterología. 254. 29–43. 1 indexed citations

Pace, Gordon J., et al.. (2017). Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming. OAR@UM (University of Malta). 5596. 200–207. 2 indexed citations

10.

Cambronero, M. Emilia, et al.. (2017). A timed contract-calculus. OAR@UM (University of Malta). 1 indexed citations

11.

Francalanza, Adrian, et al.. (2013). Distributed system contract monitoring. The Journal of Logic and Algebraic Programming. 82(5-7). 186–215. 14 indexed citations

12.

Colombo, Christian, et al.. (2012). Safer asynchronous runtime monitoring using compensations. Formal Methods in System Design. 41(3). 269–294. 12 indexed citations

13.

Colombo, Christian & Gordon J. Pace. (2011). A Compensating Transaction Example in Twelve Notations. OAR@UM (University of Malta). 2 indexed citations

14.

Pace, Gordon J., et al.. (2010). Automatic Grammar Rule Extraction and Ranking for Definitions.. Language Resources and Evaluation. 3 indexed citations

15.

Pace, Gordon J., et al.. (2009). On the Specification of Full Contracts. Electronic Notes in Theoretical Computer Science. 253(1). 39–55. 6 indexed citations

16.

Asarin, Eugène, Gordon J. Pace, Gerardo Schneider, & Sergio Yovine. (2007). Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theoretical Computer Science. 390(1). 1–26. 1 indexed citations

17.

Claessen, Koen & Gordon J. Pace. (2007). Embedded Hardware Description Languages: Exploring the Design Space. Chalmers Publication Library (Chalmers University of Technology). 2 indexed citations

18.

Pace, Gordon J., et al.. (2007). Towards automatic extraction of definitions. OAR@UM (University of Malta). 1 indexed citations

19.

Pace, Gordon J., et al.. (2004). Support vector machines with profile-based kernels for remote protein homology detection.. PubMed. 15(2). 191–200. 17 indexed citations

20.

Asarin, Eugène, Gordon J. Pace, Gerardo Schneider, & Sergio Yovine. (2002). SPeeDI - a Verification Tool for Polygonal Hybrid 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