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

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




3752 Publications

2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, K., Chmelik, M., & Tracol, M. (2016). What is decidable about partially observable Markov decision processes with ω-regular objectives. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1016/j.jcss.2016.02.009
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer, R., & Warzel, S. (2016). Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas. New Journal of Physics. IOP Publishing Ltd. https://doi.org/10.1088/1367-2630/18/3/035002
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, S., Pietrzak, K. Z., Wadia, A., & Wichs, D. (2016). A counterexample to the chain rule for conditional HILL entropy. Computational Complexity. Springer. https://doi.org/10.1007/s00037-015-0120-9
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek, M., Sturmfels, B., Uhler, C., & Zwiernik, P. (2016). Exponential varieties. Proceedings of the London Mathematical Society. Oxford University Press. https://doi.org/10.1112/plms/pdv066
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, M., Yoshida, S., Weijers, D., & Fleck, C. (2016). Centering the organizing center in the Arabidopsis thaliana shoot apical meristem by a combination of cytokinin signaling and self-organization. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0147830
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen, X., Wu, S., Liu, Z., & Friml, J. (2016). Environmental and endogenous control of cortical microtubule orientation. Trends in Cell Biology. Cell Press. https://doi.org/10.1016/j.tcb.2016.02.003
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, D. (2016). Genome-scale estimate of the metabolic turnover of E. Coli from the energy balance analysis. Physical Biology. IOP Publishing Ltd. https://doi.org/10.1088/1478-3975/13/1/016003
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl, C., & Seiringer, R. (2016). The Bardeen–Cooper–Schrieffer functional of superconductivity and its mathematical properties. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4941723
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion, N., Akrami, A., Zuo, Y., Stella, F., & Diamond, M. (2016). Coherence between rat sensorimotor system and hippocampus is enhanced during tactile discrimination. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002384
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2016). Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002382
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2016). Local spectral statistics of Gaussian matrices with correlated entries. Journal of Statistical Physics. Springer. https://doi.org/10.1007/s10955-016-1479-y
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, E., Teijeira, A., Vaahtomeri, K., Willrodt, A., Bloch, J., Nitschké, M., … Halin, C. (2016). Intralymphatic CCL21 promotes tissue egress of dendritic cells through afferent lymphatic vessels. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.01.048
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1491 | OA
Lewin, M., Nam, P., & Rougerie, N. (2016). The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Transactions of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/tran/6537
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý, P., Montesinos López, J. C., Abuzeineh, A., Van Damme, D., Vermeer, J., Duclercq, J., … Benková, E. (2016). Targeted cell elimination reveals an auxin-guided biphasic mode of lateral root initiation. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.276964.115
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, S. P., & Pickl, P. (2016). A new method and a new scaling for deriving fermionic mean-field dynamics. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-016-9204-2
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1494
Lemoult, G. M., Shi, L., Avila, K., Jalikop, S. V., Avila, M., & Hof, B. (2016). Directed percolation phase transition to sustained turbulence in Couette flow. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3675
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro, P., Fratini, F., Safari, L., Machado, J., Guerra, M., Indelicato, P., & Santos, J. (2016). Relativistic evaluation of the two-photon decay of the metastable 1s22s2p3P0 state in berylliumlike ions with an effective-potential model. Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society. https://doi.org/10.1103/PhysRevA.93.032502
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse, K., Chmelik, M., Martin, S., & Barton, N. H. (2016). Efficient strategies for calculating blockwise likelihoods under the coalescent. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.115.183814
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1521
Berrisford, J., Baradaran, R., & Sazanov, L. A. (2016). Structure of bacterial respiratory complex I. Biochimica et Biophysica Acta - Bioenergetics. Elsevier. https://doi.org/10.1016/j.bbabio.2016.01.012
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, S. (2016). The classification of certain linked 3-manifolds in 6-space. Moscow Mathematical Journal. Independent University of Moscow. https://doi.org/10.17323/1609-4514-2016-16-1-1-25
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert, A., & Wagner, U. (2016). On topological minors in random simplicial complexes. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12824
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, A., Guet, C. C., & Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-319-26916-0_10
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1008
Gnügge, R., Dharmarajan, L., Lang, M., & Stelling, J. (2016). An orthogonal permease–inducer–repressor feedback loop shows bistability. ACS Synthetic Biology. American Chemical Society. https://doi.org/10.1021/acssynbio.6b00013
View | DOI
 
