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.

6588 Publications

Search / Filter

2017 | Published | Conference Paper | IST-REx-ID: 949 |

JTDec: A tool for tree decompositions in soot
K. Chatterjee, A.K. Goharshady, A. Pavlogiannis, in:, D. D’Souza (Ed.), Springer, 2017, pp. 59–66.

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

earlier version | 2017 | Published | Conference Paper | IST-REx-ID: 639 |

Non-polynomial worst case analysis of recursive programs
K. Chatterjee, H. Fu, A.K. Goharshady, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 41–63.

[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | arXiv

2017 | Published | Journal Article | IST-REx-ID: 664

The dynamic cytokine niche
F.P. Assen, M.K. Sixt, Immunity 46 (2017) 519–520.

View | Files available | DOI | WoS

2017 | Published | Journal Article | IST-REx-ID: 960 |

Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks
A.H. Hansen, C.F. Düllberg, C. Mieck, M. Loose, S. Hippenmeyer, Frontiers in Cellular Neuroscience 11 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 1028 |

Green-light-induced inactivation of receptor signaling using cobalamin-binding domains
S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, H.L. Janovjak, Angewandte Chemie International Edition 56 (2017) 4608–4611.

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

2017 | Published | Journal Article | IST-REx-ID: 696 |

Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes
M. Lukacisinova, S. Novak, T. Paixao, PLoS Computational Biology 13 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 682 |

PirB regulates asymmetries in hippocampal circuitry
H. Ukai, A. Kawahara, K. Hirayama, M.J. Case, S. Aino, M. Miyabe, K. Wakita, R. Oogi, M. Kasayuki, S. Kawashima, S. Sugimoto, K. Chikamatsu, N. Nitta, T. Koga, R. Shigemoto, T. Takai, I. Ito, PLoS One 12 (2017).

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

2017 | Published | Journal Article | IST-REx-ID: 1027 |

Toward a quantitative understanding of antibiotic resistance evolution
M. Lukacisinova, M.T. Bollenbach, Current Opinion in Biotechnology 46 (2017) 90–97.

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

2017 | Published | Journal Article | IST-REx-ID: 1024 |

Methodological advances in auxin and cytokinin biology
A. Hurny, E. Benková, Auxins and Cytokinins in Plant Biology 1569 (2017) 1–29.

[Submitted Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1082 |

Relevant sparse codes with variational information bottleneck
M.J. Chalk, O. Marre, G. Tkačik, in:, Neural Information Processing Systems Foundation, 2016, pp. 1965–1973.

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

2016 | Published | Journal Article | IST-REx-ID: 1083

KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons
S. Booker, D. Althof, A. Gross, D. Loreth, J. Müller, A. Unger, B. Fakler, A. Varro, M. Watanabe, M. Gassmann, B. Bettler, R. Shigemoto, I. Vida, Á. Kulik, Cerebral Cortex 27 (2016) 2318–2334.

View | DOI | WoS

2016 | Published | Conference Paper | IST-REx-ID: 1090 |

Nested weighted limit-average automata of bounded width
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

[Published Version] View | Files available | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1093 |

Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

[Published Version] View | Files available | DOI

2016 | Published | Book Chapter | IST-REx-ID: 1094

Immunogold protein localization on grid-glued freeze-fracture replicas
H. Harada, R. Shigemoto, in:, High-Resolution Imaging of Cellular Proteins, Springer, 2016, pp. 203–216.

View | DOI

2016 | Published | Conference Paper | IST-REx-ID: 1095 |

Local linearizability for concurrent container-type data structures
A. Haas, T.A. Henzinger, A. Holzer, C. Kirsch, M. Lippautz, H. Payer, A. Sezgin, A. Sokolova, H. Veith, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.

[Published Version] View | Files available | DOI

2016 | Published | Journal Article | IST-REx-ID: 1096

Actin rings of power
C. Schwayer, M.K. Sikora, J. Slovakova, R. Kardos, C.-P.J. Heisenberg, Developmental Cell 37 (2016) 493–506.

View | Files available | DOI | WoS

2016 | Published | Conference Paper | IST-REx-ID: 1097 |

Computational multicopter design
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.

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

2016 | Published | Conference Paper | IST-REx-ID: 1098 |

Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems Foundation, 2016, pp. 3619–3627.

[Published Version] View | Files available

2016 | Published | Conference Paper | IST-REx-ID: 1099 |

FlexMolds: Automatic design of flexible shells for molding
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.

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

2016 | Published | Journal Article | IST-REx-ID: 1101

Rangefinder: A semisynthetic FRET sensor design algorithm
J. Mitchell, J. Whitfield, W. Zhang, C. Henneberger, H.L. Janovjak, M. O’Mara, C. Jackson, ACS SENSORS 1 (2016) 1286–1290.

View | DOI | WoS