Inferring recent demography from spatial genetic structure
H. Ringbauer, Inferring Recent Demography from Spatial Genetic Structure, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/200
DOI: 10.15479/AT:ISTA:th_963

On the circle covering theorem by A.W. Goodman and R.E. Goodman
A. Akopyan, A. Balitskiy, M. Grigorev, Discrete &; Computational Geometry 59 (2018) 1001–1009.
LibreCat: https://research-explorer.ista.ac.at/record/1064
DOI: 10.1007/s00454-017-9883-x
WoS: 000432205500011

Optical and optogenetic control of proliferation and survival 
E. Gschaider-Reichhart, Optical and Optogenetic Control of Proliferation and Survival , Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/418
DOI: 10.15479/AT:ISTA:th_913

Fluctuations of rectangular young diagrams of interlacing wigner eigenvalues
L. Erdös, D.J. Schröder, International Mathematics Research Notices 2018 (2018) 3255–3298.
LibreCat: https://research-explorer.ista.ac.at/record/1012
DOI: 10.1093/imrn/rnw330
WoS: 000441668300009
arXiv: 1608.05163

An abstraction-refinement methodology for reasoning about network games
G. Avni, S. Guha, O. Kupferman, Games 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6006
DOI: 10.3390/g9030039

Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvorák, M.H. Henzinger, A. Svozil, in:, 28th International Conference on Automated Planning and Scheduling , AAAI Press, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/35
WoS: 000492986200007
arXiv: 1804.07031

Automated competitive analysis of real time scheduling with graph games
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, Real-Time Systems 54 (2018) 166–207.
LibreCat: https://research-explorer.ista.ac.at/record/738
DOI: 10.1007/s11241-017-9293-4
WoS: 000419955500006

Point interactions in systems of fermions
T. Moser, Point Interactions in Systems of Fermions, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/52
DOI: 10.15479/AT:ISTA:th_1043

PATELLINS are regulators of auxin mediated PIN1 relocation and plant development in Arabidopsis thaliana
R. Tejos, C. Rodríguez Furlán, M. Adamowski, M. Sauer, L. Norambuena, J. Friml, Journal of Cell Science 131 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/913
DOI: 10.1242/jcs.204198
WoS: 000424842400019

Charge sensing and spin relaxation times of holes in Ge hut wires
L. Vukusi, Charge Sensing and Spin Relaxation Times of Holes in Ge Hut Wires, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/69
DOI: 10.15479/AT:ISTA:TH_1047

Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release
C. Chen, Synaptotagmins Ensure Speed and Efficiency of Inhibitory Neurotransmitter Release, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/324
DOI: 10.15479/AT:ISTA:th_997

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, Geometriae Dedicata 195 (2018) 307–317.
LibreCat: https://research-explorer.ista.ac.at/record/742
DOI: 10.1007/s10711-017-0291-4
WoS: 000437122700017

Transition to shocks in TASEP and decoupling of last passage times
P. Nejjar, Latin American Journal of Probability and Mathematical Statistics 15 (2018) 1311–1334.
LibreCat: https://research-explorer.ista.ac.at/record/70
DOI: 10.30757/ALEA.v15-49
WoS: 000460475800022
arXiv: 1705.08836

Quantum scarred eigenstates in a Rydberg atom chain: Entanglement, breakdown of thermalization, and stability to perturbations
C.J. Turner, A. Michailidis, D.A. Abanin, M. Serbyn, Z. Papi, Physical Review B 98 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/44
DOI: 10.1103/PhysRevB.98.155134
WoS: 000447919100001
arXiv: 1806.10933

Exceeding the asymptotic limit of polymer drag reduction
G.H. Choueiri, J.M. Lopez Alonso, B. Hof, Physical Review Letters 120 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/328
DOI: 10.1103/PhysRevLett.120.124501
WoS: 000427804000005

Unstable equilibria and invariant manifolds in quasi-two-dimensional Kolmogorov-like flow
B. Suri, J. Tithof, R. Grigoriev, M. Schatz, Physical Review E 98 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/136
DOI: 10.1103/PhysRevE.98.023105
WoS: 000441466800010
arXiv: 1808.02088

A homozygous founder mutation in TRAPPB associates with a neurodevelopmental disorder characterised by microcephaly epilepsy and autistic features
I. Marin Valencia, G. Novarino, A. Johansen, B. Rosti, M. Issa, D. Musaev, G. Bhat, E. Scott, J. Silhavy, V. Stanley, R. Rosti, J. Gleeson, F. Imam, M. Zaki, J. Gleeson, Journal of Medical Genetics 55 (2018) 48–54.
LibreCat: https://research-explorer.ista.ac.at/record/691
DOI: 10.1136/jmedgenet-2017-104627
WoS: 000418199800007
PMID: 28626029

Maps on probability measures preserving certain distances - a survey and some new results
D. Virosztek, Acta Scientiarum Mathematicarum 84 (2018) 65–80.
LibreCat: https://research-explorer.ista.ac.at/record/284
DOI: 10.14232/actasm-018-753-y
arXiv: 1802.03305

Statistical mechanics of the uniform electron gas
M. Lewi, É. Lieb, R. Seiringer, Journal de l’Ecole Polytechnique - Mathematiques 5 (2018) 79–116.
LibreCat: https://research-explorer.ista.ac.at/record/180
DOI: 10.5802/jep.64
arXiv: 1705.10676

Agitation modules: Flexible means to accelerate automated freeze substitution
S. Reipert, H. Goldammer, C. Richardson, M. Goldberg, T. Hawkins, E. Saeckl, W. Kaufmann, S. Antreich, Y. Stierhof, Journal of Histochemistry and Cytochemistry 66 (2018) 903–921.
LibreCat: https://research-explorer.ista.ac.at/record/163
DOI: 10.1369/0022155418786698
WoS: 000452277700005
PMID: 29969056

Learning equations for extrapolation and control
S. Sahoo, C. Lampert, G.S. Martius, in:, Proceedings of the 35th International Conference on Machine Learning, ML Research Press, 2018, pp. 4442–4450.
LibreCat: https://research-explorer.ista.ac.at/record/6012
WoS: 000683379204058
arXiv: 1806.07259

Data-dependent stability of stochastic gradient descent
I. Kuzborskij, C. Lampert, in:, Proceedings of the 35 Th International Conference on Machine Learning, ML Research Press, 2018, pp. 2815–2824.
LibreCat: https://research-explorer.ista.ac.at/record/6011
WoS: 000683379202095
arXiv: 1703.01678

An Austrian proposal for the Classification of Open Access Tuples (COAT) - Distinguish different Open Access types beyond colors
P. Danowski, An Austrian Proposal for the Classification of Open Access Tuples (COAT) - Distinguish Different Open Access Types beyond Colors, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/5686
DOI: 10.5281/zenodo.1244154

The convergence of sparsified gradient methods
D.-A. Alistarh, T. Hoefler, M. Johansson, N.H. Konstantinov, S. Khirirat, C. Renggli, in:, Advances in Neural Information Processing Systems 31, Neural Information Processing Systems Foundation, 2018, pp. 5973–5983.
LibreCat: https://research-explorer.ista.ac.at/record/6589
WoS: 000461852000047
arXiv: 1809.10505

Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, Science 362 (2018) 941–945.
LibreCat: https://research-explorer.ista.ac.at/record/7
DOI: 10.1126/science.aat4793
WoS: 000451124500041

Nonoptimal gene expression creates latent potential for antibiotic resistance
A. Palmer, R.P. Chait, R. Kishony, Molecular Biology and Evolution 35 (2018) 2669–2684.
LibreCat: https://research-explorer.ista.ac.at/record/19
DOI: 10.1093/molbev/msy163
WoS: 000452567200006
PMID: 30169679

A micro-CT-based method for characterising lesions and locating electrodes in small animal brains
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Journal of Visualized Experiments 141 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6
DOI: 10.3791/58585
WoS: 000456469400103

Social network plasticity decreases disease transmission in a eusocial insect
N. Stroeymeyt, A.V. Grasse, A. Crespi, D. Mersch, S. Cremer, L. Keller, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/13055
DOI: 10.5281/ZENODO.1322669

Sensitivity limits of millimeter-wave photonic radiometers based on efficient electro-optic upconverters
G. Botello, F. Sedlmeir, A.R. Rueda Sanchez, K. Abdalmalak, E. Brown, G. Leuchs, S. Preu, D. Segovia Vargas, D. Strekalov, L. Munoz, H. Schwefel, Optica 5 (2018) 1210–1219.
LibreCat: https://research-explorer.ista.ac.at/record/22
DOI: 10.1364/OPTICA.5.001210
WoS: 000447853100007

Contracts for system design
A. Benveniste, D. Nickovic, B. Caillaud, R. Passerone, J.B. Raclet, P. Reinkemeier, A. Sangiovanni-Vincentelli, W. Damm, T.A. Henzinger, K.G. Larsen, Foundations and Trends in Electronic Design Automation 12 (2018) 124–400.
LibreCat: https://research-explorer.ista.ac.at/record/5677
DOI: 10.1561/1000000053

Coherent-perfect-absorber and laser for bound states in a continuum
B. Midya, V. Konotop, Optics Letters 43 (2018) 607–610.
LibreCat: https://research-explorer.ista.ac.at/record/435
DOI: 10.1364/OL.43.000607
WoS: 000423776600066
arXiv: 1711.01986

The divergence history of European blue mussel species reconstructed from Approximate Bayesian Computation: The effects of sequencing techniques and sampling strategies
C. Fraisse, C. Roux, P. Gagnaire, J. Romiguier, N. Faivre, J. Welch, N. Bierne, PeerJ 2018 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/139
DOI: 10.7717/peerj.5198
WoS: 000440484800002

Can secondary contact following range expansion be distinguished from barriers to gene flow?
J. Bertl, H. Ringbauer, M. Blum, PeerJ 2018 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/33
DOI: 10.7717/peerj.5325
WoS: 000447204400001
PMID: 30294507

Mechanistic framework for cell-intrinsic re-establishment of PIN2 polarity after cell division
M. Glanc, M. Fendrych, J. Friml, Nature Plants 4 (2018) 1082–1088.
LibreCat: https://research-explorer.ista.ac.at/record/5673
DOI: 10.1038/s41477-018-0318-3
WoS: 000454576600017
PMID: 30518833

Language acquisition with communication between learners
R. Ibsen-Jensen, J. Tkadlec, K. Chatterjee, M. Nowak, Journal of the Royal Society Interface 15 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/198
DOI: 10.1098/rsif.2018.0073
WoS: 000428576200023
PMID: 29593089

Chromatic transitions in the emergence of syntax networks
B. Corominas-Murtra, M.S. Fibla, S. Valverde, R. Solé, Royal Society Open Science 5 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5859
DOI: 10.1098/rsos.181286
WoS: 000456566500027
PMID: 30662738

The Dyson equation with linear self-energy: Spectral bands, edges and  cusps
J. Alt, L. Erdös, T.H. Krüger, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/6183
arXiv: 1804.07752

Convex fair partitions into arbitrary number of pieces
A. Akopyan, S. Avvakumov, R. Karasev, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/75
DOI: 10.48550/arXiv.1804.03057
arXiv: 1804.03057

The free boundary Schur process and applications I
D. Betea, J. Bouttier, P. Nejjar, M. Vuletic, Annales Henri Poincare 19 (2018) 3663–3742.
LibreCat: https://research-explorer.ista.ac.at/record/556
DOI: 10.1007/s00023-018-0723-1
arXiv: 1704.05809

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

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

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

Evolution of gene dosage on the Z-chromosome of schistosome parasites
M.A.L. Picard, C. Cosseau, S. Ferré, T. Quack, C. Grevelding, Y. Couté, B. Vicoso, ELife 7 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/131
DOI: 10.7554/eLife.35684
WoS: 000441388200001

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

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

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

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

Dyson equation and eigenvalue statistics of random matrices
J. Alt, Dyson Equation and Eigenvalue Statistics of Random Matrices, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/149
DOI: 10.15479/AT:ISTA:TH_1040

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

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

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

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

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

Lymph node blood vessels provide exit routes for metastatic tumor cell dissemination in mice
M. Brown, F.P. Assen, A.F. Leithner, J. Abe, H. Schachner, G. Asfour, Z. Bagó Horváth, J. Stein, P. Uhrin, M.K. Sixt, D. Kerjaschki, Science 359 (2018) 1408–1411.
LibreCat: https://research-explorer.ista.ac.at/record/402
DOI: 10.1126/science.aal3662
WoS: 000428043600047
PMID: 29567714

From the left to the right: A tale of asymmetries, environments, and hippocampal development
M.J. Case, From the Left to the Right: A Tale of Asymmetries, Environments, and Hippocampal Development, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/51
DOI: 10.15479/AT:ISTA:th_1032

The branched chain amino acids in autism spectrum disorders 
D.-C. Tarlungeanu, The Branched Chain Amino Acids in Autism Spectrum Disorders , Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/395
DOI: 10.15479/AT:ISTA:th_992

Role of genomic imprinting in cerebral cortex development
S. Laukoter, Role of Genomic Imprinting in Cerebral Cortex Development, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/10
DOI: 10.15479/AT:ISTA:th1057

Branched actin networks in dendritic cell biology
A.F. Leithner, Branched Actin Networks in Dendritic Cell Biology, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/323
DOI: 10.15479/AT:ISTA:th_998

Identification and characterization of novel auxin-cytokinin cross-talk components
A. Hurny, Identification and Characterization of Novel Auxin-Cytokinin Cross-Talk Components, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/539
DOI: 10.15479/AT:ISTA:th_930

Reactivation content is important for consolidation of spatial memory
I. Gridchyn, Reactivation Content Is Important for Consolidation of Spatial Memory, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/48
DOI: 10.15479/AT:ISTA:th_1042

Transcriptional regulation of macrophage migration in the Drosophila melanogaster embryo 
V. Belyaeva, Transcriptional Regulation of Macrophage Migration in the Drosophila Melanogaster Embryo , Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/9
DOI: 10.15479/AT:ISTA:th1064

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

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

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

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

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

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

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

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

Ergodic mean-payoff games for the analysis of attacks in crypto-currencies
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, Y. Velner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/66
DOI: 10.4230/LIPIcs.CONCUR.2018.11
arXiv: 1806.03108

Quantitative analysis of smart contracts
K. Chatterjee, A.K. Goharshady, Y. Velner, in:, Springer, 2018, pp. 739–767.
LibreCat: https://research-explorer.ista.ac.at/record/311
DOI: 10.1007/978-3-319-89884-1_26

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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
D.K. Rangel Guerrero, J.G. Donnett, J.L. Csicsvari, K. Kovács, ENeuro 5 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5914
DOI: 10.1523/ENEURO.0087-18.2018
WoS: 000443994700007

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

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

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

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

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

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

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

Structure of respiratory complex I: cMinimald bacterial and cde luxed mammalian versions
L.A. Sazanov, in:, M. Wikström (Ed.), Mechanisms of Primary Energy Transduction in Biology , Royal Society of Chemistry, 2017, pp. 25–59.
LibreCat: https://research-explorer.ista.ac.at/record/444
DOI: 10.1039/9781788010405-00025

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

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

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

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

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

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