An exploration of the universe of polyglutamine structures
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, PLoS Computational Biology 11 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1566
DOI: 10.1371/journal.pcbi.1004541

Other fitness models for comparison & for interacting TFBSs
M. Tugrul, T. Paixao, N.H. Barton, G. Tkadik, (2015).
LibreCat: https://research-explorer.ista.ac.at/record/9712
DOI: 10.1371/journal.pgen.1005639.s001

An exploration of the universe of polyglutamine structures - submission to PLOS journals
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, (2015).
LibreCat: https://research-explorer.ista.ac.at/record/9714
DOI: 10.1371/journal.pcbi.1004541.s001

Mathematical inference of the results
B. Trubenova, S. Novak, R. Hager, (2015).
LibreCat: https://research-explorer.ista.ac.at/record/9715
DOI: 10.1371/journal.pone.0126907.s001

Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1993
DOI: 10.1098/rspb.2014.1976
PMID: 25473011

Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant
C. Westhus, L.V. Ugelvig, E. Tourdot, J. Heinze, C. Doums, S. Cremer, (2015).
LibreCat: https://research-explorer.ista.ac.at/record/9742
DOI: 10.5061/dryad.7kc79

Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
LibreCat: https://research-explorer.ista.ac.at/record/9765
DOI: 10.1371/journal.pbio.1002299.s008

Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites
C. Veldkamp, E. Kiermaier, S. Gabel Eissens, M. Gillitzer, D. Lippner, F. Disilvio, C. Mueller, P. Wantuch, G. Chaffee, M. Famiglietti, D. Zgoba, A. Bailey, Y. Bah, S. Engebretson, D. Graupner, E. Lackner, V. Larosa, T. Medeiros, M. Olson, A. Phillips, H. Pyles, A. Richard, S. Schoeller, B. Touzeau, L. Williams, M.K. Sixt, F. Peterson, Biochemistry 54 (2015) 4163–4166.
LibreCat: https://research-explorer.ista.ac.at/record/1618
DOI: 10.1021/acs.biochem.5b00560
PMID: 26115234

Quantifying self-organizing behavior of autonomous robots
G.S. Martius, E. Olbrich, in:, Proceedings of the 13th European Conference on Artificial Life, MIT Press, 2015, p. 78.
LibreCat: https://research-explorer.ista.ac.at/record/12881
DOI: 10.7551/978-0-262-33027-5-ch018

The chromatin remodeler SPLAYED negatively regulates SN-mediated immunity
K.C.M. Johnson, S. Xia, X. Feng, X. Li, Plant and Cell Physiology 56 (2015) 1616–1623.
LibreCat: https://research-explorer.ista.ac.at/record/12196
DOI: 10.1093/pcp/pcv087
PMID: 26063389

Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).
LibreCat: https://research-explorer.ista.ac.at/record/9719
DOI: 10.5061/dryad.cj910

Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

Biological auctions with multiple rewards
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, K. Chatterjee, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1709
DOI: 10.1098/rspb.2015.1041
PMID: 26180069

The subclonal evolution of cancer
J. Reiter, The Subclonal Evolution of Cancer, Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1400

A Koksma-Hlawka inequality for general discrepancy systems
F. Pausinger, A. Svane, Journal of Complexity 31 (2015) 773–797.
LibreCat: https://research-explorer.ista.ac.at/record/1792
DOI: 10.1016/j.jco.2015.06.002

On the approximation of intrinsic volumes
F. Pausinger, On the Approximation of Intrinsic Volumes, Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1399

Dynamics of transcription factor binding site evolution
M. Tugrul, T. Paixao, N.H. Barton, G. Tkadik, PLoS Genetics 11 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1666
DOI: 10.1371/journal.pgen.1005639

Complete composition operators for IOCO-testing theory
N. Benes, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
LibreCat: https://research-explorer.ista.ac.at/record/1502
DOI: 10.1145/2737166.2737175

CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
LibreCat: https://research-explorer.ista.ac.at/record/1501
DOI: 10.1007/s10703-015-0235-2

Faster algorithms for algebraic path properties in recursive state machines with constant treewidth
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, P. Goyal, ACM SIGPLAN Notices 50 (2015) 97–109.
LibreCat: https://research-explorer.ista.ac.at/record/1602
DOI: 10.1145/2676726.2676979
arXiv: 1410.7724

Quantitative interprocedural analysis
K. Chatterjee, A. Pavlogiannis, Y. Velner, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT  50 (2015) 539–551.
LibreCat: https://research-explorer.ista.ac.at/record/1604
DOI: 10.1145/2676726.2676968

Faster algorithms for quantitative verification in constant treewidth graphs
K. Chatterjee, R. Ibsen-Jensen, A. Pavlogiannis, in:, Springer, 2015, pp. 140–157.
LibreCat: https://research-explorer.ista.ac.at/record/1607
DOI: 10.1007/978-3-319-21690-4_9

A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks
K. Chatterjee, A. Pavlogiannis, A. Kößler, U. Schmid, in:, Real-Time Systems Symposium, IEEE, 2015, pp. 118–127.
LibreCat: https://research-explorer.ista.ac.at/record/1714
DOI: 10.1109/RTSS.2014.9

High-resolution brittle fracture simulation with boundary elements
D. Hahn, C. Wojtan, in:, ACM, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1633
DOI: 10.1145/2766896

Cortical contractility triggers a stochastic switch to fast amoeboid cell motility
V. Ruprecht, S. Wieser, A. Callan Jones, M. Smutny, H. Morita, K. Sako, V. Barone, M. Ritsch Marte, M.K. Sixt, R. Voituriez, C.-P.J. Heisenberg, Cell 160 (2015) 673–685.
LibreCat: https://research-explorer.ista.ac.at/record/1537
DOI: 10.1016/j.cell.2015.01.008

PIN-dependent auxin transport: Action, regulation, and evolution
M. Adamowski, J. Friml, Plant Cell 27 (2015) 20–32.
LibreCat: https://research-explorer.ista.ac.at/record/1591
DOI: 10.1105/tpc.114.134874
PMID: 25604445

The local semicircle law for random matrices with a fourfold symmetry
J. Alt, Journal of Mathematical Physics 56 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1677
DOI: 10.1063/1.4932606

Light-assisted small-molecule screening against protein kinases
Á. Inglés Prieto, E. Gschaider-Reichhart, M. Muellner, M. Nowak, S. Nijman, M. Grusch, H.L. Janovjak, Nature Chemical Biology 11 (2015) 952–954.
LibreCat: https://research-explorer.ista.ac.at/record/1678
DOI: 10.1038/nchembio.1933

Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkadik, Physical Review Letters 115 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1576
DOI: 10.1103/PhysRevLett.115.248101

Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
LibreCat: https://research-explorer.ista.ac.at/record/8183
arXiv: 1511.03501

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, R. Ibsen-Jensen, A.K. Goharshady, A. Pavlogiannis, Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components, IST Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/5441
DOI: 10.15479/AT:IST-2015-340-v1-1

Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cbrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
LibreCat: https://research-explorer.ista.ac.at/record/1689
DOI: 10.1145/2728606.2728608

From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
LibreCat: https://research-explorer.ista.ac.at/record/1729
DOI: 10.1007/978-3-319-21668-3_11

Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
LibreCat: https://research-explorer.ista.ac.at/record/1835
DOI: 10.1007/978-3-662-46681-0_47

Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, 00 Research  4 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1509
DOI: 10.12688/f1000research.7143.1

Evolution of decisions in population games with sequentially searching individuals
T. Priklopil, K. Chatterjee, Games 6 (2015) 413–437.
LibreCat: https://research-explorer.ista.ac.at/record/1681
DOI: 10.3390/g6040413

Quantifying emergent behavior of autonomous robots
G.S. Martius, E. Olbrich, Entropy 17 (2015) 7266–7297.
LibreCat: https://research-explorer.ista.ac.at/record/1655
DOI: 10.3390/e17107266

Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats
C. Chen, C. Wang, X. Zhao, T. Zhou, D. Xu, Z. Wang, Y. Wang, ASN Neuro 7 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1834
DOI: 10.1177/1759091415575845

Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models
M. Erbar, J. Maas, P. Tetali, Annales de La Faculté Des Sciences de Toulouse 24 (2015) 781–800.
LibreCat: https://research-explorer.ista.ac.at/record/1635
DOI: 10.5802/afst.1464
arXiv: 1409.8605

Counterexample explanation by learning small strategies in Markov decision processes
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, J. Kretinsky, in:, Springer, 2015, pp. 158–177.
LibreCat: https://research-explorer.ista.ac.at/record/1603
DOI: 10.1007/978-3-319-21690-4_10

Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 507–521.
LibreCat: https://research-explorer.ista.ac.at/record/1512
DOI: 10.4230/LIPIcs.SOCG.2015.507

Proofs of space
S. Dziembowski, S. Faust, V. Kolmogorov, K.Z. Pietrzak, in:, 35th Annual Cryptology Conference, Springer, 2015, pp. 585–605.
LibreCat: https://research-explorer.ista.ac.at/record/1675
DOI: 10.1007/978-3-662-48000-7_29

Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
LibreCat: https://research-explorer.ista.ac.at/record/1619
DOI: 10.1371/journal.pbio.1002299

Molecular and cellular mechanisms of development underlying congenital diseases
M. Hashimoto, H. Morita, N. Ueno, Congenital Anomalies 54 (2014) 1–7.
LibreCat: https://research-explorer.ista.ac.at/record/10815
DOI: 10.1111/cga.12039
PMID: 24666178

Auxin and Its Role in Plant Development
E. Zaeímalová, J. Petrásek, E. Benková, eds., Auxin and Its Role in Plant Development, 1st ed., Springer Nature, Vienna, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/10811
DOI: 10.1007/978-3-7091-1526-8

Parameterized model checking of token-passing systems
B. Aminof, S. Jacobs, A. Khalimov, S. Rubin, in:, Verification, Model Checking, and Abstract Interpretation, Springer Nature, 2014, pp. 262–281.
LibreCat: https://research-explorer.ista.ac.at/record/10884
DOI: 10.1007/978-3-642-54013-4_15
arXiv: 1311.4425

Toward the extraction of saddle periodic orbits
J. Kasten, J. Reininghaus, W. Reich, G. Scheuermann, in:, P.-T. Bremer, I. Hotz, V. Pascucci, R. Peikert (Eds.), Topological Methods in Data Analysis and Visualization III , Springer, Cham, 2014, pp. 55–69.
LibreCat: https://research-explorer.ista.ac.at/record/10893
DOI: 10.1007/978-3-319-04099-8_4

Approximating the minimum cycle mean
K. Chatterjee, M.H. Henzinger, S. Krinninger, V. Loitzenbauer, M. Raskin, Theoretical Computer Science 547 (2014) 104–116.
LibreCat: https://research-explorer.ista.ac.at/record/1375
DOI: 10.1016/j.tcs.2014.06.031
arXiv: 1307.4473

A logic-based framework for verifying consensus algorithms
C. Dragoi, T.A. Henzinger, H. Veith, J. Widder, D. Zufferey, in:, Springer, 2014, pp. 161–181.
LibreCat: https://research-explorer.ista.ac.at/record/1392
DOI: 10.1007/978-3-642-54013-4_10

Probabilistic programming
A. Gordon, T.A. Henzinger, A. Nori, S. Rajamani, in:, Proceedings of the on Future of Software Engineering, ACM, 2014, pp. 167–181.
LibreCat: https://research-explorer.ista.ac.at/record/1393
DOI: 10.1145/2593882.2593900

Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1404

On the BCS gap equation for superfluid fermionic gases
G. Bräunlich, C. Hainzl, R. Seiringer, in:, Proceedings of the QMat Conference, World Scientific Publishing, 2014, pp. 127–137.
LibreCat: https://research-explorer.ista.ac.at/record/1516
DOI: 10.1142/9789814618144_0007
arXiv: 1403.2563

Edit propagation using geometric relationship functions
P. Guerrero, S. Jeschke, M. Wimmer, P. Wonka, ACM Transactions on Graphics 33 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1629
DOI: 10.1145/2591010

Clustered planarity testing revisited
R. Fulek, J. Kyndl, I. Malinovi, D. Pálvölgyi, in:, International Symposium on Graph Drawing, Springer Nature, Cham, 2014, pp. 428–436.
LibreCat: https://research-explorer.ista.ac.at/record/10793
DOI: 10.1007/978-3-662-45803-7_36
arXiv: 1305.4519

Constrained Verifiable Random Functions 
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.
LibreCat: https://research-explorer.ista.ac.at/record/1643
DOI: 10.1007/978-3-319-10879-7_7

Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.
LibreCat: https://research-explorer.ista.ac.at/record/1702
DOI: 10.4204/EPTCS.169.5

Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.
LibreCat: https://research-explorer.ista.ac.at/record/1708

Auxin on the road navigated by cellular PIN polarity
P. Baster, J. Friml, in:, E. Zaeímalová, J. Petrásek, E. Benková (Eds.), Auxin and Its Role in Plant Development, Springer, 2014, pp. 143–170.
LibreCat: https://research-explorer.ista.ac.at/record/1806
DOI: 10.1007/978-3-7091-1526-8_8

Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.
LibreCat: https://research-explorer.ista.ac.at/record/1816
DOI: 10.1142/S0218195914500034

Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1821
DOI: 10.1063/1.4881536

Introduction
V. Jaksi, C. Pillet, R. Seiringer, Journal of Mathematical Physics 55 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1822
DOI: 10.1063/1.4884877

Movement templates for learning of hitting and batting
K. Muelling, O. Kroemer, C. Lampert, B. Schölkopf, in:, J. Kober, J. Peters (Eds.), Learning Motor Skills, Springer, 2014, pp. 69–82.
LibreCat: https://research-explorer.ista.ac.at/record/1829
DOI: 10.1007/978-3-319-03194-1_3

Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history
V. Risso, F. Manssour Triedo, A. Delgado Delgado, R. Arco, A. Barroso Deljesús, Á. Inglés Prieto, R. Godoy Ruiz, J. Gavira, E. Gaucher, B. Ibarra Molero, J. Sánchez Ruiz, Molecular Biology and Evolution 32 (2014) 440–455.
LibreCat: https://research-explorer.ista.ac.at/record/1844
DOI: 10.1093/molbev/msu312

On the geometric ramsey number of outerplanar graphs
J. Cibulka, P. Gao, M. Krcál, T. Valla, P. Valtr, Discrete &; Computational Geometry 53 (2014) 64–79.
LibreCat: https://research-explorer.ista.ac.at/record/1842
DOI: 10.1007/s00454-014-9646-x

Partial shape matching using transformation parameter similarity
P. Guerrero, T. Auzinger, M. Wimmer, S. Jeschke, Computer Graphics Forum 34 (2014) 239–252.
LibreCat: https://research-explorer.ista.ac.at/record/1854
DOI: 10.1111/cgf.12509

An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis
M. Sassi, O. Ali, F. Boudon, G. Cloarec, U. Abad, C. Cellier, X. Chen, B. Gilles, P. Milani, J. Friml, T. Vernoux, C. Godin, O. Hamant, J. Traas, Current Biology 24 (2014) 2335–2342.
LibreCat: https://research-explorer.ista.ac.at/record/1852
DOI: 10.1016/j.cub.2014.08.036

Game theoretic secure localization in wireless sensor networks
S. Jha, S. Tripakis, S. Seshia, K. Chatterjee, in:, IEEE, 2014, pp. 85–90.
LibreCat: https://research-explorer.ista.ac.at/record/1853
DOI: 10.1109/IOT.2014.7030120

Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules
X. Chen, L. Grandont, H. Li, R. Hauschild, S. Paque, A. Abuzeineh, H. Rakusova, E. Benková, C. Perrot Rechenmann, J. Friml, Nature 516 (2014) 90–93.
LibreCat: https://research-explorer.ista.ac.at/record/1862
DOI: 10.1038/nature13889
PMID: 25409144

Suraq - a controller synthesis tool using uninterpreted functions
G. Hofferek, A. Gupta, in:, E. Yahav (Ed.), HVC 2014, Springer, 2014, pp. 68–74.
LibreCat: https://research-explorer.ista.ac.at/record/1869
DOI: 10.1007/978-3-319-13338-6_6

Extensional crisis and proving identity
A. Gupta, L. Kovács, B. Kragl, A. Voronkov, in:, F. Cassez, J.-F. Raskin (Eds.), ATVA 2014, Springer, 2014, pp. 185–200.
LibreCat: https://research-explorer.ista.ac.at/record/1872
DOI: 10.1007/978-3-319-11936-6_14

Lipschitz robustness of finite-state transducers
T.A. Henzinger, J. Otop, R. Samanta, in:, Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–443.
LibreCat: https://research-explorer.ista.ac.at/record/1870
DOI: 10.4230/LIPIcs.FSTTCS.2014.431

Cost-aware automatic program repair
R. Samanta, O. Olivo, E. Allen, in:, M. Müller-Olm, H. Seidl (Eds.), Springer, 2014, pp. 268–284.
LibreCat: https://research-explorer.ista.ac.at/record/1875
DOI: 10.1007/978-3-319-10936-7_17

Functionals on triangulations of delaunay sets
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, O. Musin, Moscow Mathematical Journal 14 (2014) 491–504.
LibreCat: https://research-explorer.ista.ac.at/record/1876
DOI: 10.17323/1609-4514-2014-14-3-491-504
arXiv: 1211.7053

Physiology: Relax and come in
M.K. Sixt, K. Vaahtomeri, Nature 514 (2014) 441–442.
LibreCat: https://research-explorer.ista.ac.at/record/1877
DOI: 10.1038/514441a

Variance predicts salience in central sensory processing
A. Hermundstad, J. Briguglio, M. Conte, J. Victor, V. Balasubramanian, G. Tkadik, ELife (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1886
DOI: 10.7554/eLife.03722

Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection
C. Körner, V. Braunstein, M. Stangl, A. Schlögl, C. Neuper, A. Ischebeck, Psychophysiology 51 (2014) 385–395.
LibreCat: https://research-explorer.ista.ac.at/record/1890
DOI: 10.1111/psyp.12062

Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids
S. Ocana, P. Meidl, D. Bonfils, M. Taborsky, Proceedings of the Royal Society of London Series B Biological Sciences 281 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1892
DOI: 10.1098/rspb.2014.0253
PMID: 25232141

Theoretical tests of the mechanical protection strategy in protein nanomechanics
M. Chwastyk, A. Galera Prat, M.K. Sikora, À. Gómez Sicilia, M. Carrión Vázquez, M. Cieplak, Proteins: Structure, Function and Bioinformatics 82 (2014) 717–726.
LibreCat: https://research-explorer.ista.ac.at/record/1891
DOI: 10.1002/prot.24436

Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples
D. Landau, C. Stewart, J. Reiter, M. Lawrence, C. Sougnez, J. Brown, A. Lopez Guillermo, S. Gabriel, E. Lander, D. Neuberg, C. López Otín, E. Campo, G. Getz, C. Wu, Blood 124 (2014) 1952–1952.
LibreCat: https://research-explorer.ista.ac.at/record/1884

Translation-invariant quasi-free states for fermionic systems and the BCS approximation
G. Bräunlich, C. Hainzl, R. Seiringer, Reviews in Mathematical Physics 26 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1889
DOI: 10.1142/S0129055X14500123
arXiv: 1305.5135

Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA
A. Grabowska, E. Wywia, S. Dunin Horkawicz, A. asica, M. Wösten, A.A. Nagy-Staron, R. Godlewska, K. Bocian Ostrzycka, K. Piekowska, P. aniewski, J. Bujnicki, J. Van Putten, E. Jagusztyn Krynicka, PLoS One 9 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1894
DOI: 10.1371/journal.pone.0106247

Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice
M. Edamura, G. Murakami, H. Meng, M. Itakura, R. Shigemoto, A. Fukuda, D. Nakahara, PLoS One 9 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1895
DOI: 10.1371/journal.pone.0107099

SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis
P. Marhavá, S. Hirsch, E. Feraru, R. Tejos, R. Van Wijk, T. Viaene, M. Heilmann, J. Lerche, R. De Rycke, M. Feraru, P. Grones, M. Van Montagu, I. Heilmann, T. Munnik, J. Friml, PNAS 111 (2014) 2818–2823.
LibreCat: https://research-explorer.ista.ac.at/record/1893
DOI: 10.1073/pnas.1324264111

Mathematical model of alternative mechanism of telomere length maintenance
R. Kollár, K. Bodova, J. Nosek, d. Tomáska, Physical Review E Statistical Nonlinear and Soft Matter Physics 89 (2014).
LibreCat: https://research-explorer.ista.ac.at/record/1896
DOI: 10.1103/PhysRevE.89.032701

Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis
S. Naramoto, M. Otegui, N. Kutsuna, R. De Rycke, T. Dainobu, M. Karampelias, M. Fujimoto, E. Feraru, D. Miki, H. Fukuda, A. Nakano, J. Friml, Plant Cell 26 (2014) 3062–3076.
LibreCat: https://research-explorer.ista.ac.at/record/1897
DOI: 10.1105/tpc.114.125880

Pa-mInsc and G;1 i3 cooperate to promote oriented epidermal cell divisions through LGN
S. Williams, L. Ratliff, M.P. Postiglione, J. Knoblich, E. Fuchs, Nature Cell Biology 16 (2014) 758–769.
LibreCat: https://research-explorer.ista.ac.at/record/1899
DOI: 10.1038/ncb3001
PMID: 25016959

Ultrafast action potentials mediate kilohertz signaling at a central synapse
A. Ritzau Jost, I. Delvendahl, A. Rings, N. Byczkowicz, H. Harada, R. Shigemoto, J. Hirrlinger, J. Eilers, S. Hallermann, Neuron 84 (2014) 152–163.
LibreCat: https://research-explorer.ista.ac.at/record/1898
DOI: 10.1016/j.neuron.2014.08.036

Large-scale point-cloud visualization through localized textured surface reconstruction
M. Arikan, R. Preiner, C. Scheiblauer, S. Jeschke, M. Wimmer, IEEE Transactions on Visualization and Computer Graphics 20 (2014) 1280–1292.
LibreCat: https://research-explorer.ista.ac.at/record/1906
DOI: 10.1109/TVCG.2014.2312011

Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations
M. Tobler, M. Plath, R. Riesch, I. Schlupp, A.V. Grasse, G. Munimanda, C. Setzer, D. Penn, Y. Moodley, Journal of Evolutionary Biology 27 (2014) 960–974.
LibreCat: https://research-explorer.ista.ac.at/record/1905
DOI: 10.1111/jeb.12370
PMID: 24725091

Growth rates made easy
B. Hall, H. Acar, A. Nandipati, M. Barlow, Molecular Biology and Evolution 31 (2014) 232–238.
LibreCat: https://research-explorer.ista.ac.at/record/1902
DOI: 10.1093/molbev/mst187
PMID: 24170494

WO-IA feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis
H. Tian, K.T. Wabnik, T. Niu, H. Li, Q. Yu, S. Pollmann, S. Vanneste, W. Govaerts, J. Roldík, M. Geisler, J. Friml, Z. Ding, Molecular Plant 7 (2014) 277–289.
LibreCat: https://research-explorer.ista.ac.at/record/1901
DOI: 10.1093/mp/sst118

Strichartz inequality for orthonormal functions
R. Frank, M. Lewin, É. Lieb, R. Seiringer, Journal of the European Mathematical Society 16 (2014) 1507–1526.
LibreCat: https://research-explorer.ista.ac.at/record/1904
DOI: 10.4171/JEMS/467

Lateral junction dynamics lead the way out
M. Behrndt, C.-P.J. Heisenberg, Nature Cell Biology 16 (2014) 127–129.
LibreCat: https://research-explorer.ista.ac.at/record/1900
DOI: 10.1038/ncb2913

The fitness costs of adaptation via phenotypic plasticity and maternal effects
T. Ezard, R. Prizak, R. Hoyle, Functional Ecology 28 (2014) 693–701.
LibreCat: https://research-explorer.ista.ac.at/record/1909
DOI: 10.1111/1365-2435.12207

Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZE/2
S. Konradi, N. Yasmin, D. Haslwanter, M. Weber, B. Gesslbauer, M.K. Sixt, H. Strobl, European Journal of Immunology 44 (2014) 553–560.
LibreCat: https://research-explorer.ista.ac.at/record/1910
DOI: 10.1002/eji.201343681

Optimality of non-adaptive strategies: The case of parallel games
G. Demay, P. Gazi, U. Maurer, B. Tackmann, in:, IEEE International Symposium on Information Theory, IEEE, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1907
DOI: 10.1109/ISIT.2014.6875125

The rate of adaptation in large sexual populations with linear chromosomes
D. Weissman, O. Hallatschek, Genetics 196 (2014) 1167–1183.
LibreCat: https://research-explorer.ista.ac.at/record/1908
DOI: 10.1534/genetics.113.160705

Tverberg's Theorem and Graph Coloring
A. Engström, P. Noren, Discrete &; Computational Geometry 51 (2014) 207–220.
LibreCat: https://research-explorer.ista.ac.at/record/1911
DOI: 10.1007/s00454-013-9556-3

Exome sequencing links corticospinal motor neuron disease to common neurodegenerative disorders
G. Novarino, A. Fenstermaker, M. Zaki, M. Hofree, J. Silhavy, A. Heiberg, M. Abdellateef, B. Rosti, E. Scott, L. Mansour, A. Masri, H. Kayserili, J. Al Aama, G. Abdel Salam, A. Karminejad, M. Kara, B. Kara, B. Bozorgmehri, T. Ben Omran, F. Mojahedi, I. Mahmoud, N. Bouslam, A. Bouhouche, A. Benomar, S. Hanein, L. Raymond, S. Forlani, M. Mascaro, L. Selim, N. Shehata, N. Al Allawi, P. Bindu, M. Azam, M. Günel, A. Caglayan, K. Bilgüvar, A. Tolun, M. Issa, J. Schroth, E. Spencer, R. Rosti, N. Akizu, K. Vaux, A. Johansen, A. Koh, H. Megahed, A. Dürr, A. Brice, G. Stévanin, S. Gabriel, T. Ideker, J. Gleeson, Science 343 (2014) 506–511.
LibreCat: https://research-explorer.ista.ac.at/record/1916
DOI: 10.1126/science.1247363
PMID: 24482476

Cell surface AB-TMK auxin sensing complex activates ROP GTPase signaling
T. Xu, N. Dai, J. Chen, S. Nagawa, M. Cao, H. Li, Z. Zhou, X. Chen, R. De Rycke, H. Rakusová, W. Wang, A. Jones, J. Friml, S. Patterson, A. Bleecker, Z. Yang, Science 343 (2014) 1025–1028.
LibreCat: https://research-explorer.ista.ac.at/record/1917
DOI: 10.1126/science.1245125
PMID: 24578577