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.
5804 Publications
2016 | Conference Paper | IST-REx-ID: 1090 | 
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.24.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |
Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.” In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6.
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1097 |
Du, Tao, Adriana Schulz, Bo Zhu, Bernd Bickel, and Wojciech Matusik. “Computational Multicopter Design,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982427.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1098 |
Pentina, Anastasia, and Ruth Urner. “Lifelong Learning with Weighted Majority Votes,” 29:3619–27. Neural Information Processing Systems, 2016.
[Published Version]
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1099 |
Malomo, Luigi, Nico Pietroni, Bernd Bickel, and Paolo Cignoni. “FlexMolds: Automatic Design of Flexible Shells for Molding,” Vol. 35. ACM, 2016. https://doi.org/10.1145/2980179.2982397.
[Submitted Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1102 |
Kolesnikov, Alexander, and Christoph Lampert. “Improving Weakly-Supervised Object Localization by Micro-Annotation.” In Proceedings of the British Machine Vision Conference 2016, 2016–September:92.1-92.12. BMVA Press, 2016. https://doi.org/10.5244/C.30.92.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1103 |
Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.” IEEE, 2016. https://doi.org/10.1109/MEMCOD.2016.7797741.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 11072 |
Ven, Robert A.H. van de, Jolien S. de Groot, Danielle Park, Robert van Domselaar, Danielle de Jong, Karoly Szuhai, Elsken van der Wall, et al. “P120-Catenin Prevents Multinucleation through Control of MKLP1-Dependent RhoA Activity during Cytokinesis.” Nature Communications. Springer Nature, 2016. https://doi.org/10.1038/ncomms13874.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 11071 |
Franks, Tobias M., Chris Benner, Iñigo Narvaiza, Maria C.N. Marchetto, Janet M. Young, Harmit S. Malik, Fred H. Gage, and Martin Hetzer. “Evolution of a Transcriptional Regulator from a Transmembrane Nucleoporin.” Genes & Development. Cold Spring Harbor Laboratory, 2016. https://doi.org/10.1101/gad.280941.116.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 11069 |
Hatch, Emily M., and Martin Hetzer. “Nuclear Envelope Rupture Is Induced by Actin-Based Nucleus Confinement.” Journal of Cell Biology. Rockefeller University Press, 2016. https://doi.org/10.1083/jcb.201603053.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC