Chatterjee K, Fu H, Goharshady AK. 2017. Non-polynomial worst case analysis of recursive programs. CAV: Computer Aided Verification, LNCS, vol. 10427, 41–63.
LibreCat: https://research-explorer.ista.ac.at/record/639
DOI: 10.1007/978-3-319-63390-9_3
arXiv: 1705.00317

Chatterjee K, Goharshady AK, Pavlogiannis A. 2017. JTDec: A tool for tree decompositions in soot. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 10482, 59–66.
LibreCat: https://research-explorer.ista.ac.at/record/949
DOI: 10.1007/978-3-319-68167-2_4
WoS: 000723567800004

Smutny M, Ákos Z, Grigolon S, Shamipour S, Ruprecht V, Capek D, Behrndt M, Papusheva E, Tada M, Hof B, Vicsek T, Salbreux G, Heisenberg C-PJ. 2017. Friction forces position the neural anlage. Nature Cell Biology. 19, 306–317.
LibreCat: https://research-explorer.ista.ac.at/record/661
DOI: 10.1038/ncb3492
PMID: 28346437

Hansen AH, Düllberg CF, Mieck C, Loose M, Hippenmeyer S. 2017. Cell polarity in cerebral cortex development - cellular architecture shaped by biochemical networks. Frontiers in Cellular Neuroscience. 11, 176.
LibreCat: https://research-explorer.ista.ac.at/record/960
DOI: 10.3389/fncel.2017.00176
WoS: 000404486700001

Aasen D, Hell M, Mishmash R, Higginbotham AP, Danon J, Leijnse M, Jespersen T, Folk J, Marcs C, Flensberg K, Alicea J. 2016. Milestones toward Majorana-based quantum computing. Physical Review X. 6(3), 031016.
LibreCat: https://research-explorer.ista.ac.at/record/100
DOI: 10.1103/PhysRevX.6.031016

Albrecht SM, Higginbotham AP, Jespersen T, Madsen M, Kuemmeth F, Nygård J, Krogstrup P, Marcus C. 2016. Exponential protection of zero modes in Majorana islands. Nature. 531(7593), 206–209.
LibreCat: https://research-explorer.ista.ac.at/record/101
DOI: 10.1038/nature17162
arXiv: 1603.03217

Mishmash R, Aasen D, Higginbotham AP, Alicea J. 2016. Approaching a topological phase transition in Majorana nanowires. Physical Review B. 93(24), 245404.
LibreCat: https://research-explorer.ista.ac.at/record/102
DOI: 10.1103/PhysRevB.93.245404
arXiv: 1601.07908

van der Wel C, Vahid A, Sari A, Idema T, Heinrich D, Kraft DJ. 2016. Lipid membrane-mediated attraction between curvature inducing objects. Scientific Reports. 6(1), 32825.
LibreCat: https://research-explorer.ista.ac.at/record/10377
DOI: 10.1038/srep32825
PMID: 27618764
arXiv: 1603.04644

Sari A, Michaels TCT, Zaccone A, Knowles TPJ, Frenkel D. 2016. Kinetics of spontaneous filament nucleation via oligomers: Insights from theory and simulation. The Journal of Chemical Physics. 145(21), 211926.
LibreCat: https://research-explorer.ista.ac.at/record/10376
DOI: 10.1063/1.4965040
PMID: 28799382
arXiv: 1610.02320

Wirnsberger P, Fijan D, Sari A, Neumann M, Dellago C, Frenkel D. 2016. Non-equilibrium simulations of thermally induced electric fields in water. The Journal of Chemical Physics. 144(22), 224102.
LibreCat: https://research-explorer.ista.ac.at/record/10380
DOI: 10.1063/1.4953036
PMID: 27305991
arXiv: 1602.02734

Bachmann SJ, Kotar J, Parolini L, Sari A, Cicuta P, Di Michele L, Mognetti BM. 2016. Melting transition in lipid vesicles functionalised by mobile DNA linkers. Soft Matter. 12(37), 7804–7817.
LibreCat: https://research-explorer.ista.ac.at/record/10381
DOI: 10.1039/c6sm01515h
PMID: 27722701
arXiv: 1608.05788

Sari A, Buell AK, Meisl G, Michaels TCT, Dobson CM, Linse S, Knowles TPJ, Frenkel D. 2016. Physical determinants of the self-replication of protein fibrils. Nature Physics. 12(9), 874–880.
LibreCat: https://research-explorer.ista.ac.at/record/10378
DOI: 10.1038/nphys3828
PMID: 31031819

Chatterjee K, Dvorák W, Henzinger MH, Loitzenbauer V. 2016. Conditionally optimal algorithms for generalized Büchi Games. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 25.
LibreCat: https://research-explorer.ista.ac.at/record/1068
DOI: 10.4230/LIPIcs.MFCS.2016.25

Chonev VK, Ouaknine J, Worrell J. 2016. On the skolem problem for continuous linear dynamical systems. ICALP: Automata, Languages and Programming, LIPIcs, vol. 55, 100.
LibreCat: https://research-explorer.ista.ac.at/record/1069
DOI: 10.4230/LIPIcs.ICALP.2016.100

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