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.

5163 Publications


2019 | Journal Article | IST-REx-ID: 6796   OA
Stella, F., Urdapilleta, E., Luo, Y., & Treves, A. (2019). Partial coherence and frustration in self-organizing spherical grids. Hippocampus. https://doi.org/10.1002/hipo.23144
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee, K., Goharshady, A. K., Okati, N., & Pavlogiannis, A. (2019). Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages, 3(POPL), 53. https://doi.org/10.1145/3290366
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6378   OA
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (n.d.). Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 374–381). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297319
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6784   OA
Ruess, J., Pleska, M., Guet, C. C., & Tkačik, G. (2019). Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology, 15(7). https://doi.org/10.1371/journal.pcbi.1007168
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni, G., Bloem, R., Chatterjee, K., Henzinger, T. A., Konighofer, B., & Pranger, S. (2019). Run-time optimization for learned controllers through quantitative games. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 630–649). New York, NY, United States: Springer. https://doi.org/10.1007/978-3-030-25540-4_36
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. https://doi.org/10.1007/978-3-030-25540-4_16
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). Probabilistic smart contracts: Secure randomness on the blockchain. In IEEE International Conference on Blockchain and Cryptocurrency (p. 8751326). Seoul, Korea: IEEE. https://doi.org/10.1109/BLOC.2019.8751326
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6835   OA
Destagnol, K. N., & Sofos, E. (2019). Rational points and prime values of polynomials in moderately many variables. Bulletin Des Sciences Mathematiques, 156, 102794. https://doi.org/10.1016/j.bulsci.2019.102794
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6830
Contreras, X., & Hippenmeyer, S. (2019). Memo1 tiles the radial glial cell grid. Neuron, 103(5), 750–752. https://doi.org/10.1016/j.neuron.2019.08.021
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6859
Zhou, L., & Sazanov, L. A. (2019). Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase. Science, 365(6455), eaaw9144. https://doi.org/10.1126/science.aaw9144
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6828   OA
Brown, A. (2019). Arakawa-Suzuki functors for Whittaker modules. Journal of Algebra, 538, 261–289. https://doi.org/10.1016/j.jalgebra.2019.07.027
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5856   OA
Moser, T., & Seiringer, R. (2019). Energy contribution of a point-interacting impurity in a Fermi gas. Annales Henri Poincare. https://doi.org/10.1007/s00023-018-00757-0
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6657   OA
Danowski, P. (2019). An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors. VOEB-Mitteilungen, 72(1), 59–65. https://doi.org/10.31263/voebm.v72i1.2276
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6392
Lukacisin, M. (2019). Quantitative investigation of gene expression principles through combinatorial drug perturbation and theory. IST Austria. https://doi.org/10.15479/AT:ISTA:6392
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2019). Long-run average behavior of vector addition systems with states (Vol. 140, p. 27). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.27
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6897
Zhu, Q., Gallemi, M., Pospíšil, J., Žádníková, P., Strnad, M., & Benková, E. (2019). Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development, 146(17), dev175919. https://doi.org/10.1242/dev.175919
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6900   OA
Cepeda Humerez, S. A., Ruess, J., & Tkačik, G. (2019). Estimating information in time-varying signals. PLoS Computational Biology, 15(9), e1007290. https://doi.org/10.1371/journal.pcbi.1007290
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6931   OA
Nowak, T., & Rybicki, J. (2019). Byzantine approximate agreement on graphs. In 33rd International Symposium on Distributed Computing (Vol. 146, p. 29:1--29:17). Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPICS.DISC.2019.29
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6936   OA
Ovaskainen, O., Rybicki, J., & Abrego, N. (2019). What can observational data reveal about metacommunity processes? Ecography. https://doi.org/10.1111/ecog.04444
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6943   OA
Hörmayer, L., & Friml, J. (2019). Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology, 52(12), 124–130. https://doi.org/10.1016/j.pbi.2019.08.006
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed