General and experimental psychology

Breadcrumb Navigation

Xiuna Zhu

Xiuna Zhu


Leopoldstr. 13
Experimental Psychology, LMU Munich

Room: 2105
Phone: +49 (0) 89 / 2180 6231
Fax: +49 (0) 89 / 2180 5211

Further Information

With a master in computer science, Xiuna is interested in Bayesian inference in perception, particular on how to use Bayesian inference to explain various contextual modulation.


  • Campetelli, A., Junker, M., Böhm, B., Davidich, M., Koutsoumpas, V., Zhu, X., & Wehrstedt, J. C. (2015). A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. In Software Engineering (Workshops) (pp. 91-100).
  • Zhu, X., Mou, D., & Ratiu, D. (2014, August). Structured multi-view modeling by tabular notation. In Requirements Engineering Conference (RE), 2014 IEEE 22nd International (pp. 327-328). IEEE.
  • Zhu, X. (2014). A Formal Specification Automation Method Based on Focus Framework. International Journal of Modeling and Optimization, 4(2), 116.
  • Zhu, X. (2013, October). A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables. In International Workshop on Formal Aspects of Component Software (pp. 369-383). Springer, Cham.
  • Spichkova, M., Zhu, X., & Mou, D. (2014). Do we really need to write documentation for a system? CASE tool add-ons: generator+ editor for a precise documentation. arXiv preprint arXiv:1404.7265.
  • Zhu, X., Li, D., He, D., Wang, J., Ma, D., & Li, F. (2010). A remote wireless system for water quality online monitoring in intensive fish culture. Computers and Electronics in Agriculture, 71, S3-S9.
  • Li, D., & Zhu, X. (2009, January). CDMA-based remote wireless water quality monitoring system for intensive fish culture. In Communications and Mobile Computing, 2009. CMC'09. WRI International Conference on (Vol. 2, pp. 380-385). IEEE.