en
Please note that IST 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.
1511 Publications
2019 | Journal Article | IST-REx-ID: 6380 
Efficient parameterized algorithms for data packing
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019) 53.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, N. Okati, A. Pavlogiannis, Proceedings of the ACM on Programming Languages 3 (2019) 53.
2019 | Conference Paper | IST-REx-ID: 6378
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, n.d., pp. 374–381.
View
| Files available
| DOI
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 374–381.
2019 | Journal Article | IST-REx-ID: 6784
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
J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, PLoS Computational Biology 15 (2019).
2019 | Conference Paper | IST-REx-ID: 6462
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
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.
2019 | Conference Paper | IST-REx-ID: 6493
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
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 | Conference Paper | IST-REx-ID: 6056
Probabilistic smart contracts: Secure randomness on the blockchain
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019, p. 8751326.
View
| DOI
| Download (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, A. Pourdamghani, in:, IEEE International Conference on Blockchain and Cryptocurrency, IEEE, 2019, p. 8751326.
2019 | Journal Article | IST-REx-ID: 6835
Rational points and prime values of polynomials in moderately many variables
K.N. Destagnol, E. Sofos, Bulletin Des Sciences Mathematiques 156 (2019) 102794.
View
| DOI
| Download (ext.)
| arXiv
K.N. Destagnol, E. Sofos, Bulletin Des Sciences Mathematiques 156 (2019) 102794.
2019 | Journal Article | IST-REx-ID: 301
A Feynman–Kac formula for stochastic Dirichlet problems
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
View
| DOI
| Download (ext.)
| arXiv
M. Gerencser, I. Gyöngy, Stochastic Processes and Their Applications 129 (2019) 995–1012.
2019 | Journal Article | IST-REx-ID: 6014
Elastic alfven waves in elastic turbulence
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
View
| Files available
| DOI
| Download (ext.)
| arXiv
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
2019 | Journal Article | IST-REx-ID: 6090
Receptor crosstalk improves concentration sensing of multiple ligands
M. Carballo-Pacheco, J. Desponds, T. Gavrilchenko, A. Mayer, R. Prizak, G. Reddy, I. Nemenman, T. Mora, Physical Review E 99 (2019) 022423.
View
| DOI
| Download (ext.)
M. Carballo-Pacheco, J. Desponds, T. Gavrilchenko, A. Mayer, R. Prizak, G. Reddy, I. Nemenman, T. Mora, Physical Review E 99 (2019) 022423.
2019 | Journal Article | IST-REx-ID: 6095
Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology (2019).
View
| Files available
| DOI
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlović, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, Molecular Ecology (2019).
2019 | Journal Article | IST-REx-ID: 6069
Stokes flow analogous to viscous electron current in graphene
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019) 937.
View
| Files available
| DOI
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019) 937.
2019 | Journal Article | IST-REx-ID: 6228
Relaminarising pipe flow by wall movement
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
View
| Files available
| DOI
| Download (ext.)
| arXiv
D. Scarselli, J. Kühnen, B. Hof, Journal of Fluid Mechanics 867 (2019) 934–948.
2019 | Journal Article | IST-REx-ID: 6230
Why structure matters
N.H. Barton, J. Hermisson, M. Nordborg, ELife 8 (2019) e45380.
View
| Files available
| DOI
N.H. Barton, J. Hermisson, M. Nordborg, ELife 8 (2019) e45380.
2019 | Journal Article | IST-REx-ID: 6189
Transition to turbulence in particle laden flows
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019) 114502.
View
| DOI
| Download (ext.)
| arXiv
N. Agrawal, G.H. Choueiri, B. Hof, Physical Review Letters 122 (2019) 114502.
2019 | Journal Article | IST-REx-ID: 6191
Theory of mechanochemical patterning in biphasic biological tissues
P. Recho, A. Hallou, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 5344–5349.
View
| Files available
| DOI
| PubMed | Europe PMC
P. Recho, A. Hallou, E.B. Hannezo, Proceedings of the National Academy of Sciences of the United States of America 116 (2019) 5344–5349.
2019 | Journal Article | IST-REx-ID: 6261
Nitrate modulates the differentiation of root distal stem cells
Y. Wang, Z. Gong, J. Friml, J. Zhang, Plant Physiology 180 (2019) 22–25.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
Y. Wang, Z. Gong, J. Friml, J. Zhang, Plant Physiology 180 (2019) 22–25.
2019 | Journal Article | IST-REx-ID: 6451
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
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.
2019 | Journal Article | IST-REx-ID: 6418
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
A.K. Huylmans, M.A. Toups, A. Macon, W.J. Gammerdinger, B. Vicoso, Genome Biology and Evolution 11 (2019) 1033–1044.
2019 | Journal Article | IST-REx-ID: 6564
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 (2019).
View
| DOI
| Download (ext.)
A.-M. Tichy, E.J. Gerrard, J.M.D. Legrand, R.M. Hobbs, H.L. Janovjak, Journal of Molecular Biology (2019).
2019 | Conference Paper | IST-REx-ID: 6569
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
P. Bui Thi Mai, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, PMLR, 2019, pp. 5142–5151.
2019 | Conference Paper | IST-REx-ID: 6590
Robust learning from untrusted sources
N.H. Konstantinov, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, n.d.
View
| Download (ext.)
| arXiv
N.H. Konstantinov, C. Lampert, in:, Proceedings of the 36th International Conference on Machine Learning, n.d.
2019 | Journal Article | IST-REx-ID: 6608
Holes and dependences in an ordered complex
H. Edelsbrunner, K. Ölsböck, Computer Aided Geometric Design 73 (2019) 1–15.
View
| Files available
| DOI
H. Edelsbrunner, K. Ölsböck, Computer Aided Geometric Design 73 (2019) 1–15.
2019 | Journal Article | IST-REx-ID: 6521
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
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
2019 | Journal Article | IST-REx-ID: 6634
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 (ext.)
| arXiv
A. Akopyan, A. Hubard, R. Karasev, Topological Methods in Nonlinear Analysis 53 (2019) 457–490.
2019 | Conference Paper | IST-REx-ID: 6482
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
| DOI
| Download (ext.)
| arXiv
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
2019 | Journal Article | IST-REx-ID: 6660
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
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).
2019 | Journal Article | IST-REx-ID: 6759
On grounded L-graphs and their relatives
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019) P3.17.
View
| Files available
| arXiv
V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019) P3.17.
2019 | Journal Article | IST-REx-ID: 6627
Reorientation of cortical microtubule arrays in the hypocotyl of arabidopsis thaliana is induced by the cell growth process and independent of auxin signaling
M. Adamowski, L. Li, J. Friml, International Journal of Molecular Sciences 20 (2019) 3337.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Adamowski, L. Li, J. Friml, International Journal of Molecular Sciences 20 (2019) 3337.
2019 | Thesis | IST-REx-ID: 6071
Coevolution of transcription factors and their binding sites in sequence space
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
View
| Files available
| DOI
R. Prizak, Coevolution of Transcription Factors and Their Binding Sites in Sequence Space, IST Austria, 2019.
2019 | Conference Paper | IST-REx-ID: 6780
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, n.d.
View
| Files available
| Download (ext.)
| arXiv
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, n.d.
2019 | Journal Article | IST-REx-ID: 6831
Variation in sexual dimorphism in a wind-pollinated plant: The influence of geographical context and life-cycle dynamics
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist (2019).
View
| Files available
| DOI
G. Puixeu Sala, M. Pickup, D. Field, S.C.H. Barrett, New Phytologist (2019).
2019 | Journal Article | IST-REx-ID: 6778
Evolution of fast root gravitropism in seed plants
Y. Zhang, G. Xiao, X. Wang, X. Zhang, J. Friml, Nature Communications 10 (2019) 3480.
View
| Files available
| DOI
| PubMed | Europe PMC
Y. Zhang, G. Xiao, X. Wang, X. Zhang, J. Friml, Nature Communications 10 (2019) 3480.
2019 | Journal Article | IST-REx-ID: 6843
On isometric embeddings of Wasserstein spaces – the discrete case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (n.d.).
View
| DOI
| Download (ext.)
| arXiv
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (n.d.).
2019 | Journal Article | IST-REx-ID: 6855
Thinking about the evolution of complex traits in the era of genome-wide association studies
G. Sella, N.H. Barton, Annual Review of Genomics and Human Genetics 20 (2019) 461–493.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Sella, N.H. Barton, Annual Review of Genomics and Human Genetics 20 (2019) 461–493.
2018 | Conference Paper | IST-REx-ID: 11
Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
View
| DOI
| Download (ext.)
| arXiv
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
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).
View
| DOI
| Download (ext.)
| arXiv
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
2018 | Conference Paper | IST-REx-ID: 143
Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotny, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
View
| DOI
| Download (ext.)
T. Brázdil, K. Chatterjee, A. Kučera, P. Novotny, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
2018 | Conference Paper | IST-REx-ID: 155
Routing thermal noise through quantum networks
A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J. Bain, J.M. Nunzi (Eds.), SPIE, 2018.
View
| DOI
| Download (ext.)
| arXiv
A. Xuereb, M. Aquilina, S. Barzanjeh, in:, D.L. Andrews, A. Ostendorf, A.J. Bain, J.M. Nunzi (Eds.), SPIE, 2018.
2018 | Journal Article | IST-REx-ID: 162
Signals from the brain and olfactory epithelium control shaping of the mammalian nasal capsule cartilage
M. Kaucka, J. Petersen, M. Tesarova, B. Szarowska, M. Kastriti, M. Xie, A. Kicheva, K. Annusver, M. Kasper, O. Symmons, L. Pan, F. Spitz, J. Kaiser, M. Hovorakova, T. Zikmund, K. Sunadome, M.P. Matise, H. Wang, U. Marklund, H. Abdo, P. Ernfors, P. Maire, M. Wurmser, A.S. Chagin, K. Fried, I. Adameyko, ELife 7 (2018).
View
| Files available
| DOI
M. Kaucka, J. Petersen, M. Tesarova, B. Szarowska, M. Kastriti, M. Xie, A. Kicheva, K. Annusver, M. Kasper, O. Symmons, L. Pan, F. Spitz, J. Kaiser, M. Hovorakova, T. Zikmund, K. Sunadome, M.P. Matise, H. Wang, U. Marklund, H. Abdo, P. Ernfors, P. Maire, M. Wurmser, A.S. Chagin, K. Fried, I. Adameyko, ELife 7 (2018).
2018 | Journal Article | IST-REx-ID: 181
Power law decay for systems of randomly coupled differential equations
L. Erdös, T.H. Krüger, D.T. Renfrew, SIAM Journal on Mathematical Analysis 50 (2018) 3271–3290.
View
| DOI
| Download (ext.)
| arXiv
L. Erdös, T.H. Krüger, D.T. Renfrew, SIAM Journal on Mathematical Analysis 50 (2018) 3271–3290.
2018 | Conference Paper | IST-REx-ID: 186
The ℤ2-Genus of Kuratowski minors
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, pp. 401–4014.
View
| DOI
| Download (ext.)
| arXiv
R. Fulek, J. Kynčl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, pp. 401–4014.
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).
View
| Files available
| DOI
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
2018 | Conference Paper | IST-REx-ID: 193
On the memory hardness of data independent password hashing functions
J.F. Alwen, P. Gazi, C. Kamath Hosdurg, K. Klein, G.F. Osang, K.Z. Pietrzak, L. Reyzin, M. Rolinek, M. Rybar, in:, Proceedings of the 2018 on Asia Conference on Computer and Communication Security, ACM, 2018, pp. 51–65.
View
| DOI
| Download (ext.)
J.F. Alwen, P. Gazi, C. Kamath Hosdurg, K. Klein, G.F. Osang, K.Z. Pietrzak, L. Reyzin, M. Rolinek, M. Rybar, in:, Proceedings of the 2018 on Asia Conference on Computer and Communication Security, ACM, 2018, pp. 51–65.
2018 | Journal Article | IST-REx-ID: 275
Lymphatic exosomes promote dendritic cell migration along guidance cues
M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.
2018 | Journal Article | IST-REx-ID: 282
Introgression of a block of genome under infinitesimal selection
H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
View
| DOI
| Download (ext.)
H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
2018 | Journal Article | IST-REx-ID: 287
Electromagnetic fields and optomechanics In cancer diagnostics and treatment
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.
2018 | Journal Article | IST-REx-ID: 294
Two-photon processes based on quantum commutators
F. Fratini, L. Safari, P. Amaro, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
View
| DOI
| Download (ext.)
| arXiv
F. Fratini, L. Safari, P. Amaro, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
2018 | Conference Paper | IST-REx-ID: 302
Simple proofs of sequential work
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
View
| DOI
| Download (ext.)
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
2018 | Journal Article | IST-REx-ID: 307
Nanoscopy of pairs of atoms by fluorescence in a magnetic field
E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).
View
| DOI
| Download (ext.)
| arXiv
E. Redchenko, A. Makarov, V. Yudson, Physical Review A - Atomic, Molecular, and Optical Physics 97 (2018).