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   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) 53.
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, n.d., pp. 374–381.
View | Files available | DOI
 

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 | 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 | 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 | Conference Paper | IST-REx-ID: 6056   OA
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
 

2019 | Journal Article | IST-REx-ID: 6835   OA
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
 

2019 | Journal Article | IST-REx-ID: 301   OA
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
 

2019 | Journal Article | IST-REx-ID: 6014   OA
Elastic alfven waves in elastic turbulence
A. Varshney, V. Steinberg, Nature Communications 10 (2019).
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6090   OA
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.)
 

2019 | Journal Article | IST-REx-ID: 6095   OA
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
 

2019 | Journal Article | IST-REx-ID: 6069   OA
Stokes flow analogous to viscous electron current in graphene
J. Mayzel, V. Steinberg, A. Varshney, Nature Communications 10 (2019) 937.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6228   OA
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
 

2019 | Journal Article | IST-REx-ID: 6230   OA
Why structure matters
N.H. Barton, J. Hermisson, M. Nordborg, ELife 8 (2019) e45380.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6189   OA
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
 

2019 | Journal Article | IST-REx-ID: 6191   OA
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
 

2019 | Journal Article | IST-REx-ID: 6261   OA
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
 

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: 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: 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 (2019).
View | DOI | Download (ext.)
 

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 | 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, n.d.
View | Download (ext.) | arXiv
 

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: 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 | 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 (ext.) | 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 | DOI | Download (ext.) | arXiv
 

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: 6759   OA
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
 

2019 | Journal Article | IST-REx-ID: 6627   OA View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6071   OA
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
 

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, n.d.
View | Files available | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6831   OA View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6778   OA
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
 

2019 | Journal Article | IST-REx-ID: 6843   OA
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
 

2019 | Journal Article | IST-REx-ID: 6855   OA
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
 

2018 | Conference Paper | IST-REx-ID: 11   OA
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
 

2018 | Journal Article | IST-REx-ID: 136   OA
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
 

2018 | Conference Paper | IST-REx-ID: 143   OA
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.)
 

2018 | Conference Paper | IST-REx-ID: 155   OA
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
 

2018 | Journal Article | IST-REx-ID: 162   OA
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
 

2018 | Journal Article | IST-REx-ID: 181   OA
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
 

2018 | Conference Paper | IST-REx-ID: 186   OA
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
 

2018 | Journal Article | IST-REx-ID: 198   OA
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
 

2018 | Conference Paper | IST-REx-ID: 193   OA
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.)
 

2018 | Journal Article | IST-REx-ID: 275   OA
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
 

2018 | Journal Article | IST-REx-ID: 282   OA
Introgression of a block of genome under infinitesimal selection
H. Sachdeva, N.H. Barton, Genetics 209 (2018) 1279–1303.
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 287   OA
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
 

2018 | Journal Article | IST-REx-ID: 294   OA
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
 

2018 | Conference Paper | IST-REx-ID: 302   OA
Simple proofs of sequential work
B. Cohen, K.Z. Pietrzak, in:, Springer, 2018, pp. 451–467.
View | DOI | Download (ext.)
 

2018 | Journal Article | IST-REx-ID: 307   OA
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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed