Parvaneh Babari

Conferences and Workshops:

P. Babari, M. Pirasghari, M. M. Zahedi: n-Fold Commutative Hyper k-Ideals, The 6th IMT-GT Conference on Mathematics, Statistics and its Applications (ICMSA 2010), University of Tunku Abdul Rahman, Kuala Lumpur, Malaysia.

 

P. Babari, M. Pirasghari, M. M. Zahedi: n-Fold Positive Implicative Hyper k-Ideals, The 6th IMT-GT Conference on Mathematics, Statistics and its Applications (ICMSA 2010), University of Tunku Abdul Rahman, Kuala Lumpur, Malaysia.

 

P. Babari, M. Droste: A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics, WATA 2014, Leipzig, Germany, May 5-9, 2014.

 

P. Babari, M. Droste: A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics, Gemeinsamer Workshop der Graduiertenkollegs: Interdisciplinary scientific working principles, Schloss Dagstuhl, June 15 – 18, 2014, Event 14252.

 

P. Babari, M. Droste, V. Perevoshchikov: Weighted Register Automata and Weighted Existential MSO Logic for Data Words, post-WATA, Dresden, Germany, November 25-27, 2014.

 

P. Babari, M. Droste: A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics, Frontiers of Formal Methods, Aachen, Germany, February 25-27, 2015.

 

P. Babari, M. Droste: A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logics, 9th International Conference on Language and Automata Theory and Applications, in: LATA 2015, in: Lecture Notes in Computer Science, Vol. 8977, Springer, 2015, pp. 703-715

 

Books:

An Introduction to Numerical Anylisis (I), Translated from Englisch to Persisch, Mazandaran University Publisher, 2012.

 

Mathematical Special Language, Englisch, Rahiane Arshad Publisher, 2012.

 

Editor of:

Proceedings of the 9th Joint Workshop of the German Research Training Groups in Computer Science, Dagstuhl, May 31 - June 3, 2015.