Picard, Marion A L, Celine Cosseau, Sabrina Ferré, Thomas Quack, Christoph Grevelding, Yohann Couté, and Beatriz Vicoso. “Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites.”https://doi.org/10.7554/eLife.35684__ELife. eLife Sciences Publications, 2018.https://doi.org/10.7554/eLife.35684 .
LibreCat: https://research-explorer.ista.ac.at/record/131
DOI: 10.7554/eLife.35684
WoS: 000441388200001

Deny, Stephane, Olivier Marre, Vicente Botella-Soler, Georg S Martius, and Gasper Tkadik. “Nonlinear Decoding of a Complex Movie from the Mammalian Retina.”https://doi.org/10.15479/AT:ISTA:98__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:98 .
LibreCat: https://research-explorer.ista.ac.at/record/5584
DOI: 10.15479/AT:ISTA:98

Ellis, Thomas, David Field, and Nicholas H Barton. “Efficient Inference of Paternity and Sibship Inference given Known Maternity via Hierarchical Clustering.”https://doi.org/10.1111/1755-0998.12782__Molecular Ecology Resources. Wiley, 2018.https://doi.org/10.1111/1755-0998.12782 .
LibreCat: https://research-explorer.ista.ac.at/record/286
DOI: 10.1111/1755-0998.12782
WoS: 000441753000007

Vicoso, Beatriz. “Input Files and Scripts from ‘Evolution of Gene Dosage on the Z-Chromosome of Schistosome Parasites’ by Picard M.A.L., et Al (2018).”https://doi.org/10.15479/AT:ISTA:109__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:109 .
LibreCat: https://research-explorer.ista.ac.at/record/5586
DOI: 10.15479/AT:ISTA:109

Ellis, Thomas. “Data and Python Scripts Supporting Python Package FAPS.”https://doi.org/10.15479/AT:ISTA:95__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:95 .
LibreCat: https://research-explorer.ista.ac.at/record/5583
DOI: 10.15479/AT:ISTA:95

Bergmiller, Tobias, and Nela Nikolic. “Time-Lapse Microscopy Data.”https://doi.org/10.15479/AT:ISTA:74__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:74 .
LibreCat: https://research-explorer.ista.ac.at/record/5569
DOI: 10.15479/AT:ISTA:74

De Martino, Daniele, Andersson Anna Mc, Tobias Bergmiller, Calin C Guet, and Gasper Tkadik. “Statistical Mechanics for Metabolic Networks during Steady State Growth.”https://doi.org/10.1038/s41467-018-05417-9__Nature Communications. Springer Nature, 2018.https://doi.org/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, Daniele, and Gasper Tkadik. “Supporting Materials ‘STATISTICAL MECHANICS FOR METABOLIC NETWORKS IN STEADY-STATE GROWTH.’”https://doi.org/10.15479/AT:ISTA:62__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:62 .
LibreCat: https://research-explorer.ista.ac.at/record/5587
DOI: 10.15479/AT:ISTA:62

Kelemen, Réka K, and Beatriz Vicoso. “Complex History and Differentiation Patterns of the T-Haplotype, a Mouse Meiotic Driver.”https://doi.org/10.1534/genetics.117.300513__Genetics. Genetics Society of America, 2018.https://doi.org/10.1534/genetics.117.300513 .
LibreCat: https://research-explorer.ista.ac.at/record/542
DOI: 10.1534/genetics.117.300513
WoS: 000419356300024

Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin A. Nowak. “Construction of Arbitrarily Strong Amplifiers of Natural Selection Using Evolutionary Graph Theory.”https://doi.org/10.1038/s42003-018-0078-7__Communications Biology. Springer Nature, 2018.https://doi.org/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, Christelle. “Supplementary Files for ‘Pleiotropy Modulates the Efficacy of Selection in Drosophila Melanogaster.’”https://doi.org/10.15479/at:ista:/5757__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/at:ista:/5757 .
LibreCat: https://research-explorer.ista.ac.at/record/5757
DOI: 10.15479/at:ista:/5757

Alt, Johannes. “Dyson Equation and Eigenvalue Statistics of Random Matrices.”https://doi.org/10.15479/AT:ISTA:TH_1040__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:TH_1040 .
LibreCat: https://research-explorer.ista.ac.at/record/149
DOI: 10.15479/AT:ISTA:TH_1040

Rzadkowski, Wojciech, and Mikhail Lemeshko. “Effect of a Magnetic Field on Molecule–Solvent Angular Momentum Transfer.”https://doi.org/10.1063/1.5017591__The Journal of Chemical Physics. AIP Publishing, 2018.https://doi.org/10.1063/1.5017591 .
LibreCat: https://research-explorer.ista.ac.at/record/415
DOI: 10.1063/1.5017591
WoS: 000427517200065
arXiv: 1711.09904

Jeschke, Stefan, Tomas Skrivan, Matthias Mueller Fischer, Nuttapong Chentanez, Miles Macklin, and Chris Wojtan. “Water Surface Wavelets.”https://doi.org/10.1145/3197517.3201336__ACM Transactions on Graphics. ACM, 2018.https://doi.org/10.1145/3197517.3201336 .
LibreCat: https://research-explorer.ista.ac.at/record/134
DOI: 10.1145/3197517.3201336
WoS: 000448185000055

Bighin, Giacomo, Timur Tscherbul, and Mikhail Lemeshko. “Diagrammatic Monte Carlo Approach to Angular Momentum in Quantum Many-Particle Systems.”https://doi.org/10.1103/physrevlett.121.165301__Physical Review Letters. American Physical Society, 2018.https://doi.org/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, Giacomo, Timur Tscherbul, and Mikhail Lemeshko. “Diagrammatic Monte Carlo Approach to Rotating Molecular Impurities.”https://doi.org/10.1103/PhysRevLett.121.165301__Physical Review Letters. American Physical Society, 2018.https://doi.org/10.1103/PhysRevLett.121.165301 .
LibreCat: https://research-explorer.ista.ac.at/record/417
DOI: 10.1103/PhysRevLett.121.165301
arXiv: 1803.07990

Adamowski, Maciek, Madhumitha Narasimhan, Urszula Kania, Matous Glanc, Geert De Jaeger, and Jií Friml. “A Functional Study of AUXILIN LIK and 2 Two Putative Clathrin Uncoating Factors in Arabidopsis.”https://doi.org/10.1105/tpc.17.00785__The Plant Cell. American Society of Plant Biologists, 2018.https://doi.org/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, Markus, Frank P Assen, Alexander F Leithner, Jun Abe, Helga Schachner, Gabriele Asfour, Zsuzsanna Bagó Horváth, et al. “Lymph Node Blood Vessels Provide Exit Routes for Metastatic Tumor Cell Dissemination in Mice.”https://doi.org/10.1126/science.aal3662__Science. American Association for the Advancement of Science, 2018.https://doi.org/10.1126/science.aal3662 .
LibreCat: https://research-explorer.ista.ac.at/record/402
DOI: 10.1126/science.aal3662
WoS: 000428043600047
PMID: 29567714

Tarlungeanu, Dora-Clara. “The Branched Chain Amino Acids in Autism Spectrum Disorders .”https://doi.org/10.15479/AT:ISTA:th_992__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_992 .
LibreCat: https://research-explorer.ista.ac.at/record/395
DOI: 10.15479/AT:ISTA:th_992

Case, Matthew J. “From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development.”https://doi.org/10.15479/AT:ISTA:th_1032__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1032 .
LibreCat: https://research-explorer.ista.ac.at/record/51
DOI: 10.15479/AT:ISTA:th_1032

Laukoter, Susanne. “Role of Genomic Imprinting in Cerebral Cortex Development.”https://doi.org/10.15479/AT:ISTA:th1057__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th1057 .
LibreCat: https://research-explorer.ista.ac.at/record/10
DOI: 10.15479/AT:ISTA:th1057

Leithner, Alexander F. “Branched Actin Networks in Dendritic Cell Biology.”https://doi.org/10.15479/AT:ISTA:th_998__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_998 .
LibreCat: https://research-explorer.ista.ac.at/record/323
DOI: 10.15479/AT:ISTA:th_998

Hurny, Andrej. “Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components.”https://doi.org/10.15479/AT:ISTA:th_930__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_930 .
LibreCat: https://research-explorer.ista.ac.at/record/539
DOI: 10.15479/AT:ISTA:th_930

Gridchyn, Igor. “Reactivation Content Is Important for Consolidation of Spatial Memory.”https://doi.org/10.15479/AT:ISTA:th_1042__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th_1042 .
LibreCat: https://research-explorer.ista.ac.at/record/48
DOI: 10.15479/AT:ISTA:th_1042

Belyaeva, Vera. “Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo .”https://doi.org/10.15479/AT:ISTA:th1064__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th1064 .
LibreCat: https://research-explorer.ista.ac.at/record/9
DOI: 10.15479/AT:ISTA:th1064

Mckenzie, Catherine. “Design and Characterization of Methods and Biological Components to Realize Synthetic Neurotransmission .”https://doi.org/10.15479/at:ista:th_1055__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/at:ista:th_1055 .
LibreCat: https://research-explorer.ista.ac.at/record/6266
DOI: 10.15479/at:ista:th_1055

Capek, Daniel. “Optogenetic Frizzled 7 Reveals a Permissive Function of Wnt/PCP Signaling in Directed Mesenchymal Cell Migration.”https://doi.org/10.15479/AT:ISTA:TH_1031__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:TH_1031 .
LibreCat: https://research-explorer.ista.ac.at/record/50
DOI: 10.15479/AT:ISTA:TH_1031

Steinrück, Magdalena. “The Influence of Sequence Context on the Evolution of Bacterial Gene Expression.”https://doi.org/10.15479/AT:ISTA:th1059__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th1059 .
LibreCat: https://research-explorer.ista.ac.at/record/26
DOI: 10.15479/AT:ISTA:th1059

Hollmann, Arne, Daniel Jirovec, Maciej Kucharski, Dietmar Kissinger, Gunter Fischer, and Lars R. Schreiber. “GHz-Voltage Controlled Oscillator Operating at 4 K.”https://doi.org/10.1063/1.5038258__Review of Scientific Instruments. AIP Publishing, 2018.https://doi.org/10.1063/1.5038258 .
LibreCat: https://research-explorer.ista.ac.at/record/5816
DOI: 10.1063/1.5038258
WoS: 000451735700054
arXiv: 1804.09522

Lukacisinova, Marta. “Genetic Determinants of Antibiotic Resistance Evolution.”https://doi.org/10.15479/AT:ISTA:th1072__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:th1072 .
LibreCat: https://research-explorer.ista.ac.at/record/6263
DOI: 10.15479/AT:ISTA:th1072

György, Attila, Marko Roblek, Aparna Ratheesh, Katarina Valosková, Vera Belyaeva, Stephanie Wachner, Yutaka Matsubayashi, Besaiz Sanchez Sanchez, Brian Stramer, and Daria E Siekhaus. “Tools Allowing Independent Visualization and Genetic Manipulation of Drosophila Melanogaster Macrophages and Surrounding Tissues.”https://doi.org/10.1534/g3.117.300452__: Genes, Genomes, Genetics. Genetics Society of America, 2018.https://doi.org/10.1534/g3.117.300452 .
LibreCat: https://research-explorer.ista.ac.at/record/544
DOI: 10.1534/g3.117.300452
WoS: 000426693300011

Luján, Rafael, Carolina Aguado, Francisco Ciruela, Javier Cózar, David Kleindienst, Luis De La Ossa, Bernhard Bettler, et al. “Differential Association of GABAB Receptors with Their Effector Ion Channels in Purkinje Cells.”https://doi.org/10.1007/s00429-017-1568-y__Brain Structure and Function. Springer, 2018.https://doi.org/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, Claudia , José Guzmán, Xiaomin Zhang, and Peter M Jonas. “Parvalbumin+ Interneurons Obey Unique Connectivity Rules and Establish a Powerful Lateral-Inhibition Microcircuit in Dentate Gyrus.”https://doi.org/10.1038/s41467-018-06899-3__Nature Communications. Nature Publishing Group, 2018.https://doi.org/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, Krishnendu, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Yaron Velner. “Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies,”https://doi.org/10.4230/LIPIcs.CONCUR.2018.11__Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/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, Krishnendu, Amir Kafshdar Goharshady, and Yaron Velner. “Quantitative Analysis of Smart Contracts,”https://doi.org/10.1007/978-3-319-89884-1_26__10801:739–67. Springer, 2018.https://doi.org/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, Amir Kafshdar, Ali Behrouz, and Krishnendu Chatterjee. “Secure Credit Reporting on the Blockchain.”https://doi.org/10.1109/Cybermatics_2018.2018.00231__In Proceedings of the IEEE International Conference on Blockchain, 1343–48. IEEE, 2018.https://doi.org/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, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components.”https://doi.org/10.1145/3210257__ACM Transactions on Programming Languages and Systems. Association for Computing Machinery (ACM), 2018.https://doi.org/10.1145/3210257 .
LibreCat: https://research-explorer.ista.ac.at/record/6009
DOI: 10.1145/3210257
WoS: 000444694800001
arXiv: 1510.07565

Chatterjee, Krishnendu, Hongfei Fu, Amir Kafshdar Goharshady, and Nastaran Okati. “Computational Approaches for Stochastic Shortest Path on Succinct MDPs.”https://doi.org/10.24963/ijcai.2018/653__In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018:4700–4707. IJCAI, 2018.https://doi.org/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, Jakob, Davide Scarselli, Markus Schaner, and Björn Hof. “Relaminarization by Steady Modification of the Streamwise Velocity Profile in a Pipe.”https://doi.org/10.1007/s10494-018-9896-4__Flow Turbulence and Combustion. Springer, 2018.https://doi.org/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, Jakob, Baofang Song, Davide Scarselli, Nazmi B Budanur, Michael Riedl, Ashley Willis, Marc Avila, and Björn Hof. “Destabilizing Turbulence in Pipe Flow.”https://doi.org/10.1038/s41567-017-0018-3__Nature Physics. Nature Publishing Group, 2018.https://doi.org/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, Tomas, Jakub Hajny, Wim Grunewald, Mina K Vasileva, Gergely Molnar, Ricardo Tejos, Markus Schmid, Michael Sauer, and Jií Friml. “WRK Is a Component of the Transcriptional Network Mediating Auxin Feedback on PIN Polarity.”https://doi.org/10.1371/journal.pgen.1007177__PLoS Genetics. Public Library of Science, 2018.https://doi.org/10.1371/journal.pgen.1007177 .
LibreCat: https://research-explorer.ista.ac.at/record/449
DOI: 10.1371/journal.pgen.1007177
WoS: 000423718600034

Grones, Peter, Melinda F Abas, Jakub Hajny, Angharad Jones, Sascha Waidmann, Jürgen Kleine Vehn, and Jií Friml. “PID/WAG-Mediated Phosphorylation of the Arabidopsis PIN3 Auxin Transporter Mediates Polarity Switches during Gravitropism.”https://doi.org/10.1038/s41598-018-28188-1__Scientific Reports. Springer, 2018.https://doi.org/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, Rashed, Eva Benková, and Benoît Lacombe. “Transporters and Mechanisms of Hormone Transport in Arabidopsis.”https://doi.org/10.1016/bs.abr.2018.09.007__Advances in Botanical Research. Elsevier, 2018.https://doi.org/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, Miroslav, Aglaja Kopf, Robert Hauschild, Alexander F Leithner, Florian R Gärtner, Jun Abe, Jörg Renkawitz, Jens Stein, and Michael K Sixt. “Chemokines and Integrins Independently Tune Actin Flow and Substrate Friction during Intranodal Migration of T Cells.”https://doi.org/10.1038/s41590-018-0109-z__Nature Immunology. Nature Publishing Group, 2018.https://doi.org/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, Ximena, and Simon Hippenmeyer. “Incorrect Trafficking Route Leads to Autism.”https://doi.org/10.1093/brain/awy218__Brain a Journal of Neurology. Oxford University Press, 2018.https://doi.org/10.1093/brain/awy218 .
LibreCat: https://research-explorer.ista.ac.at/record/28
DOI: 10.1093/brain/awy218
WoS: 000446548100012

Li, Lanxin, Gabriel Krens, Matyas Fendrych, and Jií Friml. “Real-Time Analysis of Auxin Response, Cell Wall PH and Elongation in Arabidopsis Thaliana Hypocotyls.”https://doi.org/10.21769/BioProtoc.2685__Bio-Protocol. Bio-protocol, 2018.https://doi.org/10.21769/BioProtoc.2685 .
LibreCat: https://research-explorer.ista.ac.at/record/442
DOI: 10.21769/BioProtoc.2685

Deliu, Elena, Niccoló Arecco, Jasmin Morandell, Christoph Dotter, Ximena Contreras, Charles Girardot, Eva Käsper, et al. “Haploinsufficiency of the Intellectual Disability Gene SET Disturbs Developmental Gene Expression and Cognition.”https://doi.org/10.1038/s41593-018-0266-2__Nature Neuroscience. Nature Publishing Group, 2018.https://doi.org/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, Christian, Laura Schmid, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Indirect Reciprocity with Private, Noisy, and Incomplete Information.”https://doi.org/10.1073/pnas.1810565115__PNAS. National Academy of Sciences, 2018.https://doi.org/10.1073/pnas.1810565115 .
LibreCat: https://research-explorer.ista.ac.at/record/2
DOI: 10.1073/pnas.1810565115
WoS: 000451351000063
PMID: 30429320

Igler, Claudia, Mato Lagator, Gasper Tkadik, Jonathan P Bollback, and Calin C Guet. “Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.”https://doi.org/10.1038/s41559-018-0651-y__Nature Ecology and Evolution. Nature Publishing Group, 2018.https://doi.org/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, Claudia, Mato Lagator, Gasper Tkadik, Jonathan P Bollback, and Calin C Guet. “Data for the Paper Evolutionary Potential of Transcription Factors for Gene Regulatory Rewiring.”https://doi.org/10.15479/AT:ISTA:108__Institute of Science and Technology Austria, 2018.https://doi.org/10.15479/AT:ISTA:108 .
LibreCat: https://research-explorer.ista.ac.at/record/5585
DOI: 10.15479/AT:ISTA:108

Rangel Guerrero, Dámaris K, James G. Donnett, Jozsef L Csicsvari, and Krisztián Kovács. “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.”https://doi.org/10.1523/ENEURO.0087-18.2018__ENeuro. Society of Neuroscience, 2018.https://doi.org/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, Johannes M. “Viewpoint: Microwave Quantum States Beat the Heat.”https://doi.org/10.1103/Physics.10.32__Physics. American Physical Society, 2017.https://doi.org/10.1103/Physics.10.32 .
LibreCat: https://research-explorer.ista.ac.at/record/1013
DOI: 10.1103/Physics.10.32

Mciver, Annabelle, Carroll Morgan, Benjamin Lucien Kaminski, and Joost P Katoen. “A New Proof Rule for Almost-Sure Termination.”https://doi.org/10.1145/3158121__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158121 .
LibreCat: https://research-explorer.ista.ac.at/record/10418
DOI: 10.1145/3158121
arXiv: 1711.03588

Paixao, Tiago, and Jorge Pérez Heredia. “An Application of Stochastic Differential Equations to Evolutionary Algorithms.”https://doi.org/10.1145/3040718.3040729__In Proceedings of the 14th ACM/SIGEVO Conference on Foundations of Genetic Algorithms, 3–11. ACM, 2017.https://doi.org/10.1145/3040718.3040729 .
LibreCat: https://research-explorer.ista.ac.at/record/1112
DOI: 10.1145/3040718.3040729

Alwen, Joel F, Susanna De Rezende, Jakob Nordstrom, and Marc Vinyals. “Cumulative Space in Black-White Pebbling and Resolution.”https://doi.org/10.4230/LIPIcs.ITCS.2017.38__edited by Christos Papadimitriou, 67:38:1-38-21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.ITCS.2017.38 .
LibreCat: https://research-explorer.ista.ac.at/record/1175
DOI: 10.4230/LIPIcs.ITCS.2017.38

Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.”https://doi.org/10.1007/s11538-016-0244-3__Bulletin of Mathematical Biology. Springer, 2017.https://doi.org/10.1007/s11538-016-0244-3 .
LibreCat: https://research-explorer.ista.ac.at/record/1191
DOI: 10.1007/s11538-016-0244-3

Budanur, Nazmi B, and Predrag Cvitanovi. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.”https://doi.org/10.1007/s10955-016-1672-z__Journal of Statistical Physics. Springer, 2017.https://doi.org/10.1007/s10955-016-1672-z .
LibreCat: https://research-explorer.ista.ac.at/record/1211
DOI: 10.1007/s10955-016-1672-z

Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity.”https://doi.org/10.7155/jgaa.00408__Journal of Graph Algorithms and Applications. Brown University, 2017.https://doi.org/10.7155/jgaa.00408 .
LibreCat: https://research-explorer.ista.ac.at/record/1113
DOI: 10.7155/jgaa.00408
arXiv: 1608.08662

Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.”https://doi.org/10.1039/9781788010405-00025__In Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, 25–59. Mechanisms of Primary Energy Transduction in Biology . Royal Society of Chemistry, 2017.https://doi.org/10.1039/9781788010405-00025 .
LibreCat: https://research-explorer.ista.ac.at/record/444
DOI: 10.1039/9781788010405-00025

Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.”https://doi.org/10.1016/j.bpj.2017.09.006__Biophysical Journal. Biophysical Society, 2017.https://doi.org/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, Krishnendu, Monika H Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for Parity and Streett Objectives.”https://doi.org/10.23638/LMCS-13(3:26)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/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, Stefan, and Chris Wojtan. “Water Wave Packets.”https://doi.org/10.1145/3072959.3073678__ACM Transactions on Graphics. ACM, 2017.https://doi.org/10.1145/3072959.3073678 .
LibreCat: https://research-explorer.ista.ac.at/record/470
DOI: 10.1145/3072959.3073678

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.”https://doi.org/10.1145/3060139__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3060139 .
LibreCat: https://research-explorer.ista.ac.at/record/471
DOI: 10.1145/3060139

Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.”https://doi.org/10.1142/S0218195916600050__International Journal of Computational Geometry and Applications. World Scientific Publishing, 2017.https://doi.org/10.1142/S0218195916600050 .
LibreCat: https://research-explorer.ista.ac.at/record/481
DOI: 10.1142/S0218195916600050

Nam, Phan, and Marcin M Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.”https://doi.org/10.4310/ATMP.2017.v21.n3.a4__Advances in Theoretical and Mathematical Physics. International Press, 2017.https://doi.org/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, Paul, László Erdös, Horng Yau, and Jun Yin. “Universality for a Class of Random Band Matrices.”https://doi.org/10.4310/ATMP.2017.v21.n3.a5__Advances in Theoretical and Mathematical Physics. International Press, 2017.https://doi.org/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, Ghufran, Bozidar Radunovic, Dan-Adrian Alistarh, Matthew Balkwill, Thomas Karagiannis, and Lili Qiu. “Towards Unlicensed Cellular Networks in TV White Spaces.”https://doi.org/10.1145/3143361.3143367__In Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, 2–14. ACM, 2017.https://doi.org/10.1145/3143361.3143367 .
LibreCat: https://research-explorer.ista.ac.at/record/487
DOI: 10.1145/3143361.3143367

Simonnet, Jean, Mérie Nassar, Federico Stella, Ivan Cohen, Bertrand Mathon, Charlotte N. Boccara, Richard Miles, and Desdemona Fricker. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.”https://doi.org/10.1038/ncomms16032__Nature Communications. Nature Publishing Group, 2017.https://doi.org/10.1038/ncomms16032 .
LibreCat: https://research-explorer.ista.ac.at/record/514
DOI: 10.1038/ncomms16032

Letts, James A, and Leonid A Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.”https://doi.org/10.1038/nsmb.3460__Nature Structural and Molecular Biology. Nature Publishing Group, 2017.https://doi.org/10.1038/nsmb.3460 .
LibreCat: https://research-explorer.ista.ac.at/record/515
DOI: 10.1038/nsmb.3460

Klotz, Lukasz, Grégoire M Lemoult, Idalia Frontczak, Laurette Tuckerman, and José Wesfreid. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.”https://doi.org/10.1103/PhysRevFluids.2.043904__Physical Review Fluids. American Physical Society, 2017.https://doi.org/10.1103/PhysRevFluids.2.043904 .
LibreCat: https://research-explorer.ista.ac.at/record/513
DOI: 10.1103/PhysRevFluids.2.043904

Du, Wei, Andreas Angermayr, Joeri Jongbloets, Douwe Molenaar, Herwig Bachmann, Klaas Hellingwerf, and Filipe Branco Dos Santos. “Nonhierarchical Flux Regulation Exposes the Fitness Burden Associated with Lactate Production in Synechocystis Sp. P.”https://doi.org/10.1021/acssynbio.6b00235__ACS Synthetic Biology. American Chemical Society, 2017.https://doi.org/10.1021/acssynbio.6b00235 .
LibreCat: https://research-explorer.ista.ac.at/record/520
DOI: 10.1021/acssynbio.6b00235
PMID: 27936615

Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.”https://doi.org/10.1016/j.topol.2016.10.005__Topology and Its Applications. Elsevier, 2017.https://doi.org/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, Benjamin, Arnaud N de Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds.”https://doi.org/10.1007/s00454-017-9900-0__Discrete &; Computational Geometry. Springer, 2017.https://doi.org/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, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.”https://doi.org/10.1002/ange.201611998__Angewandte Chemie. Wiley, 2017.https://doi.org/10.1002/ange.201611998 .
LibreCat: https://research-explorer.ista.ac.at/record/538
DOI: 10.1002/ange.201611998

Khamina, Kseniya, Alexander Lercher, Michael Caldera, Christopher Schliehe, Bojan Vilagos, Mehmet Sahin, Lindsay Kosack, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.”https://doi.org/10.1371/journal.ppat.1006758__PLoS Pathogens. Public Library of Science, 2017.https://doi.org/10.1371/journal.ppat.1006758 .
LibreCat: https://research-explorer.ista.ac.at/record/540
DOI: 10.1371/journal.ppat.1006758

Chatterjee, Krishnendu, Zuzana Ketínská, and Jan Kretinsky. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.”https://doi.org/10.23638/LMCS-13(2:15)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/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, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1145/3152769__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3152769 .
LibreCat: https://research-explorer.ista.ac.at/record/467
DOI: 10.1145/3152769
arXiv: 1606.03598

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.23638/LMCS-13(3:23)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/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, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. “Amplification on Undirected Population Structures: Comets Beat Stars.”https://doi.org/10.1038/s41598-017-00107-w__Scientific Reports. Nature Publishing Group, 2017.https://doi.org/10.1038/s41598-017-00107-w .
LibreCat: https://research-explorer.ista.ac.at/record/512
DOI: 10.1038/s41598-017-00107-w

Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.”https://doi.org/10.1145/3158118__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158118 .
LibreCat: https://research-explorer.ista.ac.at/record/10416
DOI: 10.1145/3158118
arXiv: 1910.00241

Chatterjee, Krishnendu, Bhavya Choudhary, and Andreas Pavlogiannis. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017.https://doi.org/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, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/5450

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. “Data-Centric Dynamic Partial Order Reduction.”https://doi.org/10.1145/3158119__Proceedings of the ACM on Programming Languages. Association for Computing Machinery, 2017.https://doi.org/10.1145/3158119 .
LibreCat: https://research-explorer.ista.ac.at/record/10417
DOI: 10.1145/3158119
arXiv: 1610.01188

Chalupa, Marek, Krishnendu Chatterjee, Andreas Pavlogiannis, Nishant Sinha, and Kapil Vaidya. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017.https://doi.org/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, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. “Faster Monte Carlo Algorithms for Fixation Probability of the Moran Process on Undirected Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2017.61__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.61 .
LibreCat: https://research-explorer.ista.ac.at/record/551
DOI: 10.4230/LIPIcs.MFCS.2017.61

Chatterjee, Krishnendu, Monika H Henzinger, and Alexander Svozil. “Faster Algorithms for Mean-Payoff Parity Games.”https://doi.org/10.4230/LIPIcs.MFCS.2017.39__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.39 .
LibreCat: https://research-explorer.ista.ac.at/record/552
DOI: 10.4230/LIPIcs.MFCS.2017.39

Chatterjee, Krishnendu, Kristofer Hansen, and Rasmus Ibsen-Jensen. “Strategy Complexity of Concurrent Safety Games.”https://doi.org/10.4230/LIPIcs.MFCS.2017.55__In Leibniz International Proceedings in Informatics, Vol. 83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.MFCS.2017.55 .
LibreCat: https://research-explorer.ista.ac.at/record/553
DOI: 10.4230/LIPIcs.MFCS.2017.55

Gerencser, Mate, Arnulf Jentzen, and Diyora Salimova. “On Stochastic Differential Equations with Arbitrarily Slow Convergence Rates for Strong Approximation in Two Space Dimensions.”https://doi.org/10.1098/rspa.2017.0104__Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. Royal Society of London, 2017.https://doi.org/10.1098/rspa.2017.0104 .
LibreCat: https://research-explorer.ista.ac.at/record/560
DOI: 10.1098/rspa.2017.0104

Erdös, László, and Horng Yau. A Dynamical Approach to Random Matrix Theory. Vol. 28. Courant Lecture Notes. American Mathematical Society, 2017.https://doi.org/10.1090/cln/028 .
LibreCat: https://research-explorer.ista.ac.at/record/567
DOI: 10.1090/cln/028

Franek, Peter, and Marek Krcál. “Persistence of Zero Sets.”https://doi.org/10.4310/HHA.2017.v19.n2.a16__Homology, Homotopy and Applications. International Press, 2017.https://doi.org/10.4310/HHA.2017.v19.n2.a16 .
LibreCat: https://research-explorer.ista.ac.at/record/568
DOI: 10.4310/HHA.2017.v19.n2.a16

Lagator, Mato, Srdjan Sarikas, Hande Acar, Jonathan P Bollback, and Calin C Guet. “Regulatory Network Structure Determines Patterns of Intermolecular Epistasis.”https://doi.org/10.7554/eLife.28921__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.28921 .
LibreCat: https://research-explorer.ista.ac.at/record/570
DOI: 10.7554/eLife.28921

Spira, Felix, Sara Cuylen Haering, Shalin Mehta, Matthias Samwer, Anne Reversat, Amitabh Verma, Rudolf Oldenbourg, Michael K Sixt, and Daniel Gerlich. “Cytokinesis in Vertebrate Cells Initiates by Contraction of an Equatorial Actomyosin Network Composed of Randomly Oriented Filaments.”https://doi.org/10.7554/eLife.30867__ELife. eLife Sciences Publications, 2017.https://doi.org/10.7554/eLife.30867 .
LibreCat: https://research-explorer.ista.ac.at/record/569
DOI: 10.7554/eLife.30867

