| 2026 |
B |
conf |
VMCAI
Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
|
| 2025 |
J |
jnl |
CoRR
Landon Taylor, Joshua Jeppson, Ahmed Irfan, Lukas Buecherl, Chris J. Myers, Zhen Zhang
|
| 2025 |
J |
jnl |
CoRR
Nick Waddoups, Jonah Boe, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
|
| 2024 |
— |
conf |
Principles of Verification (2)
Carlos E. Budde, Pedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Zhen Zhang
|
| 2024 |
— |
conf |
QEST+FORMATS
Mohammad Ahmadi, Lukas Buecherl, Chris J. Myers, Zhen Zhang, Chris Winstead, Hao Zheng
|
| 2024 |
J |
jnl |
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
|
| 2023 |
B |
conf |
FMCAD
Landon Taylor, Bryant Israelsen, Zhen Zhang
|
| 2023 |
— |
conf |
SPIN
Bryant Israelsen, Landon Taylor, Zhen Zhang
|
| 2023 |
— |
conf |
QEST
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
|
| 2023 |
— |
conf |
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
|
| 2022 |
J |
jnl |
CoRR
Mohammad Ahmadi, Zhen Zhang, Chris J. Myers, Chris Winstead, Hao Zheng
|
| 2022 |
B |
conf |
VMCAI
Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
|
| 2022 |
B |
conf |
VMCAI
Landon Taylor, Zhen Zhang
|
| 2021 |
C |
conf |
FMICS
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
|
| 2021 |
J |
jnl |
CoRR
Riley Roberts, Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
|
| 2020 |
— |
conf |
ASP-DAC
Noel Daniel Gundi, Tahmoures Shabanian, Prabal Basu, Pramesh Pandey, Sanghamitra Roy, Koushik Chakraborty, Zhen Zhang
|
| 2020 |
— |
conf |
ISoLA (4)
Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang
|
| 2019 |
J |
jnl |
CoRR
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
|
| 2019 |
— |
ch. |
Automated Reasoning for Systems Biology and Medicine
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
|
| 2019 |
C |
conf |
FMICS
Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang
|
| 2019 |
— |
conf |
CAV (1)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
|
| 2019 |
J |
jnl |
CoRR
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
|
| 2019 |
J |
jnl |
J. Integr. Bioinform.
Curtis Madsen, Ángel Goñi-Moreno, Umesh P, Zachary Palchick, Nicholas Roehner, Christian Atallah, Bryan Bartley, Kiri Choi, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Chris Macklin, James Alastair McLaughlin, Xianwei Meng, Tramy Nguyen, Matthew R. Pocock, Meher Samineni, James Scott-Brown, Ysis Tarter, Michael Zhang, Zhen Zhang, Zach Zundel, Jacob Beal, Michael Bissell, Kevin Clancy, John H. Gennari, Goksel Misirli, Chris J. Myers, Ernst Oberortner, Herbert M. Sauro, Anil Wipat
|
| 2018 |
J |
jnl |
J. Integr. Bioinform.
Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Jacob Beal, Michael Bissell, Kiri Choi, Kevin Clancy, Raik Grünberg, Chris Macklin, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat
|
| 2016 |
J |
jnl |
Sci. Comput. Program.
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
|
| 2016 |
J |
jnl |
J. Integr. Bioinform.
Jacob Beal, Robert Sidney Cox III, Raik Grünberg, James Alastair McLaughlin, Tramy Nguyen, Bryan Bartley, Michael Bissell, Kiri Choi, Kevin Clancy, Chris Macklin, Curtis Madsen, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Nicholas Roehner, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat
|
| 2015 |
J |
jnl |
IEEE Trans. Computers
Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang
|
| 2015 |
J |
jnl |
J. Integr. Bioinform.
Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, Nicholas Roehner, Ernst Oberortner, Matthew R. Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Zhen Zhang, John H. Gennari, Chris J. Myers, Anil Wipat, Herbert M. Sauro
|
| 2014 |
C |
conf |
FMICS
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
|
| 2014 |
J |
jnl |
ACM J. Emerg. Technol. Comput. Syst.
Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers
|
| 2012 |
— |
conf |
ICCPS
Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang
|
| 2012 |
C |
conf |
CIBCB
Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang
|