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
Comparison of the effects of nicotinic acid and nicotinamide degradation on plasma betaine and choline levels
W. Sun, M.-Z. Zhai, D. Li, Y. Zhou, N. Chen, M. Guo, S. Zhou, Clinical Nutrition 36 (2017) 1136–1142.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
A multi objective memetic inverse solver reinforced by local optimization methods
E.P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, J. Alvarez Aramberri, Journal of Computational Science 18 (2017) 85–94.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, IST Austria, 2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Cis-cinnamic acid is a novel natural auxin efflux inhibitor that promotes lateral root formation
W. Steenackers, P. Klíma, M. Quareshy, I. Cesarino, R. Kumpf, S. Corneillie, P. Araújo, T. Viaene, G. Goeminne, M. Nowack, K. Ljung, J. Friml, J. Blakeslee, O. Novák, E. Zažímalová, R. Napier, W. Boerjan, B. Vanholme, Plant Physiology 173 (2017) 552–565.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
Dynamics of ferrofluidic flow in the Taylor-Couette system with a small aspect ratio
S. Altmeyer, Y. Do, Y. Lai, Scientific Reports 7 (2017).
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1161
Cell migration: Making the waves
J. Müller, M.K. Sixt, Current Biology 27 (2017) R24–R25.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
Universal properties of high temperature superconductors from real space pairing t-J-U model and its quantitative comparison with experiment
J. Spałek, M. Zegrodnik, J. Kaczmarczyk, Physical Review B - Condensed Matter and Materials Physics 95 (2017).
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1163
Unconventional superconductivity in generalized Hubbard model role of electron–hole symmetry breaking terms
M. Wysokiński, J. Kaczmarczyk, Journal of Physics: Condensed Matter 29 (2017).
View | DOI
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
D inf s optimality in copula models
E. Perrone, A. Rappold, W. Müller, Statistical Methods and Applications 26 (2017) 403–418.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
Spatial gene frequency waves under genotype dependent dispersal
S. Novak, R. Kollár, Genetics 205 (2017) 367–374.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1173 | OA
The Voronoi functional is maximized by the Delaunay triangulation in the plane
H. Edelsbrunner, A. Glazyrin, O. Musin, A. Nikitenko, Combinatorica 37 (2017) 887–910.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
Lower bounds on key derivation for square-friendly applications
M. Skórski, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1175 | OA
Cumulative space in black-white pebbling and resolution
J.F. Alwen, S. De Rezende, J. Nordstrom, M. Vinyals, in:, C. Papadimitriou (Ed.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1176 | OA
Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1180 | OA
Algebraic vertices of non-convex polyhedra
A. Akopyan, I. Bárány, S. Robins, Advances in Mathematics 308 (2017) 627–644.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1187 | OA
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1191 | OA
Existence of traveling waves for the generalized F–KPP equation
R. Kollár, S. Novak, Bulletin of Mathematical Biology 79 (2017) 525–559.
View | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1192 | OA
Even delta-matroids and the complexity of planar Boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, in:, SIAM, 2017, pp. 307–326.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Stochastic invariants for probabilistic termination
K. Chatterjee, P. Novotný, D. Zikelic, in:, ACM, 2017, pp. 145–160.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1196
Model measuring for discrete and hybrid systems
T.A. Henzinger, J. Otop, Nonlinear Analysis: Hybrid Systems 23 (2017) 166–190.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications