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.




2720 Publications

2019 | Journal Article | IST-REx-ID: 6297 | OA
An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments
H.S. Davies, N.S. Baranova, N. El Amri, L. Coche-Guérente, C. Verdier, L. Bureau, R.P. Richter, D. Débarre, Matrix Biology 78–79 (2019) 47–59.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6310 | OA
Counting rational points on biquadratic hypersurfaces
T.D. Browning, L.Q. Hu, Advances in Mathematics 349 (2019) 920–940.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6343 View | DOI
 
2019 | Journal Article | IST-REx-ID: 6348 | OA
Resonant electro-optic frequency comb
A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 568 (2019) 378–381.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6352 | OA
Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure
A.A. Temnov, K.A. Rogov, A.N. Sklifas, E.V. Klychnikova, M. Hartl, K. Djinovic-Carugo, A. Charnagalov, Molecular Biology Reports (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6366 | OA
A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls
J. Bellstaedt, J. Trenner, R. Lippmann, Y. Poeschl, X. Zhang, J. Friml, M. Quint, C. Delker, Plant Physiology 180 (2019) 757–766.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2019 | Thesis | IST-REx-ID: 6371 | OA
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6377
Disruption of endocytosis through chemical inhibition of clathrin heavy chain function
W. Dejonghe, I. Sharma, B. Denoo, S. De Munck, Q. Lu, K. Mishev, H. Bulut, E. Mylle, R. De Rycke, M.K. Vasileva, D.V. Savatin, W. Nerinckx, A. Staes, A. Drozdzecki, D. Audenaert, K. Yperman, A. Madder, J. Friml, D. Van Damme, K. Gevaert, V. Haucke, S.N. Savvides, J. Winne, E. Russinova, Nature Chemical Biology 15 (2019) 641–649.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6378 | OA
Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, 2019, pp. 374–381.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6380 | OA
Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019).
View | Files available | DOI
 
2019 | Thesis | IST-REx-ID: 6392 | OA
Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory
M. Lukacisin, Quantitative Investigation of Gene Expression Principles through Combinatorial Drug Perturbation and Theory, IST Austria, 2019.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6412 | OA
Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing
H.F. Moussa, D. Bsteh, R. Yelagandula, C. Pribitzer, K. Stecher, K. Bartalska, L. Michetti, J. Wang, J.A. Zepeda-Martinez, U. Elling, J.I. Stuckey, L.I. James, S.V. Frye, O. Bell, Nature Communications 10 (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6413 | OA
Phase-field simulation of core-annular pipe flow
B. Song, C. Plana, J.M. Lopez Alonso, M. Avila, International Journal of Multiphase Flow 117 (2019) 14–24.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6415
Pathogens and disease defense of invasive ants
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6418 | OA
Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome
A.K. Huylmans, M.A. Toups, A. Macon, W.J. Gammerdinger, B. Vicoso, Genome Biology and Evolution 11 (2019) 1033–1044.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6419 | OA
An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019).
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6428
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6430
Adaptively secure proxy re-encryption
G. Fuchsbauer, C. Kamath Hosdurg, K. Klein, K.Z. Pietrzak, in:, Springer Nature, 2019, pp. 317–346.
View | DOI
 
2019 | Thesis | IST-REx-ID: 6435 | OA
Collective defenses of garden ants against a fungal pathogen
B.E. Casillas Perez, Collective Defenses of Garden Ants against a Fungal Pathogen, IST Austria, 2019.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6451 | OA
EGFR controls hair shaft differentiation in a p53-independent manner
N. Amberg, P.A. Sotiropoulou, G. Heller, B.M. Lichtenberger, M. Holcmann, B. Camurdanoglu, T. Baykuscheva-Gentscheva, C. Blanpain, M. Sibilia, IScience 15 (2019) 243–256.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6454 | OA
Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members
G. Ortiz-Álvarez, M. Daclin, A. Shihavuddin, P. Lansade, A. Fortoul, M. Faucourt, S. Clavreul, M. Lalioti, S. Taraviras, S. Hippenmeyer, J. Livet, A. Meunier, A. Genovesio, N. Spassky, Neuron 102 (2019) 159–172.e7.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6462 | OA
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6465 | OA
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6466 | OA
Breaking down barriers in morning glories
D. Field, C. Fraisse, Molecular Ecology 28 (2019) 1579–1581.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6467
The distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, Biology Letters 15 (2019) 0881.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6470 View | DOI
 
2019 | Thesis | IST-REx-ID: 6473 | OA
Estimating information flow in single cells
S.A. Cepeda Humerez, Estimating Information Flow in Single Cells, IST Austria, 2019.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6477 | OA
Colloquium: Many-body localization, thermalization, and entanglement
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019).
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6482 | OA
KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Poster | IST-REx-ID: 6485
Lock-free channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6486 | OA
Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019) 111105.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6488 | OA
Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices
G. Cipolloni, L. Erdös, Random Matrices: Theory and Application (2019).
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6490 | OA
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6491
Publisher correction: Resonant electro-optic frequency comb
A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 569 (2019).
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6493 | OA
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 65 | OA
Entropy solutions for stochastic porous media equations
K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6504
Auxin-mediated statolith production for root gravitropism
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6506 | OA
Chance and pleiotropy dominate genetic diversity in complex bacterial environments
L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.
View | DOI | Download Preprint (ext.)
 
2019 | Journal Article | IST-REx-ID: 6511 | OA
Local single ring theorem on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6513 | OA
Tracing the origin of adult intestinal stem cells
J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets, A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y. Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B. Jensen, Nature 570 (2019) 107–111.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6515 | OA
Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6521 | OA
Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6528 | OA
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
View | Files available | DOI | Download Published Version (ext.)
 
2019 | Journal Article | IST-REx-ID: 6552
Social immunity in insects
S. Cremer, Current Biology 29 (2019) R458–R463.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6554 | OA
Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly
Y. Xian, C. Lampert, B. Schiele, Z. Akata, IEEE Transactions on Pattern Analysis and Machine Intelligence 41 (2019) 2251–2265.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6556 | OA
3-manifold triangulations with small treewidth
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry (SoCG 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6559
Multiscale dynamics of branching morphogenesis
E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6564 | OA
Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions
A.-M. Tichy, E.J. Gerrard, J.M.D. Legrand, R.M. Hobbs, H.L. Janovjak, Journal of Molecular Biology 431 (2019) 3046–3055.
View | DOI | Download Preprint (ext.)
 
2019 | Conference Paper | IST-REx-ID: 6565
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019, p. 8715598.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6566 | OA
Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks
M. Ibáñez, A. Genç, R. Hasler, Y. Liu, O. Dobrozhan, O. Nazarenko, M. de la Mata, J. Arbiol, A. Cabot, M.V. Kovalenko, ACS Nano 13 (2019) 6572–6580.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6569 | OA
Towards understanding knowledge distillation
P. Bui Thi Mai, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, PMLR, 2019, pp. 5142–5151.
View | Files available
 
2019 | Journal Article | IST-REx-ID: 6575 | OA
Emergent SU(2) dynamics and perfect quantum many-body scars
S. Choi, C.J. Turner, H. Pichler, W.W. Ho, A. Michailidis, Z. Papić, M. Serbyn, M.D. Lukin, D.A. Abanin, Physical Review Letters 122 (2019) 220603.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6586 | OA
Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion
M. Ibáñez, R. Hasler, A. Genç, Y. Liu, B. Kuster, M. Schuster, O. Dobrozhan, D. Cadavid, J. Arbiol, A. Cabot, M.V. Kovalenko, Journal of the American Chemical Society 141 (2019) 8025–8029.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6590 | OA
Robust learning from untrusted sources
N.H. Konstantinov, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, PMLR, 2019, pp. 3488–3498.
View | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6596 | OA View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6601
Mechanochemical feedback loops in development and disease
E.B. Hannezo, C.-P.J. Heisenberg, Cell 178 (2019) 12–25.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6608 | OA
Holes and dependences in an ordered complex
H. Edelsbrunner, K. Ölsböck, Computer Aided Geometric Design 73 (2019) 1–15.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6609 | OA
Stationary entangled radiation from micromechanical motion
S. Barzanjeh, E. Redchenko, M. Peruzzo, M. Wulf, D. Lewis, G.M. Arnold, J.M. Fink, Nature 570 (2019) 480–483.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6611 | OA
PIN2 polarity establishment in arabidopsis in the absence of an intact cytoskeleton
M. Glanc, M. Fendrych, J. Friml, Biomolecules 9 (2019).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6617 | OA
The choice of representative volumes in the approximation of effective properties of random materials
J.L. Fischer, Archive for Rational Mechanics and Analysis 234 (2019) 635–726.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6620 | OA
On a certain non-split cubic surface
R. De La Bretèche, K.N. Destagnol, J. Liu, J. Wu, Y. Zhao, Science China Mathematics 62 (2019) 2435–2446.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6621
On the power to detect rare recombination events
A.E. Wright, I. Darolti, N.I. Bloch, V. Oostra, B.A. Sandkam, S.D. Buechel, N. Kolm, F. Breden, B. Vicoso, J.E. Mank, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 12607–12608.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6627 | OA View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6628 | OA
The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
View | Files available
 
2019 | Journal Article | IST-REx-ID: 6631
Cell division and tissue mechanics
B.G. Godard, C.-P.J. Heisenberg, Current Opinion in Cell Biology 60 (2019) 114–120.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6632 | OA
Coupled superfluidity of binary Bose mixtures in two dimensions
V. Karle, N. Defenu, T. Enss, Physical Review A 99 (2019).
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6634 | OA
Lower and upper bounds for the waists of different spaces
A. Akopyan, A. Hubard, R. Karasev, Topological Methods in Nonlinear Analysis 53 (2019) 457–490.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6637 | OA
Surfing on the seascape: Adaptation in a changing environment
B. Trubenova, M. Krejca, P.K. Lehre, T. Kötzing, Evolution 73 (2019) 1356–1374.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6638 | OA
Graphs with at most one crossing
A. Silva, A.M. Arroyo Guevara, B. Richter, O. Lee, Discrete Mathematics 342 (2019) 3201–3207.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6642 | OA
On diffusive variants of some classical viscoelastic rate-type models
M. Dostalík, V. Pruša, T. Skrivan, in:, AIP Conference Proceedings, AIP, 2019.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6646
Room temperature control of valley coherence in bilayer WS2 exciton polaritons
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, V. Menon, in:, CLEO: Applications and Technology, OSA, 2019.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6647 | OA
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6648 | OA
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6650 | OA
Volume-aware design of composite molds
T. Alderighi, L. Malomo, D. Giorgi, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 38 (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6658 | OA
Haploid selection drives new gene male germline expression
J. Raices, P. Otto, M. Vibranovski, Genome Research 29 (2019) 1115–1122.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6659
Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6660 | OA
Geometry-aware scattering compensation for 3D printing
D. Sumin, T. Weyrich, T. Rittig, V. Babaei, T. Nindel, A. Wilkie, P. Didyk, B. Bickel, J. Křivánek, K. Myszkowski, ACM Transactions on Graphics 38 (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6671 | OA
The reach, metric distortion, geodesic convexity and the variation of tangent spaces
J.-D. Boissonnat, A. Lieutier, M. Wintraecken, Journal of Applied and Computational Topology 3 (2019) 29–58.
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6673 | OA
Efficiency guarantees for parallel incremental algorithms under relaxed schedulers
D.-A. Alistarh, G. Nadiradze, N. Koval, in:, 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–154.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6676 | OA
Why extension-based proofs fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, ACM Press, 2019, pp. 986–996.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6677
Finding a Nash equilibrium is no easier than breaking Fiat-Shamir
A.R. Choudhuri, P. Hubáček, C. Kamath Hosdurg, K.Z. Pietrzak, A. Rosen, G.N. Rothblum, in:, Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing  - STOC 2019, ACM Press, 2019, pp. 1103–1114.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6680 | OA View | Files available | DOI
 
2019 | Thesis | IST-REx-ID: 6681 | OA
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6710
Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb
G. Cossard, M.A. Toups, J. Pannell, Annals of Botany 123 (2019) 1119–1131.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6713 | OA
An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6717 | OA View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6725 | OA
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
View | Files available | DOI | arXiv
 
2019 | Book Chapter | IST-REx-ID: 6726
Sampling the integers with low relative error
M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6750 | OA
Rate-flexible fast polar decoders
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6752 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6755 | OA
Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome
M.A.L. Picard, B. Vicoso, D. Roquis, I. Bulla, R.C. Augusto, N. Arancibia, C. Grunau, J. Boissier, C. Cosseau, Genome Biology and Evolution 11 (2019) 1909–1922.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6756 | OA
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6759 | OA
On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).
View | Files available | arXiv
 
2019 | Journal Article | IST-REx-ID: 6762 | OA
New optimal control problems in density functional theory motivated by photovoltaics
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6763
Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6779 | OA
Heteroclinic and homoclinic connections in a Kolmogorov-like flow
B. Suri, R.K. Pallantla, M.F. Schatz, R.O. Grigoriev, Physical Review E 100 (2019).
View | DOI | Download Preprint (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6780 | OA
Modular verification for almost-sure termination of probabilistic programs
M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6784 | OA
Molecular noise of innate immunity shapes bacteria-phage ecologies
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, PLoS Computational Biology 15 (2019).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6786 | OA
Attractive dipolar coupling between stacked exciton fluids
C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019).
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6788 | OA
Mean-field dynamics for the Nelson model with fermions
N.K. Leopold, S.P. Petrat, Annales Henri Poincare 20 (2019) 3471–3508.
View | Files available | DOI | arXiv
 

Search

Filter Publications