Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Bisimilar Finite Abstractions of Stochastic Control Systems. In: 2013 IEEE 52nd Annual Conference on Decision and Control, pp. 3926 - 3931. 52nd IEEE Conference on Decision and Control, Firenze, Italy, December 10, 2013 - December 13, 2013. IEEE, Piscataway, NJ (2013)

Zengin, M.; Vafeiadis, V.: A Programming Language Approach to Fault Tolerance for Fork-join Parallelism. In: TASE 2013, pp. 105 - 112. International Symposium on Theoretical Aspects of Software Engineering , Birmingham; UK, July 01, 2013 - July 03, 2013. IEEE, Piscataway, NJ (2013)

Zhao, M.; Aditya, P.; Chen, A.; Lin, Y.; Haeberlen, A.; Druschel, P.; Maggs, B.; Wishon, B.; Ponec, M.: Peer-assisted Content Distribution in Akamai Netsession. In: IMC'13, pp. 31 - 42. 13th ACM Internet Measurement Conference, Barcelona, Spain, October 23, 2013 - October 25, 2013. ACM, New York, NY (2013)

Ziliani, B.; Dreyer, D.; Krishnaswami, N.; Nanevski, A.; Vafeiadis, V.: Mtac: A Monad for Typed Tactic Programming in Coq. In: ICFP'13, pp. 377 - 390. ACM SIGPLAN International Conference on Functional Programming, Boston, MA, USA, September 25, 2013 - September 27, 2013. ACM, New York, NY (2013)

Santos, N. M. C.: Improving Trust in Cloud, Enterprise, and Mobile Computing Platforms. Dissertation, XVII, 151 pp., Universität des Saarlandes, Saarbrücken (2013)

Calin, G.; Derevenetc, E.; Majumdar, R.; Meyer, R.: A Theory of Partitioned Global Address Spaces. (2013)

Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: Dynamic Package Interfaces - Extended Version. (2013)

Esmaeilsabzal, S.; Majumdar, R.; Wies, T.; Zufferey, D.: A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. (2013)

Zamani, M.; Esfahani, P. M.; Majumdar, R.; Abate, A.; Lygeros, J.: Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. (2013), 27 pages, 4 figures pp.