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.




3934 Publications

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee, Krishnendu, et al. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. Vol. 20–22, ACM, 2016, pp. 327–42, doi:10.1145/2837614.2837639.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1439 | OA
Dragoi, Cezara, et al. PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms. Vol. 20–22, ACM, 2016, pp. 400–15, doi:10.1145/2837614.2837650.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1440
Janovjak, Harald L. “Light at the End of the Protein: Crystal Structure of a C-Terminal Light-Sensing Domain.” Structure, vol. 24, no. 2, Cell Press, 2016, pp. 213–15, doi:10.1016/j.str.2016.01.002.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1441 | OA
Gschaider-Reichhart, Eva, et al. “A Phytochrome Sensory Domain Permits Receptor Activation by Red Light.” Angewandte Chemie - International Edition, vol. 55, no. 21, Wiley, 2016, pp. 6339–42, doi:10.1002/anie.201601736.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1446 | OA
Calatrava Moreno, Maria, et al. “On the Uncertainty of Interdisciplinarity Measurements Due to Incomplete Bibliographic Data.” Scientometrics, vol. 107, no. 1, Springer, 2016, pp. 213–32, doi:10.1007/s11192-016-1842-4.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1448 | OA
Fathi, Max, and Jan Maas. “Entropic Ricci Curvature Bounds for Discrete Interacting Systems.” The Annals of Applied Probability, vol. 26, no. 3, Institute of Mathematical Statistics, 2016, pp. 1774–806, doi:10.1214/15-AAP1133.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1475 | OA
Toshima, Junko, et al. “Yeast Eps15-like Endocytic Protein Pan1p Regulates the Interaction between Endocytic Vesicles, Endosomes and the Actin Cytoskeleton.” ELife, vol. 5, no. February 2016, e10276, eLife Sciences Publications, 2016, doi:10.7554/eLife.10276.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1476 | OA
Toshima, Junko, et al. “Srv2/CAP Is Required for Polarized Actin Cable Assembly and Patch Internalization during Clathrin-Mediated Endocytosis.” Journal of Cell Science, vol. 129, no. 2, Company of Biologists, 2016, pp. 367–79, doi:10.1242/jcs.176651.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1477 | OA
Chatterjee, Krishnendu, et al. “What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.” Journal of Computer and System Sciences, vol. 82, no. 5, Elsevier, 2016, pp. 878–911, doi:10.1016/j.jcss.2016.02.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1478 | OA
Seiringer, Robert, and Simone Warzel. “Decay of Correlations and Absence of Superfluidity in the Disordered Tonks-Girardeau Gas.” New Journal of Physics, vol. 18, no. 3, 035002, IOP Publishing Ltd., 2016, doi:10.1088/1367-2630/18/3/035002.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1479 | OA
Krenn, Stephan, et al. “A Counterexample to the Chain Rule for Conditional HILL Entropy.” Computational Complexity, vol. 25, no. 3, Springer, 2016, pp. 567–605, doi:10.1007/s00037-015-0120-9.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1480 | OA
Michałek, Mateusz, et al. “Exponential Varieties.” Proceedings of the London Mathematical Society, vol. 112, no. 1, Oxford University Press, 2016, pp. 27–56, doi:10.1112/plms/pdv066.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1482 | OA
Adibi, Milad, et al. “Centering the Organizing Center in the Arabidopsis Thaliana Shoot Apical Meristem by a Combination of Cytokinin Signaling and Self-Organization.” PLoS One, vol. 11, no. 2, e0147830, Public Library of Science, 2016, doi:10.1371/journal.pone.0147830.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1484 | OA
Chen, Xu, et al. “Environmental and Endogenous Control of Cortical Microtubule Orientation.” Trends in Cell Biology, vol. 26, no. 6, Cell Press, 2016, pp. 409–19, doi:10.1016/j.tcb.2016.02.003.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1485 | OA
De Martino, Daniele. “Genome-Scale Estimate of the Metabolic Turnover of E. Coli from the Energy Balance Analysis.” Physical Biology, vol. 13, no. 1, 016003, IOP Publishing Ltd., 2016, doi:10.1088/1478-3975/13/1/016003.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1486 | OA
Hainzl, Christian, and Robert Seiringer. “The Bardeen–Cooper–Schrieffer Functional of Superconductivity and Its Mathematical Properties.” Journal of Mathematical Physics, vol. 57, no. 2, 021101, American Institute of Physics, 2016, doi:10.1063/1.4941723.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1487 | OA
Grion, Natalia, et al. “Coherence between Rat Sensorimotor System and Hippocampus Is Enhanced during Tactile Discrimination.” PLoS Biology, vol. 14, no. 2, e1002384, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002384.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, Paul, et al. “Ret and Etv4 Promote Directed Movements of Progenitor Cells during Renal Branching Morphogenesis.” PLoS Biology, vol. 14, no. 2, e1002382, Public Library of Science, 2016, doi:10.1371/journal.pbio.1002382.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1489 | OA
Ajanki, Oskari H., et al. “Local Spectral Statistics of Gaussian Matrices with Correlated Entries.” Journal of Statistical Physics, vol. 163, no. 2, Springer, 2016, pp. 280–302, doi:10.1007/s10955-016-1479-y.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1490 | OA
Russo, Erica, et al. “Intralymphatic CCL21 Promotes Tissue Egress of Dendritic Cells through Afferent Lymphatic Vessels.” Cell Reports, vol. 14, no. 7, Cell Press, 2016, pp. 1723–34, doi:10.1016/j.celrep.2016.01.048.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1491 | OA
Lewin, Mathieu, et al. “The Mean-Field Approximation and the Non-Linear Schrödinger Functional for Trapped Bose Gases.” Transactions of the American Mathematical Society, vol. 368, no. 9, American Mathematical Society, 2016, pp. 6131–57, doi:10.1090/tran/6537.
View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1492 | OA
Marhavý, Peter, et al. “Targeted Cell Elimination Reveals an Auxin-Guided Biphasic Mode of Lateral Root Initiation.” Genes and Development, vol. 30, no. 4, Cold Spring Harbor Laboratory Press, 2016, pp. 471–83, doi:10.1101/gad.276964.115.
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1493 | OA
Petrat, Sören P., and Peter Pickl. “A New Method and a New Scaling for Deriving Fermionic Mean-Field Dynamics.” Mathematical Physics, Analysis and Geometry, vol. 19, no. 1, 3, Springer, 2016, doi:10.1007/s11040-016-9204-2.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1494
Lemoult, Grégoire M., et al. “Directed Percolation Phase Transition to Sustained Turbulence in Couette Flow.” Nature Physics, vol. 12, no. 3, Nature Publishing Group, 2016, pp. 254–58, doi:10.1038/nphys3675.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1496 | OA
Amaro, Pedro, et al. “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, vol. 93, no. 3, 032502, American Physical Society, 2016, doi:10.1103/PhysRevA.93.032502.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1521
Berrisford, John, et al. “Structure of Bacterial Respiratory Complex I.” Biochimica et Biophysica Acta - Bioenergetics, vol. 1857, no. 7, Elsevier, 2016, pp. 892–901, doi:10.1016/j.bbabio.2016.01.012.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1522 | OA
Avvakumov, Sergey. “The Classification of Certain Linked 3-Manifolds in 6-Space.” Moscow Mathematical Journal, vol. 16, no. 1, Independent University of Moscow, 2016, pp. 1–25, doi:10.17323/1609-4514-2016-16-1-1-25.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1523 | OA
Gundert, Anna, and Uli Wagner. “On Topological Minors in Random Simplicial Complexes.” Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1815–28, doi:10.1090/proc/12824.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1524 | OA
Beica, Andreea, et al. Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set. Vol. 9271, Springer, 2016, pp. 173–91, doi:10.1007/978-3-319-26916-0_10.
View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, Thomas A., et al. Lipschitz Robustness of Timed I/O Systems. Vol. 9583, Springer, 2016, pp. 250–67, doi:10.1007/978-3-662-49122-5_12.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, Krishnendu, et al. “Optimal Cost Almost-Sure Reachability in POMDPs.” Artificial Intelligence, vol. 234, Elsevier, 2016, pp. 26–48, doi:10.1016/j.artint.2016.01.007.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1008
Gnügge, Robert, et al. “An Orthogonal Permease–Inducer–Repressor Feedback Loop Shows Bistability.” ACS Synthetic Biology, vol. 5, no. 10, American Chemical Society, 2016, pp. 1098–107, doi:10.1021/acssynbio.6b00013.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 9456 | OA
Huff, Jason T., et al. “Mechanism for DNA Transposons to Generate Introns on Genomic Scales.” Nature, vol. 538, no. 7626, Springer Nature , 2016, pp. 533–36, doi:10.1038/nature20110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9473 | OA
Hsieh, Ping-Hung, et al. “Arabidopsis Male Sexual Lineage Exhibits More Robust Maintenance of CG Methylation than Somatic Tissues.” Proceedings of the National Academy of Sciences, vol. 113, no. 52, National Academy of Sciences, 2016, pp. 15132–37, doi:10.1073/pnas.1619074114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 9477 | OA
Park, Kyunghyuk, et al. “DNA Demethylation Is Initiated in the Central Cells of Arabidopsis and Rice.” Proceedings of the National Academy of Sciences, vol. 113, no. 52, National Academy of Sciences, 2016, pp. 15138–43, doi:10.1073/pnas.1619047114.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 948
Monk, Travis, et al. Neurons Equipped with Intrinsic Plasticity Learn Stimulus Intensity Statistics. Vol. 29, Neural Information Processing Systems, 2016, pp. 4285–93.
View | Download None (ext.)
 
2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Mcmahon, Dino, et al. Data from: Elevated Virulence of an Emerging Viral Genotype as a Driver of Honeybee Loss. Dryad, 2016, doi:10.5061/dryad.cq7t1.
View | Files available | DOI | Download Published Version (ext.)
 
2016 | Research Data Reference | IST-REx-ID: 9710
Barton, Nicholas H. Data from: How Does Epistasis Influence the Response to Selection? Dryad, 2016, doi:10.5061/dryad.s5s7r.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9720
Mcmahon, Dino, et al. Data from: A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees. Dryad, 2016, doi:10.5061/dryad.4b565.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9862
Roux, Camille, et al. Simulation Study to Test the Robustness of ABC in Face of Recent Times of Divergence. Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.s016.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9863
Roux, Camille, et al. Accessions of Surveyed Individuals, Geographic Locations and Summary Statistics. Public Library of Science, 2016, doi:10.1371/journal.pbio.2000234.s017.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9864
Fernandes Redondo, Rodrigo A., et al. Data from Evolutionary Interplay between Structure, Energy and Epistasis in the Coat Protein of the ΦX174 Phage Family. The Royal Society, 2016, doi:10.6084/m9.figshare.4315652.v1.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9866
Zagórski, Marcin P., et al. ZIP-Archived Directory Containing All Data and Computer Programs. Public Library of Science, 2016, doi:10.1371/journal.pcbi.1005218.s009.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9867
Hilbe, Christian, et al. Experimental Game Instructions. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s008.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9868
Hilbe, Christian, et al. Experimental Data. Public Library of Science, 2016, doi:10.1371/journal.pone.0163867.s009.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9869
Hillenbrand, Patrick, et al. Error Bound on an Estimator of Position. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s001.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9870
Hillenbrand, Patrick, et al. Computation of Positional Information in an Ising Model. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s002.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9871
Hillenbrand, Patrick, et al. Computation of Positional Information in a Discrete Morphogen Field. Public Library of Science, 2016, doi:10.1371/journal.pone.0163628.s003.
View | Files available | DOI
 
