Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




5767 Publications

2017 | Published | Conference Paper | IST-REx-ID: 650 | OA
A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds
M. Skórski, in:, G. Jäger, S. Steila (Eds.), Springer, 2017, pp. 586–599.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 652
Dynamical self consistency leads to behavioral development and emergent social interactions in robots
R. Der, G.S. Martius, in:, IEEE, 2017.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 673 | OA
Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow
S. Altmeyer, R. Lueptow, Physical Review E 95 (2017).
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 675
Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas
J. Haase, S. Bagiante, H. Sigg, J. Van Bokhoven, Optics Letters 42 (2017) 1931–1934.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 684 | OA
Obligation blackwell games and p-automata
K. Chatterjee, N. Piterman, Journal of Symbolic Logic 82 (2017) 420–452.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 686
D'Arcy Thompson's ‘on growth and form’: From soap bubbles to tissue self organization
C.-P.J. Heisenberg, Mechanisms of Development 145 (2017) 32–37.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 712 | OA
Weak–strong uniqueness of solutions to entropy dissipating reaction–diffusion equations
J.L. Fischer, Nonlinear Analysis: Theory, Methods and Applications 159 (2017) 181–207.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Journal Article | IST-REx-ID: 714 | OA
HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens
G. Brailoiu, E. Deliu, J. Barr, L. Console Bram, A. Ciuciu, M. Abood, E. Unterwald, E. Brǎiloiu, Drug and Alcohol Dependence 178 (2017) 7–14.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Published | Journal Article | IST-REx-ID: 728
Coordination of morphogenesis and cell fate specification in development
C. Chan, C.-P.J. Heisenberg, T. Hiiragi, Current Biology 27 (2017) R1024–R1035.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 734 | OA
Deconstructing superorganisms and societies to address big questions in biology
P. Kennedy, G. Baron, B. Qiu, D. Freitak, H. Helantera, E. Hunt, F. Manfredini, T. O’Shea Wheller, S. Patalano, C. Pull, T. Sasaki, D. Taylor, C. Wyatt, S. Sumner, Trends in Ecology and Evolution 32 (2017) 861–872.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 18286 | OA
Deep functional maps: Structured prediction for dense shape correspondence
O. Litany, T. Remez, E. Rodola, A. Bronstein, M. Bronstein, in:, 2017 IEEE International Conference on Computer Vision (ICCV), IEEE, 2017.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 938 | OA
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 2016 | OA
Exact goodness-of-fit testing for the Ising model
A. Martin Del Campo Sanchez, S.A. Cepeda Humerez, C. Uhler, Scandinavian Journal of Statistics 44 (2017) 285–306.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Published | Thesis | IST-REx-ID: 6291 | OA
Bacterial herd and social immunity to phages
P. Payne, Bacterial Herd and Social Immunity to Phages, Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 
2017 | Published | Journal Article | IST-REx-ID: 1013 | OA
Viewpoint: Microwave quantum states beat the heat
J.M. Fink, Physics 10 (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1016
Uner Tan syndrome caused by a homozygous TUBB2B mutation affecting microtubule stability
M. Breuss, T. Nguyen, A. Srivatsan, I. Leca, G. Tian, T. Fritz, A.H. Hansen, D. Musaev, J. Mcevoy Venneri, J. Kiely, R. Rosti, E. Scott, U. Tan, R. Kolodner, N. Cowan, D. Keays, J. Gleeson, Human Molecular Genetics 26 (2017) 258–269.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1018
Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
View | DOI | WoS
 
2017 | Published | Journal Article | IST-REx-ID: 1030 | OA
Ein freies Bibliothekssystem für wissenschaftliche Bibliotheken – Werkstattbericht der IST Austria Library
M. Villányi, Informationspraxis 3 (2017).
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 10418 | OA
A new proof rule for almost-sure termination
A. Mciver, C. Morgan, B.L. Kaminski, J.P. Katoen, Proceedings of the ACM on Programming Languages 2 (2017).
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2017 | Published | Journal Article | IST-REx-ID: 1073 | OA
Algorithmic solvability of the lifting extension problem
M. Čadek, M. Krcál, L. Vokřínek, Discrete & Computational Geometry 54 (2017) 915–965.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed