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.
4951 Publications
2018 | Journal Article | IST-REx-ID: 6006 |
An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
[Published Version]
View
| Files available
| DOI
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
2018 | Conference Paper | IST-REx-ID: 35 |
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
View
| Files available
| Download None (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
2018 | Journal Article | IST-REx-ID: 738 |
Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
2018 | Thesis | IST-REx-ID: 52 |
Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
T. Moser, Point Interactions in Systems of Fermions, Institute of Science and Technology Austria, 2018.
2018 | Journal Article | IST-REx-ID: 913 |
PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, J. Friml, Journal of Cell Science 131 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, J. Friml, Journal of Cell Science 131 (2018).
2018 | Thesis | IST-REx-ID: 69 |
Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
L. Vukušić, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.
2018 | Thesis | IST-REx-ID: 324 |
Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.
2018 | Journal Article | IST-REx-ID: 742 |
On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
[Published Version]
View
| Files available
| DOI
| WoS
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
2018 | Journal Article | IST-REx-ID: 70 |
Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
2018 | Journal Article | IST-REx-ID: 44 |
Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papić, Physical Review B 98 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papić, Physical Review B 98 (2018).
2018 | Journal Article | IST-REx-ID: 328 |
Exceeding the asymptotic limit of polymer drag reduction
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
2018 | Journal Article | IST-REx-ID: 136 |
Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
2018 | Journal Article | IST-REx-ID: 691 |
A homozygous founder mutation in TRAPPC6B associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features
I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
2018 | Journal Article | IST-REx-ID: 284 |
Maps on probability measures preserving certain distances - a survey and some new results
D. Virosztek, Acta Scientiarum Mathematicarum 84 (2018) 65–80.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Virosztek, Acta Scientiarum Mathematicarum 84 (2018) 65–80.
2018 | Journal Article | IST-REx-ID: 180 |
Statistical mechanics of the uniform electron gas
M. Lewi, É. Lieb, R. Seiringer, Journal de l’Ecole Polytechnique - Mathematiques 5 (2018) 79–116.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Lewi, É. Lieb, R. Seiringer, Journal de l’Ecole Polytechnique - Mathematiques 5 (2018) 79–116.
2018 | Journal Article | IST-REx-ID: 163 |
Agitation modules: Flexible means to accelerate automated freeze substitution
S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.
2018 | Conference Paper | IST-REx-ID: 6012 |
Learning equations for extrapolation and control
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| WoS
| arXiv
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450.
2018 | Conference Paper | IST-REx-ID: 6011 |
Data-dependent stability of stochastic gradient descent
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824.
2018 | Conference Paper | IST-REx-ID: 6589 |
The convergence of sparsified gradient methods
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural Information Processing Systems Foundation, 2018, pp. 5973–5983.
[Preprint]
View
| Download Preprint (ext.)
| WoS
| arXiv
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural Information Processing Systems Foundation, 2018, pp. 5973–5983.
2018 | Journal Article | IST-REx-ID: 7 |
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
2018 | Journal Article | IST-REx-ID: 19 |
Nonoptimal gene expression creates latent potential for antibiotic resistance
A. Palmer, R.P. Chait, R. Kishony, Molecular Biology and Evolution 35 (2018) 2669–2684.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
A. Palmer, R.P. Chait, R. Kishony, Molecular Biology and Evolution 35 (2018) 2669–2684.
2018 | Journal Article | IST-REx-ID: 6
A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).
View
| DOI
| WoS
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).
2018 | Research Data Reference | IST-REx-ID: 13055 |
Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
2018 | Journal Article | IST-REx-ID: 22 |
Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters
G. Botello, F. Sedlmeir, A.R. Rueda Sanchez, K. Abdalmalak, E. Brown, G. Leuchs, S. Preu, D. Segovia Vargas, D. Strekalov, L. Munoz, H. Schwefel, Optica 5 (2018) 1210–1219.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
G. Botello, F. Sedlmeir, A.R. Rueda Sanchez, K. Abdalmalak, E. Brown, G. Leuchs, S. Preu, D. Segovia Vargas, D. Strekalov, L. Munoz, H. Schwefel, Optica 5 (2018) 1210–1219.
2018 | Journal Article | IST-REx-ID: 5677 |
Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
2018 | Journal Article | IST-REx-ID: 435 |
Coherent-perfect-absorber and laser for bound states in a continuum
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
2018 | Journal Article | IST-REx-ID: 139 |
The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies
C. Fraisse, C. Roux, P. Gagnaire, J. Romiguier, N. Faivre, J. Welch, N. Bierne, PeerJ 2018 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
C. Fraisse, C. Roux, P. Gagnaire, J. Romiguier, N. Faivre, J. Welch, N. Bierne, PeerJ 2018 (2018).
2018 | Journal Article | IST-REx-ID: 33 |
Can secondary contact following range expansion be distinguished from barriers to gene flow?
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
2018 | Journal Article | IST-REx-ID: 5673 |
Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
2018 | Journal Article | IST-REx-ID: 198 |
Language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
2018 | Journal Article | IST-REx-ID: 5859 |
Chromatic transitions in the emergence of syntax networks
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
2018 | Preprint | IST-REx-ID: 6183 |
The Dyson equation with linear self-energy: Spectral bands, edges and cusps
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
2018 | Preprint | IST-REx-ID: 75 |
Convex fair partitions into arbitrary number of pieces
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
2018 | Journal Article | IST-REx-ID: 556 |
The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
[Published Version]
View
| Files available
| DOI
| arXiv
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
2018 | Research Data | IST-REx-ID: 5573 |
Graph matching problems for GraphFlow – 6D Large Displacement Scene Flow
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
[Published Version]
View
| Files available
| DOI
H. Alhaija, A. Sellent, D. Kondermann, C. Rother, (2018).
2018 | Journal Article | IST-REx-ID: 292 |
Nonlinear decoding of a complex movie from the mammalian retina
V. Botella Soler, S. Deny, G.S. Martius, O. Marre, G. Tkačik, PLoS Computational Biology 14 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
V. Botella Soler, S. Deny, G.S. Martius, O. Marre, G. Tkačik, PLoS Computational Biology 14 (2018).
2018 | Journal Article | IST-REx-ID: 438 |
Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
[Published Version]
View
| Files available
| DOI
| WoS
N. Nikolic, T. Bergmiller, A. Vandervelde, T. Albanese, L. Gelens, I. Moll, Nucleic Acids Research 46 (2018) 2918–2931.
2018 | Journal Article | IST-REx-ID: 131 |
Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
2018 | Research Data | IST-REx-ID: 5584 |
Nonlinear decoding of a complex movie from the mammalian retina
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
[Published Version]
View
| Files available
| DOI
S. Deny, O. Marre, V. Botella-Soler, G.S. Martius, G. Tkačik, (2018).
2018 | Journal Article | IST-REx-ID: 286
Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering
T. Ellis, D. Field, N.H. Barton, Molecular Ecology Resources 18 (2018) 988–999.
View
| Files available
| DOI
| WoS
T. Ellis, D. Field, N.H. Barton, Molecular Ecology Resources 18 (2018) 988–999.
2018 | Research Data | IST-REx-ID: 5586 |
Input files and scripts from "Evolution of gene dosage on the Z-chromosome of schistosome parasites" by Picard M.A.L., et al (2018)
B. Vicoso, (2018).
[Published Version]
View
| Files available
| DOI
B. Vicoso, (2018).
2018 | Research Data | IST-REx-ID: 5583 |
Data and Python scripts supporting Python package FAPS
T. Ellis, (2018).
[Published Version]
View
| Files available
| DOI
T. Ellis, (2018).
2018 | Research Data | IST-REx-ID: 5569 |
Time-lapse microscopy data
T. Bergmiller, N. Nikolic, (2018).
[Published Version]
View
| Files available
| DOI
T. Bergmiller, N. Nikolic, (2018).
2018 | Journal Article | IST-REx-ID: 161 |
Statistical mechanics for metabolic networks during steady state growth
D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
D. De Martino, A.A. Mc, T. Bergmiller, C.C. Guet, G. Tkačik, Nature Communications 9 (2018).
2018 | Research Data | IST-REx-ID: 5587 |
Supporting materials "STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH"
D. De Martino, G. Tkačik, (2018).
[Published Version]
View
| Files available
| DOI
D. De Martino, G. Tkačik, (2018).
2018 | Journal Article | IST-REx-ID: 542 |
Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
[Published Version]
View
| Files available
| DOI
| WoS
R.K. Kelemen, B. Vicoso, Genetics 208 (2018) 365–375.
2018 | Journal Article | IST-REx-ID: 5751 |
Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M.A. Nowak, Communications Biology 1 (2018).
2018 | Research Data | IST-REx-ID: 5757 |
Supplementary Files for "Pleiotropy modulates the efficacy of selection in Drosophila melanogaster"
C. Fraisse, (2018).
[Published Version]
View
| Files available
| DOI
C. Fraisse, (2018).
2018 | Thesis | IST-REx-ID: 149 |
Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
[Published Version]
View
| Files available
| DOI
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
2018 | Journal Article | IST-REx-ID: 415 |
Effect of a magnetic field on molecule–solvent angular momentum transfer
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
W. Rzadkowski, M. Lemeshko, The Journal of Chemical Physics 148 (2018).