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 |

K. Chatterjee, A. K. Goharshady, and A. Pavlogiannis, “JTDec: A tool for tree decompositions in soot,” presented at the ATVA: Automated Technology for Verification and Analysis, Pune, India, 2017, vol. 10482, pp. 59–66.

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

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

K. Chatterjee, H. Fu, and A. K. Goharshady, “Non-polynomial worst case analysis of recursive programs,” presented at the CAV: Computer Aided Verification, Heidelberg, Germany, 2017, vol. 10427, pp. 41–63.

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

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

F. P. Assen and M. K. Sixt, “The dynamic cytokine niche,” Immunity, vol. 46, no. 4. Cell Press, pp. 519–520, 2017.

View | Files available | DOI | WoS

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

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

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

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

S. Kainrath, M. Stadler, E. Gschaider-Reichhart, M. Distel, and H. L. Janovjak, “Green-light-induced inactivation of receptor signaling using cobalamin-binding domains,” Angewandte Chemie International Edition, vol. 56, no. 16. Wiley-Blackwell, pp. 4608–4611, 2017.

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

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

M. Lukacisinova, S. Novak, and T. Paixao, “Stress induced mutagenesis: Stress diversity facilitates the persistence of mutator genes,” PLoS Computational Biology, vol. 13, no. 7. Public Library of Science, 2017.

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

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

H. Ukai et al., “PirB regulates asymmetries in hippocampal circuitry,” PLoS One, vol. 12, no. 6. Public Library of Science, 2017.

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

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

M. Lukacisinova and M. T. Bollenbach, “Toward a quantitative understanding of antibiotic resistance evolution,” Current Opinion in Biotechnology, vol. 46. Elsevier, pp. 90–97, 2017.

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

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

A. Hurny and E. Benková, “Methodological advances in auxin and cytokinin biology,” Auxins and Cytokinins in Plant Biology, vol. 1569. Springer, pp. 1–29, 2017.

[Submitted Version] View | Files available | DOI

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

M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.

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

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

S. Booker et al., “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.

View | DOI | WoS

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

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science, Krakow; Poland, 2016, vol. 58.

[Published Version] View | Files available | DOI

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

P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.

[Published Version] View | Files available | DOI

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

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

View | DOI

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

A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.

[Published Version] View | Files available | DOI

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

C. Schwayer, M. K. Sikora, J. Slovakova, R. Kardos, and C.-P. J. Heisenberg, “Actin rings of power,” Developmental Cell, vol. 37, no. 6. Cell Press, pp. 493–506, 2016.

View | Files available | DOI | WoS

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

T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.

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

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

A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.

[Published Version] View | Files available

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

L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.

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

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

J. Mitchell et al., “Rangefinder: A semisynthetic FRET sensor design algorithm,” ACS SENSORS, vol. 1, no. 11. American Chemical Society, pp. 1286–1290, 2016.

View | DOI | WoS