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.

11374 Publications

Search / Filter

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

Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. 2016. Parallel reachability analysis for hybrid systems. MEMOCODE: Conference on Formal Methods and Models for System Design, 7797741.

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

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

Savin C, Tkačik G. 2016. Estimating nonlinear neural response functions using GP priors and Kronecker methods. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 3610–3618.

View | Download None (ext.)

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

Hatch EM, Hetzer M. 2016. Nuclear envelope rupture is induced by actin-based nucleus confinement. Journal of Cell Biology. 215(1), 27–36.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

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

Ibarra A, Benner C, Tyagi S, Cool J, Hetzer M. 2016. Nucleoporin-mediated regulation of cell identity genes. Genes & Development. 30(20), 2253–2258.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

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

Franks TM, Benner C, Narvaiza I, Marchetto MCN, Young JM, Malik HS, Gage FH, Hetzer M. 2016. Evolution of a transcriptional regulator from a transmembrane nucleoporin. Genes & Development. 30(10), 1155–1171.

[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC

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

van de Ven RAH, de Groot JS, Park D, van Domselaar R, de Jong D, Szuhai K, van der Wall E, Rueda OM, Ali HR, Caldas C, van Diest PJ, Hetzer M, Sahai E, Derksen PWB. 2016. p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA activity during cytokinesis. Nature Communications. 7, 13874.

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

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

Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator. CLEO: Conference on Lasers and Electro Optics, 7788479.

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

2016 | Published | Thesis | PhD | IST-REx-ID: 1121 |

Acar H. 2016. Selective barriers to horizontal gene transfer. Institute of Science and Technology Austria.

[Published Version] View | Files available

2016 | Published | Thesis | PhD | IST-REx-ID: 1122 |

Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2016 | Published | Thesis | PhD | IST-REx-ID: 1123 |

Mabillard I. 2016. Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. Institute of Science and Technology Austria.

[Published Version] View | Files available

2016 | Published | Thesis | PhD | IST-REx-ID: 1124 |

Morri M. 2016. Optical functionalization of human class A orphan G-protein coupled receptors. Institute of Science and Technology Austria.

[Published Version] View | Files available

2016 | Published | Thesis | PhD | IST-REx-ID: 1125 |

Novak S. 2016. Evolutionary proccesses in variable emvironments. Institute of Science and Technology Austria.

[Published Version] View | Files available

2016 | Published | Thesis | PhD | IST-REx-ID: 1126 |

Pentina A. 2016. Theoretical foundations of multi-task lifelong learning. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2016 | Published | Thesis | PhD | IST-REx-ID: 1128 |

Rieckh G. 2016. Studying the complexities of transcriptional regulation. Institute of Science and Technology Austria.

[Published Version] View | Files available

2016 | Published | Thesis | PhD | IST-REx-ID: 1129 |

Schwarz J. 2016. Quantitative analysis of haptotactic cell migration. Institute of Science and Technology Austria.

[Published Version] View | Files available

2016 | Published | Thesis | PhD | IST-REx-ID: 1130 |

Tarrach T. 2016. Automatic synthesis of synchronisation primitives for concurrent programs. Institute of Science and Technology Austria.

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

2016 | Published | Thesis | PhD | IST-REx-ID: 1131 |

Tugrul M. 2016. Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.

[Published Version] View | Files available

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

Duggirala P, Fan C, Potok M, Qi B, Mitra S, Viswanathan M, Bak S, Bogomolov S, Johnson T, Nguyen L, Schilling C, Sogokon A, Tran H, Xiang W. 2016. Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP. 2016 IEEE Conference on Control Applications. CCA: Control Applications , 7587948.

View | DOI

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

Avni G, Guha S, Rodríguez Navas G. 2016. Synthesizing time triggered schedules for switched networks with faulty links. Proceedings of the 13th International Conference on Embedded Software . EMSOFT: Embedded Software , 26.

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

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

Manteaux P, Vimont U, Wojtan C, Rohmer D, Cani M. 2016. Space-time sculpting of liquid animation. Proceedings of the 9th International Conference on Motion in Games . MIG: Motion in Games, 2994261.

[Submitted Version] View | DOI | Download Submitted Version (ext.)