2016 | Journal Article | IST-REx-ID: 9456 | OA
Huff, J. T., Zilberman, D., & Roy, S. W. (2016). Mechanism for DNA transposons to generate introns on genomic scales. Nature. Springer Nature . https://doi.org/10.1038/nature20110
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9473 | OA
Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L., … Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619074114
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9477 | OA
Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T., … Scholten, S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619047114
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 948
Monk, T., Savin, C., & Lücke, J. (2016). Neurons equipped with intrinsic plasticity learn stimulus intensity statistics (Vol. 29, pp. 4285–4293). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine: Neural Information Processing Systems.
View | Download None (ext.)
 
2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad. https://doi.org/10.5061/dryad.cq7t1
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Research Data Reference | IST-REx-ID: 9710
Barton, N. H. (2016). Data from: How does epistasis influence the response to selection? Dryad. https://doi.org/10.5061/dryad.s5s7r
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9720
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2016). Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees. Dryad. https://doi.org/10.5061/dryad.4b565
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9862
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Simulation study to test the robustness of ABC in face of recent times of divergence. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234.s016
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9863
Roux, C., Fraisse, C., Romiguier, J., Anciaux, Y., Galtier, N., & Bierne, N. (2016). Accessions of surveyed individuals, geographic locations and summary statistics. Public Library of Science. https://doi.org/10.1371/journal.pbio.2000234.s017
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9864
Fernandes Redondo, R. A., de Vladar, H., Włodarski, T., & Bollback, J. P. (2016). Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family. The Royal Society. https://doi.org/10.6084/m9.figshare.4315652.v1
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, M. P., Burda, Z., & Wacław, B. (2016). ZIP-archived directory containing all data and computer programs. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005218.s009
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental game instructions. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s008
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, C., Hagel, K., & Milinski, M. (2016). Experimental data. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867.s009
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Error bound on an estimator of position. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s001
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Computation of positional information in an Ising model. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s002
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, P., Gerland, U., & Tkačik, G. (2016). Computation of positional information in a discrete morphogen field. Public Library of Science. https://doi.org/10.1371/journal.pone.0163628.s003
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, A., Arnoldini, M., Bergmiller, T., Röösli, T., Bigosch, C., & Ackermann, M. (2016). Quantification of the growth rate reduction as a consequence of age-specific mortality. Public Library of Science. https://doi.org/10.1371/journal.pgen.1005974.s015
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner, A. F., Eichner, A., Müller, J., REVERSAT, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako, K., Pradhan, S., Barone, V., Inglés Prieto, Á., Mueller, P., Ruprecht, V., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View | Files available | DOI
 
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
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
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 802
Engel, J., Schmalhorst, P. S., Kruger, A., Muller, C., Buettner, F., & Routier, F. (2015). Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology. Oxford University Press. https://doi.org/10.1093/glycob/cwv059
View | DOI | PubMed | Europe PMC
 
2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, S., Mabillard, I., Skopenkov, A., & Wagner, U. (n.d.). Eliminating higher-multiplicity intersections, III. Codimension 2. arXiv.
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 473 | OA
Lewin, M., Nam, P., & Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique. https://doi.org/10.5802/jep.18
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 477
Holst, K., Guseva, D., Schindler, S., Sixt, M. K., Braun, A., Chopra, H., … Ponimaskin, E. (2015). The serotonin receptor 5-HT7R regulates the morphology and migratory properties of dendritic cells. Journal of Cell Science. Company of Biologists. https://doi.org/10.1242/jcs.167999
View | DOI
 
2015 | Journal Article | IST-REx-ID: 523 | OA
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J. (2015). Looking at mean-payoff and total-payoff through windows. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.010
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 524 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.03.009
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 532
Li, W., Ma, M., Feng, Y., Li, H., Wang, Y., Ma, Y., … Guo, H. (2015). EIN2-directed translational regulation of ethylene signaling in arabidopsis. Cell. Cell Press. https://doi.org/10.1016/j.cell.2015.09.037
View | DOI
 
2015 | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-319-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, K., Ibsen-Jensen, R., & Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria. https://doi.org/10.15479/AT:IST-2015-322-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v2-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-170-v2-2
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker, U., Henzinger, T. A., & Otop, J. (2015). The target discounted-sum problem. IST Austria. https://doi.org/10.15479/AT:IST-2015-335-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A. K., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, K., Chmelik, M., & Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria. https://doi.org/10.15479/AT:IST-2015-325-v2-1
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, J., Makohon-Moore, A., Gerold, J., Bozic, I., Chatterjee, K., Iacobuzio-Donahue, C., … Nowak, M. (2015). Reconstructing robust phylogenies of metastatic cancers. IST Austria. https://doi.org/10.15479/AT:IST-2015-399-v1-1
View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria. https://doi.org/10.15479/AT:ISTA:28
View | Files available | DOI
 
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
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee, K., & Ibsen-Jensen, R. (2015). The value 1 problem under finite-memory strategies for concurrent mean-payoff games. In Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. 2015, pp. 1018–1029). San Diego, CA, United States: SIAM. https://doi.org/10.1137/1.9781611973730.69
View | DOI | arXiv
 
2015 | Journal Article | IST-REx-ID: 1533
Xia, W., Domokos, C., Xiong, J., Cheong, L., & Yan, S. (2015). Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology. IEEE. https://doi.org/10.1109/TCSVT.2014.2379972
View | 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
View | Files available | DOI
 
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1536
Sasse, J., Simon, S., Gübeli, C., Liu, G., Cheng, X., Friml, J., … Borghi, L. (2015). Asymmetric localizations of the ABC transporter PaPDR1 trace paths of directional strigolactone transport. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2015.01.015
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K., … Heisenberg, C.-P. J. (2015). Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell. Cell Press. https://doi.org/10.1016/j.cell.2015.01.008
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1540
Robert, H., Crhák Khaitová, L., Mroue, S., & Benková, E. (2015). The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/erv256
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1541
Ray, R., Gurung, A., Das, B., Bartocci, E., Bogomolov, S., & Grosu, R. (2015). XSpeed: Accelerating reachability analysis on multi-core processors. Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_1
View | DOI
 
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
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo, Y., Van Bel, M., Van Hautegem, T., Fendrych, M., Huysmans, M., Šimášková, M., … Nowack, M. (2015). A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.15.00769
View | 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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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
View | Files available | DOI
 
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
View | DOI | Download Preprint (ext.)
 
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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
View | Files available | DOI
 
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
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
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1553
Maiuri, P., Rupprecht, J., Wieser, S., Ruprecht, V., Bénichou, O., Carpi, N., … Voituriez, R. (2015). Actin flows mediate a universal coupling between cell speed and cell persistence. Cell. Cell Press. https://doi.org/10.1016/j.cell.2015.01.056
View | DOI
 
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
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
View | DOI | Download Published Version (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
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1557
Javdani, F., Holló, K., Hegedűs, K., Kis, G., Hegyi, Z., Dócs, K., … Antal, M. (2015). Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.23774
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko, M., Zhu, J., Wang, B., Medvecka, E., Du, Y., Azzarello, E., … Geisler, M. (2015). The cyclophilin a DIAGEOTROPICA gene affects auxin transport in both root and shoot to control lateral root formation. Development. Company of Biologists. https://doi.org/10.1242/dev.113225
View | DOI
 
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
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1560
Hons, M., & Sixt, M. K. (2015). The lymph node filter revealed. Nature Immunology. Nature Publishing Group. https://doi.org/10.1038/ni.3126
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1561
Heger, K., Kober, M., Rieß, D., Drees, C., de Vries, I., Bertossi, A., … Schmidt Supprian, M. (2015). A novel Cre recombinase reporter mouse strain facilitates selective and efficient infection of primary immune cells with adenoviral vectors. European Journal of Immunology. Wiley. https://doi.org/10.1002/eji.201545457
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1562
Grones, P., Chen, X., Simon, S., Kaufmann, W., De Rycke, R., Nodzyński, T., … Friml, J. (2015). Auxin-binding pocket of ABP1 is crucial for its gain-of-function cellular and developmental roles. Journal of Experimental Botany. Oxford University Press. https://doi.org/10.1093/jxb/erv177
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1563
Graff, G., & Pilarczyk, P. (2015). An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis. Juliusz Schauder Center for Nonlinear Studies. https://doi.org/10.12775/TMNA.2015.014
View | DOI
 
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
View | Files available | DOI
 

Search

Filter Publications