Mark Hills

501 total citations
30 papers, 193 citations indexed

About

Mark Hills is a scholar working on Artificial Intelligence, Information Systems and Computational Theory and Mathematics. According to data from OpenAlex, Mark Hills has authored 30 papers receiving a total of 193 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Artificial Intelligence, 16 papers in Information Systems and 10 papers in Computational Theory and Mathematics. Recurrent topics in Mark Hills's work include Logic, programming, and type systems (21 papers), Software Engineering Research (11 papers) and Formal Methods in Verification (10 papers). Mark Hills is often cited by papers focused on Logic, programming, and type systems (21 papers), Software Engineering Research (11 papers) and Formal Methods in Verification (10 papers). Mark Hills collaborates with scholars based in United States, Netherlands and Canada. Mark Hills's co-authors include Paul Klint, Grigore Roşu, Jurgen Vinju, Patrick Meredith, David P. Anderson, Traian Florin Şerbănuţă, Bert Lisser, Atze van der Ploeg, Tijs van der Storm and Sara Hooshangi and has published in prestigious journals such as Science of Computer Programming, Electronic Notes in Theoretical Computer Science and Lincoln Repository (University of Lincoln).

In The Last Decade

Mark Hills

28 papers receiving 182 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Mark Hills United States	9	121	119	51	40	34	30	193
Aseem Rastogi United Kingdom	8	111 0.9×	201 1.7×	52 1.0×	34 0.8×	45 1.3×	11	247
Fatiha Zaïdi France	6	128 1.1×	86 0.7×	101 2.0×	35 0.9×	74 2.2×	14	222
Tijs van der Storm Netherlands	5	132 1.1×	124 1.0×	128 2.5×	27 0.7×	48 1.4×	9	212
Bernhard Schaetz Germany	6	107 0.9×	98 0.8×	143 2.8×	40 1.0×	19 0.6×	14	196
Jared Roesch United States	6	62 0.5×	77 0.6×	87 1.7×	26 0.7×	39 1.1×	13	175
Michael Poppleton United Kingdom	10	70 0.6×	136 1.1×	123 2.4×	89 2.2×	55 1.6×	38	216
Mads Torgersen Denmark	9	135 1.1×	220 1.8×	34 0.7×	70 1.8×	68 2.0×	13	270
Kelly Androutsopoulos United Kingdom	8	119 1.0×	60 0.5×	157 3.1×	29 0.7×	38 1.1×	17	209
Zoltán Porkoláb Hungary	7	137 1.1×	89 0.7×	104 2.0×	9 0.2×	46 1.4×	62	203
Lunjin Lu United States	8	139 1.1×	153 1.3×	66 1.3×	35 0.9×	56 1.6×	40	227

Countries citing papers authored by Mark Hills

Since Specialization

Citations

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

Fields of papers citing papers by Mark Hills

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Mark Hills

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

Paterson, James H., Andrew Csizmadia, Derek Foster, et al.. (2021). Designing Dissemination and Validation of a Framework for Teaching Cloud Fundamentals. ResearchOnline (Glasgow Caledonian University). 163–181. 3 indexed citations

Foster, Derek, et al.. (2020). Cloud Computing Curriculum. ResearchOnline (Glasgow Caledonian University). 151–172. 4 indexed citations

Foster, Derek, et al.. (2020). Cloud Computing Curriculum: Developing Exemplar Modules for General Course Inclusion. ResearchOnline (Glasgow Caledonian University). 510–511. 5 indexed citations

Hills, Mark. (2020). Introducing DevOps Techniques in a Software Construction Class. 1–5. 3 indexed citations

Anderson, David P. & Mark Hills. (2017). Query Construction Patterns in PHP. 452–456. 7 indexed citations

Hills, Mark, Paul Klint, & Jurgen Vinju. (2016). Enabling PHP software engineering research in Rascal. Science of Computer Programming. 134. 37–46. 9 indexed citations

Hills, Mark, Paul Klint, Bert Lisser, et al.. (2015). Modular language implementation in Rascal – experience report. Science of Computer Programming. 114. 7–19. 17 indexed citations

Hills, Mark. (2015). Supporting PHP dynamic analysis in PHP AiR. 37–38. 1 indexed citations

Hills, Mark & Paul Klint. (2014). PHP AiR: Analyzing PHP systems with Rascal. 7745. 454–457. 17 indexed citations

10.

Hills, Mark, Paul Klint, & Jurgen Vinju. (2013). An empirical study of PHP feature usage: a static analysis perspective. 325–335. 35 indexed citations

11.

Hills, Mark, et al.. (2012). A Rewriting Logic Approach to Static Checking of Units of Measurement in C. Electronic Notes in Theoretical Computer Science. 290. 51–67. 9 indexed citations

12.

Hills, Mark. (2009). Memory Representations in Rewriting Logic Semantics Definitions. Electronic Notes in Theoretical Computer Science. 238(3). 155–172. 2 indexed citations

13.

Hills, Mark, Feng Chen, & Grigore Roşu. (2008). Pluggable Policies for C. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 2 indexed citations

14.

Hills, Mark, Traian Florin Şerbănuţă, & Grigore Roşu. (2007). A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters. Electronic Notes in Theoretical Computer Science. 176(4). 215–231. 9 indexed citations

15.

Meredith, Patrick, Mark Hills, & Grigore Roşu. (2007). An Executable Rewriting Logic Semantics of K-Scheme. 10 indexed citations

16.

Meredith, Patrick, Mark Hills, & Grigore Roşu. (2007). A K Definition of Scheme. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 4 indexed citations

17.

Chen, Feng, Mark Hills, & Grigore Roşu. (2006). A Rewrite Logic Approach to Semantic Definition, Design and Analysis of Object-Oriented Languages. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 4 indexed citations

18.

d’Amorim, Marcelo, et al.. (2005). Automatic and Precise Dimensional Analysis. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 1 indexed citations

19.

Hills, Mark, et al.. (2005). An Executable Semantic Definition of the Beta Language using Rewriting Logic. Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign). 3 indexed citations

20.

Kalé, Laxmikant V., Mark Hills, & Chao Huang. (2004). An orchestration language for parallel objects. 1–6. 2 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