Svoreová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cbrná, I., &; Belta, C. (2015). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 259–268). Seattle, WA, United States: ACM.https://doi.org/10.1145/2728606.2728608 

Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., &; Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer.https://doi.org/10.1007/978-3-662-46681-0_47 

Michalko, J., Lukacisinova, M., Bollenbach, M. T., &; Friml, J. (2015). Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 00 Research.https://doi.org/10.12688/f1000research.7143.1 

Priklopil, T., &; Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games. MDPI.https://doi.org/10.3390/g6040413 

Martius, G. S., &; Olbrich, E. (2015). Quantifying emergent behavior of autonomous robots. Entropy. MDPI.https://doi.org/10.3390/e17107266 

Chen, C., Wang, C., Zhao, X., Zhou, T., Xu, D., Wang, Z., &; Wang, Y. (2015). Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. SAGE Publications.https://doi.org/10.1177/1759091415575845 

Erbar, M., Maas, J., &; Tetali, P. (2015). Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse.https://doi.org/10.5802/afst.1464 

Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., &; Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer.https://doi.org/10.1007/978-3-319-21690-4_10 

Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Institute of Science and Technology Austria.https://doi.org/10.15479/AT:ISTA:28 

Goaoc, X., Paták, P., Patakova, Z., Tancer, M., &; Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik.https://doi.org/10.4230/LIPIcs.SOCG.2015.507 

Dziembowski, S., Faust, S., Kolmogorov, V., &; Pietrzak, K. Z. (2015). Proofs of space. In 35th Annual Cryptology Conference (Vol. 9216, pp. 585–605). Santa Barbara, CA, United States: Springer.https://doi.org/10.1007/978-3-662-48000-7_29 

Chevereau, G., Lukacisinova, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., &; Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. Public Library of Science.https://doi.org/10.1371/journal.pbio.1002299 

Hashimoto, M., Morita, H., &; Ueno, N. (2014). Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. Wiley.https://doi.org/10.1111/cga.12039 

Aminof, B., Jacobs, S., Khalimov, A., &; Rubin, S. (2014). Parameterized model checking of token-passing systems. In Verification, Model Checking, and Abstract Interpretation (Vol. 8318, pp. 262–281). San Diego, CA, United States: Springer Nature.https://doi.org/10.1007/978-3-642-54013-4_15 

Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., &; Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier.https://doi.org/10.1016/j.tcs.2014.06.031 

Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., &; Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer.https://doi.org/10.1007/978-3-642-54013-4_10 

Gordon, A., Henzinger, T. A., Nori, A., &; Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM.https://doi.org/10.1145/2593882.2593900 

Bräunlich, G., Hainzl, C., &; Seiringer, R. (2014). On the BCS gap equation for superfluid fermionic gases. In Proceedings of the QMat Conference (pp. 127–137). Berlin, Germany: World Scientific Publishing.https://doi.org/10.1142/9789814618144_0007 

Guerrero, P., Jeschke, S., Wimmer, M., &; Wonka, P. (2014). Edit propagation using geometric relationship functions. ACM Transactions on Graphics. ACM.https://doi.org/10.1145/2591010 

Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla &; R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer.https://doi.org/10.1007/978-3-319-10879-7_7