Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

5660 Publications


2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 10748 | OA
Polshyn, H., Zhang, C., Naibert, T., Eckstein, J., & Budakian, R. (2015). Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. In APS March Meeting 2015 (Vol. 60). San Antonio, TX, United States: American Physical Society.
[Published Version] View | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 10794 | OA
Parise, F., Lygeros, J., & Ruess, J. (2015). Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. Frontiers. https://doi.org/10.3389/fenvs.2015.00042
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 11079 | OA
Mertens, J., Paquola, A. C. M., Ku, M., Hatch, E., Böhnke, L., Ladjevardi, S., … Gage, F. H. (2015). Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects. Cell Stem Cell. Elsevier. https://doi.org/10.1016/j.stem.2015.09.001
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11077 | OA
Jacinto, F. V., Benner, C., & Hetzer, M. (2015). The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.260919.115
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11078 | OA
Ori, A., Toyama, B. H., Harris, M. S., Bock, T., Iskar, M., Bork, P., … Beck, M. (2015). Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats. Cell Systems. Elsevier. https://doi.org/10.1016/j.cels.2015.08.012
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11076 | OA
Ibarra, A., & Hetzer, M. (2015). Nuclear pore proteins and the control of genome functions. Genes & Development. Cold Spring Harbor Laboratory. https://doi.org/10.1101/gad.256495.114
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11073 | OA
Hatch, E. M., & Hetzer, M. (2015). Linking micronuclei to chromosome fragmentation. Cell. Elsevier. https://doi.org/10.1016/j.cell.2015.06.005
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11074 | OA
Hatch, E. M., & Hetzer, M. (2015). Chromothripsis. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2015.02.033
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11519 | OA
Sobral, D., Matthee, J. J., Darvish, B., Schaerer, D., Mobasher, B., Röttgering, H., … Hemmati, S. (2015). Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. IOP Publishing. https://doi.org/10.1088/0004-637X/808/2/139
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11580 | OA
Sobral, D., Matthee, J. J., Best, P. N., Smail, I., Khostovan, A. A., Milvang-Jensen, B., … Mobasher, B. (2015). CF-HiZELS, an ∼10 deg2 emission-line survey with spectroscopic follow-up: Hα, [O III] + Hβ and [O II] luminosity functions at z = 0.8, 1.4 and 2.2 . Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stv1076
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11581 | OA
Matthee, J. J., Sobral, D., Santos, S., Röttgering, H., Darvish, B., & Mobasher, B. (2015). Identification of the brightest Lyα emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stv947
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11579 | OA
Pallottini, A., Ferrara, A., Pacucci, F., Gallerani, S., Salvadori, S., Schneider, R., … Matthee, J. J. (2015). The brightest Lyα emitter: Pop III or black hole? Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stv1795
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11668 | OA
Colini-Baldeschi, R., Leonardi, S., Henzinger, M. H., & Starnberger, M. (2015). On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. Association for Computing Machinery. https://doi.org/10.1145/2818357
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 11669 | OA
Dütting, P., Henzinger, M. H., & Starnberger, M. (2015). Auctions for heterogeneous items and budget limits. ACM Transactions on Economics and Computation. Association for Computing Machinery. https://doi.org/10.1145/2818351
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11774 | OA
Cheung, Y. K., Henzinger, M. H., Hoefer, M., & Starnberger, M. (2015). Combinatorial auctions with conflict-based externalities. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 230–243). Amsterdam, Netherlands: Springer Nature. https://doi.org/10.1007/978-3-662-48995-6_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11773 | OA
Ben-Zwi, O., Henzinger, M. H., & Loitzenbauer, V. (2015). Ad exchange: Envy-free auctions with mediators. In 11th International Conference on Web and Internet Economics (Vol. 9470, pp. 104–117). Amsterdam, Netherlands: Springer Nature. https://doi.org/10.1007/978-3-662-48995-6_8
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11785 | OA
Henzinger, M. H., Krinninger, S., & Nanongkai, D. (2015). Improved algorithms for decremental single-source reachability on directed graphs. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 725–736). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47672-7_59
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11787 | OA
Henzinger, M. H., Krinninger, S., & Loitzenbauer, V. (2015). Finding 2-edge and 2-vertex strongly connected components in quadratic time. In 2nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 713–724). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47672-7_58
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11788 | OA
Dvořák, W., & Henzinger, M. H. (2015). Online ad assignment with an ad exchange. In 12th International Workshop of Approximation and Online Algorithms (Vol. 8952, pp. 156–167). Wroclaw, Poland: Springer Nature. https://doi.org/10.1007/978-3-319-18263-6_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11786 | OA
Bhattacharya, S., Henzinger, M. H., & Italiano, G. F. (2015). Design of dynamic algorithms via primal-dual method. In 42nd International Colloquium on Automata, Languages and Programming (Vol. 9134, pp. 206–218). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47672-7_17
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11845 | OA
Chernomor, O., Minh, B. Q., Forest, F., Klaere, S., Ingram, T., Henzinger, M. H., & von Haeseler, A. (2015). Split diversity in constrained conservation prioritization using integer linear programming. Methods in Ecology and Evolution. Wiley. https://doi.org/10.1111/2041-210x.12299
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 11868 | OA
Henzinger, M. H., Krinninger, S., Nanongkai, D., & Saranurak, T. (2015). Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture. In 47th Annual ACM Symposium on Theory of Computing. Portland, OR, United States: Association for Computing Machinery. https://doi.org/10.1145/2746539.2746609
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11869 | OA
Bhattacharya, S., Henzinger, M. H., Nanongkai, D., & Tsourakakis, C. (2015). Space- and time-efficient algorithm for maintaining dense subgraphs on one-pass dynamic streams. In 47th Annual ACM Symposium on Theory of Computing (pp. 173–182). Portland, OR, United States: Association for Computing Machinery. https://doi.org/10.1145/2746539.2746592
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11837 | OA
Bhattacharya, S., Dvorák, W., Henzinger, M. H., & Starnberger, Martin. (2015). Welfare maximization with friends-of-friends network externalities. In 32nd International Symposium on Theoretical Aspects of Computer Science (Vol. 30, pp. 90–102). Garching, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.STACS.2015.90
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 11901 | OA
Henzinger, M. H., & Loitzenbauer, V. (2015). Truthful unit-demand auctions with budgets revisited. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2015.01.033
View | DOI | Download None (ext.)
 

2015 | Journal Article | IST-REx-ID: 121 | OA
Waitukaitis, S. R., Menaut, R., Chen, B., & Van Hecke, M. (2015). Origami multistability: From single vertices to metasheets. APS Physics, Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.114.055503
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1383 | OA
Yu, L., Scholl, S., Doering, A., Yi, Z., Irani, N., Di Rubbo, S., … Russinova, E. (2015). V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis. Nature Plants. Nature Publishing Group. https://doi.org/10.1038/nplants.2015.94
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1425 | OA
Pentina, A., & Lampert, C. (2015). Lifelong learning with non-i.i.d. tasks (Vol. 2015, pp. 1540–1548). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424 | OA
Kwitt, R., Huber, S., Niethammer, M., Lin, W., & Bauer, U. (2015). Statistical topological data analysis-A kernel perspective (Vol. 28, pp. 3070–3078). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
[Submitted Version] View | Download Submitted Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1430 | OA
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1474 | OA
Ferrara, A., Fuchsbauer, G., Liu, B., & Warinschi, B. (2015). Policy privacy in cryptographic access control (pp. 46–60). Presented at the CSF: Computer Security Foundations, Verona, Italy: IEEE. https://doi.org/10.1109/CSF.2015.11
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Book Review | IST-REx-ID: 1473 | OA
Hausel, T., & Rodríguez Villegas, F. (2015). Cohomology of large semiprojective hyperkähler varieties. Asterisque. Societe Mathematique de France.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1483 | OA
Reininghaus, J., Huber, S., Bauer, U., & Kwitt, R. (2015). A stable multi-scale kernel for topological machine learning (pp. 4741–4748). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7299106
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1497 | OA
Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research. Oxford University Press. https://doi.org/10.1093/nar/gkv727
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky, J., Larsen, K., Laursen, S., & Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1495 | OA
Edelsbrunner, H., Iglesias Ham, M., & Kurlin, V. (2015). Relaxed disk packing. In Proceedings of the 27th Canadian Conference on Computational Geometry (Vol. 2015–August, pp. 128–135). Ontario, Canada: Queen’s University.
[Submitted Version] View | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1504 | OA
Bao, Z., Lin, L., Pan, G., & Zhou, W. (2015). Spectral statistics of large dimensional spearman s rank correlation matrix and its application. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/15-AOS1353
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1503 | OA
Sadel, C. (2015). A Herman-Avila-Bochi formula for higher-dimensional pseudo-unitary and Hermitian-symplectic-cocycles. Ergodic Theory and Dynamical Systems. Cambridge University Press. https://doi.org/10.1017/etds.2013.103
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1510 | OA
Franek, P., & Krcál, M. (2015). On computability and triviality of well groups (Vol. 34, pp. 842–856). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.842
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505 | OA
Bao, Z., Pan, G., & Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics. Institute of Mathematical Statistics. https://doi.org/10.1214/14-AOS1281
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1508 | OA
Erdös, L., & Yau, H. (2015). Gap universality of generalized Wigner and β ensembles. Journal of the European Mathematical Society. European Mathematical Society. https://doi.org/10.4171/JEMS/548
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506 | OA
Bao, Z., Pan, G., & Zhou, W. (2015). The logarithmic law of random determinant. Bernoulli. Bernoulli Society for Mathematical Statistics and Probability. https://doi.org/10.3150/14-BEJ615
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1513 | OA
Pal, A., & Vicoso, B. (2015). The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evv215
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1517 | OA
Erbar, M., Maas, J., & Renger, M. (2015). From large deviations to Wasserstein gradient flows in multiple dimensions. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/ECP.v20-4315
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton, N. H., & Servedio, M. (2015). The interpretation of selection coefficients. Evolution. Wiley. https://doi.org/10.1111/evo.12641
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1525 | OA
Bauer, B., Blechl, G., Bock, C., Danowski, P., Ferus, A., Graschopf, A., … Welzig, E. (2015). Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen. Verein Österreichischer Bibliothekare. https://doi.org/10.5281/zenodo.33178
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, J. (2015). Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space. Journal of Chemical Physics. American Institute of Physics. https://doi.org/10.1063/1.4937937
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang, H., Yang, K., Zou, J., Zhu, L., Xie, Z., Morita, M., … Le, J. (2015). Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms9822
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, J., Parise, F., Milias Argeitis, A., Khammash, M., & Lygeros, J. (2015). Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1423947112
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael, D. H., Marcantoni, A., & Carbone, E. (2015). Cav1.3 channels as key regulators of neuron-like firings and catecholamine release in chromaffin cells. Current Molecular Pharmacology. Bentham Science Publishers. https://doi.org/10.2174/1874467208666150507105443
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao, T., Badkobeh, G., Barton, N. H., Çörüş, D., Dang, D., Friedrich, T., … Trubenova, B. (2015). Toward a unifying framework for evolutionary processes. Journal of Theoretical Biology. Elsevier. https://doi.org/10.1016/j.jtbi.2015.07.011
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1546 | OA
Nakamura, Y., Harada, H., Kamasawa, N., Matsui, K., Rothman, J., Shigemoto, R., … Takahashi, T. (2015). Nanoscale distribution of presynaptic Ca2+ channels and its impact on vesicular release during development. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2014.11.019
[Published Version] View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1544 | OA
Nguyen, P., Field, C., Groen, A., Mitchison, T., & Loose, M. (2015). Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In Building a Cell from its Components Parts (Vol. 128, pp. 223–241). Academic Press. https://doi.org/10.1016/bs.mcb.2015.01.007
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1551 | OA
El Masri, L., Branca, A., Sheppard, A., Papkou, A., Laehnemann, D., Guenther, P., … Schulenburg, H. (2015). Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002169
[Published Version] View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1549 | OA
Mckenzie, C., Sanchez-Romero, I., & Janovjak, H. L. (2015). Flipping the photoswitch: Ion channels under light control. In Novel chemical tools to study ion channel biology (Vol. 869, pp. 101–117). Springer. https://doi.org/10.1007/978-1-4939-2845-3_6
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1548 | OA
Milutinovic, B., Höfling, C., Futo, M., Scharsack, J., & Kurtz, J. (2015). Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology. American Society for Microbiology. https://doi.org/10.1128/AEM.02051-15
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550 | OA
Mayer, C., Jaglin, X., Cobbs, L., Bandler, R., Streicher, C., Cepko, C., … Fishell, G. (2015). Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2015.07.011
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1547 | OA
Mohammadi, F., & Moradi, S. (2015). Resolution of unmixed bipartite graphs. Bulletin of the Korean Mathematical Society. Korean Mathematical Society. https://doi.org/10.4134/BKMS.2015.52.3.977
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1556 | OA
Jia, Y., Tian, H., Li, H., Yu, Q., Wang, L., Friml, J., & Ding, Z. (2015). The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/erv230
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1555 | OA
Knipl, D., Pilarczyk, P., & Röst, G. (2015). Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems. Society for Industrial and Applied Mathematics . https://doi.org/10.1137/140993934
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1559 | OA
Ibsen-Jensen, R., Chatterjee, K., & Nowak, M. (2015). Computational complexity of ecological and evolutionary spatial dynamics. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1511366112
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1554 | OA
Liao, C., Smet, W., Brunoud, G., Yoshida, S., Vernoux, T., & Weijers, D. (2015). Reporters for sensitive and quantitative measurement of auxin response. Nature Methods. Nature Publishing Group. https://doi.org/10.1038/nmeth.3279
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1565 | OA
Gavello, D., Vandael, D. H., Gosso, S., Carbone, E., & Carabelli, V. (2015). Dual action of leptin on rest-firing and stimulated catecholamine release via phosphoinositide 3-kinase-riven BK channel up-regulation in mouse chromaffin cells. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/JP271078
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1564 | OA
Gilson, M., Savin, C., & Zenke, F. (2015). Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience. Frontiers Research Foundation. https://doi.org/10.3389/fncom.2015.00145
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1574 | OA
Chen Q, Liu Y, Maere S, Lee E, Van Isterdael G, Xie Z, Xuan W, Lucas J, Vassileva V, Kitakura S, Marhavý P, Wabnik KT, Geldner N, Benková E, Le J, Fukaki H, Grotewold E, Li C, Friml J, Sack F, Beeckman T, Vanneste S. 2015. A coherent transcriptional feed-forward motif model for mediating auxin-sensitive PIN3 expression during lateral root development. Nature Communications. 6, 8821.
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1575 | OA
Chabaud, M., Heuzé, M., Bretou, M., Vargas, P., Maiuri, P., Solanes, P., … Lennon Duménil, A. (2015). Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms8526
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569 | OA
Doyle, S., Haegera, A., Vain, T., Rigala, A., Viotti, C., Łangowskaa, M., … Robert, S. (2015). An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1424856112
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 1570 | OA
Der, R., & Martius, G. S. (2015). Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1508400112
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1572 | OA
Correggi, M., Giuliani, A., & Seiringer, R. (2015). Validity of the spin-wave approximation for the free energy of the Heisenberg ferromagnet. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-015-2402-0
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1573 | OA
Chen, T., Hainzl, C., Pavlović, N., & Seiringer, R. (2015). Unconditional uniqueness for the cubic gross pitaevskii hierarchy via quantum de finetti. Communications on Pure and Applied Mathematics. Wiley. https://doi.org/10.1002/cpa.21552
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1580 | OA
Brenes, O., Vandael, D. H., Carbone, E., Montarolo, P., & Ghirardi, M. (2015). Knock-down of synapsin alters cell excitability and action potential waveform by potentiating BK and voltage gated Ca2 currents in Helix serotonergic neurons. Neuroscience. Elsevier. https://doi.org/10.1016/j.neuroscience.2015.10.046
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1577 | OA
Carvalho, A., Vicoso, B., Russo, C., Swenor, B., & Clark, A. (2015). Birth of a new gene on the Y chromosome of Drosophila melanogaster. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1516543112
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1579 | OA
Brooks, C., Martin del Campo Sanchez, A., & Sottile, F. (2015). Galois groups of Schubert problems of lines are at least alternating. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/S0002-9947-2014-06192-8
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1589 | OA
Altmeyer, S., Do, Y., & Lai, Y. (2015). Magnetic field induced flow pattern reversal in a ferrofluidic Taylor-Couette system. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep18589
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1584 | OA
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). Reprint of: Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2015.01.004
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582 | OA
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2014.08.006
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583 | OA
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters. Elsevier. https://doi.org/10.1016/j.ipl.2014.09.021
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587 | OA
Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., & Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.92.062506
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1593 | OA
Žádníková, P., Smet, D., Zhu, Q., Van Der Straeten, D., & Benková, E. (2015). Strategies of seedlings to overcome their sessile nature: Auxin in mobility control. Frontiers in Plant Science. Frontiers Research Foundation. https://doi.org/10.3389/fpls.2015.00218
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595 | OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer. https://doi.org/10.1007/978-3-319-27261-0_9
[Submitted Version] View | Files available | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590 | OA
Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., & Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In Graph Drawing and Network Visualization (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-319-27261-0_28
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1596 | OA
Fulek, R., & Radoičić, R. (2015). Vertical visibility among parallel polygons in three dimensions. In Graph Drawing and Network Visualization (Vol. 9411, pp. 373–379). Los Angeles, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-319-27261-0_31
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1601 | OA
Babiak, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D., … Strejček, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_31
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_2
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609 | OA
Chatterjee, K., Doyen, L., & Vardi, M. (2015). The complexity of synthesis from probabilistic components. In 42nd International Colloquium (Vol. 9135, pp. 108–120). Kyoto, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-47666-6_9
[Preprint] View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1615 | OA
Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S., … Brose, N. (2015). Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2015.09.011
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1614 | OA
Strüber, M., Jonas, P. M., & Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1412996112
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1611 | OA
Whitfield, J., Zhang, W., Herde, M., Clifton, B., Radziejewski, J., Janovjak, H. L., … Jackson, C. (2015). Construction of a robust and sensitive arginine biosensor through ancestral protein reconstruction. Protein Science. Wiley. https://doi.org/10.1002/pro.2721
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1624 | OA
Pavlogiannis, A., Chatterjee, K., Adlam, B., & Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep17147
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623 | OA
Hammar, P., Angermayr, A., Sjostrom, S., Van Der Meer, J., Hellingwerf, K., Hudson, E., & Joensson, H. (2015). Single-cell screening of photosynthetic growth and lactate production by cyanobacteria. Biotechnology for Biofuels. BioMed Central. https://doi.org/10.1186/s13068-015-0380-2
[Published Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1628 | OA
Schumacher, C., Bickel, B., Rys, J., Marschner, S., Daraio, C., & Gross, M. (2015). Microstructures to control elasticity in 3D printing (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766926
[Published Version] View | DOI | Download Published Version (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1634 | OA
Da, F., Batty, C., Wojtan, C., & Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2767003
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636 | OA
Kolmogorov, V., Rolinek, M., & Takhanov, R. (2015). Effectiveness of structural restrictions for hybrid CSPs. In 26th International Symposium (Vol. 9472, pp. 566–577). Nagoya, Japan: Springer Nature. https://doi.org/10.1007/978-3-662-48971-0_48
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1632 | OA
Ando, R., Thuerey, N., & Wojtan, C. (2015). A stream function solver for liquid simulations (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, USA: ACM. https://doi.org/10.1145/2766935
[Submitted Version] View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1630 | OA
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2015). Learning shape placements by example (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766933
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640 | OA
Šimášková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A., … Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms9717
[Submitted Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642 | OA
Fulek, R., Kynčl, J., Malinovič, I., & Pálvölgyi, D. (2015). Clustered planarity testing revisited. Electronic Journal of Combinatorics. Electronic Journal of Combinatorics. https://doi.org/10.37236/5002
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications