Edmund M. Clarke
Publication Activity (10 Years)
Years Active: 1977-2017
Publications (10 Years): 16
Publications (10 Years): 16
Publications
- Natasa Miskov-Zivanov, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke, James R. Faeder
- Kyungmin Bae, Peter Csaba Ölveczky, Soonho Kong, Sicun Gao, Edmund M. Clarke
- Qinsi Wang, Edmund M. Clarke
- Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke
- Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
- Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke
- Edmund M. Clarke, Sicun Gao
- Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke
- Sicun Gao, Soonho Kong, Edmund M. Clarke
- Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
- Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka
- Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
- Sicun Gao, Soonho Kong, Edmund M. Clarke
- Edmund M. Clarke, Qinsi Wang
- Haijun Gong, Tong Tong Wu, Edmund M. Clarke
- Bing Liu, Soonho Kong, Sicun Gao, Paolo Zuliani, Edmund M. Clarke
- Sicun Gao, Soonho Kong, Edmund M. Clarke
- Edmund M. Clarke
- Sicun Gao, Soonho Kong, Edmund M. Clarke
- Sicun Gao, Soonho Kong, Edmund M. ClarkeSatisfiability modulo ODEs. FMCAD (2013)
- Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke
- Sicun Gao, Soonho Kong, Edmund M. ClarkeSatisfiability Modulo ODEs. CoRR (2013)
- Anvesh Komuravelli, Arie Gurfinkel, Sagar Chaki, Edmund M. Clarke
- William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke
- Samir Sapra, Marius Minea, Sagar Chaki, Arie Gurfinkel, Edmund M. Clarke
- Paolo Zuliani, André Platzer, Edmund M. Clarke
- Sicun Gao, Jeremy Avigad, Edmund M. Clarke
- Edmund M. Clarke
- Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli, Mingshu Li
- David Henriques, João G. Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke
- Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
- Sicun Gao, Jeremy Avigad, Edmund M. Clarke
- Paolo Zuliani, Christel Baier, Edmund M. Clarke
- Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke
- Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
- Sicun Gao, Jeremy Avigad, Edmund M. Clarke
- Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
- Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
- Sicun Gao, Jeremy Avigad, Edmund M. Clarke
- Sicun Gao, André Platzer, Edmund M. Clarke
- Sicun Gao, André Platzer, Edmund M. Clarke
- Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke
- Edmund M. Clarke, Paolo Zuliani
- Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani
- Haijun Gong, Paolo Zuliani, Qinsi Wang, Edmund M. Clarke
- Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang
- Håkan L. S. Younes, Edmund M. Clarke, Paolo Zuliani
- William Klieber, Samir Sapra, Sicun Gao, Edmund M. Clarke
- Haijun Gong, Paolo Zuliani, Anvesh Komuravelli, James R. Faeder, Edmund M. Clarke
- Edmund M. Clarke, Alexandre Donzé, Axel Legay
- Himanshu Jain, Edmund M. Clarke
- Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang
- Edmund M. Clarke
- Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis
- Edmund M. Clarke
- Anmol Mathur, Masahiro Fujita, Edmund M. Clarke, Pascal Urard
- André Platzer, Edmund M. Clarke
- André Platzer, Edmund M. Clarke
- Edmund M. Clarke
- André Platzer, Edmund M. Clarke
- Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha
- Edmund M. Clarke
- Stephen Magill, Josh Berdine, Edmund M. Clarke, Byron Cook
- André Platzer, Edmund M. Clarke
- Edmund M. Clarke, Flavio Lerda
- Nishant Sinha, Edmund M. Clarke
- Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke
- Edmund M. Clarke, Himanshu Jain, Daniel Kroening
- Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke
- Sagar Chaki, Edmund M. Clarke, Nicholas Kidd, Thomas W. Reps, Tayssir Touili
- Edmund M. Clarke, Muralidhar Talupur, Helmut Veith