ISTA Research Explorer

Please note that ISTA 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.

9084 Publications

2017 | Journal Article | IST-REx-ID: 8445

Slow conformational exchange and overall rocking motion in ubiquitin protein crystals
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).

[Published Version] View | DOI

2017 | Journal Article | IST-REx-ID: 8444

Mitochondrial ADP/ATP carrier in dodecylphosphocholine binds cardiolipins with non-native affinity
F. Dehez, P. Schanda, M.S. King, E.R.S. Kunji, C. Chipot, Biophysical Journal 113 (2017) 2311–2315.

View | DOI

2017 | Journal Article | IST-REx-ID: 9065

In-plane magnetic anisotropy in strontium iridate Sr2IrO4
M. Nauman, Y. Hong, T. Hussain, M.S. Seo, S.Y. Park, N. Lee, Y.J. Choi, W. Kang, Y. Jo, Physical Review B 96 (2017).

View | DOI

2017 | Journal Article | IST-REx-ID: 9165

Eppur si muove, and yet it moves: Patchy (phoretic) swimmers
A. Aubret, S. Ramananarivo, J.A. Palacci, Current Opinion in Colloid & Interface Science 30 (2017) 81–89.

View | DOI

2017 | Journal Article | IST-REx-ID: 9190 |

Control of plant cell fate transitions by transcriptional and hormonal signals
C. Gaillochet, T. Stiehl, C. Wenzl, J.-J. Ripoll, L.J. Bailey-Steinitz, L. Li, A. Pfeiffer, A. Miotk, J.P. Hakenjos, J. Forner, M.F. Yanofsky, A. Marciniak-Czochra, J.U. Lohmann, ELife 6 (2017).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 93 |

Reconfigurable re-entrant cavity for wireless coupling to an electro-optomechanical device
T. Menke, P. Burns, A.P. Higginbotham, N.S. Kampel, R. Peterson, K. Cicak, R. Simmonds, C. Regal, K. Lehnert, Review of Scientific Instruments 88 (2017).

2017 | Journal Article | IST-REx-ID: 94 |

Breaking Lorentz reciprocity with frequency conversion and delay
E. Rosenthal, B. Chapman, A.P. Higginbotham, J. Kerckhoff, K. Lehnert, APS Physics, Physical Review Letters 119 (2017).

[Submitted Version] View | DOI | Download Submitted Version (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 9445 |

DDM1 and Lsh remodelers allow methylation of DNA wrapped in nucleosomes
D.B. Lyons, D. Zilberman, ELife 6 (2017).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2017 | Book Chapter | IST-REx-ID: 957

Ancestral protein reconstruction and circular permutation for improving the stability and dynamic range of FRET sensors
B. Clifton, J. Whitfield, I. Sanchez-Romero, M. Herde, C. Henneberger, H.L. Janovjak, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 71–87.

View | DOI

2017 | Journal Article | IST-REx-ID: 9574 |

Resilience for the Littlewood-Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Electronic Notes in Discrete Mathematics 61 (2017) 93–99.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 9590 |

Bounded-degree spanning trees in randomly perturbed graphs
M. Krivelevich, M.A. Kwan, B. Sudakov, SIAM Journal on Discrete Mathematics 31 (2017) 155–171.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 9588 |

Resilience for the Littlewood–Offord problem
A.S. Bandeira, A. Ferber, M.A. Kwan, Advances in Mathematics 319 (2017) 292–312.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 9589 |

The average number of spanning trees in sparse graphs with given degrees
C. Greenhill, M. Isaev, M.A. Kwan, B.D. McKay, European Journal of Combinatorics 63 (2017) 6–25.

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2017 | Conference Paper | IST-REx-ID: 963 |

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9709 |

Data from: Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkačik, M. Berry, (2017).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 541 |

Cell-to-cell variation and specialization in sugar metabolism in clonal bacterial populations
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, PLoS Genetics 13 (2017).

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9847 |

Supplementary materials and methods; Full data set from effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, (2017).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Research Data Reference | IST-REx-ID: 9845

Mathematical model
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).

