Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3078 Publications
2017 | Journal Article | IST-REx-ID: 1146
Sun, W., Zhai, M.-Z., Li, D., Zhou, Y., Chen, N., Guo, M., & Zhou, S. (2017). Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels. Clinical Nutrition. Churchill Livingstone. https://doi.org/10.1016/j.clnu.2016.07.016
View
| DOI
2017 | Journal Article | IST-REx-ID: 1152 |

Gajda-Zagorska, E. P., Schaefer, R., Smołka, M., Pardo, D., & Alvarez Aramberri, J. (2017). A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. Elsevier. https://doi.org/10.1016/j.jocs.2016.06.007
View
| Files available
| DOI
2017 | Thesis | IST-REx-ID: 1155 |

Daca, P. (2017). Statistical and logical methods for property checking. IST Austria. https://doi.org/10.15479/AT:ISTA:TH_730
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1159 |

Steenackers, W., Klíma, P., Quareshy, M., Cesarino, I., Kumpf, R., Corneillie, S., … Vanholme, B. (2017). Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00943
View
| Files available
| DOI
| PubMed | Europe PMC
2017 | Journal Article | IST-REx-ID: 1160 |

Altmeyer, S., Do, Y., & Lai, Y. (2017). Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep40012
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1161
Müller, J., & Sixt, M. K. (2017). Cell migration: Making the waves. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2016.11.035
View
| DOI
2017 | Journal Article | IST-REx-ID: 1162 |

Spałek, J., Zegrodnik, M., & Kaczmarczyk, J. (2017). Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.95.024506
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1163
Wysokiński, M., & Kaczmarczyk, J. (2017). Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms. Journal of Physics: Condensed Matter. IOP Publishing Ltd. https://doi.org/10.1088/1361-648X/aa532f
View
| DOI
2017 | Journal Article | IST-REx-ID: 1168 |

Perrone, E., Rappold, A., & Müller, W. (2017). D inf s optimality in copula models. Statistical Methods and Applications. Springer. https://doi.org/10.1007/s10260-016-0375-6
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1169 |

Novak, S., & Kollár, R. (2017). Spatial gene frequency waves under genotype dependent dispersal. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.116.193946
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1173 |

Edelsbrunner, H., Glazyrin, A., Musin, O., & Nikitenko, A. (2017). The Voronoi functional is maximized by the Delaunay triangulation in the plane. Combinatorica. Springer. https://doi.org/10.1007/s00493-016-3308-y
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1174 |

Skórski, M. (2017). Lower bounds on key derivation for square-friendly applications (Vol. 66). Presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.STACS.2017.57
View
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1175 |

Alwen, J. F., De Rezende, S., Nordstrom, J., & Vinyals, M. (2017). Cumulative space in black-white pebbling and resolution. In C. Papadimitriou (Ed.) (Vol. 67, p. 38:1-38-21). Presented at the ITCS: Innovations in Theoretical Computer Science, Berkeley, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITCS.2017.38
View
| Files available
| DOI
2017 | Conference Paper | IST-REx-ID: 1176 |

Alwen, J. F., & Blocki, J. (2017). Towards practical attacks on Argon2i and balloon hashing. Presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France: IEEE. https://doi.org/10.1109/EuroSP.2017.47
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1180 |

Akopyan, A., Bárány, I., & Robins, S. (2017). Algebraic vertices of non-convex polyhedra. Advances in Mathematics. Academic Press. https://doi.org/10.1016/j.aim.2016.12.026
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1187 |

Kiltz, E., Pietrzak, K. Z., Venturi, D., Cash, D., & Jain, A. (2017). Efficient authentication from hard learning problems. Journal of Cryptology. Springer. https://doi.org/10.1007/s00145-016-9247-3
View
| Files available
| DOI
2017 | Journal Article | IST-REx-ID: 1191 |

Kollár, R., & Novak, S. (2017). Existence of traveling waves for the generalized F–KPP equation. Bulletin of Mathematical Biology. Springer. https://doi.org/10.1007/s11538-016-0244-3
View
| DOI
| Download Preprint (ext.)
2017 | Conference Paper | IST-REx-ID: 1192 |

Kazda, A., Kolmogorov, V., & Rolinek, M. (2017). Even delta-matroids and the complexity of planar Boolean CSPs (pp. 307–326). Presented at the SODA: Symposium on Discrete Algorithms, Barcelona, Spain: SIAM. https://doi.org/10.1137/1.9781611974782.20
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 | Conference Paper | IST-REx-ID: 1194 |

Chatterjee, K., Novotný, P., & Zikelic, D. (2017). Stochastic invariants for probabilistic termination (Vol. 52, pp. 145–160). Presented at the POPL: Principles of Programming Languages, Paris, France: ACM. https://doi.org/10.1145/3009837.3009873
View
| DOI
| Download Submitted Version (ext.)
2017 | Journal Article | IST-REx-ID: 1196
Henzinger, T. A., & Otop, J. (2017). Model measuring for discrete and hybrid systems. Nonlinear Analysis: Hybrid Systems. Elsevier. https://doi.org/10.1016/j.nahs.2016.09.001
View
| DOI