Schwarz, J., &; Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology. Elsevier.https://doi.org/10.1016/bs.mie.2015.11.004 
LibreCat: https://research-explorer.ista.ac.at/record/1597
DOI: 10.1016/bs.mie.2015.11.004
PMID: 26921962

Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. Birkhäuser.https://doi.org/10.1007/s00023-015-0456-3 
LibreCat: https://research-explorer.ista.ac.at/record/1608
DOI: 10.1007/s00023-015-0456-3

Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis. Springer.https://doi.org/10.1007/s00012-015-0358-8 
LibreCat: https://research-explorer.ista.ac.at/record/1612
DOI: 10.1007/s00012-015-0358-8

Pausinger, F., &; Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity. Academic Press.https://doi.org/10.1016/j.jco.2015.11.003 
LibreCat: https://research-explorer.ista.ac.at/record/1617
DOI: 10.1016/j.jco.2015.11.003

Frank, R., Hainzl, C., Seiringer, R., &; Solovej, J. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics. Springer.https://doi.org/10.1007/s00220-015-2526-2 
LibreCat: https://research-explorer.ista.ac.at/record/1620
DOI: 10.1007/s00220-015-2526-2

Lundholm, D., Nam, P., &; Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis. Springer.https://doi.org/10.1007/s00205-015-0923-5 
LibreCat: https://research-explorer.ista.ac.at/record/1622
DOI: 10.1007/s00205-015-0923-5

Kelleher, J., Etheridge, A., Véber, A., &; Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology. Academic Press.https://doi.org/10.1016/j.tpb.2015.10.008 
LibreCat: https://research-explorer.ista.ac.at/record/1631
DOI: 10.1016/j.tpb.2015.10.008

Zemová, R., Zwiewka, M., Bielach, A., Robert, H., &; Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation. Springer.https://doi.org/10.1007/s00344-015-9553-2 
LibreCat: https://research-explorer.ista.ac.at/record/1641
DOI: 10.1007/s00344-015-9553-2

Fuchsbauer, G., Hanser, C., Kamath Hosdurg, C., &; Slamanig, D. (2016). Practical round-optimal blind signatures in the standard model from weaker assumptions (Vol. 9841, pp. 391–408). Presented at the SCN: Security and Cryptography for Networks, Amalfi, Italy: Springer.https://doi.org/10.1007/978-3-319-44618-9_21 
LibreCat: https://research-explorer.ista.ac.at/record/1225
DOI: 10.1007/978-3-319-44618-9_21

Okamoto, T., Pietrzak, K. Z., Waters, B., &; Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer.https://doi.org/10.1007/978-3-662-48797-6_6 
LibreCat: https://research-explorer.ista.ac.at/record/1653
DOI: 10.1007/978-3-662-48797-6_6

Schilling, C., Bogomolov, S., Henzinger, T. A., Podelski, A., &; Ruess, J. (2016). Adaptive moment closure for parameter inference of biochemical reaction networks. Biosystems. Elsevier.https://doi.org/10.1016/j.biosystems.2016.07.005 
LibreCat: https://research-explorer.ista.ac.at/record/1148
DOI: 10.1016/j.biosystems.2016.07.005

Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H.,https://doi.org/10.1007/s10009-015-0393-y__Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer. Springer.https://doi.org/10.1007/s10009-015-0393-y 
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

Pielorz, J., &; Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE.https://doi.org/10.1109/ICT-DM.2015.7402041 
LibreCat: https://research-explorer.ista.ac.at/record/1707
DOI: 10.1109/ICT-DM.2015.7402041

Klimova, A., &; Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis. Elsevier.https://doi.org/10.1016/j.jmva.2015.10.005 
LibreCat: https://research-explorer.ista.ac.at/record/1833
DOI: 10.1016/j.jmva.2015.10.005

Lee, J., &; Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields. Springer.https://doi.org/10.1007/s00440-014-0610-8 
LibreCat: https://research-explorer.ista.ac.at/record/1881
DOI: 10.1007/s00440-014-0610-8

Matousek, J., Sedgwick, E., Tancer, M., &; Wagner, U. (2016). Untangling two systems of noncrossing curves. Israel Journal of Mathematics. Springer.https://doi.org/10.1007/s11856-016-1294-9 
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

Krenn, S., Pietrzak, K. Z., Wadia, A., &; Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer.https://doi.org/10.1007/s00037-015-0120-9 
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

Chatterjee, K., &; Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press.https://doi.org/10.3233/978-1-61499-672-9-1432 
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., &; Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion  (pp. 112–121). Austin, TX, USA: IEEE.https://doi.org/10.1145/2889160.2889233 
LibreCat: https://research-explorer.ista.ac.at/record/479
DOI: 10.1145/2889160.2889233

Chatterjee, K., &; Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE.https://doi.org/10.1145/2933575.2934513 
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513