The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6849
DOI: 10.15479/AT:ISTA:6849

Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization
K. Käfer, H. Malagon-Vina, D. Dickerson, J. O’Neill, S.V. Trossbach, C. Korth, J.L. Csicsvari, Hippocampus 29 (2019) 802–816.
LibreCat: https://research-explorer.ista.ac.at/record/5949
DOI: 10.1002/hipo.23076
WoS: 000480635400003

The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, Institute of Science and Technology Austria, 2019.
LibreCat: https://research-explorer.ista.ac.at/record/6825
DOI: 10.15479/AT:ISTA:6825

Evaluation and monitoring of free running oscillators serving as source of randomness
E.N. Allini, M. Skórski, O. Petura, F. Bernard, M. Laban, V. Fischer, IACR Transactions on Cryptographic Hardware and Embedded Systems 2018 (2018) 214–242.
LibreCat: https://research-explorer.ista.ac.at/record/10286
DOI: 10.13154/tches.v2018.i3.214-242

Quasipolynomial set-based symbolic algorithms for parity games
K. Chatterjee, W. Dvoák, M.H. Henzinger, A. Svozil, in:, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, EasyChair, 2018, pp. 233–253.
LibreCat: https://research-explorer.ista.ac.at/record/10883
DOI: 10.29007/5z5k
arXiv: 1909.04983

Mean-field limits of particles in interaction with quantised radiation fields
N.K. Leopold, P. Pickl, in:, Springer, 2018, pp. 185–214.
LibreCat: https://research-explorer.ista.ac.at/record/11
DOI: 10.1007/978-3-030-01602-9_9
arXiv: 1806.10843

Infinite-dimensional calculus under weak spatial regularity of the processes
F. Flandoli, F. Russo, G.A. Zanco, Journal of Theoretical Probability 31 (2018) 789–826.
LibreCat: https://research-explorer.ista.ac.at/record/1215
DOI: 10.1007/s10959-016-0724-2

Hanani-Tutte for approximating maps of graphs
R. Fulek, J. Kyndl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/185
DOI: 10.4230/LIPIcs.SoCG.2018.39

Smallest enclosing spheres and Chernoff points in Bregman geometry
H. Edelsbrunner, Z. Virk, H. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 35:1-35:13.
LibreCat: https://research-explorer.ista.ac.at/record/188
DOI: 10.4230/LIPIcs.SoCG.2018.35

An introduction to the maximum entropy approach and its application to inference problems in biology
A. De Martino, D. De Martino, Heliyon 4 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/306
DOI: 10.1016/j.heliyon.2018.e00596

Handbook of Model Checking
E.M. Clarke, T.A. Henzinger, H. Veith, R. Bloem, Handbook of Model Checking, 1st ed., Springer Nature, Cham, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/3300
DOI: 10.1007/978-3-319-10575-8

Measuring dorsoventral pattern and morphogen signaling profiles in the growing neural tube
M.P. Zagórski, A. Kicheva, in:, Morphogen Gradients , Springer Nature, 2018, pp. 47–63.
LibreCat: https://research-explorer.ista.ac.at/record/37
DOI: 10.1007/978-1-4939-8772-6_4

Fabrication and operation of microfluidic hanging drop networks
P. Misun, A. Birchler, M. Lang, A. Hierlemann, O. Frey, Methods in Molecular Biology 1771 (2018) 183–202.
LibreCat: https://research-explorer.ista.ac.at/record/305
DOI: 10.1007/978-1-4939-7792-5_15

Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs
S. Agrawal, K. Chatterjee, P. Novotný, in:, ACM, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/325
DOI: 10.1145/3158122
arXiv: 1709.04037

In vitro assay for induction of adventitious rooting on intact arabidopsis hypocotyls
H. Trinh, I. Verstraeten, D. Geelen, in:, Root Development , Springer Nature, 2018, pp. 95–102.
LibreCat: https://research-explorer.ista.ac.at/record/408
DOI: 10.1007/978-1-4939-7747-5_7
PMID: 29525951

Optimized whole mount in situ immunolocalization for Arabidopsis thaliana  root meristems and lateral root primordia
M. Karampelias, R. Tejos, J. Friml, S. Vanneste, in:, D. Ristova, E. Barbez (Eds.), Root Development. Methods and Protocols, Springer, 2018, pp. 131–143.
LibreCat: https://research-explorer.ista.ac.at/record/411
DOI: 10.1007/978-1-4939-7747-5_10

Zika-associated microcephaly: Reduce the stress and race for the treatment
G. Novarino, Science Translational Medicine 10 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/456
DOI: 10.1126/scitranslmed.aar7514

IST PubRep and IST DataRep: the institutional repositories at IST Austria
B. Petritsch, J. Porsche, VÖB Mitteilungen 71 (2018) 199–206.
LibreCat: https://research-explorer.ista.ac.at/record/53
DOI: 10.31263/voebm.v71i1.1993

Communication-efficient randomized consensus
D.-A. Alistarh, J. Aspnes, V. King, J. Saia, Distributed Computing 31 (2018) 489–501.
LibreCat: https://research-explorer.ista.ac.at/record/536
DOI: 10.1007/s00446-017-0315-1

The Bogoliubov free energy functional II: The dilute Limit
M.M. Napiórkowski, R. Reuvers, J. Solovej, Communications in Mathematical Physics 360 (2018) 347–403.
LibreCat: https://research-explorer.ista.ac.at/record/554
DOI: 10.1007/s00220-017-3064-x
arXiv: 1511.05953

Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses
D. Dimitrov, L. Guillaud, K. Eguchi, T. Takahashi, in:, S.D. Skaper (Ed.), Neurotrophic Factors, Springer, 2018, pp. 201–215.
LibreCat: https://research-explorer.ista.ac.at/record/562
DOI: 10.1007/978-1-4939-7571-6_15
PMID: 29222783

Graph games and reactive synthesis
R. Bloem, K. Chatterjee, B. Jobstmann, in:, T.A. Henzinger, E.M. Clarke, H. Veith, R. Bloem (Eds.), Handbook of Model Checking, 1st ed., Springer, 2018, pp. 921–962.
LibreCat: https://research-explorer.ista.ac.at/record/59
DOI: 10.1007/978-3-319-10575-8_27

Introduction to model checking
E. Clarke, T.A. Henzinger, H. Veith, in:, T.A. Henzinger (Ed.), Handbook of Model Checking, Springer, 2018, pp. 1–26.
LibreCat: https://research-explorer.ista.ac.at/record/60
DOI: 10.1007/978-3-319-10575-8_1

There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
LibreCat: https://research-explorer.ista.ac.at/record/61
DOI: 10.1007/978-3-319-72456-0_7
arXiv: 1509.06286

Platelet migration and bacterial trapping assay under flow
S. Fan, M. Lorenz, S. Massberg, F.R. Gärtner, Bio-Protocol 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6354
DOI: 10.21769/bioprotoc.3018

Open Access at IST Austria 2009-2017
B. Petritsch, Open Access at IST Austria 2009-2017, IST Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6459
DOI: 10.5281/zenodo.1410279

Mirror symmetry with branes by equivariant verlinde formulas
T. Hausel, A. Mellit, D. Pei, in:, Geometry and Physics: Volume I, Oxford University Press, 2018, pp. 189–218.
LibreCat: https://research-explorer.ista.ac.at/record/6525
DOI: 10.1093/oso/9780198802013.003.0009

Local law and Tracy–Widom limit for sparse random matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 171 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/690
DOI: 10.1007/s00440-017-0787-8
arXiv: 1605.08767

Maximum persistency via iterative relaxed inference with graphical models
A. Shekhovtsov, P. Swoboda, B. Savchynskyy, IEEE Transactions on Pattern Analysis and Machine Intelligence 40 (2018) 1668–1682.
LibreCat: https://research-explorer.ista.ac.at/record/703
DOI: 10.1109/TPAMI.2017.2730884
arXiv: 1508.07902

Synchronous multi-GPU training for deep learning with low-precision communications: An empirical study
D. Grubic, L. Tam, D.-A. Alistarh, C. Zhang, in:, Proceedings of the 21st International Conference on Extending Database Technology, OpenProceedings, 2018, pp. 145–156.
LibreCat: https://research-explorer.ista.ac.at/record/7116
DOI: 10.5441/002/EDBT.2018.14

Proofs of catalytic space
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science  Conference (ITCS 2019), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 59:1-59:25.
LibreCat: https://research-explorer.ista.ac.at/record/7407
DOI: 10.4230/LIPICS.ITCS.2019.59

ThreadScan: Automatic and scalable memory reclamation
D.-A. Alistarh, W. Leiserson, A. Matveev, N. Shavit, ACM Transactions on Parallel Computing 4 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/6001
DOI: 10.1145/3201897

Model compression via distillation and quantization
A. Polino, R. Pascanu, D.-A. Alistarh, in:, 6th International Conference on Learning Representations, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/7812
arXiv: 1802.05668

Heterogeneous progenitor cell behaviors underlie the assembly of neocortical cytoarchitecture
A. Llorca, G. Ciceri, R.J. Beattie, F.K. Wong, G. Diana, E. Serafeimidou, M. Fernández-Otero, C. Streicher, S.J. Arnold, M. Meyer, S. Hippenmeyer, M. Maravall, O. Marín, BioRxiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8547
DOI: 10.1101/494088

Computing average response time
K. Chatterjee, T.A. Henzinger, J. Otop, in:, M. Lohstroh, P. Derler, M. Sirjani (Eds.), Principles of Modeling, Springer, 2018, pp. 143–161.
LibreCat: https://research-explorer.ista.ac.at/record/86
DOI: 10.1007/978-3-319-95246-8_9

Diffraction-unlimited optical imaging for synaptic physiology
J.G. Danzl, Opera Medica et Physiologica 4 (2018) 11.
LibreCat: https://research-explorer.ista.ac.at/record/9229
DOI: 10.20388/omp2018.00s1.001

Timed network games with clocks
G. Avni, S. Guha, O. Kupferman, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/6005
DOI: 10.4230/LIPICS.MFCS.2018.23

Is the sky the limit? On the expansion threshold of a species’ range
J. Polechova, PLoS Biology 16 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/315
DOI: 10.1371/journal.pbio.2005372

FACT complex is required for DNA demethylation at heterochromatin during reproduction in Arabidopsis
J.M. Frost, M.Y. Kim, G.T. Park, P.-H. Hsieh, M. Nakamura, S.J.H. Lin, H. Yoo, J. Choi, Y. Ikeda, T. Kinoshita, Y. Choi, D. Zilberman, R.L. Fischer, Proceedings of the National Academy of Sciences 115 (2018) 20–29.
LibreCat: https://research-explorer.ista.ac.at/record/9471
DOI: 10.1073/pnas.1713333115
PMID: 29712855

The 2-Genus of Kuratowski minors
R. Fulek, J. Kyndl, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 40.1-40.14.
LibreCat: https://research-explorer.ista.ac.at/record/186
DOI: 10.4230/LIPIcs.SoCG.2018.40
arXiv: 1803.05085

Thrackles: An improved upper bound
R. Fulek, J. Pach, in:, Springer, 2018, pp. 160–166.
LibreCat: https://research-explorer.ista.ac.at/record/433
DOI: 10.1007/978-3-319-73915-1_14
arXiv: 1708.08037

Data from: Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes
R. Faria, P. Chaube, H.E. Morales, T. Larsson, A.R. Lemmon, E.M. Lemmon, M. Rafajlovi, M. Panova, M. Ravinet, K. Johannesson, A.M. Westram, R.K. Butlin, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9837
DOI: 10.5061/dryad.72cg113

Absorption and directed Jónsson terms
A. Kazda, M. Kozik, R. McKenzie, M. Moore, in:, J. Czelakowski (Ed.), Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, Springer Nature, Cham, 2018, pp. 203–220.
LibreCat: https://research-explorer.ista.ac.at/record/10864
DOI: 10.1007/978-3-319-74772-9_7
arXiv: 1502.01072

Shellability is NP-complete
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, p. 41:1-41:16.
LibreCat: https://research-explorer.ista.ac.at/record/184
DOI: 10.4230/LIPIcs.SoCG.2018.41

On the treewidth of triangulated 3-manifolds
K. Huszár, J. Spreer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/285
DOI: 10.4230/LIPIcs.SoCG.2018.46
arXiv: 1712.00434

Fast and accurate large multiple sequence alignments with a root-to-leaf regressive method
E. Garriga, P. di Tommaso, C. Magis, I. Erb, L. Mansouri, A. Baltzis, H. Laayouni, F. Kondrashov, E. Floden, C. Notredame, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/13059
DOI: 10.5281/ZENODO.2025846

Ge hut wires - from growth to hole spin resonance
H. Watzinger, Ge Hut Wires - from Growth to Hole Spin Resonance, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/49
DOI: 10.15479/AT:ISTA:th_1033

Multiple covers with balls
M. Iglesias Ham, Multiple Covers with Balls, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/201
DOI: 10.15479/AT:ISTA:th_1026

Learning from dependent data
A. Zimin, Learning from Dependent Data, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/68
DOI: 10.15479/AT:ISTA:TH1048

Proof systems for sustainable decentralized cryptocurrencies
H.M. Abusalah, Proof Systems for Sustainable Decentralized Cryptocurrencies, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/83
DOI: 10.15479/AT:ISTA:TH_1046

Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images
A. Kolesnikov, Weakly-Supervised Segmentation and Unsupervised Modeling of Natural Images, Institute of Science and Technology Austria, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/197
DOI: 10.15479/AT:ISTA:th_1021

Computing simplicial representatives of homotopy group elements
M. Filakovský, P. Franek, U. Wagner, S.Y. Zhechev, Journal of Applied and Computational Topology 2 (2018) 177–231.
LibreCat: https://research-explorer.ista.ac.at/record/6774
DOI: 10.1007/s41468-018-0021-5

Synchronizing the asynchronous
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/133
DOI: 10.4230/LIPIcs.CONCUR.2018.21

The multi-cover persistence of Euclidean balls
H. Edelsbrunner, G.F. Osang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.
LibreCat: https://research-explorer.ista.ac.at/record/187
DOI: 10.4230/LIPIcs.SoCG.2018.34

3-Webs generated by confocal conics and circles
A. Akopyan, Geometriae Dedicata 194 (2018) 55–64.
LibreCat: https://research-explorer.ista.ac.at/record/692
DOI: 10.1007/s10711-017-0265-6
WoS: 000431418800004

A germanium hole spin qubit
H. Watzinger, J. Kukucka, L. Vukusi, F. Gao, T. Wang, F. Schäffler, J. Zhang, G. Katsaros, Nature Communications 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/77
DOI: 10.1038/s41467-018-06418-4
WoS: 000445560800010

A biochemical network controlling basal myosin oscillation
X. Qin, E.B. Hannezo, T. Mangeat, C. Liu, P. Majumder, J. Liu, V. Choesmel Cadamuro, J. Mcdonald, Y. Liu, B. Yi, X. Wang, Nature Communications 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/401
DOI: 10.1038/s41467-018-03574-5
WoS: 000428165400009

A fat lot of good for wound healing
A.M. Casano, M.K. Sixt, Developmental Cell 44 (2018) 405–406.
LibreCat: https://research-explorer.ista.ac.at/record/318
DOI: 10.1016/j.devcel.2018.02.009
WoS: 000426150700002
PMID: 29486189

A micro-CT-based method for quantitative brain lesion characterization and electrode localization
J. Masís, D. Mankus, S. Wolff, G. Guitchounts, M.A. Jösch, D. Cox, Scientific Reports 8 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/410
DOI: 10.1038/s41598-018-23247-z
WoS: 000428234100005

An armadillo-domain protein participates in a telomerase interaction network
L. Dokládal, E. Benková, D. Honys, N. Dupláková, L. Lee, S. Gelvin, E. Sýkorová, Plant Molecular Biology 97 (2018) 407–420.
LibreCat: https://research-explorer.ista.ac.at/record/277
DOI: 10.1007/s11103-018-0747-4
WoS: 000438981700009

AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.
LibreCat: https://research-explorer.ista.ac.at/record/299
DOI: 10.1007/978-3-319-89963-3_18
WoS: 00445822600018

Ants avoid superinfections by performing risk-adjusted sanitary care
M. Konrad, C. Pull, S. Metzler, K. Seif, E. Naderlinger, A.V. Grasse, S. Cremer, PNAS 115 (2018) 2782–2787.
LibreCat: https://research-explorer.ista.ac.at/record/413
DOI: 10.1073/pnas.1713501115
WoS: 000427245400069
PMID: 29463746

Anyonic statistics of quantum impurities in two dimensions
E. Yakaboylu, M. Lemeshko, Physical Review B - Condensed Matter and Materials Physics 98 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/195
DOI: 10.1103/PhysRevB.98.045402
WoS: 000436939100007
arXiv: 1712.00308

A theory of register monitors
T. Ferrere, T.A. Henzinger, E. Saraç, in:, IEEE, 2018, pp. 394–403.
LibreCat: https://research-explorer.ista.ac.at/record/144
DOI: 10.1145/3209108.3209194
WoS: 000545262800041

Auxin methylation is required for differential growth in Arabidopsis
M. Abbas, G.J. Hernández, S. Pollmann, S.L. Samodelov, M. Kolb, J. Friml, U.Z. Hammes, M.D. Zurbriggen, M. Blázquez, D. Alabadí, PNAS 115 (2018) 6864–6869.
LibreCat: https://research-explorer.ista.ac.at/record/203
DOI: 10.1073/pnas.1806565115
WoS: 000436245000096

Calculation of the critical temperature of a dilute Bose gas in the Bogoliubov approximation
M.M. Napiórkowski, R. Reuvers, J. Solovej, EPL 121 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/399
DOI: 10.1209/0295-5075/121/10007
WoS: 000460003000003
arXiv: 1706.01822

CL peptide-induced stomatal closure is mediated by abscisic acid, hydrogen peroxide, and nitric oxide in arabidopsis thaliana
L. Zhang, X. Shi, Y. Zhang, J. Wang, J. Yang, T. Ishida, W. Jiang, X. Han, J. Kang, X. Wang, L. Pan, S. Lv, B. Cao, Y. Zhang, J. Wu, H. Han, Z. Hu, L. Cui, S. Sawa, J. He, G. Wang, Plant Cell and Environment (2018).
LibreCat: https://research-explorer.ista.ac.at/record/5830
DOI: 10.1111/pce.13475
WoS: 000459014800021
PMID: 30378140

Clonal analysis of Notc-expressing cells reveals the existence of unipotent stem cells that retain long-term plasticity in the embryonic mammary gland
A. Lilja, V. Rodilla, M. Huyghe, E.B. Hannezo, C. Landragin, O. Renaud, O. Leroy, S. Rulands, B. Simons, S. Fré, Nature Cell Biology 20 (2018) 677–687.
LibreCat: https://research-explorer.ista.ac.at/record/288
DOI: 10.1038/s41556-018-0108-1
WoS: 000433237300003
PMID: 29784917

Computational design of nanostructural color for additive manufacturing
T. Auzinger, W. Heidrich, B. Bickel, ACM Transactions on Graphics 37 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/304
DOI: 10.1145/3197517.3201376
WoS: 000448185000120

CoreCavity: Interactive shell decomposition for fabrication with two-piece rigid molds
K. Nakashima, T. Auzinger, E. Iarussi, R. Zhang, T. Igarashi, B. Bickel, ACM Transaction on Graphics 37 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/12
DOI: 10.1145/3197517.3201341
WoS: 000448185000096

Crosstalk in concurrent repeated games impedes direct reciprocity and requires stronger levels of forgiveness
J. Reiter, C. Hilbe, D. Rand, K. Chatterjee, M. Nowak, Nature Communications 9 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/454
DOI: 10.1038/s41467-017-02721-8
WoS: 000424318200001

Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons
H. Hu, F. Roth, D.H. Vandael, P.M. Jonas, Neuron 98 (2018) 156–165.
LibreCat: https://research-explorer.ista.ac.at/record/320
DOI: 10.1016/j.neuron.2018.02.024
WoS: 000429192100016

CRISPR-based herd immunity can limit phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, ELife 7 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/423
DOI: 10.7554/eLife.32035
WoS: 000431035800001

Crossing minimization in perturbed drawings
R. Fulek, C.D. Tóth, in:, Springer, 2018, pp. 229–241.
LibreCat: https://research-explorer.ista.ac.at/record/5791
DOI: 10.1007/978-3-030-04414-5_16
WoS: 000672802500016
arXiv: 1808.07608

Complexity of the laminar-turbulent boundary in pipe flow
N.B. Budanur, B. Hof, Physical Review Fluids 3 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/291
DOI: 10.1103/PhysRevFluids.3.054401
WoS: 000433426200001
arXiv: 1802.01918

Counting blanks in polygonal arrangements
A. Akopyan, E. Segal Halevi, SIAM Journal on Discrete Mathematics 32 (2018) 2242–2257.
LibreCat: https://research-explorer.ista.ac.at/record/58
DOI: 10.1137/16M110407X
WoS: 000450810500036
arXiv: 1604.00960

Data from: CRISPR-based herd immunity limits phage epidemics in bacterial populations
P. Payne, L. Geyrhofer, N.H. Barton, J.P. Bollback, (2018).
LibreCat: https://research-explorer.ista.ac.at/record/9840
DOI: 10.5061/dryad.42n44

Destructive disinfection of infected brood prevents systemic disease spread in ant colonies
C. Pull, L.V. Ugelvig, F. Wiesenhofer, A.V. Grasse, S. Tragust, T. Schmitt, M. Brown, S. Cremer, ELife 7 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/616
DOI: 10.7554/eLife.32073
WoS: 000419601300001

Defining lineage potential and fate behavior of precursors during pancreas development
M. Sznurkowska, E.B. Hannezo, R. Azzarelli, S. Rulands, S. Nestorowa, C. Hindley, J. Nichols, B. Göttgens, M. Huch, A. Philpott, B. Simons, Developmental Cell 46 (2018) 360–375.
LibreCat: https://research-explorer.ista.ac.at/record/132
DOI: 10.1016/j.devcel.2018.06.028
WoS: 000441327300012

Cup-shaped Cotyledon1 (CU) and C regulate cytokinin homeostasis to determine ovule number in arabidopsis
M. Cucinotta, S. Manrique, C. Cuesta, E. Benková, O. Novák, L. Colombo, Journal of Experimental Botany 69 (2018) 5169–5176.
LibreCat: https://research-explorer.ista.ac.at/record/42
DOI: 10.1093/jxb/ery281
WoS: 000448163900015

Design, synthesis and perception of fluorescently labeled isoprenoid cytokinins
K. Kubiasová, V. Mik, J. Nisler, M. Hönig, A. Husidková, L. Spíchal, Z. Pbkná, O. Samajová, K. Doleeal, O. Plíhal, E. Benková, M. Strnad, L. Plíhalová, Phytochemistry 150 (2018) 1–11.
LibreCat: https://research-explorer.ista.ac.at/record/407
DOI: 10.1016/j.phytochem.2018.02.015
WoS: 000435623400001

Detection and characterization of many-body localization in central spin models
D. Hetterich, N. Yao, M. Serbyn, F. Pollmann, B. Trauzettel, Physical Review B 98 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/46
DOI: 10.1103/PhysRevB.98.161122
WoS: 000448596500002
arXiv: 1806.08316

Drosophila TNF modulates tissue tension in the embryo to facilitate macrophage invasive migration
A. Ratheesh, J. Bicher, M. Smutny, J. Veselá, E. Papusheva, G. Krens, W. Kaufmann, A. György, A.M. Casano, D.E. Siekhaus, Developmental Cell 45 (2018) 331–346.
LibreCat: https://research-explorer.ista.ac.at/record/308
DOI: 10.1016/j.devcel.2018.04.002
WoS: 000432461400009
PMID: 29738712

Drag enhancement and drag reduction in viscoelastic flow
A. Varshney, V. Steinberg, Physical Review Fluids 3 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/17
DOI: 10.1103/PhysRevFluids.3.103302
WoS: 000447311500001

Distributed and dynamic intracellular organization of extracellular information
A. Granados, J. Pietsch, S.A. Cepeda Humerez, I. Farquhar, G. Tkadik, P. Swain, PNAS 115 (2018) 6088–6093.
LibreCat: https://research-explorer.ista.ac.at/record/281
DOI: 10.1073/pnas.1716659115
WoS: 000434114900071
PMID: 29784812

Distinct roles for plasma membrane PtdIns 4 P and PtdIns 4 5  during yeast receptor mediated endocytosis
W. Yamamoto, S. Wada, M. Nagano, K. Aoshima, D.E. Siekhaus, J. Toshima, J. Toshima, Journal of Cell Science 131 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/620
DOI: 10.1242/jcs.207696
WoS: 000424786900012
PMID: 29192062

Efficient parametric identification for STL
A. Bakhirkin, T. Ferrere, O. Maler, in:, Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–186.
LibreCat: https://research-explorer.ista.ac.at/record/182
DOI: 10.1145/3178126.3178132
WoS: 000474781600020

Efficient algorithms for asymptotic bounds on termination time in VASS
T. Brázdil, K. Chatterjee, A. Kudera, P. Novotný, D. Velan, F. Zuleger, in:, IEEE, 2018, pp. 185–194.
LibreCat: https://research-explorer.ista.ac.at/record/143
DOI: 10.1145/3209108.3209191
WoS: 000545262800020

Efficient optimization for rank-based loss functions
P. Mohapatra, M. Rolinek, C.V. Jawahar, V. Kolmogorov, M.P. Kumar, in:, 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, IEEE, 2018, pp. 3693–3701.
LibreCat: https://research-explorer.ista.ac.at/record/273
DOI: 10.1109/cvpr.2018.00389
WoS: 000457843603087
arXiv: 1604.08269

Emergent dirac gullies and gully-symmetry-breaking quantum hall states in ABA trilayer graphene
A. Zibrov, P. Rao, C. Kometter, J. Li, C. Dean, T. Taniguchi, K. Watanabe, M. Serbyn, A. Young, Physical Review Letters 121 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/289
DOI: 10.1103/PhysRevLett.121.167601
WoS: 000447307500007
arXiv: 1805.01038

Electromagnetic fields and optomechanics In cancer diagnostics and treatment
V. Salari, S. Barzanjeh, M. Cifra, C. Simon, F. Scholkmann, Z. Alirezaei, J. Tuszynski, Frontiers in Bioscience - Landmark 23 (2018) 1391–1406.
LibreCat: https://research-explorer.ista.ac.at/record/287
DOI: 10.2741/4651
WoS: 000439042800001
PMID: 29293441

Embeddability in the 3-Sphere is decidable
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, Journal of the ACM 65 (2018).
LibreCat: https://research-explorer.ista.ac.at/record/425
DOI: 10.1145/3078632
WoS: 000425685900006
arXiv: 1402.0815

Establishment in a new habitat by polygenic adaptation
N.H. Barton, A. Etheridge, Theoretical Population Biology 122 (2018) 110–127.
LibreCat: https://research-explorer.ista.ac.at/record/564
DOI: 10.1016/j.tpb.2017.11.007
WoS: 000440392900014

Evolution of cooperation in stochastic games
C. Hilbe, S. Simsa, K. Chatterjee, M. Nowak, Nature 559 (2018) 246–249.
LibreCat: https://research-explorer.ista.ac.at/record/157
DOI: 10.1038/s41586-018-0277-x
WoS: 000438240900054

Evolutionary interplay between symbiotic relationships and patterns of signal peptide gain and loss
P. Hönigschmid, N. Bykova, R. Schneider, D. Ivankov, D. Frishman, Genome Biology and Evolution 10 (2018) 928–938.
LibreCat: https://research-explorer.ista.ac.at/record/384
DOI: 10.1093/gbe/evy049
WoS: 000429483700022

Estimating barriers to gene flow from distorted isolation-by-distance patterns
H. Ringbauer, A. Kolesnikov, D. Field, N.H. Barton, Genetics 208 (2018) 1231–1245.
LibreCat: https://research-explorer.ista.ac.at/record/563
DOI: 10.1534/genetics.117.300638
WoS: 000426219600025

Extended narrow band FLIP for liquid simulations
T. Sato, C. Wojtan, N. Thuerey, T. Igarashi, R. Ando, Computer Graphics Forum 37 (2018) 169–177.
LibreCat: https://research-explorer.ista.ac.at/record/135
DOI: 10.1111/cgf.13351
WoS: 000434085600016

Evolutionary pathways for the generation of new self-incompatibility haplotypes in a non-self recognition system
K. Bodova, T. Priklopil, D. Field, N.H. Barton, M. Pickup, Genetics 209 (2018) 861–883.
LibreCat: https://research-explorer.ista.ac.at/record/316
DOI: 10.1534/genetics.118.300748
WoS: 000437171700017

Expansions of key protein families in the German cockroach highlight the molecular basis of its remarkable success as a global indoor pest
M. Harrison, N. Arning, L. Kremer, G. Ylla, X. Belles, E. Bornberg Bauer, A.K. Huylmans, E. Jongepier, M. Puilachs, S. Richards, C. Schal, Journal of Experimental Zoology Part B: Molecular and Developmental Evolution 330 (2018) 254–264.
LibreCat: https://research-explorer.ista.ac.at/record/190
DOI: 10.1002/jez.b.22824
WoS: 000443231000002
PMID: 29998472

Existence of positive solutions to stochastic thin-film equations
J.L. Fischer, G. Grün, SIAM Journal on Mathematical Analysis 50 (2018) 411–455.
LibreCat: https://research-explorer.ista.ac.at/record/404
DOI: 10.1137/16M1098796
WoS: 000426630900015