Mana Taghdiri

发表

Mana Taghdiri, Daniel Jackson, D. Jackson, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..
Mana Taghdiri, Daniel Jackson, Robert Seater, 2006, SIGSOFT '06/FSE-14.
Mattias Ulbrich, Mana Taghdiri, Aboubakr Achraf El Ghazi, 2014, ArXiv.
Mana Taghdiri, Carsten Sinz, Markus Iser, 2013, SAT.
Marcelo d'Amorim, Mana Taghdiri, Mateus Araújo, 2014, Haifa Verification Conference.
Mana Taghdiri, Shmuel S. Tyszberowicz, Christoph Gladisch, 2014, Haifa Verification Conference.
Mohammad Ghodsi, Mana Taghdiri, Ramtin Khosravi, 2001 .
Mattias Ulbrich, Mana Taghdiri, Aboubakr Achraf El Ghazi, 2012, TACAS.
Mana Taghdiri, Tianhai Liu, Michael Nagel, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.
Mattias Ulbrich, Mana Taghdiri, Aboubakr Achraf El Ghazi, 2011 .
Mana Taghdiri, Aboubakr Achraf El Ghazi, 2015, ArXiv.
Mana Taghdiri, Gregor Snelting, Carsten Sinz, 2010, Formal Aspects in Security and Trust.
Bernhard Beckert, Mana Taghdiri, Shmuel S. Tyszberowicz, 2017, SETTA.
Mana Taghdiri, Aboubakr Achraf El Ghazi, 2011, FM.
Manu Sridharan, Mana Taghdiri, Daniel Jackson, 2003, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Mana Taghdiri, Aboubakr Achraf El Ghazi, 2010 .
Emina Torlak, Joseph P. Near, Mana Taghdiri, 2013, Mathematical Structures in Computer Science.
Mana Taghdiri, 2010, KIT-Nachwuchswissenschaftler-Symposium.
Mattias Ulbrich, Mana Taghdiri, Shmuel S. Tyszberowicz, 2014, NASA Formal Methods.
Bernhard Beckert, Mana Taghdiri, Daniel Grahl, 2016, SETTA.
Mana Taghdiri, Aboubakr Achraf El Ghazi, Mihai Herda, 2015, NFM.
Mattias Ulbrich, Mana Taghdiri, Aboubakr Achraf El Ghazi, 2011, GI-Jahrestagung.