![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Martin Walker
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j14]Koorosh Aslansefat
, Mojgan Hashemian
, Martin Walker
, Mohammed Naveed Akram, Ioannis Sorokos
, Yiannis Papadopoulos
:
Explaining Black Boxes With a SMILE: Statistical Model-Agnostic Interpretability With Local Explanations. IEEE Softw. 41(1): 87-97 (2024) - 2022
- [j13]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
:
CAS Common Chemistry in 2021: Expanding Access to Trusted Chemical Information for the Scientific Community. J. Chem. Inf. Model. 62(11): 2737-2743 (2022) - [j12]Gabriel Sinclair
, Inthirany Thillainadarajah, Brian Meyer, Vicente Samano, Sakuntala Sivasupramaniam, Linda Adams, Egon L. Willighagen
, Ann M. Richard
, Martin Walker
, Antony J. Williams
:
Wikipedia on the CompTox Chemicals Dashboard: Connecting Resources to Enrich Public Chemical Data. J. Chem. Inf. Model. 62(20): 4888-4905 (2022) - 2020
- [j11]Martin Walker:
SU(2) × SU(2) Algebras and the Lorentz Group O(3, 3). Symmetry 12(5): 817 (2020) - 2016
- [j10]Yiannis Papadopoulos, Martin Walker
, David Parker, Septavera Sharvia, Leonardo Bottaci, Sohag Kabir
, Luís Silva Azevedo, Ioannis Sorokos:
A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control. 41: 170-182 (2016) - [j9]Sohag Kabir
, Martin Walker
, Yiannis Papadopoulos, Erich Rüde, Peter Securius:
Fuzzy temporal fault tree analysis of dynamic systems. Int. J. Approx. Reason. 77: 20-37 (2016) - 2015
- [j8]Martin Walker
, María-Gloria Basáñez
, André Ouédraogo, Cornelus Hermsen, Teun Bousema
, Thomas S. Churcher
:
Improving statistical inference on pathogen densities estimated by quantitative molecular methods: malaria gametocytaemia as a case study. BMC Bioinform. 16: 5:1-5:11 (2015) - 2014
- [j7]Luís da Silva Azevedo, David Parker, Martin Walker
, Yiannis Papadopoulos
, Rui Esteves Araujo
:
Assisted Assignment of Automotive Safety Requirements. IEEE Softw. 31(1): 62-68 (2014) - 2013
- [j6]Martin Walker
, Mark-Oliver Reiser, Sara Tucci Piergiovanni
, Yiannis Papadopoulos
, Henrik Lönn, Chokri Mraidha
, David Parker, De-Jiu Chen
, David Servat:
Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10): 2467-2487 (2013) - 2012
- [j5]Nidhal Mahmud
, Martin Walker, Yiannis Papadopoulos:
Compositional synthesis of temporal fault trees from state machines. SIGMETRICS Perform. Evaluation Rev. 39(4): 79-88 (2012) - 2011
- [j4]De-Jiu Chen
, Rolf Johansson, Henrik Lönn, Hans Blom, Martin Walker
, Yiannis Papadopoulos
, Sandra Torchiaro, Fulvio Tagliabo, Anders Sandberg:
Integrated safety and architecture modeling for automotive embedded systems*. Elektrotech. Informationstechnik 128(6): 196-202 (2011) - 2010
- [j3]Ian Philip Wolforth, Martin Walker
, Yiannis Papadopoulos
, Lars Grunske
:
Capture and reuse of composable failure patterns. Int. J. Crit. Comput. Based Syst. 1(1/2/3): 128-147 (2010) - [j2]Ian Philip Wolforth, Martin Walker
, Lars Grunske
, Yiannis Papadopoulos
:
Generalizable safety annotations for specification of failure patterns. Softw. Pract. Exp. 40(5): 453-483 (2010) - 1994
- [j1]R. Kent Koeninger, Mark Furtney, Martin Walker:
A Shared Memory MPP from Cray Research. Digit. Tech. J. 6(2) (1994)
Conference and Workshop Papers
- 2022
- [c23]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:
SafeDrones: Real-Time Reliability Evaluation of UAVs Using Executable Digital Dependable Identities. IMBSA 2022: 252-266 - 2017
- [c22]Sohag Kabir, Yiannis Papadopoulos, Martin Walker
, David Parker, Jose Ignacio Aizpurua
, Jörg Lampe
, Erich Rüde:
A Model-Based Extension to HiP-HOPS for Dynamic Fault Propagation Studies. IMBSA 2017: 163-178 - 2016
- [c21]Mahmoud El-Haj, Paul Rayson, Steven Young, Andrew Moore, Martin Walker, Thomas Schleicher, Vasiliki Athanasakou:
Learning Tone and Attribution for Financial Text Mining. LREC 2016 - [c20]Dongfei Xue, Yongqiang Cheng
, Ping Jiang, Martin Walker
:
An Hybrid Online Training Face Recognition System Using Pervasive Intelligence Assisted Semantic Information. TAROS 2016: 364-370 - 2014
- [c19]Ernest Edifor, Neil A. Gordon
, Martin Walker
, Yiannis Papadopoulos:
Using Simulation to Evaluate Dynamic Systems with Weibull or Lognormal Distributions. DepCoS-RELCOMEX 2014: 177-187 - [c18]Sohag Kabir, Ernest Edifor, Martin Walker
, Neil A. Gordon
:
Quantification of Temporal Fault Trees Based on Fuzzy Set Theory. DepCoS-RELCOMEX 2014: 255-264 - [c17]Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker
, Ioannis Sorokos, Rui Esteves Araujo:
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. IMBSA 2014: 70-81 - [c16]Sohag Kabir, Martin Walker
, Yiannis Papadopoulos:
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. IMBSA 2014: 96-109 - [c15]Mahmoud El-Haj, Paul Rayson, Steven Young, Martin Walker:
Detecting Document Structure in a Very Large Corpus of UK Financial Reports. LREC 2014: 1335-1338 - 2013
- [c14]Ernest Edifor, Martin Walker
, Neil A. Gordon
:
Quantification of Simultaneous-AND Gates in Temporal Fault Trees. DepCoS-RELCOMEX 2013: 141-151 - [c13]David Parker, Martin Walker
, Luís Silva Azevedo, Yiannis Papadopoulos
, Rui Esteves Araujo
:
Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm. IEA/AIE 2013: 449-459 - [c12]Luís Silva Azevedo, David Parker, Martin Walker, Yiannis Papadopoulos, Rui Esteves Araujo:
Automatic Decomposition of Safety Integrity Levels: Optimization by Tabu Search. CARS@SAFECOMP 2013 - [c11]De-Jiu Chen, Henrik Lönn, Chokri Mraidha, Yiannis Papadopoulos, Mark-Oliver Reiser, David Servat, Luís Silva Azevedo, Sara Tucci Piergiovanni, Martin Walker:
Automatic Optimisation of System Architectures using EAST-ADL. ASCoMS@SAFECOMP 2013 - [c10]Nuwan Ganganath
, Martin Walker, Henry Leung:
Fuzzy Cognitive Map Based Situation Assessment Framework for Navigation Goal Detection. SMC 2013: 1444-1449 - 2012
- [c9]Ernest Edifor, Martin Walker
, Neil A. Gordon
:
Quantification of Priority-OR Gates in Temporal Fault Trees. SAFECOMP 2012: 99-110 - 2011
- [c8]Nidhal Mahmud
, Martin Walker
, Yiannis Papadopoulos
:
Compositional Synthesis of Temporal Fault Trees from State Machines. ARES 2011: 429-435 - [c7]Vassilis-Javed Khan
, Martin Walker, Dzmitry Aliakseyeu, Jon Mason:
On the Use of Mixed Reality Environments to Evaluate Interaction with Light. AmI Workshops 2011: 45-48 - 2010
- [c6]Nidhal Mahmud
, Yiannis Papadopoulos
, Martin Walker
:
A translation of State Machines to temporal fault trees. DSN Workshops 2010: 45-51 - [c5]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:
Automatic allocation of safety integrity levels. EDCC-CARS 2010: 7-10 - [c4]Martin Walker
, Yiannis Papadopoulos
:
A hierarchical method for the reduction of temporal expressions in Pandora. DYADEM-FTS@EDCC 2010: 7-12 - 2008
- [c3]Ian Philip Wolforth, Martin Walker
, Yiannis Papadopoulos
:
A Language for Failure Patterns and Application in Safety Analysis. DepCoS-RELCOMEX 2008: 47-54 - 2007
- [c2]Martin Walker
, Leonardo Bottaci, Yiannis Papadopoulos:
Compositional Temporal Fault Tree Analysis. SAFECOMP 2007: 106-119 - 1993
- [c1]Wilfried Oed, Martin Walker:
An Overview of Cray Research Computers Including the Y-MP/C90 and the new MPP T3D. SPAA 1993: 271-272
Informal and Other Publications
- 2023
- [i3]Koorosh Aslansefat, Mojgan Hashemian, Martin Walker
, Mohammed Naveed Akram, Ioannis Sorokos, Yiannis Papadopoulos:
Explaining black boxes with a SMILE: Statistical Model-agnostic Interpretability with Local Explanations. CoRR abs/2311.07286 (2023) - 2022
- [i2]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:
SafeDrones: Real-Time Reliability Evaluation of UAVs using Executable Digital Dependable Identities. CoRR abs/2207.05643 (2022) - 2019
- [i1]Mahmoud El-Haj, Paul Rayson, Martin Walker, Steven Young, Vasiliki Simaki:
In Search of Meaning: Lessons, Resources and Next Steps for Computational Analysis of Financial Discourse. CoRR abs/1903.12271 (2019)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint