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 |

C. N. Boccara, M. Nardin, F. Stella, J. O’Neill, and J. L. Csicsvari, “The entorhinal cognitive map is attracted to goals,” Science, vol. 363, no. 6434. American Association for the Advancement of Science, pp. 1443–1447, 2019.

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

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

C. Hafner, C. Schumacher, E. Knoop, T. Auzinger, B. Bickel, and M. Bächer, “X-CAD: Optimizing CAD Models with Extended Finite Elements,” ACM Transactions on Graphics, vol. 38, no. 6. ACM, 2019.

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

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

S. Barzanjeh et al., “Stationary entangled radiation from micromechanical motion,” Nature, vol. 570. Nature Publishing Group, pp. 480–483, 2019.

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

S. Tabata et al., “Electron microscopic detection of single membrane proteins by a specific chemical labeling,” iScience, vol. 22, no. 12. Elsevier, pp. 256–268, 2019.

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

J. P. Castro et al., “An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice,” eLife, vol. 8. eLife Sciences Publications, 2019.

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

O. Kim, C. Borges Merjane, and P. M. Jonas, “Functional analysis of the docked vesicle pool in hippocampal mossy fiber terminals by electron microscopy,” in Intrinsic Activity, Innsbruck, Austria, 2019, vol. 7, no. Suppl. 1.

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

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

A. C. Hofmann et al., “Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits,” arXiv. .

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

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

M. Adamowski, L. Li, and J. 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, vol. 20, no. 13. MDPI, 2019.

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

D. Kampjut and L. A. Sazanov, “Structure and mechanism of mitochondrial proton-translocating transhydrogenase,” Nature, vol. 573, no. 7773. Springer Nature, pp. 291–295, 2019.

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

X. Contreras and S. Hippenmeyer, “Memo1 tiles the radial glial cell grid,” Neuron, vol. 103, no. 5. Elsevier, pp. 750–752, 2019.

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

S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg, “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” Cell, vol. 177, no. 6. Elsevier, p. 1463–1479.e18, 2019.

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

C. Schwayer et al., “Mechanosensation of tight junctions depends on ZO-1 phase separation and flow,” Cell, vol. 179, no. 4. Cell Press, p. 937–952.e18, 2019.

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

A. Oochi et al., “Pinstatic acid promotes auxin transport by inhibiting PIN internalization,” Plant Physiology, vol. 180, no. 2. ASPB, pp. 1152–1165, 2019.

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

M. Huang, H. Fu, K. Chatterjee, and A. K. 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 , Athens, Greece, 2019, vol. 3.

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

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

K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol. Part F147772, pp. 400–408.

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

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

K. Chatterjee, A. K. Goharshady, and A. Pourdamghani, “Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, 2019, vol. Part F147772, pp. 374–381.

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

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

P. Wang, H. Fu, A. K. Goharshady, K. Chatterjee, X. Qin, and W. Shi, “Cost analysis of nondeterministic probabilistic programs,” in PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, Phoenix, AZ, United States, 2019, pp. 204–220.

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

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

K. Chatterjee, A. K. Goharshady, P. Goyal, R. Ibsen-Jensen, and A. Pavlogiannis, “Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.

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

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

K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst-case analysis of recursive programs,” ACM Transactions on Programming Languages and Systems, vol. 41, no. 4. ACM, 2019.

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

K. Chatterjee, A. K. Goharshady, N. Okati, and A. Pavlogiannis, “Efficient parameterized algorithms for data packing,” Proceedings of the ACM on Programming Languages, vol. 3, no. POPL. ACM, 2019.

[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