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.




5255 Publications

2018 | Published | Journal Article | IST-REx-ID: 33 | OA
Bertl J, Ringbauer H, Blum M. 2018. Can secondary contact following range expansion be distinguished from barriers to gene flow? PeerJ. 2018(10), e5325.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Book | IST-REx-ID: 3300
Clarke EM, Henzinger TA, Veith H, Bloem R. 2018. Handbook of Model Checking 1st ed., Cham: Springer Nature, XLVIII, 1212p.
View | DOI
 
2018 | Published | Conference Paper | IST-REx-ID: 34 | OA
Chatterjee K, Chemlík M, Topcu U. 2018. Sensor synthesis for POMDPs with reachability objectives. ICAPS: International Conference on Automated Planning and Scheduling, ICAPS, vol. 2018, 47–55.
[Preprint] View | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Conference Paper | IST-REx-ID: 35 | OA
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2018. Algorithms and conditional lower bounds for planning problems. 28th International Conference on Automated Planning and Scheduling . ICAPS: International Conference on Automated Planning and Scheduling.
View | Files available | Download None (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 36 | OA
Vu L, Zhu T, Verstraeten I, Van De Cotte B, Gevaert K, De Smet I. 2018. Temperature-induced changes in the wheat phosphoproteome reveal temperature-regulated interconversion of phosphoforms. Journal of Experimental Botany. 69(19), 4609–4624.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Book Chapter | IST-REx-ID: 37 | OA
Zagórski MP, Kicheva A. 2018.Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube. In: Morphogen Gradients . Methods in Molecular Biology, vol. 1863, 47–63.
[Submitted Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 38 | OA
Tavares H, Whitley A, Field D, Bradley D, Couchman M, Copsey L, Elleouet J, Burrus M, Andalo C, Li M, Li Q, Xue Y, Rebocho AB, Barton NH, Coen E. 2018. Selection and gene flow shape genomic islands that control floral guides. PNAS. 115(43), 11006–11011.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 384 | OA
Hönigschmid P, Bykova N, Schneider R, Ivankov D, Frishman D. 2018. Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss. Genome Biology and Evolution. 10(3), 928–938.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 39 | OA
Sachdeva H, Barton NH. 2018. Replicability of introgression under linked, polygenic selection. Genetics. 210(4), 1411–1427.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 275 | OA
Brown M, Johnson L, Leone D, Májek P, Vaahtomeri K, Senfter D, Bukosza N, Schachner H, Asfour G, Langer B, Hauschild R, Parapatics K, Hong Y, Bennett K, Kain R, Detmar M, Sixt MK, Jackson D, Kerjaschki D. 2018. Lymphatic exosomes promote dendritic cell migration along guidance cues. Journal of Cell Biology. 217(6), 2205–2221.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2018 | Published | Conference Paper | IST-REx-ID: 193 | OA
Alwen JF, Gazi P, Kamath Hosdurg C, Klein K, Osang GF, Pietrzak KZ, Reyzin L, Rolinek M, Rybar M. 2018. On the memory hardness of data independent password hashing functions. Proceedings of the 2018 on Asia Conference on Computer and Communication Security. ASIACCS: Asia Conference on Computer and Communications Security , 51–65.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2018 | Published | Conference Paper | IST-REx-ID: 273 | OA
Mohapatra P, Rolinek M, Jawahar CV, Kolmogorov V, Kumar MP. 2018. Efficient optimization for rank-based loss functions. 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition. CVPR: Conference on Computer Vision and Pattern Recognition, 3693–3701.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 5975 | OA
Kolmogorov V. 2018. Commutativity in the algorithmic Lovász local lemma. SIAM Journal on Computing. 47(6), 2029–2056.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 6032 | OA
Kazda A, Kolmogorov V, Rolinek M. 2018. Even delta-matroids and the complexity of planar boolean CSPs. ACM Transactions on Algorithms. 15(2), 22.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 436 | OA
Barzanjeh S, Aquilina M, Xuereb A. 2018. Manipulating the flow of thermal noise in quantum devices. Physical Review Letters. 120(6), 060601.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Published | Journal Article | IST-REx-ID: 41 | OA
Luján R, Aguado C, Ciruela F, Arus X, Martín Belmonte A, Alfaro Ruiz R, Martinez Gomez J, De La Ossa L, Watanabe M, Adelman J, Shigemoto R, Fukazawa Y. 2018. Sk2 channels associate with mGlu1α receptors and CaV2.1 channels in Purkinje cells. Frontiers in Cellular Neuroscience. 12, 311.
[Published Version] View | Files available | DOI | WoS
 
2018 | Published | Journal Article | IST-REx-ID: 287 | OA
Salari V, Barzanjeh S, Cifra M, Simon C, Scholkmann F, Alirezaei Z, Tuszynski J. 2018. Electromagnetic fields and optomechanics In cancer diagnostics and treatment. Frontiers in Bioscience - Landmark. 23(8), 1391–1406.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Published | Journal Article | IST-REx-ID: 292 | OA
Botella Soler V, Deny S, Martius GS, Marre O, Tkačik G. 2018. Nonlinear decoding of a complex movie from the mammalian retina. PLoS Computational Biology. 14(5), e1006057.
[Published Version] View | Files available | DOI | WoS
 
2018 | Research Data | IST-REx-ID: 5584 | OA
Deny S, Marre O, Botella-Soler V, Martius GS, Tkačik G. 2018. Nonlinear decoding of a complex movie from the mammalian retina, Institute of Science and Technology Austria, 10.15479/AT:ISTA:98.
[Published Version] View | Files available | DOI
 
2018 | Published | Journal Article | IST-REx-ID: 23 | OA
Vukušić L, Kukucka J, Watzinger H, Milem JM, Schäffler F, Katsaros G. 2018. Single-shot readout of hole spins in Ge. Nano Letters. 18(11), 7141–7145.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed