Villányi M. Lizenzverträge mit Open-Access-Komponenten an österreichischen Bibliotheken. 2018.
LibreCat: https://research-explorer.ista.ac.at/record/278

Hauschild R. Fluorescence lifetime analysis of FLIM10.15479/AT:ISTA:0113__TCSPC data. 2018. doi:10.15479/AT:ISTA:0113
LibreCat: https://research-explorer.ista.ac.at/record/5588
DOI: 10.15479/AT:ISTA:0113

Villányi M. Taylor&;Francis Austrian Publications 2013-2017. 2018. doi:10.15479/AT:ISTA:94
LibreCat: https://research-explorer.ista.ac.at/record/5582
DOI: 10.15479/AT:ISTA:94

Villányi M. Springer Austrian Publications 2013-2016. 2018. doi:10.15479/AT:ISTA:93
LibreCat: https://research-explorer.ista.ac.at/record/5581
DOI: 10.15479/AT:ISTA:93

Villányi M. SAGE Austrian Publications 2013-2017. 2018. doi:10.15479/AT:ISTA:92
LibreCat: https://research-explorer.ista.ac.at/record/5580
DOI: 10.15479/AT:ISTA:92

Villányi M. RSC Austrian Publications 2013-2017. 2018. doi:10.15479/AT:ISTA:91
LibreCat: https://research-explorer.ista.ac.at/record/5579
DOI: 10.15479/AT:ISTA:91

Villányi M. Data Check T&;F Scopus vs. FWF. 2018. doi:10.15479/AT:ISTA:88
LibreCat: https://research-explorer.ista.ac.at/record/5576
DOI: 10.15479/AT:ISTA:88

Villányi M. Data Check RSC Scopus vs. FWF. 2018. doi:10.15479/AT:ISTA:87
LibreCat: https://research-explorer.ista.ac.at/record/5575
DOI: 10.15479/AT:ISTA:87

Botella Soler V, Deny S, Martius GS, Marre O, Tkadik G. Nonlinear decoding of a complex movie from the mammalian retina. PLoS Computational Biology. 2018;14(5). doi:10.1371/journal.pcbi.1006057
LibreCat: https://research-explorer.ista.ac.at/record/292
DOI: 10.1371/journal.pcbi.1006057
WoS: 000434012100002

Nikolic N, Bergmiller T, Vandervelde A, Albanese T, Gelens L, Moll I. Autoregulation of mazEF expression underlies growth heterogeneity in bacterial populations. Nucleic Acids Research. 2018;46(6):2918-2931. doi:10.1093/nar/gky079
LibreCat: https://research-explorer.ista.ac.at/record/438
DOI: 10.1093/nar/gky079
WoS: 000429009500021

Picard MAL, Cosseau C, Ferré S, et al. Evolution of gene dosage on the Z-chromosome of schistosome parasites. eLife. 2018;7. doi:10.7554/eLife.35684
LibreCat: https://research-explorer.ista.ac.at/record/131
DOI: 10.7554/eLife.35684
WoS: 000441388200001

Deny S, Marre O, Botella-Soler V, Martius GS, Tkadik G. Nonlinear decoding of a complex movie from the mammalian retina. 2018. doi:10.15479/AT:ISTA:98
LibreCat: https://research-explorer.ista.ac.at/record/5584
DOI: 10.15479/AT:ISTA:98

Ellis T, Field D, Barton NH. Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering. Molecular Ecology Resources. 2018;18(5):988-999. doi:10.1111/1755-0998.12782
LibreCat: https://research-explorer.ista.ac.at/record/286
DOI: 10.1111/1755-0998.12782
WoS: 000441753000007

Vicoso B. Input files and scripts from “Evolution of gene dosage on the Z-chromosome of schistosome parasites”10.15479/AT:ISTA:109__by Picard M.A.L., et al (2018). 2018. doi:10.15479/AT:ISTA:109
LibreCat: https://research-explorer.ista.ac.at/record/5586
DOI: 10.15479/AT:ISTA:109

Ellis T. Data and Python scripts supporting Python package FAPS. 2018. doi:10.15479/AT:ISTA:95
LibreCat: https://research-explorer.ista.ac.at/record/5583
DOI: 10.15479/AT:ISTA:95

Bergmiller T, Nikolic N. Time-lapse microscopy data. 2018. doi:10.15479/AT:ISTA:74
LibreCat: https://research-explorer.ista.ac.at/record/5569
DOI: 10.15479/AT:ISTA:74

De Martino D, Mc AA, Bergmiller T, Guet CC, Tkadik G. Statistical mechanics for metabolic networks during steady state growth. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-05417-9
LibreCat: https://research-explorer.ista.ac.at/record/161
DOI: 10.1038/s41467-018-05417-9
WoS: 000440149300021

De Martino D, Tkadik G. Supporting materials “STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH.”10.15479/AT:ISTA:62__2018. doi:10.15479/AT:ISTA:62
LibreCat: https://research-explorer.ista.ac.at/record/5587
DOI: 10.15479/AT:ISTA:62

Kelemen RK, Vicoso B. Complex history and differentiation patterns of the t-haplotype, a mouse meiotic driver. Genetics. 2018;208(1):365-375. doi:10.1534/genetics.117.300513
LibreCat: https://research-explorer.ista.ac.at/record/542
DOI: 10.1534/genetics.117.300513
WoS: 000419356300024

Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak MA. Construction of arbitrarily strong amplifiers of natural selection using evolutionary graph theory. Communications Biology. 2018;1(1). doi:10.1038/s42003-018-0078-7
LibreCat: https://research-explorer.ista.ac.at/record/5751
DOI: 10.1038/s42003-018-0078-7
WoS: 000461126500071

Fraisse C. Supplementary Files for “Pleiotropy modulates the efficacy of selection in Drosophila melanogaster.”10.15479/at:ista:/5757__2018. doi:10.15479/at:ista:/5757
LibreCat: https://research-explorer.ista.ac.at/record/5757
DOI: 10.15479/at:ista:/5757

Alt J. Dyson equation and eigenvalue statistics of random matrices. 2018. doi:10.15479/AT:ISTA:TH_1040
LibreCat: https://research-explorer.ista.ac.at/record/149
DOI: 10.15479/AT:ISTA:TH_1040

Rzadkowski W, Lemeshko M. Effect of a magnetic field on molecule–solvent angular momentum transfer. The Journal of Chemical Physics. 2018;148(10). doi:10.1063/1.5017591
LibreCat: https://research-explorer.ista.ac.at/record/415
DOI: 10.1063/1.5017591
WoS: 000427517200065
arXiv: 1711.09904

Jeschke S, Skrivan T, Mueller Fischer M, Chentanez N, Macklin M, Wojtan C. Water surface wavelets. ACM Transactions on Graphics. 2018;37(4). doi:10.1145/3197517.3201336
LibreCat: https://research-explorer.ista.ac.at/record/134
DOI: 10.1145/3197517.3201336
WoS: 000448185000055

Bighin G, Tscherbul T, Lemeshko M. Diagrammatic Monte Carlo approach to angular momentum in quantum many-particle systems. Physical Review Letters. 2018;121(16). doi:10.1103/physrevlett.121.165301
LibreCat: https://research-explorer.ista.ac.at/record/6339
DOI: 10.1103/physrevlett.121.165301
WoS: 000447468400008
arXiv: 1803.07990

Bighin G, Tscherbul T, Lemeshko M. Diagrammatic Monte Carlo approach to rotating molecular impurities. Physical Review Letters. 2018;121(16). doi:10.1103/PhysRevLett.121.165301
LibreCat: https://research-explorer.ista.ac.at/record/417
DOI: 10.1103/PhysRevLett.121.165301
arXiv: 1803.07990

Adamowski M, Narasimhan M, Kania U, Glanc M, De Jaeger G, Friml J. A functional study of AUXILIN LIK and 2 two putative clathrin uncoating factors in Arabidopsis. The Plant Cell. 2018;30(3):700-716. doi:10.1105/tpc.17.00785
LibreCat: https://research-explorer.ista.ac.at/record/412
DOI: 10.1105/tpc.17.00785
WoS: 000429441400018
PMID: 29511054

Brown M, Assen FP, Leithner AF, et al. Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice. Science. 2018;359(6382):1408-1411. doi:10.1126/science.aal3662
LibreCat: https://research-explorer.ista.ac.at/record/402
DOI: 10.1126/science.aal3662
WoS: 000428043600047
PMID: 29567714

Tarlungeanu D-C. The branched chain amino acids in autism spectrum disorders . 2018. doi:10.15479/AT:ISTA:th_992
LibreCat: https://research-explorer.ista.ac.at/record/395
DOI: 10.15479/AT:ISTA:th_992

Case MJ. From the left to the right: A tale of asymmetries, environments, and hippocampal development. 2018. doi:10.15479/AT:ISTA:th_1032
LibreCat: https://research-explorer.ista.ac.at/record/51
DOI: 10.15479/AT:ISTA:th_1032

Laukoter S. Role of genomic imprinting in cerebral cortex development. 2018:1-139. doi:10.15479/AT:ISTA:th1057
LibreCat: https://research-explorer.ista.ac.at/record/10
DOI: 10.15479/AT:ISTA:th1057

Leithner AF. Branched actin networks in dendritic cell biology. 2018. doi:10.15479/AT:ISTA:th_998
LibreCat: https://research-explorer.ista.ac.at/record/323
DOI: 10.15479/AT:ISTA:th_998

Hurny A. Identification and characterization of novel auxin-cytokinin cross-talk components. 2018. doi:10.15479/AT:ISTA:th_930
LibreCat: https://research-explorer.ista.ac.at/record/539
DOI: 10.15479/AT:ISTA:th_930

Gridchyn I. Reactivation content is important for consolidation of spatial memory. 2018. doi:10.15479/AT:ISTA:th_1042
LibreCat: https://research-explorer.ista.ac.at/record/48
DOI: 10.15479/AT:ISTA:th_1042

Belyaeva V. Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo . 2018. doi:10.15479/AT:ISTA:th1064
LibreCat: https://research-explorer.ista.ac.at/record/9
DOI: 10.15479/AT:ISTA:th1064

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

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

Steinrück M. The influence of sequence context on the evolution of bacterial gene expression. 2018. doi:10.15479/AT:ISTA:th1059
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. 30 GHz-voltage controlled oscillator operating at 4 K. Review of Scientific Instruments. 2018;89(11). doi:10.1063/1.5038258
LibreCat: https://research-explorer.ista.ac.at/record/5816
DOI: 10.1063/1.5038258
WoS: 000451735700054
arXiv: 1804.09522

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

György A, Roblek M, Ratheesh A, et al. Tools allowing independent visualization and genetic manipulation of Drosophila melanogaster macrophages and surrounding tissues. : Genes, Genomes, Genetics. 2018;8(3):845-857. doi:10.1534/g3.117.300452
LibreCat: https://research-explorer.ista.ac.at/record/544
DOI: 10.1534/g3.117.300452
WoS: 000426693300011

Luján R, Aguado C, Ciruela F, et al. Differential association of GABAB receptors with their effector ion channels in Purkinje cells. Brain Structure and Function. 2018;223(3):1565-1587. doi:10.1007/s00429-017-1568-y
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. Parvalbumin+ interneurons obey unique connectivity rules and establish a powerful lateral-inhibition microcircuit in dentate gyrus. Nature Communications. 2018;9(1). doi:10.1038/s41467-018-06899-3
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. Ergodic mean-payoff games for the analysis of attacks in crypto-currencies. In: Vol 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2018. doi:10.4230/LIPIcs.CONCUR.2018.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. Quantitative analysis of smart contracts. In: Vol 10801. Springer; 2018:739-767. doi:10.1007/978-3-319-89884-1_26
LibreCat: https://research-explorer.ista.ac.at/record/311
DOI: 10.1007/978-3-319-89884-1_26

Goharshady AK, Behrouz A, Chatterjee K. Secure Credit Reporting on the Blockchain. In: Proceedings of the IEEE International Conference on Blockchain. IEEE; 2018:1343-1348. doi:10.1109/Cybermatics_2018.2018.00231
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. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. ACM Transactions on Programming Languages and Systems. 2018;40(3). doi:10.1145/3210257
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. Computational approaches for stochastic shortest path on succinct MDPs. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Vol 2018. IJCAI; 2018:4700-4707. doi:10.24963/ijcai.2018/653
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. Relaminarization by steady modification of the streamwise velocity profile in a pipe. Flow Turbulence and Combustion. 2018;100(4):919-942. doi:10.1007/s10494-018-9896-4
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, et al. Destabilizing turbulence in pipe flow. Nature Physics. 2018;14:386-390. doi:10.1038/s41567-017-0018-3
LibreCat: https://research-explorer.ista.ac.at/record/461
DOI: 10.1038/s41567-017-0018-3
WoS: 000429434100020

Prat T, Hajny J, Grunewald W, et al. WRK is a component of the transcriptional network mediating auxin feedback on PIN polarity. PLoS Genetics. 2018;14(1). doi:10.1371/journal.pgen.1007177
LibreCat: https://research-explorer.ista.ac.at/record/449
DOI: 10.1371/journal.pgen.1007177
WoS: 000423718600034

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

Abualia R, Benková E, Lacombe B. Transporters and mechanisms of hormone transport in arabidopsis. Advances in Botanical Research. 2018;87:115-138. doi:10.1016/bs.abr.2018.09.007
LibreCat: https://research-explorer.ista.ac.at/record/47
DOI: 10.1016/bs.abr.2018.09.007
WoS: 000453657800006

Hons M, Kopf A, Hauschild R, et al. Chemokines and integrins independently tune actin flow and substrate friction during intranodal migration of T cells. Nature Immunology. 2018;19(6):606-616. doi:10.1038/s41590-018-0109-z
LibreCat: https://research-explorer.ista.ac.at/record/15
DOI: 10.1038/s41590-018-0109-z
WoS: 000433041500026
PMID: 29777221

Contreras X, Hippenmeyer S. Incorrect trafficking route leads to autism. Brain a journal of neurology. 2018;141(9):2542-2544. doi:10.1093/brain/awy218
LibreCat: https://research-explorer.ista.ac.at/record/28
DOI: 10.1093/brain/awy218
WoS: 000446548100012

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

Deliu E, Arecco N, Morandell J, et al. Haploinsufficiency of the intellectual disability gene SET disturbs developmental gene expression and cognition. Nature Neuroscience. 2018;21(12):1717-1727. doi:10.1038/s41593-018-0266-2
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. Indirect reciprocity with private, noisy, and incomplete information. PNAS. 2018;115(48):12241-12246. doi:10.1073/pnas.1810565115
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. Evolutionary potential of transcription factors for gene regulatory rewiring. Nature Ecology and Evolution. 2018;2(10):1633-1643. doi:10.1038/s41559-018-0651-y
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. Data for the paper Evolutionary potential of transcription factors for gene regulatory rewiring. 2018. doi: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. 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. 2018;5(4). doi:10.1523/ENEURO.0087-18.2018
LibreCat: https://research-explorer.ista.ac.at/record/5914
DOI: 10.1523/ENEURO.0087-18.2018
WoS: 000443994700007

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

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

Paixao T, Pérez Heredia J. An application of stochastic differential equations to evolutionary algorithms. In: Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. ACM; 2017:3-11. doi:10.1145/3040718.3040729
LibreCat: https://research-explorer.ista.ac.at/record/1112
DOI: 10.1145/3040718.3040729

Alwen JF, De Rezende S, Nordstrom J, Vinyals M. Cumulative space in black-white pebbling and resolution. In: Papadimitriou C, ed. Vol 67. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017:38:1-38-21. doi:10.4230/LIPIcs.ITCS.2017.38
LibreCat: https://research-explorer.ista.ac.at/record/1175
DOI: 10.4230/LIPIcs.ITCS.2017.38

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

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

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

Sazanov LA. Structure of respiratory complex I: “Minimal”10.1039/9781788010405-00025__bacterial and luxe”10.1039/9781788010405-00025__mammalian versions. In: Wikström M, ed. Mechanisms of Primary Energy Transduction in Biology . Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry; 2017:25-59. doi:10.1039/9781788010405-00025
LibreCat: https://research-explorer.ista.ac.at/record/444
DOI: 10.1039/9781788010405-00025

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

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

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

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

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

Nam P, Napiórkowski MM. Bogoliubov correction to the mean-field dynamics of interacting bosons. Advances in Theoretical and Mathematical Physics. 2017;21(3):683-738. doi:10.4310/ATMP.2017.v21.n3.a4
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. Universality for a class of random band matrices. Advances in Theoretical and Mathematical Physics. 2017;21(3):739-800. doi:10.4310/ATMP.2017.v21.n3.a5
LibreCat: https://research-explorer.ista.ac.at/record/483
DOI: 10.4310/ATMP.2017.v21.n3.a5

Baig G, Radunovic B, Alistarh D-A, Balkwill M, Karagiannis T, Qiu L. Towards unlicensed cellular networks in TV white spaces. In: Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies. ACM; 2017:2-14. doi:10.1145/3143361.3143367
LibreCat: https://research-explorer.ista.ac.at/record/487
DOI: 10.1145/3143361.3143367

Simonnet J, Nassar M, Stella F, et al. Activity dependent feedback inhibition may maintain head direction signals in mouse presubiculum. Nature Communications. 2017;8. doi:10.1038/ncomms16032
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 10.1038/ncomms16032

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

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

Du W, Angermayr A, Jongbloets J, et al. Nonhierarchical flux regulation exposes the fitness burden associated with lactate production in Synechocystis sp. P. ACS Synthetic Biology. 2017;6(3):395-401. doi:10.1021/acssynbio.6b00235
LibreCat: https://research-explorer.ista.ac.at/record/520
DOI: 10.1021/acssynbio.6b00235
PMID: 27936615

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

Burton B, de Mesmay AN, Wagner U. Finding non-orientable surfaces in 3-Manifolds. Discrete &; Computational Geometry. 2017;58(4):871-888. doi:10.1007/s00454-017-9900-0
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. Grünlicht-induzierte Rezeptorinaktivierung durch Cobalamin-bindende Domänen. Angewandte Chemie. 2017;129(16):4679-4682. doi:10.1002/ange.201611998
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

Khamina K, Lercher A, Caldera M, et al. Characterization of host proteins interacting with the lymphocytic choriomeningitis virus L protein. PLoS Pathogens. 2017;13(12). doi:10.1371/journal.ppat.1006758
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

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

Chatterjee K, Henzinger TA, Otop J. Nested weighted automata. ACM Transactions on Computational Logic (TOCL). 2017;18(4). doi:10.1145/3152769
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. Edit distance for pushdown automata. Logical Methods in Computer Science. 2017;13(3). doi:10.23638/LMCS-13(3:23)2017
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. Amplification on undirected population structures: Comets beat stars. Scientific Reports. 2017;7(1). doi:10.1038/s41598-017-00107-w
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

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

Chatterjee K, Choudhary B, Pavlogiannis A. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria; 2017. doi:10.15479/AT:IST-2017-870-v1-1
LibreCat: https://research-explorer.ista.ac.at/record/5455
DOI: 10.15479/AT:IST-2017-870-v1-1

Petritsch B. Implementing the Institutional Data Repository IST DataRep. IST Austria; 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5450

Chalupa M, Chatterjee K, Pavlogiannis A, Sinha N, Vaidya K. Data-centric dynamic partial order reduction. Proceedings of the ACM on Programming Languages. 2017;2(POPL). doi:10.1145/3158119
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. Data-Centric Dynamic Partial Order Reduction. IST Austria; 2017. doi:10.15479/AT:IST-2017-872-v1-1
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. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.61
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee K, Henzinger MH, Svozil A. Faster algorithms for mean-payoff parity games. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.39
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee K, Hansen K, Ibsen-Jensen R. Strategy complexity of concurrent safety games. In: Leibniz International Proceedings in Informatics. Vol 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2017. doi:10.4230/LIPIcs.MFCS.2017.55
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

Gerencser M, Jentzen A, Salimova D. On stochastic differential equations with arbitrarily slow convergence rates for strong approximation in two space dimensions. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2017;473(2207). doi:10.1098/rspa.2017.0104
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

Erdös L, Yau H. A Dynamical Approach to Random Matrix Theory. Vol 28. American Mathematical Society; 2017. doi:10.1090/cln/028
LibreCat: https://research-explorer.ista.ac.at/record/567
DOI: 10.1090/cln/028

Franek P, Krcál M. Persistence of zero sets. Homology, Homotopy and Applications. 2017;19(2):313-342. doi:10.4310/HHA.2017.v19.n2.a16
LibreCat: https://research-explorer.ista.ac.at/record/568
DOI: 10.4310/HHA.2017.v19.n2.a16