Follow
Sjoerd T. Timmer
Title
Cited by
Cited by
Year
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
8572019
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
922020
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
832017
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
832016
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
392015
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
272015
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
242013
Extracting legal arguments from forensic Bayesian networks
ST Timmer, JJC Meyer, H Prakken, S Renooij, B Verheij
Legal knowledge and information systems, 71-80, 2014
182014
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
132022
Exact algorithms for Kayles
HL Bodlaender, D Kratsch, ST Timmer
Theoretical Computer Science 562, 165-176, 2015
112015
Designing and understanding forensic bayesian networks using argumentation
ST Timmer
Utrecht University, 2017
82017
Explaining legal Bayesian networks using support graphs
S RENOOIJ, B VERHEIJ
Legal Knowledge and Information Systems: JURIX 2015: The Twenty-Eighth …, 2015
72015
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
42015
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, e20200846, 2021
32021
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
22015
ALIX: a radio interferometry based location tracking system for pioneering astronauts on Mars
D Kapitein, S van den Ende, R Kleinhans, E Sihol, R Naglis, ...
EGU24, 2024
2024
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
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
The system can't perform the operation now. Try again later.
Articles 1–20