Friedlander T, Mayo AE, Tlusty T, Alon U. Evolutionary simulation code. 2015. doi:10.1371/journal.pcbi.1004055.s002

Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 2015;11(10). doi:10.1371/journal.pcbi.1004541

Tugrul M, Paixao T, Barton NH, Tkadik G. Other fitness models for comparison &; for interacting TFBSs. 2015. doi:10.1371/journal.pgen.1005639.s001

Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. An exploration of the universe of polyglutamine structures - submission to PLOS journals. 2015. doi:10.1371/journal.pcbi.1004541.s001

Trubenova B, Novak S, Hager R. Mathematical inference of the results. 2015. doi:10.1371/journal.pone.0126907.s001

Konrad M, Grasse AV, Tragust S, Cremer S. Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1799). doi:10.1098/rspb.2014.1976

Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant. 2015. doi:10.5061/dryad.7kc79

Chevereau G, Lukacisinova M, Batur T, et al. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs. 2015. doi:10.1371/journal.pbio.1002299.s008

Veldkamp C, Kiermaier E, Gabel Eissens S, et al. Solution structure of CCL19 and identification of overlapping CC and PSGL-1 binding sites. Biochemistry. 2015;54(27):4163-4166. doi:10.1021/acs.biochem.5b00560

Martius GS, Olbrich E. Quantifying self-organizing behavior of autonomous robots. In: Proceedings of the 13th European Conference on Artificial Life. MIT Press; 2015:78. doi:10.7551/978-0-262-33027-5-ch018

Wielgoss S, Bergmiller T, Bischofberger AM, Hall AR. Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria. 2015. doi:10.5061/dryad.cj910

Sharmanska V. Learning with attributes for object recognition: Parametric and non-parametrics views. 2015. doi:10.15479/at:ista:1401

Reiter J, Kanodia A, Gupta R, Nowak M, Chatterjee K. Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. 2015;282(1812). doi:10.1098/rspb.2015.1041

Reiter J. The subclonal evolution of cancer. 2015.

Pausinger F, Svane A. A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. 2015;31(6):773-797. doi:10.1016/j.jco.2015.06.002

Pausinger F. On the approximation of intrinsic volumes. 2015.

Tugrul M, Paixao T, Barton NH, Tkadik G. Dynamics of transcription factor binding site evolution. PLoS Genetics. 2015;11(11). doi:10.1371/journal.pgen.1005639

Benes N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:10.1145/2737166.2737175

Chatterjee K, Chmelik M, Daca P. CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design. 2015;47(2):230-264. doi:10.1007/s10703-015-0235-2

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A, Goyal P. Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices. 2015;50(1):97-109. doi:10.1145/2676726.2676979

Chatterjee K, Pavlogiannis A, Velner Y. Quantitative interprocedural analysis. Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . 2015;50(1):539-551. doi:10.1145/2676726.2676968

Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. Faster algorithms for quantitative verification in constant treewidth graphs. In: Vol 9206. Springer; 2015:140-157. doi:10.1007/978-3-319-21690-4_9

Chatterjee K, Pavlogiannis A, Kößler A, Schmid U. A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In: Real-Time Systems Symposium. Vol 2015. IEEE; 2015:118-127. doi:10.1109/RTSS.2014.9

Hahn D, Wojtan C. High-resolution brittle fracture simulation with boundary elements. In: Vol 34. ACM; 2015. doi:10.1145/2766896

Ruprecht V, Wieser S, Callan Jones A, et al. Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. 2015;160(4):673-685. doi:10.1016/j.cell.2015.01.008

Adamowski M, Friml J. PIN-dependent auxin transport: Action, regulation, and evolution. Plant Cell. 2015;27(1):20-32. doi:10.1105/tpc.114.134874

Alt J. The local semicircle law for random matrices with a fourfold symmetry. Journal of Mathematical Physics. 2015;56(10). doi:10.1063/1.4932606

Inglés Prieto Á, Gschaider-Reichhart E, Muellner M, et al. Light-assisted small-molecule screening against protein kinases. Nature Chemical Biology. 2015;11(12):952-954. doi:10.1038/nchembio.1933

Cepeda Humerez SA, Rieckh G, Tkadik G. Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters. 2015;115(24). doi:10.1103/PhysRevLett.115.248101

Avvakumov S, Mabillard I, Skopenkov A, Wagner U. Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.

Chatterjee K, Ibsen-Jensen R, Goharshady AK, Pavlogiannis A. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015. doi:10.15479/AT:IST-2015-340-v1-1

Anonymous 1, Anonymous 2, Anonymous 3, Anonymous 4. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria; 2015.

Svoreová M, Kretinsky J, Chmelik M, Chatterjee K, Cbrná I, Belta C. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control. ACM; 2015:259-268. doi:10.1145/2728606.2728608

Cerny P, Clarke E, Henzinger TA, et al. From non-preemptive to preemptive scheduling using synchronization synthesis. 2015;9207:180-197. doi:10.1007/978-3-319-21668-3_11

Giacobbe M, Guet CC, Gupta A, Henzinger TA, Paixao T, Petrov T. Model checking gene regulatory networks. 2015;9035:469-483. doi:10.1007/978-3-662-46681-0_47

Michalko J, Lukacisinova M, Bollenbach MT, Friml J. Embryo-lethal phenotypes in early ab mutants are due to disruption of the neighboring BSM gene. 00 Research . 2015;4. doi:10.12688/f1000research.7143.1

Priklopil T, Chatterjee K. Evolution of decisions in population games with sequentially searching individuals. Games. 2015;6(4):413-437. doi:10.3390/g6040413

Martius GS, Olbrich E. Quantifying emergent behavior of autonomous robots. Entropy. 2015;17(10):7266-7297. doi:10.3390/e17107266

Chen C, Wang C, Zhao X, et al. Low-dose sevoflurane promoteshippocampal neurogenesis and facilitates the development of dentate gyrus-dependent learning in neonatal rats. ASN Neuro. 2015;7(2). doi:10.1177/1759091415575845

Erbar M, Maas J, Tetali P. Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models. Annales de la faculté des sciences de Toulouse. 2015;24(4):781-800. doi:10.5802/afst.1464

Brázdil T, Chatterjee K, Chmelik M, Fellner A, Kretinsky J. Counterexample explanation by learning small strategies in Markov decision processes. In: Vol 9206. Springer; 2015:158-177. doi:10.1007/978-3-319-21690-4_10

Fellner A. Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. 2015. doi:10.15479/AT:ISTA:28

Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. Bounding Helly numbers via Betti numbers. In: Vol 34. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2015:507-521. doi:10.4230/LIPIcs.SOCG.2015.507

Dziembowski S, Faust S, Kolmogorov V, Pietrzak KZ. Proofs of space. In: 35th Annual Cryptology Conference. Vol 9216. Springer; 2015:585-605. doi:10.1007/978-3-662-48000-7_29

Chevereau G, Lukacisinova M, Batur T, et al. Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology. 2015;13(11). doi:10.1371/journal.pbio.1002299

Hashimoto M, Morita H, Ueno N. Molecular and cellular mechanisms of development underlying congenital diseases. Congenital Anomalies. 2014;54(1):1-7. doi:10.1111/cga.12039

Zaeímalová E, Petrásek J, Benková E, eds. Auxin and Its Role in Plant Development. 1st ed. Vienna: Springer Nature; 2014. doi:10.1007/978-3-7091-1526-8

Aminof B, Jacobs S, Khalimov A, Rubin S. Parameterized model checking of token-passing systems. In: Verification, Model Checking, and Abstract Interpretation. Vol 8318. Springer Nature; 2014:262-281. doi:10.1007/978-3-642-54013-4_15

Kasten J, Reininghaus J, Reich W, Scheuermann G. Toward the extraction of saddle periodic orbits. In: Bremer P-T, Hotz I, Pascucci V, Peikert R, eds. Topological Methods in Data Analysis and Visualization III . Vol 1. Mathematics and Visualization. Cham: Springer; 2014:55-69. doi:10.1007/978-3-319-04099-8_4

Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031

Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10

Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900

Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.

Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMat Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007

Guerrero P, Jeschke S, Wimmer M, Wonka P. Edit propagation using geometric relationship functions. ACM Transactions on Graphics. 2014;33(2). doi:10.1145/2591010

Fulek R, Kyndl J, Malinovi I, Pálvölgyi D. Clustered planarity testing revisited. In: International Symposium on Graph Drawing. Vol 8871. Cham: Springer Nature; 2014:428-436. doi:10.1007/978-3-662-45803-7_36

Fuchsbauer G. Constrained Verifiable Random Functions . In: Abdalla M, De Prisco R, eds. SCN 2014. Vol 8642. Springer; 2014:95-114. doi:10.1007/978-3-319-10879-7_7

Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5

Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking neural networks. In: Vol 3. Neural Information Processing Systems; 2014:2024-2032.

Baster P, Friml J. Auxin on the road navigated by cellular PIN polarity. In: Zaeímalová E, Petrásek J, Benková E, eds. Auxin and Its Role in Plant Development. Springer; 2014:143-170. doi:10.1007/978-3-7091-1526-8_8

Huber S, Held M, Meerwald P, Kwitt R. Topology-preserving watermarking of vector graphics. International Journal of Computational Geometry and Applications. 2014;24(1):61-86. doi:10.1142/S0218195914500034

Seiringer R. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 2014;55(7). doi:10.1063/1.4881536

Jaksi V, Pillet C, Seiringer R. Introduction. Journal of Mathematical Physics. 2014;55(7). doi:10.1063/1.4884877

Muelling K, Kroemer O, Lampert C, Schölkopf B. Movement templates for learning of hitting and batting. In: Kober J, Peters J, eds. Learning Motor Skills. Vol 97. From Algorithms to Robot Experiments. Springer; 2014:69-82. doi:10.1007/978-3-319-03194-1_3

Risso V, Manssour Triedo F, Delgado Delgado A, et al. Mutational studies on resurrected ancestral proteins reveal conservation of site-specific amino acid preferences throughout evolutionary history. Molecular Biology and Evolution. 2014;32(2):440-455. doi:10.1093/molbev/msu312

Cibulka J, Gao P, Krcál M, Valla T, Valtr P. On the geometric ramsey number of outerplanar graphs. Discrete &; Computational Geometry. 2014;53(1):64-79. doi:10.1007/s00454-014-9646-x

Guerrero P, Auzinger T, Wimmer M, Jeschke S. Partial shape matching using transformation parameter similarity. Computer Graphics Forum. 2014;34(1):239-252. doi:10.1111/cgf.12509

Sassi M, Ali O, Boudon F, et al. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 2014;24(19):2335-2342. doi:10.1016/j.cub.2014.08.036

Jha S, Tripakis S, Seshia S, Chatterjee K. Game theoretic secure localization in wireless sensor networks. In: IEEE; 2014:85-90. doi:10.1109/IOT.2014.7030120

Chen X, Grandont L, Li H, et al. Inhibition of cell expansion by rapid AB-mediated auxin effect on microtubules. Nature. 2014;516(729):90-93. doi:10.1038/nature13889

Hofferek G, Gupta A. Suraq - a controller synthesis tool using uninterpreted functions. In: Yahav E, ed. HVC 2014. Vol 8855. Springer; 2014:68-74. doi:10.1007/978-3-319-13338-6_6

Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: Cassez F, Raskin J-F, eds. ATVA 2014. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14

Henzinger TA, Otop J, Samanta R. Lipschitz robustness of finite-state transducers. In: Leibniz International Proceedings in Informatics, LIPIcs. Vol 29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:431-443. doi:10.4230/LIPIcs.FSTTCS.2014.431

Samanta R, Olivo O, Allen E. Cost-aware automatic program repair. In: Müller-Olm M, Seidl H, eds. Vol 8723. Springer; 2014:268-284. doi:10.1007/978-3-319-10936-7_17

Dolbilin N, Edelsbrunner H, Glazyrin A, Musin O. Functionals on triangulations of delaunay sets. Moscow Mathematical Journal. 2014;14(3):491-504. doi:10.17323/1609-4514-2014-14-3-491-504

Sixt MK, Vaahtomeri K. Physiology: Relax and come in. Nature. 2014;514(7523):441-442. doi:10.1038/514441a

Hermundstad A, Briguglio J, Conte M, Victor J, Balasubramanian V, Tkadik G. Variance predicts salience in central sensory processing. eLife. 2014;(November). doi:10.7554/eLife.03722

Körner C, Braunstein V, Stangl M, Schlögl A, Neuper C, Ischebeck A. Sequential effects in continued visual search: Using fixation-related potentials to compare distractor processing before and after target detection. Psychophysiology. 2014;51(4):385-395. doi:10.1111/psyp.12062

Ocana S, Meidl P, Bonfils D, Taborsky M. Y-linked Mendelian inheritance of giant and dwarf male morphs in shell-brooding cichlids. Proceedings of the Royal Society of London Series B Biological Sciences. 2014;281(1794). doi:10.1098/rspb.2014.0253

Chwastyk M, Galera Prat A, Sikora MK, Gómez Sicilia À, Carrión Vázquez M, Cieplak M. Theoretical tests of the mechanical protection strategy in protein nanomechanics. Proteins: Structure, Function and Bioinformatics. 2014;82(5):717-726. doi:10.1002/prot.24436

Landau D, Stewart C, Reiter J, et al. Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. 2014;124(21):1952-1952.

Bräunlich G, Hainzl C, Seiringer R. Translation-invariant quasi-free states for fermionic systems and the BCS approximation. Reviews in Mathematical Physics. 2014;26(7). doi:10.1142/S0129055X14500123

Grabowska A, Wywia E, Dunin Horkawicz S, et al. Functional and bioinformatics analysis of two Campylobacter jejuni homologs of the thiol-disulfide oxidoreductase, DsbA. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0106247

Edamura M, Murakami G, Meng H, et al. Functional deficiency of MHC class i enhances LTP and abolishes LTD in the nucleus accumbens of mice. PLoS One. 2014;9(9). doi:10.1371/journal.pone.0107099

Marhavá P, Hirsch S, Feraru E, et al. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 2014;111(7):2818-2823. doi:10.1073/pnas.1324264111

Kollár R, Bodova K, Nosek J, Tomáska d. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E Statistical Nonlinear and Soft Matter Physics. 2014;89(3). doi:10.1103/PhysRevE.89.032701

Naramoto S, Otegui M, Kutsuna N, et al. Insights into the localization and function of the membrane trafficking regulator GNOM ARF-GEF at the Golgi apparatus in Arabidopsis. Plant Cell. 2014;26(7):3062-3076. doi:10.1105/tpc.114.125880

Williams S, Ratliff L, Postiglione MP, Knoblich J, Fuchs E. Par3-mInsc and G;1 i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology. 2014;16(8):758-769. doi:10.1038/ncb3001

Ritzau Jost A, Delvendahl I, Rings A, et al. Ultrafast action potentials mediate kilohertz signaling at a central synapse. Neuron. 2014;84(1):152-163. doi:10.1016/j.neuron.2014.08.036

Arikan M, Preiner R, Scheiblauer C, Jeschke S, Wimmer M. Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics. 2014;20(9):1280-1292. doi:10.1109/TVCG.2014.2312011

Tobler M, Plath M, Riesch R, et al. Selection from parasites favours immunogenetic diversity but not divergence among locally adapted host populations. Journal of Evolutionary Biology. 2014;27(5):960-974. doi:10.1111/jeb.12370

Hall B, Acar H, Nandipati A, Barlow M. Growth rates made easy. Molecular Biology and Evolution. 2014;31(1):232-238. doi:10.1093/molbev/mst187

Tian H, Wabnik KT, Niu T, et al. WO-IA feedback circuit-mediated cellular auxin response is crucial for the patterning of root stem cell niches in arabidopsis. Molecular Plant. 2014;7(2):277-289. doi:10.1093/mp/sst118

Frank R, Lewin M, Lieb É, Seiringer R. Strichartz inequality for orthonormal functions. Journal of the European Mathematical Society. 2014;16(7):1507-1526. doi:10.4171/JEMS/467

Behrndt M, Heisenberg C-PJ. Lateral junction dynamics lead the way out. Nature Cell Biology. 2014;16(2):127-129. doi:10.1038/ncb2913

Ezard T, Prizak R, Hoyle R. The fitness costs of adaptation via phenotypic plasticity and maternal effects. Functional Ecology. 2014;28(3):693-701. doi:10.1111/1365-2435.12207

Konradi S, Yasmin N, Haslwanter D, et al. Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZE/2. European Journal of Immunology. 2014;44(2):553-560. doi:10.1002/eji.201343681

Demay G, Gazi P, Maurer U, Tackmann B. Optimality of non-adaptive strategies: The case of parallel games. In: IEEE International Symposium on Information Theory. IEEE; 2014. doi:10.1109/ISIT.2014.6875125

Weissman D, Hallatschek O. The rate of adaptation in large sexual populations with linear chromosomes. Genetics. 2014;196(4):1167-1183. doi:10.1534/genetics.113.160705

Engström A, Noren P. Tverberg’s Theorem and Graph Coloring. Discrete &; Computational Geometry. 2014;51(1):207-220. doi:10.1007/s00454-013-9556-3