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.
503 Publications
2016 | 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
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.
2016 | Journal Article | IST-REx-ID: 1088
Geometric control and modeling of genome reprogramming
C. Uhler, G.V. Shivashankar, BioArchitecture 6 (2016) 76–84.
View
| DOI
C. Uhler, G.V. Shivashankar, BioArchitecture 6 (2016) 76–84.
2016 | 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
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
2016 | 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
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.
2016 | 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
T. Du, A. Schulz, B. Zhu, B. Bickel, W. Matusik, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1098 |
Lifelong learning with weighted majority votes
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
[Published Version]
View
| Files available
A. Pentina, R. Urner, in:, Neural Information Processing Systems, 2016, pp. 3619–3627.
2016 | 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
L. Malomo, N. Pietroni, B. Bickel, P. Cignoni, in:, ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1102 |
Improving weakly-supervised object localization by micro-annotation
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
[Published Version]
View
| DOI
| Download Published Version (ext.)
A. Kolesnikov, C. Lampert, in:, Proceedings of the British Machine Vision Conference 2016, BMVA Press, 2016, p. 92.1-92.12.
2016 | Conference Paper | IST-REx-ID: 1103 |
Parallel reachability analysis for hybrid systems
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, R. Ray, in:, IEEE, 2016.
2016 | Conference Paper | IST-REx-ID: 1105
Estimating nonlinear neural response functions using GP priors and Kronecker methods
C. Savin, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 3610–3618.
View
| Download None (ext.)
C. Savin, G. Tkačik, in:, Neural Information Processing Systems, 2016, pp. 3610–3618.
2016 | Journal Article | IST-REx-ID: 11072 |
p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA activity during cytokinesis
R.A.H. van de Ven, J.S. de Groot, D. Park, R. van Domselaar, D. de Jong, K. Szuhai, E. van der Wall, O.M. Rueda, H.R. Ali, C. Caldas, P.J. van Diest, M. Hetzer, E. Sahai, P.W.B. Derksen, Nature Communications 7 (2016).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R.A.H. van de Ven, J.S. de Groot, D. Park, R. van Domselaar, D. de Jong, K. Szuhai, E. van der Wall, O.M. Rueda, H.R. Ali, C. Caldas, P.J. van Diest, M. Hetzer, E. Sahai, P.W.B. Derksen, Nature Communications 7 (2016).
2016 | Journal Article | IST-REx-ID: 11071 |
Evolution of a transcriptional regulator from a transmembrane nucleoporin
T.M. Franks, C. Benner, I. Narvaiza, M.C.N. Marchetto, J.M. Young, H.S. Malik, F.H. Gage, M. Hetzer, Genes & Development 30 (2016) 1155–1171.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
T.M. Franks, C. Benner, I. Narvaiza, M.C.N. Marchetto, J.M. Young, H.S. Malik, F.H. Gage, M. Hetzer, Genes & Development 30 (2016) 1155–1171.
2016 | Journal Article | IST-REx-ID: 11069 |
Nuclear envelope rupture is induced by actin-based nucleus confinement
E.M. Hatch, M. Hetzer, Journal of Cell Biology 215 (2016) 27–36.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, M. Hetzer, Journal of Cell Biology 215 (2016) 27–36.
2016 | Journal Article | IST-REx-ID: 11070 |
Nucleoporin-mediated regulation of cell identity genes
A. Ibarra, C. Benner, S. Tyagi, J. Cool, M. Hetzer, Genes & Development 30 (2016) 2253–2258.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Ibarra, C. Benner, S. Tyagi, J. Cool, M. Hetzer, Genes & Development 30 (2016) 2253–2258.
2016 | Conference Paper | IST-REx-ID: 1115 |
Efficient single sideband microwave to optical conversion using a LiNbO₃ WGM-resonator
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, in:, IEEE, 2016.
2016 | Conference Paper | IST-REx-ID: 1135 |
Synthesizing time triggered schedules for switched networks with faulty links
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
[Submitted Version]
View
| Files available
| DOI
G. Avni, S. Guha, G. Rodríguez Navas, in:, Proceedings of the 13th International Conference on Embedded Software , ACM, 2016.
2016 | Conference Paper | IST-REx-ID: 1134
Tutorial: Software tools for hybrid systems verification transformation and synthesis C2E2 HyST and TuLiP
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
View
| DOI
P. Duggirala, C. Fan, M. Potok, B. Qi, S. Mitra, M. Viswanathan, S. Bak, S. Bogomolov, T. Johnson, L. Nguyen, C. Schilling, A. Sogokon, H. Tran, W. Xiang, in:, 2016 IEEE Conference on Control Applications, IEEE, 2016.
2016 | Conference Paper | IST-REx-ID: 1136 |
Space-time sculpting of liquid animation
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
P. Manteaux, U. Vimont, C. Wojtan, D. Rohmer, M. Cani, in:, Proceedings of the 9th International Conference on Motion in Games , ACM, 2016.
2016 | Journal Article | IST-REx-ID: 1137 |
RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
2016 | Conference Paper | IST-REx-ID: 1138 |
Quantitative automata under probabilistic semantics
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Proceedings of the 31st Annual ACM/IEEE Symposium, IEEE, 2016, pp. 76–85.