An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3D. - Wilfried Oed; Martin Walker (SPAA, 1993)

A Shared Memory MPP from Cray Research. - R. Kent Koeninger; Mark Furtney; Martin Walker (Digit. Tech. J., 1994)

Compositional Temporal Fault Tree Analysis. - Martin Walker; Leonardo Bottaci; Yiannis Papadopoulos (SAFECOMP, 2007)

A Language for Failure Patterns and Application in Safety Analysis. - Ian Philip Wolforth; Martin Walker; Yiannis Papadopoulos (DepCoS-RELCOMEX, 2008)

A translation of State Machines to temporal fault trees. - Nidhal Mahmud; Yiannis Papadopoulos; Martin Walker (DSN Workshops, 2010)

Automatic allocation of safety integrity levels. - Yiannis Papadopoulos; Martin Walker; Mark-Oliver Reiser; Matthias Weber 001; De-Jiu Chen; Martin Törngren; David Servat; Andreas Abele; Friedhelm Stappert; Henrik Lönn; L. Berntsson; Rolf Johansson 002; et al. (EDCC-CARS, 2010)

A hierarchical method for the reduction of temporal expressions in Pandora. - Martin Walker; Yiannis Papadopoulos (DYADEM-FTS@EDCC, 2010)

Capture and reuse of composable failure patterns. - Ian Philip Wolforth; Martin Walker; Yiannis Papadopoulos; Lars Grunske (Int. J. Crit. Comput. Based Syst., 2010)

Generalizable safety annotations for specification of failure patterns. - Ian Philip Wolforth; Martin Walker; Lars Grunske; Yiannis Papadopoulos (Softw. Pract. Exp., 2010)

On the Use of Mixed Reality Environments to Evaluate Interaction with Light. - Vassilis-Javed Khan; Martin Walker; Dzmitry Aliakseyeu; Jon Mason (AmI Workshops, 2011)

Integrated safety and architecture modeling for automotive embedded systems*. - De-Jiu Chen; Rolf Johansson 002; Henrik Lönn; Hans Blom; Martin Walker; Yiannis Papadopoulos; Sandra Torchiaro; Fulvio Tagliabo; Anders Sandberg (Elektrotech. Informationstechnik, 2011)

Quantification of Priority-OR Gates in Temporal Fault Trees. - Ernest Edifor; Martin Walker; Neil A. Gordon (SAFECOMP, 2012)

Compositional synthesis of temporal fault trees from state machines. - Nidhal Mahmud; Martin Walker; Yiannis Papadopoulos (SIGMETRICS Perform. Evaluation Rev., 2012)

Quantification of Simultaneous-AND Gates in Temporal Fault Trees. - Ernest Edifor; Martin Walker; Neil A. Gordon (DepCoS-RELCOMEX, 2013)

Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. - David Parker 002; Martin Walker; Luís Silva Azevedo; Yiannis Papadopoulos; Rui Esteves Araujo (IEA/AIE, 2013)

Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. - Luís Silva Azevedo; David Parker 002; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo (CARS@SAFECOMP, 2013)

Automatic Optimisation of System Architectures using EAST-ADL. - De-Jiu Chen; Henrik Lönn; Chokri Mraidha; Yiannis Papadopoulos; Mark-Oliver Reiser; David Servat; Luís Silva Azevedo; Sara Tucci Piergiovanni; Martin Walker (ASCoMS@SAFECOMP, 2013)

Fuzzy Cognitive Map Based Situation Assessment Framework for Navigation Goal Detection. - Nuwan Ganganath; Martin Walker; Henry Leung (SMC, 2013)

Automatic optimisation of system architectures using EAST-ADL. - Martin Walker; Mark-Oliver Reiser; Sara Tucci Piergiovanni; Yiannis Papadopoulos; Henrik Lönn; Chokri Mraidha; David Parker 002; De-Jiu Chen; David Servat (J. Syst. Softw., 2013)

Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions. - Ernest Edifor; Neil A. Gordon; Martin Walker; Yiannis Papadopoulos (DepCoS-RELCOMEX, 2014)

Quantification of Temporal Fault Trees Based on Fuzzy Set Theory. - Sohag Kabir; Ernest Edifor; Martin Walker; Neil A. Gordon (DepCoS-RELCOMEX, 2014)

Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. - Luís Silva Azevedo; David Parker 002; Yiannis Papadopoulos; Martin Walker; Ioannis Sorokos; Rui Esteves Araujo (IMBSA, 2014)

Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. - Sohag Kabir; Martin Walker; Yiannis Papadopoulos (IMBSA, 2014)

