Cristina David
University of Cambridge
H-index: 20
Europe-United Kingdom
Top articles of Cristina David
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Ownership guided C to Rust translation | Hanliang Zhang Cristina David Yijun Yu Meng Wang | 2023/7/17 | |
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings | Cristina David Meng Sun | 2023/6/26 | |
Synthesising programs with non-trivial constants | Journal of Automated Reasoning | Alessandro Abate Haniel Barbosa Clark Barrett Cristina David Pascal Kesseli | 2023/6 |
Precise timing and recent advancements with segmented anode PICOSEC Micromegas prototypes | Journal of Instrumentation | Ioannis Manthos S Aune J Bortfeldt F Brunbauer C David | 2022/10/11 |
Decomposition Without Regret | arXiv preprint arXiv:2204.10411 | Weixin Zhang Cristina David Meng Wang | 2022/4/21 |
Decomposition Without Regret (Poster). | Weixin Zhang Cristina David Meng Wang | 2022 | |
Search for exotic decays of the Higgs boson into b and missing transverse momentum in pp collisions at = 13 TeV with the ATLAS detector | Journal of High Energy Physics | Georges Aad B Abbott DC Abbott Abud Abed Abud Kira Abeling | 2022/1 |
Using graph neural networks for program termination | Yoav Alon Cristina David | 2022/11/7 | |
Timing performance of a multi-pad PICOSEC-Micromegas detector prototype | Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment | S Aune J Bortfeldt F Brunbauer C David D Desforge | 2021/3/21 |
Modeling the timing characteristics of the PICOSEC Micromegas detector | Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment | J Bortfeldt F Brunbauer C David D Desforge G Fanourakis | 2021/3/21 |
arXiv: Experiment Simulation Configurations Approximating DUNE TDR | B Abi A Friedland M Smy S Ravat Z Djurcic | 2021/3/8 | |
2021 ESC guidelines on cardiovascular disease prevention in clinical practice developed by the task force for cardiovascular disease prevention in clinical practice with … | Frank LJ Visseren François Mach Yvo M Smulders David Carballo Konstantinos C Koskinas | 2022/1/1 | |
Search for a heavy Higgs boson decaying into a Z boson and another heavy Higgs boson in the llbb and llWW final states in pp collisions at root s= 13 TeV with the ATLAS detector | European Physical Journal C | G Aad B Abbott D Abbott A Abed Abud K Abeling | 2021/5/7 |
Synbit: synthesizing bidirectional programs using unidirectional sketches | Proceedings of the ACM on Programming Languages | Masaomi Yamaguchi Kazutaka Matsuda Cristina David Meng Wang | 2021/10/15 |
Single photoelectron time resolution studies of the PICOSEC-Micromegas detector | Journal of Instrumentation | L Sohl S Aune J Bortfeldt F Brunbauer C David | 2020/4/29 |
Progress on the PICOSEC-Micromegas Detector Development: Towards a precise timing, radiation hard, large-scale particle detector with segmented readout | Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment | Konstantinos Kordas J Bortfeldt F Brunbauer C David D Desforge | 2020/4/1 |
Recent developments on precise timing with the PICOSEC Micromegas detector | Ioannis Manthos J Bortfeldt F Brunbauer C David D Desforge | 2020/4/1 | |
Automated formal synthesis of provably safe digital controllers for continuous plants | Acta Informatica | Alessandro Abate Iury Bessa Lucas Cordeiro Cristina David Pascal Kesseli | 2020/4 |