Mckenzie C. 2018. Design and characterization of methods and biological components to realize synthetic neurotransmission . Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6266
DOI: 10.15479/at:ista:th_1055

Capek D. 2018. Optogenetic Frizzled 7 reveals a permissive function of Wnt/PCP signaling in directed mesenchymal cell migration. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/50
DOI: 10.15479/AT:ISTA:TH_1031

Steinrück M. 2018. The influence of sequence context on the evolution of bacterial gene expression. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/26
DOI: 10.15479/AT:ISTA:th1059

Hollmann A, Jirovec D, Kucharski M, Kissinger D, Fischer G, Schreiber LR. 2018. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. 89(11), 114701.
LibreCat: https://research-explorer.ista.ac.at/record/5816
DOI: 10.1063/1.5038258
WoS: 000451735700054
arXiv: 1804.09522

Lukacisinova M. 2018. Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria.
LibreCat: https://research-explorer.ista.ac.at/record/6263
DOI: 10.15479/AT:ISTA:th1072

György A, Roblek M, Ratheesh A, Valosková K, Belyaeva V, Wachner S, Matsubayashi Y, Sanchez Sanchez B, Stramer B, Siekhaus DE. 2018. Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues. : Genes, Genomes, Genetics. 8(3), 845–857.
LibreCat: https://research-explorer.ista.ac.at/record/544
DOI: 10.1534/g3.117.300452
WoS: 000426693300011

Luján R, Aguado C, Ciruela F, Cózar J, Kleindienst D, De La Ossa L, Bettler B, Wickman K, Watanabe M, Shigemoto R, Fukazawa Y. 2018. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 223(3), 1565–1587.
LibreCat: https://research-explorer.ista.ac.at/record/612
DOI: 10.1007/s00429-017-1568-y
WoS: 000428419500030

Espinoza Martinez C, Guzmán J, Zhang X, Jonas PM. 2018. Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. 9(1), 4605.
LibreCat: https://research-explorer.ista.ac.at/record/21
DOI: 10.1038/s41467-018-06899-3
WoS: 000449069700009

Chatterjee K, Goharshady AK, Ibsen-Jensen R, Velner Y. 2018. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 118, 11.
LibreCat: https://research-explorer.ista.ac.at/record/66
DOI: 10.4230/LIPIcs.CONCUR.2018.11
arXiv: 1806.03108

Chatterjee K, Goharshady AK, Velner Y. 2018. Quantitative analysis of smart contracts. ESOP: European Symposium on Programming, LNCS, vol. 10801, 739–767.
LibreCat: https://research-explorer.ista.ac.at/record/311
DOI: 10.1007/978-3-319-89884-1_26

Goharshady AK, Behrouz A, Chatterjee K. 2018. Secure Credit Reporting on the Blockchain. Proceedings of the IEEE International Conference on Blockchain. IEEE International Conference on Blockchain, 1343–1348.
LibreCat: https://research-explorer.ista.ac.at/record/6340
DOI: 10.1109/Cybermatics_2018.2018.00231
WoS: 000481634500196
arXiv: 1805.09104

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. 2018. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 40(3), 9.
LibreCat: https://research-explorer.ista.ac.at/record/6009
DOI: 10.1145/3210257
WoS: 000444694800001
arXiv: 1510.07565

Chatterjee K, Fu H, Goharshady AK, Okati N. 2018. Computational approaches for stochastic shortest path on succinct MDPs. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI: International Joint Conference on Artificial Intelligence vol. 2018, 4700–4707.
LibreCat: https://research-explorer.ista.ac.at/record/5977
DOI: 10.24963/ijcai.2018/653
WoS: 000764175404118
arXiv: 1804.08984

Kühnen J, Scarselli D, Schaner M, Hof B. 2018. Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. 100(4), 919–942.
LibreCat: https://research-explorer.ista.ac.at/record/422
DOI: 10.1007/s10494-018-9896-4
WoS: 000433113900004

Kühnen J, Song B, Scarselli D, Budanur NB, Riedl M, Willis A, Avila M, Hof B. 2018. Destabilizing turbulence in pipe flow. Nature Physics. 14, 386–390.
LibreCat: https://research-explorer.ista.ac.at/record/461
DOI: 10.1038/s41567-017-0018-3
WoS: 000429434100020

Prat T, Hajny J, Grunewald W, Vasileva MK, Molnar G, Tejos R, Schmid M, Sauer M, Friml J. 2018. WRK is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. 14(1).
LibreCat: https://research-explorer.ista.ac.at/record/449
DOI: 10.1371/journal.pgen.1007177
WoS: 000423718600034

Grones P, Abas MF, Hajny J, Jones A, Waidmann S, Kleine Vehn J, Friml J. 2018. PID/WAG-mediated phosphorylation of the Arabidopsis PIN3 auxin transporter mediates polarity switches during gravitropism. Scientific Reports. 8(1), 10279.
LibreCat: https://research-explorer.ista.ac.at/record/191
DOI: 10.1038/s41598-018-28188-1
WoS: 000437673200053

Hons M, Kopf A, Hauschild R, Leithner AF, Gärtner FR, Abe J, Renkawitz J, Stein J, Sixt MK. 2018. Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. Nature Immunology. 19(6), 606–616.
LibreCat: https://research-explorer.ista.ac.at/record/15
DOI: 10.1038/s41590-018-0109-z
WoS: 000433041500026
PMID: 29777221

Li L, Krens G, Fendrych M, Friml J. 2018. Real-time analysis of auxin response, cell wall pH and elongation in Arabidopsis thaliana Hypocotyls. Bio-protocol. 8(1).
LibreCat: https://research-explorer.ista.ac.at/record/442
DOI: 10.21769/BioProtoc.2685

Deliu E, Arecco N, Morandell J, Dotter C, Contreras X, Girardot C, Käsper E, Kozlova A, Kishi K, Chiaradia I, Noh K, Novarino G. 2018. Haploinsufficiency of the intellectual disability gene SET disturbs developmental gene expression and cognition. Nature Neuroscience. 21(12), 1717–1727.
LibreCat: https://research-explorer.ista.ac.at/record/3
DOI: 10.1038/s41593-018-0266-2
WoS: 000451324700010

Hilbe C, Schmid L, Tkadlec J, Chatterjee K, Nowak M. 2018. Indirect reciprocity with private, noisy, and incomplete information. PNAS. 115(48), 12241–12246.
LibreCat: https://research-explorer.ista.ac.at/record/2
DOI: 10.1073/pnas.1810565115
WoS: 000451351000063
PMID: 30429320

Igler C, Lagator M, Tkadik G, Bollback JP, Guet CC. 2018. Evolutionary potential of transcription factors for gene regulatory rewiring. Nature Ecology and Evolution. 2(10), 1633–1643.
LibreCat: https://research-explorer.ista.ac.at/record/67
DOI: 10.1038/s41559-018-0651-y
WoS: 000447947600021

Igler C, Lagator M, Tkadik G, Bollback JP, Guet CC. 2018. Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring, Institute of Science and Technology Austria,10.15479/AT:ISTA:108 .
LibreCat: https://research-explorer.ista.ac.at/record/5585
DOI: 10.15479/AT:ISTA:108

Rangel Guerrero DK, Donnett JG, Csicsvari JL, Kovács K. 2018. Tetrode recording from the hippocampus of behaving mice coupled with four-point-irradiation closed-loop optogenetics: A technique to study the contribution of Hippocampal SWR events to learning. eNeuro. 5(4), e0087.
LibreCat: https://research-explorer.ista.ac.at/record/5914
DOI: 10.1523/ENEURO.0087-18.2018
WoS: 000443994700007

Fink JM. 2017. Viewpoint: Microwave quantum states beat the heat. Physics. 10(32).
LibreCat: https://research-explorer.ista.ac.at/record/1013
DOI: 10.1103/Physics.10.32

Vahid Belarghou A, Sari A, Idema T. 2017. Curvature mediated interactions in highly curved membranes. Biophysical Journal. 112(3), 391a.
LibreCat: https://research-explorer.ista.ac.at/record/10126
DOI: 10.1016/j.bpj.2016.11.2123

Anza Hafsa O, Clozeau N, Mandallena J-P. 2017. Homogenization of nonconvex unbounded singular integrals. Annales mathématiques Blaise Pascal. 24(2), 135–193.
LibreCat: https://research-explorer.ista.ac.at/record/10175
DOI: 10.5802/ambp.367

Albrecht SM, Hansen E, Higginbotham AP, Kuemmeth F, Jespersen T, Nygård J, Krogstrup P, Danon J, Flensberg K, Marcus C. 2017. Transport signatures of quasiparticle poisoning in a majorana island. APS Physics, Physical Review Letters. 118(13), 137701.
LibreCat: https://research-explorer.ista.ac.at/record/103
DOI: 10.1103/PhysRevLett.118.137701
arXiv: 1612.05748