Detecting Document Structure in a Very Large Corpus of UK Financial Reports. - Mahmoud El-Haj; Paul Rayson; Steven Young 001; Martin Walker (LREC, 2014)

Assisted Assignment of Automotive Safety Requirements. - Luís da Silva Azevedo; David Parker 002; Martin Walker; Yiannis Papadopoulos; Rui Esteves Araujo (IEEE Softw., 2014)

Improving statistical inference on pathogen densities estimated by quantitative molecular methods: malaria gametocytaemia as a case study. - Martin Walker; María-Gloria Basáñez; André Ouédraogo; Cornelus Hermsen; Teun Bousema; Thomas S. Churcher (BMC Bioinform., 2015)

Learning Tone and Attribution for Financial Text Mining. - Mahmoud El-Haj; Paul Rayson; Steven Young 001; Andrew Moore 001; Martin Walker; Thomas Schleicher; Vasiliki Athanasakou (LREC, 2016)

An Hybrid Online Training Face Recognition System Using Pervasive Intelligence Assisted Semantic Information. - Dongfei Xue; Yongqiang Cheng 001; Ping Jiang 001; Martin Walker (TAROS, 2016)

A synthesis of logic and bio-inspired techniques in the design of dependable systems. - Yiannis Papadopoulos; Martin Walker; David Parker 002; Septavera Sharvia; Leonardo Bottaci; Sohag Kabir; Luís Silva Azevedo; Ioannis Sorokos (Annu. Rev. Control., 2016)

Fuzzy temporal fault tree analysis of dynamic systems. - Sohag Kabir; Martin Walker; Yiannis Papadopoulos; Erich Rüde; Peter Securius (Int. J. Approx. Reason., 2016)

A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. - Sohag Kabir; Yiannis Papadopoulos; Martin Walker; David Parker 002; Jose Ignacio Aizpurua; Jörg Lampe; Erich Rüde (IMBSA, 2017)

In Search of Meaning: Lessons, Resources and Next Steps for Computational Analysis of Financial Discourse. - Mahmoud El-Haj; Paul Rayson; Martin Walker; Steven Young 001; Vasiliki Simaki (CoRR, 2019)

SU(2) × SU(2) Algebras and the Lorentz Group O(3, 3). - Martin Walker (Symmetry, 2020)

SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. - Koorosh Aslansefat; Panagiota Nikolaou; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Jan Reich; Panayiotis Kolios; Maria K. Michael; Theocharis Theocharides; Georgios Ellinas; Daniel Schneider 001; Yiannis Papadopoulos (IMBSA, 2022)

CAS Common Chemistry in 2021: Expanding Access to Trusted Chemical Information for the Scientific Community. - Andrea Jacobs; Dustin Williams; Katherine Hickey; Nathan Patrick; Antony J. Williams; Stuart J. Chalk; Leah McEwen; Egon L. Willighagen; Martin Walker; Evan Bolton; Gabriel Sinclair; Adam Sanford (J. Chem. Inf. Model., 2022)

Wikipedia on the CompTox Chemicals Dashboard: Connecting Resources to Enrich Public Chemical Data. - Gabriel Sinclair; Inthirany Thillainadarajah; Brian Meyer; Vicente Samano; Sakuntala Sivasupramaniam; Linda Adams; Egon L. Willighagen; Ann M. Richard; Martin Walker; Antony J. Williams (J. Chem. Inf. Model., 2022)

Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. - Koorosh Aslansefat; Mojgan Hashemian; Martin Walker; Mohammed Naveed Akram; Ioannis Sorokos; Yiannis Papadopoulos (IEEE Softw., 2024)

Modelling transmission thresholds and hypoendemic stability for onchocerciasis elimination. - Jacob N. Stapley; Jonathan I. D. Hamley; María-Gloria Basáñez; Martin Walker (PLoS Comput. Biol., 2025)

Artificial Intelligence: Foundational Technologies of Artificial Intelligence. - Jeffrey Johnson 001; Peter J. Denning; Andrew M. Odlyzko; Martin Walker; Kemal A. Delic; Philip Yaffe; Phil D. Picton (Ubiquity, 2025)