Gärtner, Florian R, Zerkah Ahmad, Gerhild Rosenberger, Shuxia Fan, Leo Nicolai, Benjamin Busch, Gökce Yavuz, et al. “Migrating Platelets Are Mechano Scavengers That Collect and Bundle Bacteria.”https://doi.org/10.1016/j.cell.2017.11.001__Cell Press. Cell Press, 2017.https://doi.org/10.1016/j.cell.2017.11.001 .
LibreCat: https://research-explorer.ista.ac.at/record/571
DOI: 10.1016/j.cell.2017.11.001

Olatunji, Damilola, Danny Geelen, and Inge Verstraeten. “Control of Endogenous Auxin Levels in Plant Root Development.”https://doi.org/10.3390/ijms18122587__International Journal of Molecular Sciences. MDPI, 2017.https://doi.org/10.3390/ijms18122587 .
LibreCat: https://research-explorer.ista.ac.at/record/572
DOI: 10.3390/ijms18122587

Biswas, Ranita, and Partha Bhowmick. “Construction of Persistent Voronoi Diagram on 3D Digital Plane.”https://doi.org/10.1007/978-3-319-59108-7_8__In Combinatorial Image Analysis, 10256:93–104. Cham: Springer Nature, 2017.https://doi.org/10.1007/978-3-319-59108-7_8 .
LibreCat: https://research-explorer.ista.ac.at/record/5803
DOI: 10.1007/978-3-319-59108-7_8

Camus, Nicolas, Enderalp Yakaboylu, Lutz Fechner, Michael Klaiber, Martin Laux, Yonghao Mi, Karen Hatsagortsyan, Thomas Pfeifer, Cristoph Keitel, and Robert Moshammer. “Experimental Evidence for Wigner’s Tunneling Time,”https://doi.org/10.1088/1742-6596/999/1/012004__Vol. 999. American Physical Society, 2017.https://doi.org/10.1088/1742-6596/999/1/012004 .
LibreCat: https://research-explorer.ista.ac.at/record/313
DOI: 10.1088/1742-6596/999/1/012004
arXiv: 1611.03701

Camus, Nicolas, Enderalp Yakaboylu, Lutz Fechner, Michael Klaiber, Martin Laux, Yonghao Mi, Karen Z. Hatsagortsyan, Thomas Pfeifer, Christoph H. Keitel, and Robert Moshammer. “Experimental Evidence for Quantum Tunneling Time.”https://doi.org/10.1103/PhysRevLett.119.023201__Physical Review Letters. American Physical Society, 2017.https://doi.org/10.1103/PhysRevLett.119.023201 .
LibreCat: https://research-explorer.ista.ac.at/record/6013
DOI: 10.1103/PhysRevLett.119.023201
arXiv: 1611.03701

Brody, Joshua, Stefan Dziembowski, Sebastian Faust, and Krzysztof Z Pietrzak. “Position Based Cryptography and Multiparty Communication Complexity.”https://doi.org/10.1007/978-3-319-70500-2_3__edited by Yael Kalai and Leonid Reyzin, 10677:56–81. Springer, 2017.https://doi.org/10.1007/978-3-319-70500-2_3 .
LibreCat: https://research-explorer.ista.ac.at/record/605
DOI: 10.1007/978-3-319-70500-2_3

Lemeshko, Mikhail, and Richard Schmidt. “Molecular Impurities Interacting with a Many-Particle Environment: From Ultracold Gases to Helium Nanodroplets.”https://doi.org/10.1039/9781782626800-00444__In Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , edited by Oliver Dulieu and Andreas Osterwalder, 11:444–95. Theoretical and Computational Chemistry Series. The Royal Society of Chemistry, 2017.https://doi.org/10.1039/9781782626800-00444 .
LibreCat: https://research-explorer.ista.ac.at/record/604
DOI: 10.1039/9781782626800-00444

Alwen, Joel F, and Björn Tackmann. “Moderately Hard Functions: Definition, Instantiations, and Applications.”https://doi.org/10.1007/978-3-319-70500-2_17__edited by Yael Kalai and Leonid Reyzin, 10677:493–526. Springer, 2017.https://doi.org/10.1007/978-3-319-70500-2_17 .
LibreCat: https://research-explorer.ista.ac.at/record/609
DOI: 10.1007/978-3-319-70500-2_17