Temesghen Kahsai
Publication Activity (10 Years)
Years Active: 2007-2020
Publications (10 Years): 21
Publications (10 Years): 21
Swansea University, UK (PHD)
Education History
Swansea University, UK
Publications
- Dennis Abts, Jonathan Ross, Jonathan Sparling, Mark Wong-VanHaren, Max Baker, Tom Hawkins, Andrew Bell, John Thompson, Temesghen Kahsai, Garrin Kimmell, Jennifer Hwang, Rebekah Leslie-Hurd, Michael Bye, E. R. Creswick, Matthew Boyd, Mahitha Venigalla, Evan Laforge, Jon Purdy, Purushotham Kamath, Dinesh Maheshwari, Michael Beidler, Geert Rosseel, Omar Ahmad, Gleb Gagarin, Richard Czekalski, Ashay Rane, Sahil Parmar, Jeff Werner, Jim Sproch, Adrian Macias, Brian Kurtz
- Clark W. Barrett, Temesghen Kahsai
- Temesghen Kahsai, Philipp Rümmer, Martin Schäf
- Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz
- Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
- Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf
- Adrien Champion, Arie Gurfinkel, Temesghen Kahsai, Cesare Tinelli
- Caterina Urban, Arie Gurfinkel, Temesghen Kahsai
- Rody Kersten, Martin Schäf, Temesghen Kahsai
- Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
- Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
- Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux
- Arie Gurfinkel, Temesghen Kahsai, Jorge A. NavasAlgorithmic logic-based verification. ACM SIGLOG News 2 (2) (2015)
- Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas
- Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
- Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
- Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf
- Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas
- Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai
- Temesghen Kahsai, Yeting Ge, Cesare Tinelli
- Temesghen Kahsai, Cesare Tinelli
- Temesghen Kahsai, Markus Roggenbach
- Temesghen Kahsai, Marino Miculan
- Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff
- Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff