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.
438 Publications
2019 | Journal Article | IST-REx-ID: 9016 |

Bakail, M. M., Rodriguez‐Marin, S., Hegedüs, Z., Perrin, M. E., Ochsenbein, F., & Wilson, A. J. (2019). Recognition of ASF1 by using hydrocarbon‐constrained peptides. ChemBioChem. Wiley. https://doi.org/10.1002/cbic.201800633
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 9018 |

Bakail, M. M., Gaubert, A., Andreani, J., Moal, G., Pinna, G., Boyarchuk, E., … Ochsenbein, F. (2019). Design on a rational basis of high-affinity peptides inhibiting the histone chaperone ASF1. Cell Chemical Biology. Elsevier. https://doi.org/10.1016/j.chembiol.2019.09.002
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 9060 |

Ramananarivo, S., Ducrot, E., & Palacci, J. A. (2019). Activity-controlled annealing of colloidal monolayers. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-019-11362-y
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2019 | Journal Article | IST-REx-ID: 405 |

Virosztek, D. (2019). Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. Elsevier. https://doi.org/10.1016/j.laa.2018.03.002
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 429 |

Ajanki, O. H., Erdös, L., & Krüger, T. H. (2019). Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0835-z
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 439 |

Hausel, T., Mereb, M., & Wong, M. (2019). Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/896
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 441 |

Kalinin, N., & Shkolnikov, M. (2019). Tropical formulae for summation over a part of SL(2,Z). European Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s40879-018-0218-0
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 301 |

Gerencser, M., & Gyöngy, I. (2019). A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and Their Applications. Elsevier. https://doi.org/10.1016/j.spa.2018.04.003
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 319 |

Gerencser, M., & Hairer, M. (2019). Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. Springer. https://doi.org/10.1007/s00440-018-0841-1
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6717 |

Igler, C., & Abedon, S. T. (2019). Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision. Frontiers in Microbiology. Frontiers. https://doi.org/10.3389/fmicb.2019.01171
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6940 |

Bighin, G., Defenu, N., Nándori, I., Salasnich, L., & Trombettoni, A. (2019). Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models. Physical Review Letters. American Physical Society (APS). https://doi.org/10.1103/physrevlett.123.100601
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6884 |

Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.11
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 9261
Laccone, F., Malomo, L., Perez Rodriguez, J., Pietroni, N., Ponchio, F., Bickel, B., & Cignoni, P. (2019). FlexMaps Pavilion: A twisted arc made of mesostructured flat flexible panels. In IASS Symposium 2019 - 60th Anniversary Symposium of the International Association for Shell and Spatial Structures; Structural Membranes 2019 - 9th International Conference on Textile Composites and Inflatable Structures, FORM and FORCE (pp. 509–515). Barcelona, Spain: International Center for Numerical Methods in Engineering.
View
2019 | Book Chapter | IST-REx-ID: 8281
Barton, N. H., & Etheridge, A. (2019). Mathematical models in population genetics. In D. Balding, I. Moltke, & J. Marioni (Eds.), Handbook of statistical genomics (4th ed., pp. 115–144). Wiley. https://doi.org/10.1002/9781119487845.ch4
View
| 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 | Thesis | IST-REx-ID: 6891 |

Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6891
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6269 |

Narasimhan, M. (2019). Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants . IST Austria. https://doi.org/10.15479/at:ista:th1075
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849 |

Rangel Guerrero, D. K. (2019). The role of CCK-interneurons in regulating hippocampal network dynamics. IST Austria. https://doi.org/10.15479/AT:ISTA:6849
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6328 |

Renkawitz, J., Kopf, A., Stopp, J. A., de Vries, I., Driscoll, M. K., Merrin, J., … Sixt, M. K. (2019). Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1087-5
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6877
Kopf, A., & Sixt, M. K. (2019). The neural crest pitches in to remove apoptotic debris. Cell. https://doi.org/10.1016/j.cell.2019.08.047
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Thesis | IST-REx-ID: 6947 |

Assen, F. P. (2019). Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. IST Austria. https://doi.org/10.15479/AT:ISTA:6947
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6187 |

Valosková, K., Biebl, J., Roblek, M., Emtenani, S., György, A., Misova, M., … Siekhaus, D. E. (2019). A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.41801
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6546 |

Valosková, K. (2019). The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. IST Austria. https://doi.org/10.15479/AT:ISTA:6546
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6371 |

Igler, C. (2019). On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation. IST Austria. https://doi.org/10.15479/AT:ISTA:6371
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 5949 |

Käfer, K., Malagon-Vina, H., Dickerson, D., O’Neill, J., Trossbach, S. V., Korth, C., & Csicsvari, J. L. (2019). Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. Wiley. https://doi.org/10.1002/hipo.23076
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363 |

Espinoza Martinez, C. M. (2019). Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits. IST Austria. https://doi.org/10.15479/AT:ISTA:6363
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6825 |

Käfer, K. (2019). The hippocampus and medial prefrontal cortex during flexible behavior. IST Austria. https://doi.org/10.15479/AT:ISTA:6825
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 7132 |

Mckenzie, C. (2019). Design and characterization of methods and biological components to realize synthetic neurotransmission. IST Austria. https://doi.org/10.15479/at:ista:7132
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7158 |

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R., & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3363525
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 7014 |

Chatterjee, K., Fu, H., & Goharshady, A. K. (2019). Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. ACM. https://doi.org/10.1145/3339984
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6378 |

Chatterjee, K., Goharshady, A. K., & Pourdamghani, A. (2019). 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 | Conference Paper | IST-REx-ID: 6780 |

Huang, M., Fu, H., Chatterjee, K., & Goharshady, A. K. (2019). Modular verification for almost-sure termination of probabilistic programs. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360555
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6175 |

Wang, P., Fu, H., Goharshady, A. K., Chatterjee, K., Qin, X., & Shi, W. (2019). Cost analysis of nondeterministic probabilistic programs. In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 204–220). Phoenix, AZ, United States: Association for Computing Machinery. https://doi.org/10.1145/3314221.3314581
View
| Files available
| DOI
| arXiv
2019 | Journal Article | IST-REx-ID: 6380 |

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

Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6056 |

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

Kühnen, J., Scarselli, D., & Hof, B. (2019). Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. ASME. https://doi.org/10.1115/1.4043494
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 6228 |

Scarselli, D., Kühnen, J., & Hof, B. (2019). Relaminarising pipe flow by wall movement. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2019.191
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv