Ret and Et promote directed movements of progenitor cells during renal branching morphogenesis
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, F. Costantini, PLoS Biology 14 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1488
DOI: 10.1371/journal.pbio.1002382

Local spectral statistics of Gaussian matrices with correlated entries
O.H. Ajanki, L. Erdös, T.H. Krüger, Journal of Statistical Physics 163 (2016) 280–302.
LibreCat: https://research-explorer.ista.ac.at/record/1489
DOI: 10.1007/s10955-016-1479-y

Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels
E. Russo, A. Teijeira, K. Vaahtomeri, A. Willrodt, J. Bloch, M. Nitschké, L. Santambrogio, D. Kerjaschki, M.K. Sixt, C. Halin, Cell Reports 14 (2016) 1723–1734.
LibreCat: https://research-explorer.ista.ac.at/record/1490
DOI: 10.1016/j.celrep.2016.01.048

A new method and a new scaling for deriving fermionic mean-field dynamics
S.P. Petrat, P. Pickl, Mathematical Physics, Analysis and Geometry 19 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1493
DOI: 10.1007/s11040-016-9204-2

Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation
P. Marhavý, J.C. Montesinos López, A. Abuzeineh, D. Van Damme, J. Vermeer, J. Duclercq, H. Rakusova, P. Marhavá, J. Friml, N. Geldner, E. Benková, Genes and Development 30 (2016) 471–483.
LibreCat: https://research-explorer.ista.ac.at/record/1492
DOI: 10.1101/gad.276964.115
PMID:     26883363

Relativistic evaluation of the two-photon decay of the metastable 1 state in berylliumlike ions with an effective-potential model
P. Amaro, F. Fratini, L. Safari, J. Machado, M. Guerra, P. Indelicato, J. Santos, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1496
DOI: 10.1103/PhysRevA.93.032502

The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases
M. Lewin, P. Nam, N. Rougerie, Transactions of the American Mathematical Society 368 (2016) 6131–6157.
LibreCat: https://research-explorer.ista.ac.at/record/1491
DOI: 10.1090/tran/6537

On computability and triviality of well groups
P. Franek, M. Krcál, Discrete &; Computational Geometry 56 (2016) 126–164.
LibreCat: https://research-explorer.ista.ac.at/record/1408
DOI: 10.1007/s00454-016-9794-2

Efficient strategies for calculating blockwise likelihoods under the coalescent
K. Lohse, M. Chmelik, S. Martin, N.H. Barton, Genetics 202 (2016) 775–786.
LibreCat: https://research-explorer.ista.ac.at/record/1518
DOI: 10.1534/genetics.115.183814
PMID: 26715666

Efficient reduction of kappa models by static inspection of the rule-set
A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.
LibreCat: https://research-explorer.ista.ac.at/record/1524
DOI: 10.1007/978-3-319-26916-0_10

The classification of certain linked 3-manifolds in 6-space
S. Avvakumov, Moscow Mathematical Journal 16 (2016) 1–25.
LibreCat: https://research-explorer.ista.ac.at/record/1522
DOI: 10.17323/1609-4514-2016-16-1-1-25
arXiv: 1408.3918

On topological minors in random simplicial complexes
A. Gundert, U. Wagner, Proceedings of the American Mathematical Society 144 (2016) 1815–1828.
LibreCat: https://research-explorer.ista.ac.at/record/1523
DOI: 10.1090/proc/12824

Lipschitz robustness of timed I/O systems
T.A. Henzinger, J. Otop, R. Samanta, in:, Springer, 2016, pp. 250–267.
LibreCat: https://research-explorer.ista.ac.at/record/1526
DOI: 10.1007/978-3-662-49122-5_12

Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations
P. Nam, M.M. Napiórkowski, J. Solovej, Journal of Functional Analysis 270 (2016) 4340–4368.
LibreCat: https://research-explorer.ista.ac.at/record/1545
DOI: 10.1016/j.jfa.2015.12.007

The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa
Q. Qi, M. Toll Riera, K. Heilbron, G. Preston, R.C. Maclean, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1552
DOI: 10.1098/rspb.2015.2452

The classification of endoscopy images with persistent homology
O. Dunaeva, H. Edelsbrunner, A. Lukyanov, M. Machin, D. Malkova, R. Kuvaev, S. Kashin, Pattern Recognition Letters 83 (2016) 13–22.
LibreCat: https://research-explorer.ista.ac.at/record/1289
DOI: 10.1016/j.patrec.2015.12.012

Hanani-Tutte for radial planarity II
R. Fulek, M. Pelsmajer, M. Schaefer, in:, Springer, 2016, pp. 468–481.
LibreCat: https://research-explorer.ista.ac.at/record/1164
DOI: 10.1007/978-3-319-50106-2_36
arXiv: 1608.08662

Polysialylation controls dendritic cell trafficking by regulating chemokine recognition
E. Kiermaier, C. Moussion, C. Veldkamp, R. Gerardy  Schahn, I. de Vries, L. Williams, G. Chaffee, A. Phillips, F. Freiberger, R. Imre, D. Taleski, R. Payne, A. Braun, R. Förster, K. Mechtler, M. Mühlenhoff, B. Volkman, M.K. Sixt, Science 351 (2016) 186–190.
LibreCat: https://research-explorer.ista.ac.at/record/1599
DOI: 10.1126/science.aad0512
PMID: 26657283

Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel
C. Sadel, Annales Henri Poincare 17 (2016) 1631–1675.
LibreCat: https://research-explorer.ista.ac.at/record/1608
DOI: 10.1007/s00023-015-0456-3

CSP for binary conservative relational structures
A. Kazda, Algebra Universalis 75 (2016) 75–84.
LibreCat: https://research-explorer.ista.ac.at/record/1612
DOI: 10.1007/s00012-015-0358-8

On the discrepancy of jittered sampling
F. Pausinger, S. Steinerberger, Journal of Complexity 33 (2016) 199–216.
LibreCat: https://research-explorer.ista.ac.at/record/1617
DOI: 10.1016/j.jco.2015.11.003

The external field dependence of the BCS critical temperature
R. Frank, C. Hainzl, R. Seiringer, J. Solovej, Communications in Mathematical Physics 342 (2016) 189–216.
LibreCat: https://research-explorer.ista.ac.at/record/1620
DOI: 10.1007/s00220-015-2526-2

Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems
D. Lundholm, P. Nam, F. Portmann, Archive for Rational Mechanics and Analysis 219 (2016) 1343–1382.
LibreCat: https://research-explorer.ista.ac.at/record/1622
DOI: 10.1007/s00205-015-0923-5

Spread of pedigree versus genetic ancestry in spatially distributed populations
J. Kelleher, A. Etheridge, A. Véber, N.H. Barton, Theoretical Population Biology 108 (2016) 1–12.
LibreCat: https://research-explorer.ista.ac.at/record/1631
DOI: 10.1016/j.tpb.2015.10.008

A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana
R. Zemová, M. Zwiewka, A. Bielach, H. Robert, J. Friml, Journal of Plant Growth Regulation 35 (2016) 465–476.
LibreCat: https://research-explorer.ista.ac.at/record/1641
DOI: 10.1007/s00344-015-9553-2

Practical round-optimal blind signatures in the standard model from weaker assumptions
G. Fuchsbauer, C. Hanser, C. Kamath Hosdurg, D. Slamanig, in:, Springer, 2016, pp. 391–408.
LibreCat: https://research-explorer.ista.ac.at/record/1225
DOI: 10.1007/978-3-319-44618-9_21

New realizations of somewhere statistically binding hashing and positional accumulators
T. Okamoto, K.Z. Pietrzak, B. Waters, D. Wichs, in:, Springer, 2016, pp. 121–145.
LibreCat: https://research-explorer.ista.ac.at/record/1653
DOI: 10.1007/978-3-662-48797-6_6

Guided search for hybrid systems based on coarse-grained space abstractions
S. Bogomolov, A. Donzé, G. Frehse, R. Grosu, T. Johnson, H. Ladan, A. Podelski, M. Wehrle, International Journal on Software Tools for Technology Transfer 18 (2016) 449–467.
LibreCat: https://research-explorer.ista.ac.at/record/1705
DOI: 10.1007/s10009-015-0393-y

On the closure of relational models
A. Klimova, T. Rudas, Journal of Multivariate Analysis 143 (2016) 440–452.
LibreCat: https://research-explorer.ista.ac.at/record/1833
DOI: 10.1016/j.jmva.2015.10.005

Extremal eigenvalues and eigenvectors of deformed Wigner matrices
J. Lee, K. Schnelli, Probability Theory and Related Fields 164 (2016) 165–241.
LibreCat: https://research-explorer.ista.ac.at/record/1881
DOI: 10.1007/s00440-014-0610-8

Untangling two systems of noncrossing curves
J. Matousek, E. Sedgwick, M. Tancer, U. Wagner, Israel Journal of Mathematics 212 (2016) 37–79.
LibreCat: https://research-explorer.ista.ac.at/record/1411
DOI: 10.1007/s11856-016-1294-9

A counterexample to the chain rule for conditional HILL entropy
S. Krenn, K.Z. Pietrzak, A. Wadia, D. Wichs, Computational Complexity 25 (2016) 567–605.
LibreCat: https://research-explorer.ista.ac.at/record/1479
DOI: 10.1007/s00037-015-0120-9

The complexity of deciding legality of a single step of magic: The gathering
K. Chatterjee, R. Ibsen-Jensen, in:, IOS Press, 2016, pp. 1432–1439.
LibreCat: https://research-explorer.ista.ac.at/record/478
DOI: 10.3233/978-1-61499-672-9-1432

Perfect-information stochastic games with generalized mean-payoff objectives
K. Chatterjee, L. Doyen, in:, IEEE, 2016, pp. 247–256.
LibreCat: https://research-explorer.ista.ac.at/record/480
DOI: 10.1145/2933575.2934513

Finding non-orientable surfaces in 3-manifolds
B. Burton, A.N. de Mesmay, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 24.1-24.15.
LibreCat: https://research-explorer.ista.ac.at/record/1379
DOI: 10.4230/LIPIcs.SoCG.2016.24

What is decidable about partially observable Markov decision processes with <9-regular objectives
K. Chatterjee, M. Chmelik, M. Tracol, Journal of Computer and System Sciences 82 (2016) 878–911.
LibreCat: https://research-explorer.ista.ac.at/record/1477
DOI: 10.1016/j.jcss.2016.02.009
arXiv: 1309.2802

Optimal cost almost-sure reachability in POMDPs
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, Artificial Intelligence 234 (2016) 26–48.
LibreCat: https://research-explorer.ista.ac.at/record/1529
DOI: 10.1016/j.artint.2016.01.007
arXiv: 1411.3880

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Quantitative Interprocedural Analysis, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5445
DOI: 10.15479/AT:IST-2016-523-v1-1

Amplification on undirected population structures: Comets beat stars
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Amplification on Undirected Population Structures: Comets Beat Stars, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5449
DOI: 10.15479/AT:IST-2016-648-v1-1

Termination and worst-case analysis of recursive programs
1 Anonymous, 2 Anonymous, 3 Anonymous, Termination and Worst-Case Analysis of Recursive Programs, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5446

Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds
1 Anonymous, 2 Anonymous, 3 Anonymous, Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5447

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5453
DOI: 10.15479/AT:IST-2017-749-v3-1

Strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Strong Amplifiers of Natural Selection, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5451
DOI: 10.15479/AT:IST-2016-728-v1-1

Data-centric dynamic partial order reduction
1 Anonymous, 2 Anonymous, 3 Anonymous, 4 Anonymous, Data-Centric Dynamic Partial Order Reduction, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5448
arXiv: 1610.01188

Self-organized control of an tendon driven arm by differential extrinsic plasticity
G.S. Martius, R. Hostettler, A. Knoll, R. Der, in:, Proceedings of the Artificial Life Conference 2016, MIT Press, 2016, pp. 142–143.
LibreCat: https://research-explorer.ista.ac.at/record/8094
DOI: 10.7551/978-0-262-33936-0-ch029

Error-robust modes of the retinal population code
J. Prentice, O. Marre, M. Ioffe, A. Loback, G. Tkadik, M. Berry, PLoS Computational Biology 12 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1197
DOI: 10.1371/journal.pcbi.1005148

Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/9720
DOI: 10.5061/dryad.4b565

Shedding light on the grey zone of speciation along a continuum of genomic divergence
C. Roux, C. Fraisse, J. Romiguier, Y. Anciaux, N. Galtier, N. Bierne, PLoS Biology 14 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1158
DOI: 10.1371/journal.pbio.2000234

Beyond the hypercube evolutionary accessibility of fitness landscapes with realistic mutational networks
M.P. Zagórski, Z. Burda, B. Wacaw, PLoS Computational Biology 12 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1167
DOI: 10.1371/journal.pcbi.1005218

Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1262
DOI: 10.1098/rspb.2016.0811

Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/9704
DOI: 10.5061/dryad.cq7t1

Asymmetric power boosts extortion in an economic experiment
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1322
DOI: 10.1371/journal.pone.0163867

Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information
P. Hillenbrand, U. Gerland, G. Tkadik, PLoS One 11 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1270
DOI: 10.1371/journal.pone.0163628

Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1250
DOI: 10.1371/journal.pgen.1005974

High performance computing at IST Austria: Modelling the human hippocampus
A. Schlögl, S. Stadlbauer, in:, AHP - Austrian HPC Meeting 2016, VSC - Vienna Scientific Cluster, 2016, p. 37.
LibreCat: https://research-explorer.ista.ac.at/record/12903

Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, in:, Springer, 2016, pp. 153–166.
LibreCat: https://research-explorer.ista.ac.at/record/1341
DOI: 10.1007/978-3-662-53354-3_13

Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2016) 770–782.
LibreCat: https://research-explorer.ista.ac.at/record/5749
DOI: 10.1093/molbev/msv270
PMID: 26609077

Selective barriers to horizontal gene transfer
H. Acar, Selective Barriers to Horizontal Gene Transfer, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1121

Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
LibreCat: https://research-explorer.ista.ac.at/record/1662
DOI: 10.1016/j.aim.2015.10.004

Studying the complexities of transcriptional regulation
G. Rieckh, Studying the Complexities of Transcriptional Regulation, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1128

Optical functionalization of human class A orphan G-protein coupled receptors
M. Morri, Optical Functionalization of Human Class A Orphan G-Protein Coupled Receptors, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1124

Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1129

Theoretical foundations of multi-task lifelong learning
A. Pentina, Theoretical Foundations of Multi-Task Lifelong Learning, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture
I. Mabillard, Eliminating Higher-Multiplicity Intersections: An r-Fold Whitney Trick for the Topological Tverberg Conjecture, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1123

Symmetric spike timing-dependent plasticity at C–C synapses optimizes storage and recall in autoassociative networks
R.K. Mishra, S. Kim, J. Guzmán, P.M. Jonas, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1432
DOI: 10.1038/ncomms11552

Synaptic plasticity rules at C-C recurrent synapses in hippocampus
R.K. Mishra, Synaptic Plasticity Rules at C-C Recurrent Synapses in Hippocampus, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1396

Evolutionary proccesses in variable emvironments
S. Novak, Evolutionary Proccesses in Variable Emvironments, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1125

Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

Linear distances between Markov chains
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1093
DOI: 10.4230/LIPIcs.CONCUR.2016.20

Faster statistical model checking for unbounded temporal properties
P. Daca, T.A. Henzinger, J. Kretinsky, T. Petrov, in:, Springer, 2016, pp. 112–129.
LibreCat: https://research-explorer.ista.ac.at/record/1234
DOI: 10.1007/978-3-662-49674-9_7

Abstraction-driven concolic testing
P. Daca, A. Gupta, T.A. Henzinger, in:, Springer, 2016, pp. 328–347.
LibreCat: https://research-explorer.ista.ac.at/record/1230
DOI: 10.1007/978-3-662-49122-5_16

Array folds logic
P. Daca, T.A. Henzinger, A. Kupriyanov, in:, Springer, 2016, pp. 230–248.
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13

Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1071
DOI: 10.4230/LIPIcs.ESA.2016.28

Fast approximations for boundary element based brittle fracture simulation
D. Hahn, C. Wojtan, in:, ACM, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1362
DOI: 10.1145/2897824.2925902

Offline witness encryption
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 285–303.
LibreCat: https://research-explorer.ista.ac.at/record/1229
DOI: 10.1007/978-3-319-39555-5_16

Constrained PRFs for unbounded inputs
H.M. Abusalah, G. Fuchsbauer, K.Z. Pietrzak, in:, Springer, 2016, pp. 413–428.
LibreCat: https://research-explorer.ista.ac.at/record/1236
DOI: 10.1007/978-3-319-29485-8_24

Constrained PRFs for unbounded inputs with short keys
H.M. Abusalah, G. Fuchsbauer, in:, Springer, 2016, pp. 445–463.
LibreCat: https://research-explorer.ista.ac.at/record/1235
DOI: 10.1007/978-3-319-39555-5_24

A phytochrome sensory domain permits receptor activation by red light
E. Gschaider-Reichhart, Á. Inglés Prieto, A.-M. Tichy, C. Mckenzie, H.L. Janovjak, Angewandte Chemie - International Edition 55 (2016) 6339–6342.
LibreCat: https://research-explorer.ista.ac.at/record/1441
DOI: 10.1002/anie.201601736

Intrinsic limits to gene regulation by global crosstalk
T. Friedlander, R. Prizak, C.C. Guet, N.H. Barton, G. Tkadik, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1358
DOI: 10.1038/ncomms12307

Mitochondrial uncouplers inhibit clathrin-mediated endocytosis largely through cytoplasmic acidification
W. Dejonghe, S. Kuenen, E. Mylle, M.K. Vasileva, O. Keech, C. Viotti, J. Swerts, M. Fendrych, F. Ortiz Morea, K. Mishev, S. Delang, S. Scholl, X. Zarza, M. Heilmann, J. Kourelis, J. Kasprowicz, L. Nguyen, A. Drozdzecki, I. Van Houtte, A. Szatmári, M. Majda, G. Baisa, S. Bednarek, S. Robert, D. Audenaert, C. Testerink, T. Munnik, D. Van Damme, I. Heilmann, K. Schumacher, J. Winne, J. Friml, P. Verstreken, E. Russinova, Nature Communications 7 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1346
DOI: 10.1038/ncomms11710

Heavy-hole states in germanium hut wires
H. Watzinger, C. Kloeffel, L. Vukusi, M. Rossell, V. Sessi, J. Kukucka, R. Kirchschlager, E. Lausecker, A. Truhlar, M. Glaser, A. Rastelli, A. Fuhrer, D. Loss, G. Katsaros, Nano Letters 16 (2016) 6879–6885.
LibreCat: https://research-explorer.ista.ac.at/record/1328
DOI: 10.1021/acs.nanolett.6b02715

Safety assured formal model driven design of the multifunction vehicle bus controller
Y. Jiang, H. Liu, H. Song, H. Kong, M. Gu, J. Sun, L. Sha, in:, Springer, 2016, pp. 757–763.
LibreCat: https://research-explorer.ista.ac.at/record/1205
DOI: 10.1007/978-3-319-48989-6_47

Commutativity in the algorithmic Lovasz local lemma
V. Kolmogorov, in:, Proceedings - Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1193
DOI: 10.1109/FOCS.2016.88
arXiv: 1506.08547

Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
LibreCat: https://research-explorer.ista.ac.at/record/1438
DOI: 10.1145/2837614.2837639
arXiv: 1510.08517

Data from: How does epistasis influence the response to selection?
N.H. Barton, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/9710
DOI: 10.5061/dryad.s5s7r

Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the =54 phage family
R.A. Fernandes Redondo, H. de Vladar, T. Wodarski, J.P. Bollback, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/9864
DOI: 10.6084/m9.figshare.4315652.v1

C-planarity of embedded cyclic c-graphs
R. Fulek, in:, Springer, 2016, pp. 94–106.
LibreCat: https://research-explorer.ista.ac.at/record/1165
DOI: 10.1007/978-3-319-50106-2_8

On expansion and topological overlap
D. Dotterrer, T. Kaufman, U. Wagner, in:, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016, p. 35.1-35.10.
LibreCat: https://research-explorer.ista.ac.at/record/1378
DOI: 10.4230/LIPIcs.SoCG.2016.35

Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats
J. Kowalski, J. Gan, P.M. Jonas, A. Pernia-Andrade, Hippocampus 26 (2016) 668–682.
LibreCat: https://research-explorer.ista.ac.at/record/1616
DOI: 10.1002/hipo.22550

Inference algorithms for pattern-based CRFs on sequence data
V. Kolmogorov, R. Takhanov, Algorithmica 76 (2016) 17–46.
LibreCat: https://research-explorer.ista.ac.at/record/1794
DOI: 10.1007/s00453-015-0017-7
arXiv: 1210.0508

The CLE gene family in Populus trichocarpa
Z. Liu, N. Yang, Y. Lv, L. Pan, S. Lv, H. Han, G. Wang, Plant Signaling &; Behavior 11 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/510
DOI: 10.1080/15592324.2016.1191734

Efficient microwave to optical photon conversion: An electro-optical realization
A. Rueda, F. Sedlmeir, M. Collodo, U. Vogl, B. Stiller, G. Schunk, D. Strekalov, C. Marquardt, J.M. Fink, O. Painter, G. Leuchs, H. Schwefel, Optica 3 (2016) 597–604.
LibreCat: https://research-explorer.ista.ac.at/record/1263
DOI: 10.1364/OPTICA.3.000597

Modes and exceptional points in waveguides with impedance boundary conditions
B. Midya, V. Konotop, Optics Letters 41 (2016) 4621–4624.
LibreCat: https://research-explorer.ista.ac.at/record/1287
DOI: 10.1364/OL.41.004621

Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis
E. Mazur, E. Benková, J. Friml, Scientific Reports 6 (2016).
LibreCat: https://research-explorer.ista.ac.at/record/1274
DOI: 10.1038/srep33754
PMID: 27649687

How MicroRNAs Are involved in splitting the mind
L. Tsai, S. Siegert, JAMA Psychiatry 73 (2016) 409–410.
LibreCat: https://research-explorer.ista.ac.at/record/1253
DOI: 10.1001/jamapsychiatry.2015.3144
PMID: 26963490

Arbitrarily strong amplifiers of natural selection
A. Pavlogiannis, J. Tkadlec, K. Chatterjee, M. Nowak, Arbitrarily Strong Amplifiers of Natural Selection, IST Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/5452
DOI: 10.15479/AT:IST-2017-728-v2-1

Flower colour data and phylogeny (NEXUS) files
T. Ellis, D. Field, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/5550
DOI: 10.15479/AT:ISTA:34

Fiji script to determine average speed and direction of migration of cells
R. Hauschild, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/5555
DOI: 10.15479/AT:ISTA:44

Synthetic discrete tomography problems
P. Swoboda, (2016).
LibreCat: https://research-explorer.ista.ac.at/record/5557
DOI: 10.15479/AT:ISTA:46

Tracking, correcting and absorbing water surface waves
M. Bojsen-Hansen, Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1122
DOI: 10.15479/AT:ISTA:th_640