Helle SCJ, Feng Q, Aebersold MJ, Hirt L, Grüter RR, Vahid A, Sirianni A, Mostowy S, Snedeker JG, Sari A, Idema T, Zambelli T, Kornmann B. 2017. Mechanical force induces mitochondrial fission. eLife. 6, e30292.
LibreCat: https://research-explorer.ista.ac.at/record/10370
DOI: 10.7554/elife.30292
PMID: 29119945

Simunovic M, Sari A, Henderson JM, Lee KYC, Voth GA. 2017. Long-range organization of membrane-curving proteins. ACS Central Science. 3(12), 1246–1253.
LibreCat: https://research-explorer.ista.ac.at/record/10369
DOI: 10.1021/acscentsci.7b00392
PMID: 29296664

Wirnsberger P, Fijan D, Lightwood RA, Sari A, Dellago C, Frenkel D. 2017. Numerical evidence for thermally induced monopoles. Proceedings of the National Academy of Sciences. 114(19), 4911–4914.
LibreCat: https://research-explorer.ista.ac.at/record/10373
DOI: 10.1073/pnas.1621494114
PMID: 28439003
arXiv: 1610.06840

Meisl G, Rajah L, Cohen SAI, Pfammatter M, Sari A, Hellstrand E, Buell AK, Aguzzi A, Linse S, Vendruscolo M, Dobson CM, Knowles TPJ. 2017. Scaling behaviour and rate-determining steps in filamentous self-assembly. Chemical Science. 8(10), 7087–7097.
LibreCat: https://research-explorer.ista.ac.at/record/10374
DOI: 10.1039/c7sc01965c
PMID: 29147538

Vahid A, Sari A, Idema T. 2017. Curvature variation controls particle aggregation on fluid vesicles. Soft Matter. 13(28), 4924–4930.
LibreCat: https://research-explorer.ista.ac.at/record/10375
DOI: 10.1039/c7sm00433h
PMID: 28677712
arXiv: 1703.00776

Mciver A, Morgan C, Kaminski BL, Katoen JP. 2017. A new proof rule for almost-sure termination. Proceedings of the ACM on Programming Languages. 2(POPL), 33.
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

Polshyn H. 2017. Magnetic force microscopy studies of mesoscopic superconducting structures. University of Illinois at Urbana-Champaign.
LibreCat: https://research-explorer.ista.ac.at/record/10663

Polshyn H, Naibert T, Budakian R. 2017.  Probing and controlling fluxoid states in multiply-connected mesoscopic superconducting structures. APS March Meeting 2017. APS: American Physical Society, Bulletin of the American Physical Society, vol. 62, .00011.
LibreCat: https://research-explorer.ista.ac.at/record/10745

Wenzl B. 2017.An American in Allied-occupied Austria: John Dos Passos Reports on &;quot;The Vienna Frontier&;quot; In: Austria and America: 20th-Century Cross-Cultural Encounters. American Studies in Austria, vol. 15, 73–80.
LibreCat: https://research-explorer.ista.ac.at/record/1075

Franks TM, McCloskey A, Shokhirev MN, Benner C, Rathore A, Hetzer M. 2017. Nu recruits the Wdr82–Set1A/COMPASS complex to promoters to regulate K4 trimethylation in hematopoietic progenitor cells. Genes &; Development. 31(22), 2222–2234.
LibreCat: https://research-explorer.ista.ac.at/record/11066
DOI: 10.1101/gad.306753.117
PMID: 29269482

Toda T, Hsu JY, Linker SB, Hu L, Schafer ST, Mertens J, Jacinto FV, Hetzer M, Gage FH. 2017. Nu3 interacts with So to enable bimodal gene regulation and maintenance of neural progenitor cells. Cell Stem Cell. 21(5), 618–634.e7.
LibreCat: https://research-explorer.ista.ac.at/record/11067
DOI: 10.1016/j.stem.2017.08.012
PMID: 28919367

Buchwalter A, Hetzer M. 2017. Nucleolar expansion and elevated protein translation in premature aging. Nature Communications. 8, 328.
LibreCat: https://research-explorer.ista.ac.at/record/11065
DOI: 10.1038/s41467-017-00322-z
PMID: 28855503

Matthee JJ, Sobral D, Boone F, Röttgering H, Schaerer D, Girard M, Pallottini A, Vallini L, Ferrara A, Darvish B, Mobasher B. 2017. ALMA reveals metals yet no dust within multiple components in C. The Astrophysical Journal. 851(2), 145.
LibreCat: https://research-explorer.ista.ac.at/record/11518
DOI: 10.3847/1538-4357/aa9931
arXiv: 1709.06569

Sobral D, Matthee JJ, Best P, Stroe A, Röttgering H, Oteo I, Smail I, Morabito L, Paulino-Afonso A. 2017. The CALYMHA survey: Ly;1 luminosity function and global escape fraction of Ly;1 photons at z = 2.23. Monthly Notices of the Royal Astronomical Society. 466(1), 1242–1258.
LibreCat: https://research-explorer.ista.ac.at/record/11562
DOI: 10.1093/mnras/stw3090
arXiv: 1609.05897

Stroe A, Sobral D, Matthee JJ, Calhau J, Oteo I. 2017. A 1.4 de blind survey for C II], C III] and C IV at z c 0.7–1.5 – I. Nature, morphologies and equivalent widths . Monthly Notices of the Royal Astronomical Society. 471(3), 2558–2574.
LibreCat: https://research-explorer.ista.ac.at/record/11566
DOI: 10.1093/mnras/stx1712
arXiv: 1703.10169

Matthee JJ, Sobral D, Best P, Khostovan AA, Oteo I, Bouwens R, Röttgering H. 2017. The production and escape of Lyman-Continuum radiation from star-forming galaxies at z c 2 and their redshift evolution. Monthly Notices of the Royal Astronomical Society. 465(3), 3637–3655.
LibreCat: https://research-explorer.ista.ac.at/record/11564
DOI: 10.1093/mnras/stw2973
arXiv: 1605.08782

Stroe A, Sobral D, Matthee JJ, Calhau J, Oteo I. 2017. A 1.4 de blind survey for C II], C III] and C IV at z c 0.7–1.5 – II. Luminosity functions and cosmic average line ratios. Monthly Notices of the Royal Astronomical Society. 471(3), 2575–2586.
LibreCat: https://research-explorer.ista.ac.at/record/11567
DOI: 10.1093/mnras/stx1713
arXiv: 1703.10169

Matthee JJ, Schaye J, Crain RA, Schaller M, Bower R, Theuns T. 2017. The origin of scatter in the stellar mass–halo mass relation of central galaxies in the EAGLE simulation. Monthly Notices of the Royal Astronomical Society. 465(2), 2381–2396.
LibreCat: https://research-explorer.ista.ac.at/record/11565
DOI: 10.1093/mnras/stw2884
arXiv: 1608.08218

Matthee JJ, Sobral D, Best P, Smail I, Bian F, Darvish B, Röttgering H, Fan X. 2017. Boötes-HiZELS: An optical to near-infrared survey of emission-line galaxies at z = 0.4–4.7. Monthly Notices of the Royal Astronomical Society. 471(1), 629–649.
LibreCat: https://research-explorer.ista.ac.at/record/11561
DOI: 10.1093/mnras/stx1569
arXiv: 1702.04721

Matthee JJ, Sobral D, Darvish B, Santos S, Mobasher B, Paulino-Afonso A, Röttgering H, Alegre L. 2017. Spectroscopic properties of luminous Ly;1 emitters at z  6–7 and comparison to the Lyman-break population. Monthly Notices of the Royal Astronomical Society. 472(1), 772–787.
LibreCat: https://research-explorer.ista.ac.at/record/11572
DOI: 10.1093/mnras/stx2061
arXiv: 1706.06591

Turner OJ, Cirasuolo M, Harrison CM, McLure RJ, Dunlop JS, Swinbank AM, Johnson HL, Sobral D, Matthee JJ, Sharples RM. 2017. The KMOS Deep Survey (KDS) – I. Dynamical measurements of typical star-forming galaxies at z  3.5. Monthly Notices of the Royal Astronomical Society. 471(2), 1280–1320.
LibreCat: https://research-explorer.ista.ac.at/record/11573
DOI: 10.1093/mnras/stx1366
arXiv: 1704.06263

Bugnet LA, Garcia RA, Davies GR, Mathur S, Corsaro E. FliPer: Checking the reliability of global seismic parameters from automatic pipelines. arXiv, 1711.02890.
LibreCat: https://research-explorer.ista.ac.at/record/11633
DOI: 10.48550/arXiv.1711.02890
arXiv: 1711.02890

Wang D, Fountoulakis K, Henzinger MH, Mahoney MW, Rao   Satish. 2017. Capacity releasing diffusion for speed and locality. Proceedings of the 34th International Conference on Machine Learning. International Conference on Machine Learning, PMLR, vol. 70, 3598–3607.
LibreCat: https://research-explorer.ista.ac.at/record/11651
arXiv: 1706.05826

Henzinger MH, Krinninger S, Nanongkai D. 2017. Sublinear-time maintenance of breadth-first spanning trees in partially dynamic networks. ACM Transactions on Algorithms. 13(4), 51.
LibreCat: https://research-explorer.ista.ac.at/record/11665
DOI: 10.1145/3146550
arXiv: 1512.08147

Dvoák W, Henzinger MH, Williamson DP. 2017. Maximizing a submodular function with viability constraints. Algorithmica. 77(1), 152–172.
LibreCat: https://research-explorer.ista.ac.at/record/11676
DOI: 10.1007/s00453-015-0066-y
arXiv: 1611.05753

Alwen JF, De Rezende S, Nordstrom J, Vinyals M. 2017. Cumulative space in black-white pebbling and resolution. ITCS: Innovations in Theoretical Computer Science, LIPIcs, vol. 67, 38:1-38-21.
LibreCat: https://research-explorer.ista.ac.at/record/1175
DOI: 10.4230/LIPIcs.ITCS.2017.38

Henzinger MH, Lincoln A, Neumann S, Vassilevska Williams V. 2017. Conditional hardness for sensitivity problems. 8th Innovations in Theoretical Computer Science Conference. ITCS: Innovations in Theoretical Computer Science Conference, LIPIcs, vol. 67, 26.
LibreCat: https://research-explorer.ista.ac.at/record/11829
DOI: 10.4230/LIPICS.ITCS.2017.26
arXiv: 1703.01638

Goranci G, Henzinger MH, Peng P. 2017. The power of vertex sparsifiers in dynamic graph algorithms. 25th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 87, 45.
LibreCat: https://research-explorer.ista.ac.at/record/11833
DOI: 10.4230/LIPICS.ESA.2017.45
arXiv: 1712.06473

Henzinger MH, Leniowski D, Mathieu C. 2017. Dynamic clustering to minimize the sum of radii. 25th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 87, 48.
LibreCat: https://research-explorer.ista.ac.at/record/11832
DOI: 10.4230/LIPICS.ESA.2017.48
arXiv: 1707.02577

Bhattacharya S, Henzinger MH, Nanongkai D. 2017. Fully dynamic approximate maximum matching and minimum vertex cover in o(lo n) worst case update time. 28th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms vol. 0, 470–489.
LibreCat: https://research-explorer.ista.ac.at/record/11874
DOI: 10.1137/1.9781611974782.30
arXiv: 1704.02844

Henzinger MH, Rao S, Wang D. 2017. Local flow partitioning for faster edge connectivity. 28th Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1919–1938.
LibreCat: https://research-explorer.ista.ac.at/record/11873
DOI: 10.1137/1.9781611974782.125
arXiv: 1704.01254

Goranci G, Henzinger MH, Peng P. 2017. Improved guarantees for vertex sparsification in planar graphs. 25th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 87, 44.
LibreCat: https://research-explorer.ista.ac.at/record/11831
DOI: 10.4230/LIPICS.ESA.2017.44
arXiv: 1702.01136

Bhattacharya S, Dvoák W, Henzinger MH, Starnberger M. 2017. Welfare maximization with friends-of-friends network externalities. Theory of Computing Systems. 61(4), 948–986.
LibreCat: https://research-explorer.ista.ac.at/record/11903
DOI: 10.1007/s00224-017-9759-8

Kollár R, Novak S. 2017. Existence of traveling waves for the generalized F–KPP equation. Bulletin of Mathematical Biology. 79(3), 525–559.
LibreCat: https://research-explorer.ista.ac.at/record/1191
DOI: 10.1007/s11538-016-0244-3

Pieber B, Gilmore K, Seeberger PH. 2017. Integrated flow processing - challenges in continuous multistep synthesis. Journal of Flow Chemistry. 7(3–4), 129–136.
LibreCat: https://research-explorer.ista.ac.at/record/11976
DOI: 10.1556/1846.2017.00016

Budanur NB, Cvitanovi P. 2017. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. 167(3–4), 636–655.
LibreCat: https://research-explorer.ista.ac.at/record/1211
DOI: 10.1007/s10955-016-1672-z

Waitukaitis SR, Zuiderwijk A, Souslov A, Coulais C, Van Hecke M. 2017. Coupling the Leidenfrost effect and elastic deformations to power sustained bouncing. Nature Physics. 13(11), 1095–1099.
LibreCat: https://research-explorer.ista.ac.at/record/123
DOI: 10.1038/nphys4194
arXiv: 1705.03530

Bhattacharya S, Chakrabarty D, Henzinger MH. 2017. Deterministic fully dynamic approximate vertex cover and fractional matching in O(1) amortized update time. 19th International Conference on Integer Programming and Combinatorial Optimization. IPCO: Integer Programming and Combinatorial Optimization, LNCS, vol. 10328, 86–98.
LibreCat: https://research-explorer.ista.ac.at/record/12571
DOI: 10.1007/978-3-319-59250-3_8
arXiv: 1611.00198

Fulek R, Pelsmajer M, Schaefer M. 2017. Hanani-Tutte for radial planarity. Journal of Graph Algorithms and Applications. 21(1), 135–154.
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

Browning TD, Kumaraswamy V, Steiner R. 2017. Twisted Linnik implies optimal covering exponent for . International Mathematics Research Notices.
LibreCat: https://research-explorer.ista.ac.at/record/169
DOI: 10.1093/imrn/rnx116
arXiv: 1609.06097

Browning TD, Schindler D. 2017. Strong approximation and a conjecture of Harpaz and Wittenberg. International Mathematics Research Notices.
LibreCat: https://research-explorer.ista.ac.at/record/172
DOI: 10.1093/imrn/rnx252
arXiv: 1509.07744

Alpichshev Z, Sie E, Mahmood F, Cao G, Gedik N. 2017. Origin of the exciton mass in the frustrated Mott insulator NIrO3. Physical Review B. 96(23).
LibreCat: https://research-explorer.ista.ac.at/record/393
DOI: 10.1103/PhysRevB.96.235141

Vishik I, Mahmood F, Alpichshev Z, Gedik N, Higgins J, Greene R. 2017. Ultrafast dynamics in the presence of antiferromagnetic correlations in electron doped cuprate L xCexCuO4±;4. Physical Review B. 95(11).
LibreCat: https://research-explorer.ista.ac.at/record/392
DOI: 10.1103/PhysRevB.95.115125

Hardie R, Van Dam E, Cowley M, Han T, Balaban S, Pajic M, Pinese M, Iconomou M, Shearer R, Mckenna J, Miller D, Waddell N, Pearson J, Grimmond S, Sazanov LA, Biankin A, Villas Boas S, Hoy A, Turner N, Saunders D. 2017. Mitochondrial mutations and metabolic adaptation in pancreatic cancer. Cancer &; Metabolism. 5(2).
LibreCat: https://research-explorer.ista.ac.at/record/443
DOI: 10.1186/s40170-017-0164-1

Serbyn M, Abanin D. 2017. Loschmidt echo in many body localized phases. Physical Review B - Condensed Matter and Materials Physics. 96(1).
LibreCat: https://research-explorer.ista.ac.at/record/445
DOI: 10.1103/PhysRevB.96.014202

Fallesen T, Roostalu J, Düllberg CF, Pruessner G, Surrey T. 2017. Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal. 113(9), 2055–2067.
LibreCat: https://research-explorer.ista.ac.at/record/453
DOI: 10.1016/j.bpj.2017.09.006

Chatterjee K, Henzinger MH, Loitzenbauer V. 2017. Improved algorithms for parity and Streett objectives. Logical Methods in Computer Science. 13(3), 26.
LibreCat: https://research-explorer.ista.ac.at/record/464
DOI: 10.23638/LMCS-13(3:26)2017
arXiv: 1410.0833

Jeschke S, Wojtan C. 2017. Water wave packets. ACM Transactions on Graphics. 36(4), 103.
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678

Daca P, Henzinger TA, Kretinsky J, Petrov T. 2017. Faster statistical model checking for unbounded temporal properties. ACM Transactions on Computational Logic (TOCL). 18(2), 12.
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Biedl T, Huber S, Palfrader P. 2017. Planar matchings for weighted straight skeletons. International Journal of Computational Geometry and Applications. 26(3–4), 211–229.
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 10.1142/S0218195916600050

Nam P, Napiórkowski MM. 2017. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 21(3), 683–738.
LibreCat: https://research-explorer.ista.ac.at/record/484
DOI: 10.4310/ATMP.2017.v21.n3.a4

Bourgade P, Erdös L, Yau H, Yin J. 2017. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 21(3), 739–800.
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 10.4310/ATMP.2017.v21.n3.a5

Simonnet J, Nassar M, Stella F, Cohen I, Mathon B, Boccara CN, Miles R, Fricker D. 2017. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 8, 16032.
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 10.1038/ncomms16032

Letts JA, Sazanov LA. 2017. Clarifying the supercomplex: The higher-order organization of the mitochondrial electron transport chain. Nature Structural and Molecular Biology. 24(10), 800–808.
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 10.1038/nsmb.3460

Klotz L, Lemoult GM, Frontczak I, Tuckerman L, Wesfreid J. 2017. Couette-Poiseuille flow experiment with zero mean advection velocity: Subcritical transition to turbulence. Physical Review Fluids. 2(4), 043904.
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 10.1103/PhysRevFluids.2.043904

Austin K, Virk Z. 2017. Higson compactification and dimension raising. Topology and its Applications. 215, 45–57.
LibreCat: https://research-explorer.ista.ac.at/record/521
DOI: 10.1016/j.topol.2016.10.005

von Wangenheim D, Goh T, Dietrich D, Bennett M. 2017. Plant biology: Building barriers in roots. Current Biology. 27(5), 2–4.
LibreCat: https://research-explorer.ista.ac.at/record/525
DOI: 10.1016/j.cub.2017.01.060

Burton B, de Mesmay AN, Wagner U. 2017. Finding non-orientable surfaces in 3-Manifolds. Discrete &; Computational Geometry. 58(4), 871–888.
LibreCat: https://research-explorer.ista.ac.at/record/534
DOI: 10.1007/s00454-017-9900-0
arXiv: 1602.07907

Kainrath S, Stadler M, Gschaider-Reichhart E, Distel M, Janovjak HL. 2017. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 129(16), 4679–4682.
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

Khamina K, Lercher A, Caldera M, Schliehe C, Vilagos B, Sahin M, Kosack L, Bhattacharya A, Májek P, Stukalov A, Sacco R, James L, Pinschewer D, Bennett K, Menche J, Bergthaler A. 2017. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. 13(12), e1006758.
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

Chatterjee K, Ketínská Z, Kretinsky J. 2017. Unifying two views on multiple mean-payoff objectives in Markov decision processes. Logical Methods in Computer Science. 13(2), 15.
LibreCat: https://research-explorer.ista.ac.at/record/466
DOI: 10.23638/LMCS-13(2:15)2017

Chatterjee K, Henzinger TA, Otop J. 2017. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 18(4), 31.
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2017. Edit distance for pushdown automata. Logical Methods in Computer Science. 13(3).
LibreCat: https://research-explorer.ista.ac.at/record/465
DOI: 10.23638/LMCS-13(3:23)2017

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2017. Amplification on undirected population structures: Comets beat stars. Scientific Reports. 7(1), 82.
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability for data-dependence and Alias analysis. Proceedings of the ACM on Programming Languages. 2(POPL), 30.
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

Chatterjee K, Choudhary B, Pavlogiannis A. 2017. Optimal Dyck reachability for data-dependence and alias analysis, IST Austria, 37p.
LibreCat: https://research-explorer.ista.ac.at/record/5455
DOI: 10.15479/AT:IST-2017-870-v1-1

Petritsch B. 2017. Implementing the institutional data repository IST DataRep, IST Austria,p.
LibreCat: https://research-explorer.ista.ac.at/record/5450

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2(POPL), 31.
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. 2017. Data-centric dynamic partial order reduction, IST Austria, 36p.
LibreCat: https://research-explorer.ista.ac.at/record/5456
DOI: 10.15479/AT:IST-2017-872-v1-1

Chatterjee K, Ibsen-Jensen R, Nowak M. 2017. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 61.
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee K, Henzinger MH, Svozil A. 2017. Faster algorithms for mean-payoff parity games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 39.
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee K, Hansen K, Ibsen-Jensen R. 2017. Strategy complexity of concurrent safety games. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 55.
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55