ISTA Research Explorer

Please note that ISTA 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.

11357 Publications

2019 | Published | Journal Article | IST-REx-ID: 6194 |

Boccara, Charlotte N., Michele Nardin, Federico Stella, Joseph O’Neill, and Jozsef L Csicsvari. “The Entorhinal Cognitive Map Is Attracted to Goals.” Science. American Association for the Advancement of Science, 2019. https://doi.org/10.1126/science.aav4837.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Journal Article | IST-REx-ID: 7117 |

Hafner, Christian, Christian Schumacher, Espen Knoop, Thomas Auzinger, Bernd Bickel, and Moritz Bächer. “X-CAD: Optimizing CAD Models with Extended Finite Elements.” ACM Transactions on Graphics. ACM, 2019. https://doi.org/10.1145/3355089.3356576.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Journal Article | IST-REx-ID: 6609 |

Barzanjeh, Shabir, Elena Redchenko, Matilda Peruzzo, Matthias Wulf, Dylan Lewis, Georg M Arnold, and Johannes M Fink. “Stationary Entangled Radiation from Micromechanical Motion.” Nature. Nature Publishing Group, 2019. https://doi.org/10.1038/s41586-019-1320-2.

2019 | Published | Journal Article | IST-REx-ID: 7391 |

Tabata, Shigekazu, Marijo Jevtic, Nobutaka Kurashige, Hirokazu Fuchida, Munetsugu Kido, Kazushi Tani, Naoki Zenmyo, et al. “Electron Microscopic Detection of Single Membrane Proteins by a Specific Chemical Labeling.” IScience. Elsevier, 2019. https://doi.org/10.1016/j.isci.2019.11.025.

2019 | Published | Journal Article | IST-REx-ID: 6713 |

Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” ELife. eLife Sciences Publications, 2019. https://doi.org/10.7554/eLife.42014.

2019 | Published | Conference Abstract | IST-REx-ID: 11222 |

Kim, Olena, Carolina Borges Merjane, and Peter M Jonas. “Functional Analysis of the Docked Vesicle Pool in Hippocampal Mossy Fiber Terminals by Electron Microscopy.” In Intrinsic Activity, Vol. 7. Austrian Pharmacological Society, 2019. https://doi.org/10.25006/ia.7.s1-a3.27.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2019 | Draft | Preprint | IST-REx-ID: 10065 |

Hofmann, Andrea C, Daniel Jirovec, Maxim Borovkov, Ivan Prieto Gonzalez, Andrea Ballabio, Jacopo Frigerio, Daniel Chrastina, Giovanni Isella, and Georgios Katsaros. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.” ArXiv, n.d. https://doi.org/10.48550/arXiv.1910.05841.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2019 | Published | Journal Article | IST-REx-ID: 6627 |

Adamowski, Maciek, Lanxin Li, and Jiří Friml. “Reorientation of Cortical Microtubule Arrays in the Hypocotyl of Arabidopsis Thaliana Is Induced by the Cell Growth Process and Independent of Auxin Signaling.” International Journal of Molecular Sciences. MDPI, 2019. https://doi.org/10.3390/ijms20133337.

2019 | Published | Journal Article | IST-REx-ID: 6848 |

Kampjut, Domen, and Leonid A Sazanov. “Structure and Mechanism of Mitochondrial Proton-Translocating Transhydrogenase.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1519-2.

2019 | Published | Journal Article | IST-REx-ID: 6830 |

Contreras, Ximena, and Simon Hippenmeyer. “Memo1 Tiles the Radial Glial Cell Grid.” Neuron. Elsevier, 2019. https://doi.org/10.1016/j.neuron.2019.08.021.

2019 | Published | Journal Article | IST-REx-ID: 6508 |

Shamipour, Shayan, Roland Kardos, Shi-lei Xue, Björn Hof, Edouard B Hannezo, and Carl-Philipp J Heisenberg. “Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.04.030.

2019 | Published | Journal Article | IST-REx-ID: 7001 |

Schwayer, Cornelia, Shayan Shamipour, Kornelija Pranjic-Ferscha, Alexandra Schauer, M Balda, M Tada, K Matter, and Carl-Philipp J Heisenberg. “Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow.” Cell. Cell Press, 2019. https://doi.org/10.1016/j.cell.2019.10.006.

2019 | Published | Journal Article | IST-REx-ID: 6260 |

Oochi, A, Jakub Hajny, K Fukui, Y Nakao, Michelle C Gallei, M Quareshy, K Takahashi, et al. “Pinstatic Acid Promotes Auxin Transport by Inhibiting PIN Internalization.” Plant Physiology. ASPB, 2019. https://doi.org/10.1104/pp.19.00201.

2019 | Published | Conference Paper | IST-REx-ID: 6780 |

Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “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. ACM, 2019. https://doi.org/10.1145/3360555.

[Published Version] View | Files available | DOI | arXiv

2019 | Published | Conference Paper | IST-REx-ID: 6490 |

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady. “The Treewidth of Smart Contracts.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:400–408. ACM, 2019. https://doi.org/10.1145/3297280.3297322.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6378 |

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Arash Pourdamghani. “Hybrid Mining: Exploiting Blockchain’s Computational Power for Distributed Problem Solving.” In Proceedings of the 34th ACM Symposium on Applied Computing, Part F147772:374–81. ACM, 2019. https://doi.org/10.1145/3297280.3297319.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Conference Paper | IST-REx-ID: 6175 |

Wang, Peixin, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi. “Cost Analysis of Nondeterministic Probabilistic Programs.” In PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 204–20. Association for Computing Machinery, 2019. https://doi.org/10.1145/3314221.3314581.

[Submitted Version] View | Files available | DOI | WoS | arXiv

2019 | Published | Journal Article | IST-REx-ID: 7158 |

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Prateesh Goyal, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Dynamic Algebraic Queries in Basic RSMs with Constant Treewidth.” ACM Transactions on Programming Languages and Systems. ACM, 2019. https://doi.org/10.1145/3363525.

[Submitted Version] View | Files available | DOI | WoS

2019 | Published | Journal Article | IST-REx-ID: 7014 |

Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Non-Polynomial Worst-Case Analysis of Recursive Programs.” ACM Transactions on Programming Languages and Systems. ACM, 2019. https://doi.org/10.1145/3339984.

2019 | Published | Journal Article | IST-REx-ID: 6380 |

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Nastaran Okati, and Andreas Pavlogiannis. “Efficient Parameterized Algorithms for Data Packing.” Proceedings of the ACM on Programming Languages. ACM, 2019. https://doi.org/10.1145/3290366.

[Published Version] View | Files available | DOI

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11357 Publications

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

11357 Publications

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options