Chatterjee K, Doyen L. 2016. Computation tree logic for synchronization properties. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 98.
LibreCat: https://research-explorer.ista.ac.at/record/1070
DOI: 10.4230/LIPIcs.ICALP.2016.98

Polshyn H, Naibert T, Chua V, Budakian R. 2016. Study of vortex states and dynamics in mesoscopic superconducting samples with MFM. APS March Meeting 2016. APS: American Physical Society, Bulletin of the American Physical Society, vol. 61, .00007.
LibreCat: https://research-explorer.ista.ac.at/record/10746

Naibert T, Polshyn H, Wolin B, Durkin M, Garrido Menacho R, Shem IM, Chua V, Hughes T, Mason N, Budakian R. 2016. Stochastic resonance magnetic force microscopy imaging of Josephson arrays. APS March Meeting 2016. APS: American Physical Society, Bulletin of the American Physical Society, vol. 61, .00006.
LibreCat: https://research-explorer.ista.ac.at/record/10747

angowski , Wabnik KT, Li H, Vanneste S, Naramoto S, Tanaka H, Friml J. 2016. Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells. Cell Discovery. 2, 16018.
LibreCat: https://research-explorer.ista.ac.at/record/1081
DOI: 10.1038/celldisc.2016.18

Rubel P, Pani D, Schlögl A, Fayn J, Badilini F, Macfarlane P, Varri A. 2016. SCP-ECG .0: An enhanced standard communication protocol for computer-assisted electrocardiography. 2016 Computing in Cardiology Conference. CinC: Computing in Cardiology vol. 43, 309–312.
LibreCat: https://research-explorer.ista.ac.at/record/10810
DOI: 10.22489/cinc.2016.090-500

Chalk MJ, Marre O, Tkadik G. 2016. Relevant sparse codes with variational information bottleneck. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 1965–1973.
LibreCat: https://research-explorer.ista.ac.at/record/1082

Booker S, Althof D, Gross A, Loreth D, Müller J, Unger A, Fakler B, Varro A, Watanabe M, Gassmann M, Bettler B, Shigemoto R, Vida I, Kulik Á. 2016. KCT auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons. Cerebral Cortex. 27(3), 2318–2334.
LibreCat: https://research-explorer.ista.ac.at/record/1083
DOI: 10.1093/cercor/bhw090

Uhler C, Shivashankar GV. 2016. Geometric control and modeling of genome reprogramming. BioArchitecture. 6(4), 76–84.
LibreCat: https://research-explorer.ista.ac.at/record/1088
DOI: 10.1080/19490992.2016.1201620

Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 24.
LibreCat: https://research-explorer.ista.ac.at/record/1090
DOI: 10.4230/LIPIcs.MFCS.2016.24

Haas A, Henzinger TA, Holzer A, Kirsch C, Lippautz M, Payer H, Sezgin A, Sokolova A, Veith H. 2016. Local linearizability for concurrent container-type data structures. Leibniz International Proceedings in Informatics. CONCUR: Concurrency Theory, LIPIcs, vol. 59, 6.
LibreCat: https://research-explorer.ista.ac.at/record/1095
DOI: 10.4230/LIPIcs.CONCUR.2016.6

Du T, Schulz A, Zhu B, Bickel B, Matusik W. 2016. Computational multicopter design. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 227.
LibreCat: https://research-explorer.ista.ac.at/record/1097
DOI: 10.1145/2980179.2982427

Pentina A, Urner R. 2016. Lifelong learning with weighted majority votes. NIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 29, 3619–3627.
LibreCat: https://research-explorer.ista.ac.at/record/1098

Malomo L, Pietroni N, Bickel B, Cignoni P. 2016. FlexMolds: Automatic design of flexible shells for molding. SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, ACM Transactions on Graphics, vol. 35, 223.
LibreCat: https://research-explorer.ista.ac.at/record/1099
DOI: 10.1145/2980179.2982397

Kolesnikov A, Lampert C. 2016. Improving weakly-supervised object localization by micro-annotation. Proceedings of the British Machine Vision Conference 2016. BMVC: British Machine Vision Conference vol. 2016–September, 92.1-92.12.
LibreCat: https://research-explorer.ista.ac.at/record/1102
DOI: 10.5244/C.30.92

Gurung A, Deka A, Bartocci E, Bogomolov S, Grosu R, Ray R. 2016. Parallel reachability analysis for hybrid systems. MEMOCODE: International Conference on Formal Methods and Models for System Design, 7797741.
LibreCat: https://research-explorer.ista.ac.at/record/1103
DOI: 10.1109/MEMCOD.2016.7797741

Savin C, Tkadik 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.
LibreCat: https://research-explorer.ista.ac.at/record/1105

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. 0-catenin prevents multinucleation through control of MKL-dependent RhoA activity during cytokinesis. Nature Communications. 7, 13874.
LibreCat: https://research-explorer.ista.ac.at/record/11072
DOI: 10.1038/ncomms13874
PMID: 28004812

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.
LibreCat: https://research-explorer.ista.ac.at/record/11071
DOI: 10.1101/gad.280941.116
PMID: 27198230

Hatch EM, Hetzer M. 2016. Nuclear envelope rupture is induced by actin-based nucleus confinement. Journal of Cell Biology. 215(1), 27–36.
LibreCat: https://research-explorer.ista.ac.at/record/11069
DOI: 10.1083/jcb.201603053
PMID: 27697922

Ibarra A, Benner C, Tyagi S, Cool J, Hetzer M. 2016. Nucleoporin-mediated regulation of cell identity genes. Genes &; Development. 30(20), 2253–2258.
LibreCat: https://research-explorer.ista.ac.at/record/11070
DOI: 10.1101/gad.287417.116
PMID: 27807035