Cristina David
ORCIDPublication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 29
Publications (10 Years): 29
Publications
- Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
- Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
- Weixin Zhang, Cristina David, Meng Wang
- Yoav Alon, Cristina David
- Weixin Zhang, Cristina David, Meng Wang
- Yoav Alon, Cristina David
- Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
- Hong-Yi Chen, Cristina David, Daniel Kroening, Peter Schrammel, Björn Wachter
- Cristina David, Pascal Kesseli, Daniel Kroening
- Cristina David, Pascal Kesseli, Daniel Kroening, Matt Lewis
- Yungbum Jung, Soonho Kong, Cristina David, Bow-Yaw Wang, Kwangkeun Yi
- Cristina David, Daniel Kroening, Matt Lewis
- Cristina David, Daniel Kroening, Matt Lewis
- Cristina David, Daniel Kroening, Matt LewisDanger Invariants. CoRR (2015)
- Martin Brain, Cristina David, Daniel Kroening, Peter Schrammel
- Andreea Costea, Asankhaya Sharma, Cristina David
- Minh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin
- Wei-Ngan Chin, Cristina David
- Wei-Ngan Chin, Cristina David, Cristian Gherghina
- Cristina David, Wei-Ngan Chin
- Cristian Gherghina, Cristina David
- Cristian Gherghina, Cristina David
- Cristina David, Cristian Gherghina, Wei-Ngan Chin
- Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
- Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
- Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin