First M87 event horizon telescope results. II. Array and instrumentation K Akiyama, A Alberdi, W Alef, K Asada, R Azulay, AK Baczko, D Ball, ... The Astrophysical Journal Letters 875 (1), L2, 2019 | 633 | 2019 |
Event Horizon Telescope imaging of the archetypal blazar 3C 279 at an extreme 20 microarcsecond resolution JY Kim, TP Krichbaum, AE Broderick, M Wielgus, L Blackburn, JL Gómez, ... Astronomy & Astrophysics 640, A69, 2020 | 86 | 2020 |
A two-phase method for extracting explanatory arguments from Bayesian networks ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij International Journal of Approximate Reasoning 80, 475-494, 2017 | 84 | 2017 |
Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning B Verheij, F Bex, ST Timmer, CS Vlek, JJC Meyer, S Renooij, H Prakken Law, Probability and Risk 15 (1), 35-70, 2016 | 75 | 2016 |
Explaining Bayesian networks using argumentation ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 13th …, 2015 | 37 | 2015 |
A structure-guided approach to capturing Bayesian reasoning about legal evidence in argumentation ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij Proceedings of the 15th International Conference on Artificial Intelligence …, 2015 | 26 | 2015 |
Inference and attack in Bayesian networks ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij Proceedings of the 25th Benelux conference on artificial intelligence, 199-206, 2013 | 23 | 2013 |
Extracting legal arguments from forensic Bayesian networks S Timmer, H Prakken, JJC Meyer, S Renooij, B Verheij, R Hoekstra Legal Knowledge and Information Systems. JURIX 2014: The Twenty-seventh …, 2014 | 16 | 2014 |
The Gravitational Wave Universe Toolbox-A software package to simulate observations of the gravitational wave universe with different detectors SX Yi, G Nelemans, C Brinkerink, Z Kostrzewa-Rutkowska, ST Timmer, ... Astronomy & Astrophysics 663, A155, 2022 | 9 | 2022 |
Exact algorithms for Kayles HL Bodlaender, D Kratsch, ST Timmer Theoretical Computer Science 562, 165-176, 2015 | 8 | 2015 |
Designing and understanding forensic bayesian networks using argumentation ST Timmer Utrecht University, 2017 | 7 | 2017 |
Explaining legal Bayesian networks using support graphs S RENOOIJ, B VERHEIJ Legal Knowledge and Information Systems: JURIX 2015: The Twenty-Eighth …, 2015 | 6 | 2015 |
Capturing critical questions in Bayesian network fragments ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij Legal Knowledge and Information Systems, 173-176, 2015 | 3 | 2015 |
The LLAMA Brazilian-Argentinian radiotelescope project: progress in Brazil and BRICS collaboration JRD Lepine, Z Abraham, CGG CASTRO, JER Costa, JJ Larrarte, ... Anais da Academia Brasileira de Ciências 93, 2021 | 2 | 2021 |
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij Proceedings of the 15th International Conference on Artificial Intelligence …, 2015 | 2 | 2015 |
GWToolbox: Gravitational wave observation simulator SX Yi, G Nelemans, C Brinkerink, Z Kostrzewa-Rutkowska, ST Timmer, ... Astrophysics Source Code Library, ascl: 2111.018, 2021 | | 2021 |
3C 279 Event Horizon Telescope imaging JJ Kim, S Issaoun, CD Brinkerink, M Janssen, TJW Bronzwaer, ... ViZieR, 2020 | | 2020 |
VizieR Online Data Catalog: 3C 279 Event Horizon Telescope imaging (Kim+, 2020) JY Kim, TP Krichbaum, AE Broderick, M Wielgus, L Blackburn, JL Gomez, ... | | 2020 |
A Tool for the Generation of Arguments from Bayesian Networks. ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij COMMA, 479-480, 2014 | | 2014 |
Exact Algorithms for Loop Cutset ST Timmer | | 2012 |