Serdar Tasiran
Publication Activity (10 Years)
Years Active: 1994-2021
Publications (10 Years): 20
Publications (10 Years): 20
Publications
- Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
- Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst
- Suha Orhun Mutluergil, Serdar Tasiran
- David R. Cok, Serdar Tasiran
- Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
- Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran
- Hassan Salehe Matar, Serdar Tasiran, Didem Unat
- Burcu Kulahcioglu Ozkan, Michael Emmi, Serdar Tasiran
- Erdal Mutlu, Serdar Tasiran, Benjamin Livshits
- Ali Sezgin, Serdar Tasiran
- Burcu Kulahcioglu Ozkan, Erdal Mutlu, Serdar Tasiran
- Erdal Mutlu, Vladimir Gajinov, Adrián Cristal, Serdar Tasiran, Osman S. Unsal
- Shaz Qadeer, Serdar Tasiran
- Serdar Tasiran, M. Erkan Keremoglu, Kivanç Muslu
- Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
- Oleg Sokolsky, Serdar Tasiran
- Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran
- Ali Sezgin, Serdar Tasiran, Shaz Qadeer
- Ali Sezgin, Serdar Tasiran, Kivanç Muslu, Shaz Qadeer
- Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
- Serdar Tasiran, Tayfun Elmas
- Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
- Tayfun Elmas, Serdar Tasiran
- Serdar Tasiran, Shaz Qadeer
- Serdar Tasiran, Yuan Yu, Brannon Batson
- Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
- Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
- Shaz Qadeer, Serdar Tasiran
- Serdar Tasiran, Kurt Keutzer
- Ellen Sentovich, David L. Dill, Serdar Tasiran
- Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
- Rajeev Alur, Thomas A. Henzinger, Freddy Y. C. Mang, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran
- Serdar Tasiran, Robert K. Brayton
- Serdar Tasiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton
- Serdar Tasiran, Ramin Hojati, Robert K. Brayton
- Adnan Aziz, Serdar Tasiran, Robert K. Brayton