Mark Boddy

2.4k citations
38 papers · 1.5k indexed · 1 hit paper · h-index 12

Impact in

Papers in

    • Model-Driven Software Engineering Techniques 4
    • Software Reliability and Analysis Research 4
    • AI-based Problem Solving and Planning 22
    • Logic, Reasoning, and Knowledge 9
    • Reinforcement Learning in Robotics 5

Mark Boddy

34 papers receiving 1.3k citations

Hit Papers

An analysis of time-dependent planning 1988 · 489 citations
4891988202620002013100200300400

Peers

Mark Boddy
Comparison fields: 5 of 92
  • Orthopedics and Sports Medicine 250
  • Artificial Intelligence 910
  • Computer Networks and Communications 447
  • Software 61
  • Hardware and Architecture 97
Replace Parag Kulkarni with:
Parag Kulkarni India
Irfan Ahmad Saudi Arabia
Giuseppe Di Fatta United Kingdom
Kee-Eung Kim South Korea
S. Venkatesan United States
Laurence Tratt United Kingdom
Abdul Rauf Baig Pakistan
Roy Sterritt United Kingdom
Eiichi Osawa Japan
R. James Firby United States
Mark Boddy relative to Parag Kulkarni India Parag Kulkarni's profile →
Citations per field
00.5×20×40×62.5×
Parag Kulkarni · 1×
Citations per year

Countries citing papers authored by Mark Boddy

Since Specialization
Citations

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

Fields of papers citing papers by Mark Boddy

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network

The 25 scholars most cited alongside Mark Boddy, 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 Mark Boddy Line = papers co-authored together Mark Boddy links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown
#Work
1
Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System.
20160
2 20163
3 2013257
4
"Unrolling" complex task models into MDPs
20072
5
Coordinated Plan Management Using Multiagent MDPs
200631
6
Course of action generation for cyber security using classical planning
200581
7
Automated Vulnerability Analysis Using AI Planning.
20053
8
A method for global optimization of large systems of quadratic constraints
20030
9 19977
10
Expressive planning and explicit knowledge
199659
11
Empirical results on scheduling and dynamic backtracking
19946
12
Constraint based scheduling for the Goddard Space Flight Center distributed Active Archive Center's data archive and distribution system
19941
13
Conditional linear planning
199432
14
Scheduling with partial orders and a causal model
19934
15
Anytime problem solving using dynamic programming
199140
16 199111
17
Solving time-dependent planning problems
1989201
18
Investigations of Model-Preference Defaults
19891
19
An analysis of time-dependent planning
Hit paper breakdown →
1988489
20
Incremental causal reasoning
198712

About Mark Boddy

Mark Boddy is a scholar working on Software, Artificial Intelligence, Industrial and Manufacturing Engineering, Computer Networks and Communications and Computational Theory and Mathematics, having authored 38 papers that have together received 1.5k indexed citations. Recurring topics across this work include AI-based Problem Solving and Planning (22 papers), Constraint Satisfaction and Optimization (13 papers), Logic, Reasoning, and Knowledge (9 papers), Scheduling and Optimization Algorithms (6 papers), Formal Methods in Verification (6 papers), Reinforcement Learning in Robotics (5 papers), Model-Driven Software Engineering Techniques (4 papers) and Software Reliability and Analysis Research (4 papers). The work is most often cited by research in Orthopedics and Sports Medicine (250 citations), Artificial Intelligence (910 citations), Computer Networks and Communications (447 citations), Software (61 citations) and Hardware and Architecture (97 citations). Mark Boddy has collaborated with scholars based in United States, United Kingdom and Chile. Frequent co-authors include Thomas Dean, Robert P. Goldman, Magni Mohr, Peter Krustrup, Chris Barnes, Paul S. Bradley, Antonio Gómez-Díaz, J Ade, P J Hood and Christopher Carling. Their work appears in journals such as Artificial Intelligence, Human Movement Science, AI Magazine, Disease Markers and Robotics and Computer-Integrated Manufacturing.

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

Rankless by CCL
2026