View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9849

Modelling and simulation details
M. Lukacisinova, S. Novak, T. Paixao, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9850

Extensions of the model
M. Lukacisinova, S. Novak, T. Paixao, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9846

Supplementary methods
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 680 |

Sensory noise predicts divisive reshaping of receptive fields
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, PLoS Computational Biology 13 (2017).

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9851

Heuristic prediction for multiple stresses
M. Lukacisinova, S. Novak, T. Paixao, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9852

Resistance frequencies for different combination strategies
M. Lukacisinova, S. Novak, T. Paixao, (2017).

[Published Version] View | Files available | DOI

2017 | Research Data Reference | IST-REx-ID: 9855

Supplementary appendix
M.J. Chalk, P. Masset, B. Gutkin, S. Denève, (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 8423 |

On the marked length spectrum of generic strictly convex billiard tables
G. Huang, V. Kaloshin, A. Sorrentino, Duke Mathematical Journal 167 (2017) 175–209.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 8427 |

Dynamical spectral rigidity among Z2-symmetric strictly convex domains close to a circle
J. De Simoi, V. Kaloshin, Q. Wei, Annals of Mathematics 186 (2017) 277–314.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 8449

RNA binding and chaperone activity of the E.coli cold-shock protein CspA
E. Rennella, T. Sára, M. Juen, C. Wunderlich, L. Imbert, Z. Solyom, A. Favier, I. Ayala, K. Weinhäupl, P. Schanda, R. Konrat, C. Kreutz, B. Brutscher, Nucleic Acids Research 45 (2017) 4255–4268.

View | DOI

2017 | Journal Article | IST-REx-ID: 8447

Protein conformational dynamics studied by 15N and 1HR1ρ relaxation dispersion: Application to wild-type and G53A ubiquitin crystals
D.F. Gauto, A. Hessel, P. Rovó, V. Kurauskas, R. Linser, P. Schanda, Solid State Nuclear Magnetic Resonance 87 (2017) 86–95.

View | DOI

2017 | Journal Article | IST-REx-ID: 8448

Optimized fast mixing device for real-time NMR applications
R. Franco, A. Favier, P. Schanda, B. Brutscher, Journal of Magnetic Resonance 281 (2017) 125–129.

View | DOI

2017 | Journal Article | IST-REx-ID: 8451

Proton-detected solid-state NMR spectroscopy of a Zinc diffusion facilitator protein in native nanodiscs
B. Bersch, J.M. Dörr, A. Hessel, J.A. Killian, P. Schanda, Angewandte Chemie International Edition 56 (2017) 2508–2512.

View | DOI

2017 | Book Chapter | IST-REx-ID: 8450

Methyl-specific isotope labeling strategies for NMR studies of membrane proteins
V. Kurauskas, P. Schanda, R. Sounier, in:, Membrane Protein Structure and Function Characterization, Springer Nature, 2017, pp. 109–123.

View | DOI

2017 | Journal Article | IST-REx-ID: 9137 |

A survey of precipitation-induced atmospheric cold pools over oceans and their interactions with the larger-scale environment
P. Zuidema, G. Torri, C.J. Muller, A. Chandra, Surveys in Geophysics 38 (2017) 1283–1305.

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 9138 |

Observing convective aggregation
C.E. Holloway, A.A. Wing, S. Bony, C.J. Muller, H. Masunaga, T.S. L’Ecuyer, D.D. Turner, P. Zuidema, Surveys in Geophysics 38 (2017) 1199–1236.

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 9139

Convective self-aggregation in numerical simulations: A review
A.A. Wing, K. Emanuel, C.E. Holloway, C.J. Muller, Surveys in Geophysics 38 (2017) 1173–1197.

View | DOI

2017 | Journal Article | IST-REx-ID: 9152 |

Impact of a mean current on the internal tide energy dissipation at the critical latitude
O. Richet, C.J. Muller, J.-M. Chomaz, Journal of Physical Oceanography 47 (2017) 1457–1472.

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 934

Identity and dynamics of mammary stem cells during branching morphogenesis
C. Scheele, E.B. Hannezo, M. Muraro, A. Zomer, N. Langedijk, A. Van Oudenaarden, B. Simons, J. Van Rheenen, Nature 542 (2017) 313–317.

View | DOI

2017 | Journal Article | IST-REx-ID: 936

RhoA regulates actin network dynamics during apical surface emergence in multiciliated epithelial cells
J. Sedzinski, E.B. Hannezo, F. Tu, M. Biro, J. Wallingford, Journal of Cell Science 130 (2017).

View | DOI

2017 | Journal Article | IST-REx-ID: 937

Transmission of cytokinesis forces via E cadherin dilution and actomyosin flows
D. Pinheiro, E.B. Hannezo, S. Herszterg, F. Bosveld, I. Gaugué, M. Balakireva, Z. Wang, I. Cristo, S. Rigaud, O. Markova, Y. Bellaïche, Nature 545 (2017) 103–107.

View | DOI

2017 | Conference Paper | IST-REx-ID: 941

JFIX: Semantics-based repair of Java programs via symbolic PathFinder
X. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser, in:, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, 2017, pp. 376–379.

View | DOI

2017 | Journal Article | IST-REx-ID: 9506 |

An evolutionary case for functional gene body methylation in plants and animals
D. Zilberman, Genome Biology 18 (2017).

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2017 | Book Chapter | IST-REx-ID: 958

Method for developing optical sensors using a synthetic dye fluorescent protein FRET pair and computational modeling and assessment
J. Mitchell, W. Zhang, M. Herde, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, in:, V. Stein (Ed.), Synthetic Protein Switches, Springer, 2017, pp. 89–99.

View | DOI

2017 | Journal Article | IST-REx-ID: 9660 |

The Gibbs free energy of homogeneous nucleation: From atomistic nuclei to the planar limit
B. Cheng, G.A. Tribello, M. Ceriotti, The Journal of Chemical Physics 147 (2017).

2017 | Journal Article | IST-REx-ID: 9661 |

Bridging the gap between atomistic and macroscopic models of homogeneous nucleation
B. Cheng, M. Ceriotti, The Journal of Chemical Physics 146 (2017).

2017 | Research Data Reference | IST-REx-ID: 9707 |

Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, (2017).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Research Data Reference | IST-REx-ID: 9844

Source data for figures and tables
N. Nikolic, F. Schreiber, A. Dal Co, D. Kiviet, T. Bergmiller, S. Littmann, M. Kuypers, M. Ackermann, (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 12611

Patterns of glacier ablation across North-Central Chile: Identifying the limits of empirical melt models under sublimation-favorable conditions
A. Ayala, F. Pellicciotti, S. MacDonell, J. McPhee, P. Burlando, Water Resources Research 53 (2017) 5601–5625.

View | DOI

2017 | Journal Article | IST-REx-ID: 12612 |

Spatial, seasonal and interannual variability of supraglacial ponds in the Langtang Valley of Nepal, 1999–2013
E.S. MILES, I.C. WILLIS, N.S. ARNOLD, J. STEINER, F. Pellicciotti, Journal of Glaciology 63 (2017) 88–105.

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 12610 |

Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 12609 |

Melt and surface sublimation across a glacier in a dry environment: distributed energy-balance modelling of Juncal Norte Glacier, Chile
A. AYALA, F. Pellicciotti, N. PELEG, P. BURLANDO, Journal of Glaciology 63 (2017) 803–822.

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Journal Article | IST-REx-ID: 12608 |

Centreline and cross-glacier air temperature variability on an Alpine glacier: Assessing temperature distribution methods and their influence on melt model calculations
T.E. SHAW, B.W. BROCK, Á. AYALA, N. RUTTER, F. Pellicciotti, Journal of Glaciology 63 (2017) 973–988.

[Published Version] View | DOI | Download Published Version (ext.)

2017 | Conference Abstract | IST-REx-ID: 12905 |

Scientific Computing at IST Austria
A. Schlögl, J. Kiss, in:, AHPC17 – Austrian HPC Meeting 2017, FSP Scientific Computing, 2017, p. 28.

[Published Version] View | Files available | Download Published Version (ext.)

2017 | Conference Paper | IST-REx-ID: 13160 |

Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 13381 |

Tunable porous nanoallotropes prepared by post-assembly etching of binary nanoparticle superlattices
T. Udayabhaskararao, T. Altantzis, L. Houben, M. Coronado-Puchau, J. Langer, R. Popovitz-Biro, L.M. Liz-Marzán, L. Vuković, P. Král, S. Bals, R. Klajn, Science 358 (2017) 514–518.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 13380

Out-of-equilibrium aggregates and coatings during seeded growth of metallic nanoparticles
M. Sawczyk, R. Klajn, Journal of the American Chemical Society 139 (2017) 17973–17978.

View | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 13383

Irreversible bleaching of donor-acceptor stenhouse adducts on the surfaces of magnetite nanoparticles
J. Ahrens, T. Bian, T. Vexler, R. Klajn, ChemPhotoChem 1 (2017) 230–236.

View | DOI

2017 | Journal Article | IST-REx-ID: 13384

Clathrates grow up
D. Samanta, R. Klajn, Science 355 (2017) 912–912.

View | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 13382 |

Chemical systems out of equilibrium
J.H. van Esch, R. Klajn, S. Otto, Chemical Society Reviews 46 (2017) 5474–5475.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 13477 |

Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction
E. Zapartas, S.E. de Mink, R.G. Izzard, S.-C. Yoon, C. Badenes, Y.L.L. Götberg, A. de Koter, C.J. Neijssel, M. Renzo, A. Schootemeijer, T.S. Shrotriya, Astronomy & Astrophysics 601 (2017).

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 13476 |

Ionizing spectra of stars that lose their envelope through interaction with a binary companion: Role of metallicity
Y.L.L. Götberg, S.E. de Mink, J.H. Groh, Astronomy & Astrophysics 608 (2017).

[Published Version] View | DOI | Download Published Version (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 14031 |

Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).

2017 | Journal Article | IST-REx-ID: 14004 |

Signatures of electronic structure in bicircular high-harmonic spectroscopy
D.R. Baykusheva, S. Brennecke, M. Lein, H.J. Wörner, Physical Review Letters 119 (2017).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Journal Article | IST-REx-ID: 14005 |

Dynamics of valence-shell electrons and nuclei probed by strong-field holography and rescattering
S.G. Walt, N. Bhargava Ram, M. Atala, N.I. Shvetsov-Shilovski, A. von Conta, D.R. Baykusheva, M. Lein, H.J. Wörner, Nature Communications 8 (2017).

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 14008

Time-resolved x-ray absorption spectroscopy with a water window high-harmonic source
Y. Pertot, C. Schmidt, M. Matthews, A. Chauvet, M. Huppert, V. Svoboda, A. von Conta, A. Tehlar, D.R. Baykusheva, J.-P. Wolf, H.J. Wörner, Science 355 (2017) 264–267.

View | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 14006

Theory of attosecond delays in molecular photoionization
D.R. Baykusheva, H.J. Wörner, The Journal of Chemical Physics 146 (2017).

View | DOI | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 14009

Spin-orbit delays in photoemission
I. Jordan, M. Huppert, S. Pabst, A.S. Kheifets, D.R. Baykusheva, H.J. Wörner, Physical Review A 95 (2017).

View | DOI

2017 | Journal Article | IST-REx-ID: 14007 |

Comment on ‘Time delays in molecular photoionization’
D.R. Baykusheva, H.J. Wörner, Journal of Physics B: Atomic, Molecular and Optical Physics 50 (2017).

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2017 | Conference Paper | IST-REx-ID: 950 |

Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

[Published Version] View | Files available | DOI | arXiv

2017 | Conference Paper | IST-REx-ID: 683 |

A proof of the orbit conjecture for flipping edge labelled triangulations
A. Lubiw, Z. Masárová, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 1155 |

Statistical and logical methods for property checking
P. Daca, Statistical and Logical Methods for Property Checking, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 6291 |

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 | Journal Article | IST-REx-ID: 561 |

Effects of mutations in phage restriction sites during escape from restriction–modification
M. Pleska, C.C. Guet, Biology Letters 13 (2017).

2017 | Thesis | IST-REx-ID: 818 |

Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 666 |

Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment
K. Mitosch, G. Rieckh, M.T. Bollenbach, Cell Systems 4 (2017) 393–403.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 821 |

Algorithmic advances in program analysis and their applications
A. Pavlogiannis, Algorithmic Advances in Program Analysis and Their Applications, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 820 |

The lac operon in the wild
F. Jesse, The Lac Operon in the Wild, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 838 |

(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 6196 |

The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 837 |

Reactivation of the hippocampal cognitive map in goal-directed spatial tasks
H. Xu, Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 938 |

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 | Thesis | IST-REx-ID: 992 |

Complexity of constraint satisfaction
M. Rolinek, Complexity of Constraint Satisfaction, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 718 |

Expected sizes of poisson Delaunay mosaics and their discrete Morse functions
H. Edelsbrunner, A. Nikitenko, M. Reitzner, Advances in Applied Probability 49 (2017) 745–767.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2017 | Conference Paper | IST-REx-ID: 559 |

Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2017 | Journal Article | IST-REx-ID: 550 |

Singularities of the density of states of random Gram matrices
J. Alt, Electronic Communications in Probability 22 (2017).

[Published Version] View | Files available | DOI

2017 | Conference Paper | IST-REx-ID: 647 |

Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.

[Submitted Version] View | Files available | DOI

2017 | Conference Paper | IST-REx-ID: 631 |

Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.

[Submitted Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 1144 |

Fluctuations of functions of Wigner matrices
L. Erdös, D.J. Schröder, Electronic Communications in Probability 21 (2017).

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 486 |

Scattering-aware texture reproduction for 3D printing
O. Elek, D. Sumin, R. Zhang, T. Weyrich, K. Myszkowski, B. Bickel, A. Wilkie, J. Krivanek, ACM Transactions on Graphics 36 (2017).

[Submitted Version] View | Files available | DOI

2017 | Conference Paper | IST-REx-ID: 637 |

Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)

2017 | Research Data Reference | IST-REx-ID: 9842 |

Data for: Establishment in a new habitat by polygenic adaptation
A. Etheridge, N.H. Barton, (2017).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Conference Paper | IST-REx-ID: 14206 |

Greedy algorithms for cone constrained optimization with convergence guarantees
F. Locatello, M. Tschannen, G. Rätsch, M. Jaggi, in:, Advances in Neural Information Processing Systems, 2017.

[Preprint] View | Download Preprint (ext.) | arXiv

2017 | Conference Paper | IST-REx-ID: 14205 |

A unified optimization view on generalized matching pursuit and Frank-Wolfe
F. Locatello, R. Khanna, M. Tschannen, M. Jaggi, in:, Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2017, pp. 860–868.

[Preprint] View | Download Preprint (ext.) | arXiv

2017 | Thesis | IST-REx-ID: 202 |

Biology of restriction-modification systems at the single-cell and population level
M. Pleska, Biology of Restriction-Modification Systems at the Single-Cell and Population Level, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 6287 |

Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available | DOI

2017 | Thesis | IST-REx-ID: 1127 |

Identification of novel regulators of PIN polarity and development of novel auxin sensor
T. Prat, Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor, Institute of Science and Technology Austria, 2017.

[Published Version] View | Files available

2017 | Journal Article | IST-REx-ID: 2016 |

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.

2017 | Journal Article | IST-REx-ID: 1528 |

Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1433 |

Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2017 | Journal Article | IST-REx-ID: 1407 |

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.

2017 | Journal Article | IST-REx-ID: 1367 |

Adaptive physically based models in computer graphics
P. Manteaux, C. Wojtan, R. Narain, S. Redon, F. Faure, M. Cani, Computer Graphics Forum 36 (2017) 312–337.

[Submitted Version] View | Files available | DOI | WoS

ISTA Research Explorer

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

9084 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

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

9084 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options