2016 | Research Data Reference | IST-REx-ID: 9873
Boehm, Alex, et al. Quantification of the Growth Rate Reduction as a Consequence of Age-Specific Mortality. Public Library of Science, 2016, doi:10.1371/journal.pgen.1005974.s015.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1518 | OA
Lohse, Konrad, et al. “Efficient Strategies for Calculating Blockwise Likelihoods under the Coalescent.” Genetics, vol. 202, no. 2, Genetics Society of America, 2016, pp. 775–86, doi:10.1534/genetics.115.183814.
View | Files available | DOI | PubMed | Europe PMC
 
2016 | Journal Article | IST-REx-ID: 1331 | OA
Zwack, Paul, et al. “Cytokinin Response Factor 6 Represses Cytokinin-Associated Genes during Oxidative Stress.” Plant Physiology, vol. 172, no. 2, American Society of Plant Biologists, 2016, pp. 1249–58, doi:10.1104/pp.16.00415.
View | DOI | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1252 | OA
Harker, Shaun, et al. “Inducing a Map on Homology from a Correspondence.” Proceedings of the American Mathematical Society, vol. 144, no. 4, American Mathematical Society, 2016, pp. 1787–801, doi:10.1090/proc/12812.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1140 | OA
Chatterjee, Krishnendu, et al. “Model and Objective Separation with Conditional Lower Bounds: Disjunction Is Harder than Conjunction.” Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2016, pp. 197–206, doi:10.1145/2933575.2935304.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1420 | OA
Bodova, Katarina, et al. “A General Approximation for the Dynamics of Quantitative Traits.” Genetics, vol. 202, no. 4, Genetics Society of America, 2016, pp. 1523–48, doi:10.1534/genetics.115.184127.
View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner, Alexander F., et al. “Diversified Actin Protrusions Promote Environmental Exploration but Are Dispensable for Locomotion of Leukocytes.” Nature Cell Biology, vol. 18, Nature Publishing Group, 2016, pp. 1253–59, doi:10.1038/ncb3426.
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 | Journal Article | IST-REx-ID: 1100 | OA
Sako, Keisuke, et al. “Optogenetic Control of Nodal Signaling Reveals a Temporal Pattern of Nodal Signaling Regulating Cell Fate Specification during Gastrulation.” Cell Reports, vol. 16, no. 3, Cell Press, 2016, pp. 866–77, doi:10.1016/j.celrep.2016.06.036.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. Vol. 20–22, ACM, 2016, pp. 733–47, doi:10.1145/2837614.2837624.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, et al. Termination Analysis of Probabilistic Programs through Positivstellensatz’s. Vol. 9779, Springer, 2016, pp. 3–22, doi:10.1007/978-3-319-41528-4_1.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 802
Engel, Jakob, et al. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology, vol. 25, no. 12, Oxford University Press, 2015, pp. 1423–30, doi:10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 473 | OA
Lewin, Mathieu, et al. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques, vol. 2, Ecole Polytechnique, 2015, pp. 65–115, doi:10.5802/jep.18.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 477
Holst, Katrin, et al. “The Serotonin Receptor 5-HT7R Regulates the Morphology and Migratory Properties of Dendritic Cells.” Journal of Cell Science, vol. 128, no. 15, Company of Biologists, 2015, pp. 2866–80, doi:10.1242/jcs.167999.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 523 | OA
Chatterjee, Krishnendu, et al. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 25–52, doi:10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 524 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “Qualitative Analysis of Concurrent Mean Payoff Games.” Information and Computation, vol. 242, no. 6, Elsevier, 2015, pp. 2–24, doi:10.1016/j.ic.2015.03.009.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 532
Li, Wenyang, et al. “EIN2-Directed Translational Regulation of Ethylene Signaling in Arabidopsis.” Cell, vol. 163, no. 3, Cell Press, 2015, pp. 670–83, doi:10.1016/j.cell.2015.09.037.
View | DOI
 
2015 | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, et al. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015, doi:10.15479/AT:IST-2015-322-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, et al. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:IST-2015-318-v2-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5436 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-170-v2-2.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. IST Austria, 2015, doi:10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, et al. The Target Discounted-Sum Problem. IST Austria, 2015, doi:10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015, doi:10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, Krishnendu, et al. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015, doi:10.15479/AT:IST-2015-340-v1-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, Krishnendu, et al. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015, doi:10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 
2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, et al. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015, doi:10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 
2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, Andreas. Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria, 2015, doi:10.15479/AT:ISTA:28.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 10794 | OA
Parise, Francesca, et al. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science, vol. 3, 42, Frontiers, 2015, doi:10.3389/fenvs.2015.00042.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 10796
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Value 1 Problem under Finite-Memory Strategies for Concurrent Mean-Payoff Games.” Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 2015, no. 1, SIAM, 2015, pp. 1018–29, doi:10.1137/1.9781611973730.69.
View | DOI | arXiv
 
2015 | Journal Article | IST-REx-ID: 1533
Xia, Wei, et al. “Segmentation over Detection via Optimal Sparse Reconstructions.” IEEE Transactions on Circuits and Systems for Video Technology, vol. 25, no. 8, IEEE, 2015, pp. 1295–308, doi:10.1109/TCSVT.2014.2379972.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1534 | OA
Wang, Hongzhe, et al. “Transcriptional Regulation of PIN Genes by FOUR LIPS and MYB88 during Arabidopsis Root Gravitropism.” Nature Communications, vol. 6, 8822, Nature Publishing Group, 2015, doi:10.1038/ncomms9822.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1535 | OA
Vandael, David H., et al. “Cav1.3 Channels as Key Regulators of Neuron-like Firings and Catecholamine Release in Chromaffin Cells.” Current Molecular Pharmacology, vol. 8, no. 2, Bentham Science Publishers, 2015, pp. 149–61, doi:10.2174/1874467208666150507105443.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1536
Sasse, Joëlle, et al. “Asymmetric Localizations of the ABC Transporter PaPDR1 Trace Paths of Directional Strigolactone Transport.” Current Biology, vol. 25, no. 5, Cell Press, 2015, pp. 647–55, doi:10.1016/j.cub.2015.01.015.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, Verena, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell, vol. 160, no. 4, Cell Press, 2015, pp. 673–85, doi:10.1016/j.cell.2015.01.008.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1538 | OA
Ruess, Jakob, et al. “Iterative Experiment Design Guides the Characterization of a Light-Inducible Gene Expression Circuit.” PNAS, vol. 112, no. 26, National Academy of Sciences, 2015, pp. 8148–53, doi:10.1073/pnas.1423947112.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1539 | OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics, vol. 143, no. 24, 244103, American Institute of Physics, 2015, doi:10.1063/1.4937937.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1540
Robert, Hélène, et al. “The Importance of Localized Auxin Production for Morphogenesis of Reproductive Organs and Embryos in Arabidopsis.” Journal of Experimental Botany, vol. 66, no. 16, Oxford University Press, 2015, pp. 5029–42, doi:10.1093/jxb/erv256.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, et al. XSpeed: Accelerating Reachability Analysis on Multi-Core Processors. Vol. 9434, Springer, 2015, pp. 3–18, doi:10.1007/978-3-319-26287-1_1.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1542 | OA
Paixao, Tiago, et al. “Toward a Unifying Framework for Evolutionary Processes.” Journal of Theoretical Biology, vol. 383, Elsevier, 2015, pp. 28–43, doi:10.1016/j.jtbi.2015.07.011.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo, Yadira, et al. “A Conserved Core of Programmed Cell Death Indicator Genes Discriminates Developmentally and Environmentally Induced Programmed Cell Death in Plants.” Plant Physiology, vol. 169, no. 4, American Society of Plant Biologists, 2015, pp. 2684–99, doi:10.1104/pp.15.00769.
View | DOI
 
