Martin Walker

42 papers B 7C 1Journal 19Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Artificial Intelligence: Foundational Technologies of Artificial Intelligence.
Ubiquity
Jeffrey Johnson, Peter J. Denning, Andrew M. Odlyzko, Martin Walker, Kemal A. Delic, Philip Yaffe, Phil D. Picton
2025 J jnl
Modelling transmission thresholds and hypoendemic stability for onchocerciasis elimination.
PLoS Comput. Biol.
Jacob N. Stapley, Jonathan I. D. Hamley, María-Gloria Basáñez, Martin Walker
2024 J jnl
Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations.
IEEE Softw.
Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
2023 J jnl
Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations.
CoRR
Koorosh Aslansefat, Mojgan Hashemian, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos
2022 J jnl
CAS Common Chemistry in 2021: Expanding Access to Trusted Chemical Information for the Scientific Community.
J. Chem. Inf. Model.
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
2022 — conf
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities.
IMBSA
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
2022 J jnl
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities.
CoRR
Koorosh Aslansefat, Panagiota Nikolaou, Martin Walker, Mohammed Naveed Akram, Ioannis Sorokos, Jan Reich, Panayiotis Kolios, Maria K. Michael, Theocharis Theocharides, Georgios Ellinas, Daniel Schneider, Yiannis Papadopoulos
2022 J jnl
Wikipedia on the CompTox Chemicals Dashboard: Connecting Resources to Enrich Public Chemical Data.
J. Chem. Inf. Model.
Gabriel Sinclair, Inthirany Thillainadarajah, Brian Meyer, Vicente Samano, Sakuntala Sivasupramaniam, Linda Adams, Egon L. Willighagen, Ann M. Richard, Martin Walker, Antony J. Williams
2020 J jnl
SU(2) × SU(2) Algebras and the Lorentz Group O(3, 3).
Symmetry
Martin Walker
2019 J jnl
In Search of Meaning: Lessons, Resources and Next Steps for Computational Analysis of Financial Discourse.
CoRR
Mahmoud El-Haj, Paul Rayson, Martin Walker, Steven Young, Vasiliki Simaki
2017 — conf
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies.
IMBSA
Sohag Kabir, Yiannis Papadopoulos, Martin Walker, David Parker, Jose Ignacio Aizpurua, Jörg Lampe, Erich Rüde
2016 J jnl
A synthesis of logic and bio-inspired techniques in the design of dependable systems.
Annu. Rev. Control.
Yiannis Papadopoulos, Martin Walker, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir, Luís Silva Azevedo, Ioannis Sorokos
2016 — conf
An Hybrid Online Training Face Recognition System Using Pervasive Intelligence Assisted Semantic Information.
TAROS
Dongfei Xue, Yongqiang Cheng, Ping Jiang, Martin Walker
2016 J jnl
Fuzzy temporal fault tree analysis of dynamic systems.
Int. J. Approx. Reason.
Sohag Kabir, Martin Walker, Yiannis Papadopoulos, Erich Rüde, Peter Securius
2016 B conf
Learning Tone and Attribution for Financial Text Mining.
LREC
Mahmoud El-Haj, Paul Rayson, Steven Young, Andrew Moore, Martin Walker, Thomas Schleicher, Vasiliki Athanasakou
2015 J jnl
Improving statistical inference on pathogen densities estimated by quantitative molecular methods: malaria gametocytaemia as a case study.
BMC Bioinform.
Martin Walker, María-Gloria Basáñez, André Ouédraogo, Cornelus Hermsen, Teun Bousema, Thomas S. Churcher
2014 J jnl
Assisted Assignment of Automotive Safety Requirements.
IEEE Softw.
Luís da Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo
2014 B conf
Detecting Document Structure in a Very Large Corpus of UK Financial Reports.
LREC
Mahmoud El-Haj, Paul Rayson, Steven Young, Martin Walker
2014 — conf
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels.
IMBSA
Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo
2014 — conf
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory.
DepCoS-RELCOMEX
Sohag Kabir, Ernest Edifor, Martin Walker, Neil A. Gordon
2014 — conf
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks.
IMBSA
Sohag Kabir, Martin Walker, Yiannis Papadopoulos
2014 — conf
Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions.
DepCoS-RELCOMEX
Ernest Edifor, Neil A. Gordon, Martin Walker, Yiannis Papadopoulos
2013 C conf
Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm.
IEA/AIE
David Parker, Martin Walker, Luís Silva Azevedo, Yiannis Papadopoulos, Rui Esteves Araujo
2013 — conf
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search.
CARS@SAFECOMP
Luís Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo
2013 — conf
Automatic Optimisation of System Architectures using EAST-ADL.
ASCoMS@SAFECOMP
De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker
2013 J jnl
Automatic optimisation of system architectures using EAST-ADL.
J. Syst. Softw.
Martin Walker, Mark-Oliver Reiser, Sara Tucci Piergiovanni, Yiannis Papadopoulos, Henrik Lönn, Chokri Mraidha, David Parker, De-Jiu Chen, David Servat
2013 B conf
Fuzzy Cognitive Map Based Situation Assessment Framework for Navigation Goal Detection.
SMC
Nuwan Ganganath, Martin Walker, Henry Leung
2013 — conf
Quantification of Simultaneous-AND Gates in Temporal Fault Trees.
DepCoS-RELCOMEX
Ernest Edifor, Martin Walker, Neil A. Gordon
2012 J jnl
Compositional synthesis of temporal fault trees from state machines.
SIGMETRICS Perform. Evaluation Rev.
Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos
2012 B conf
Quantification of Priority-OR Gates in Temporal Fault Trees.
SAFECOMP
Ernest Edifor, Martin Walker, Neil A. Gordon
2011 B conf
Compositional Synthesis of Temporal Fault Trees from State Machines.
ARES
Nidhal Mahmud, Martin Walker, Yiannis Papadopoulos
2011 J jnl
Integrated safety and architecture modeling for automotive embedded systems
Elektrotech. Informationstechnik
De-Jiu Chen, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker, Yiannis Papadopoulos, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg
2011 — conf
On the Use of Mixed Reality Environments to Evaluate Interaction with Light.
AmI Workshops
Vassilis-Javed Khan, Martin Walker, Dzmitry Aliakseyeu, Jon Mason
2010 — conf
A hierarchical method for the reduction of temporal expressions in Pandora.
DYADEM-FTS@EDCC
Martin Walker, Yiannis Papadopoulos
2010 — conf
A translation of State Machines to temporal fault trees.
DSN Workshops
Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker
2010 — conf
Automatic allocation of safety integrity levels.
EDCC-CARS
Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg
2010 J jnl
Capture and reuse of composable failure patterns.
Int. J. Crit. Comput. Based Syst.
Ian Philip Wolforth, Martin Walker, Yiannis Papadopoulos, Lars Grunske
2010 J jnl
Generalizable safety annotations for specification of failure patterns.
Softw. Pract. Exp.
Ian Philip Wolforth, Martin Walker, Lars Grunske, Yiannis Papadopoulos
2008 — conf
A Language for Failure Patterns and Application in Safety Analysis.
DepCoS-RELCOMEX
Ian Philip Wolforth, Martin Walker, Yiannis Papadopoulos
2007 B conf
Compositional Temporal Fault Tree Analysis.
SAFECOMP
Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos
1994 J jnl
A Shared Memory MPP from Cray Research.
Digit. Tech. J.
R. Kent Koeninger, Mark Furtney, Martin Walker
1993 B conf
An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3D.
SPAA
Wilfried Oed, Martin Walker