2015 | Book Chapter | IST-REx-ID: 1544 | OA
Nguyen, Phuong, et al. “Using Supported Bilayers to Study the Spatiotemporal Organization of Membrane-Bound Proteins.” Building a Cell from Its Components Parts, vol. 128, Academic Press, 2015, pp. 223–41, doi: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, Yukihiro, et al. “Nanoscale Distribution of Presynaptic Ca2+ Channels and Its Impact on Vesicular Release during Development.” Neuron, vol. 85, no. 1, Elsevier, 2015, pp. 145–58, doi:10.1016/j.neuron.2014.11.019.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1547 | OA
Mohammadi, Fatemeh, and Somayeh Moradi. “Resolution of Unmixed Bipartite Graphs.” Bulletin of the Korean Mathematical Society, vol. 52, no. 3, Korean Mathematical Society, 2015, pp. 977–86, doi:10.4134/BKMS.2015.52.3.977.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1548 | OA
Milutinovic, Barbara, et al. “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, vol. 81, no. 23, American Society for Microbiology, 2015, pp. 8135–44, doi:10.1128/AEM.02051-15.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Book Chapter | IST-REx-ID: 1549 | OA
Mckenzie, Catherine, et al. “Flipping the Photoswitch: Ion Channels under Light Control.” Novel Chemical Tools to Study Ion Channel Biology, vol. 869, Springer, 2015, pp. 101–17, doi:10.1007/978-1-4939-2845-3_6.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1550 | OA
Mayer, Christian, et al. “Clonally Related Forebrain Interneurons Disperse Broadly across Both Functional Areas and Structural Boundaries.” Neuron, vol. 87, no. 5, Elsevier, 2015, pp. 989–98, doi: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, Leila, et al. “Host–Pathogen Coevolution: The Selective Advantage of Bacillus Thuringiensis Virulence and Its Cry Toxin Genes.” PLoS Biology, vol. 13, no. 6, Public Library of Science, 2015, pp. 1–30, doi:10.1371/journal.pbio.1002169.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1553
Maiuri, Paolo, et al. “Actin Flows Mediate a Universal Coupling between Cell Speed and Cell Persistence.” Cell, vol. 161, no. 2, Cell Press, 2015, pp. 374–86, doi:10.1016/j.cell.2015.01.056.
View | DOI
 

Search

Filter Publications