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.




2740 Publications

2013 | Journal Article | IST-REx-ID: 2909   OA
Barton, Nicholas H, Alison Etheridge, and Amandine Véber. “Modelling Evolution in a Spatial Continuum.” Journal of Statistical Mechanics Theory and Experiment 2013, no. 1 (2013). https://doi.org/10.1088/1742-5468/2013/01/P01002 .
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2853   OA
Refardt, Dominik, Tobias Bergmiller, and Rolf Kümmerli. “Altruism Can Evolve When Relatedness Is Low: Evidence from Bacteria Committing Suicide upon Phage Infection.” Proceedings of the Royal Society of London Series B Biological Sciences 280, no. 1759 (2013). https://doi.org/10.1098/rspb.2012.3035.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Ritankar Majumdar, and Vishwanath Raman. “Code Aware Resource Management.” Formal Methods in System Design 42, no. 2 (2013): 142–74. https://doi.org/10.1007/s10703-012-0170-4.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, Herbert, Brittany Terese Fasy, and Günter Rote. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Discrete & Computational Geometry 49, no. 4 (2013): 797–822. https://doi.org/10.1007/s00454-013-9517-x.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 476   OA
Dickerson, Desiree, and David Bilkey. “Aberrant Neural Synchrony in the Maternal Immune Activation Model: Using Translatable Measures to Explore Targeted Interventions.” Frontiers in Behavioral Neuroscience 7, no. DEC (2013). https://doi.org/10.3389/fnbeh.2013.00217.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 508   OA
Tarazona Santos, Eduardo, Moara Machado, Wagner Magalhães, Renee Chen, Fernanda Lyon, Laurie Burdett, Andrew Crenshaw, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution 30, no. 9 (2013): 2157–67. https://doi.org/10.1093/molbev/mst119.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T, Hélène Robert, Richard Smith, and Jirí Friml. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology 23, no. 24 (2013): 2513–18. https://doi.org/10.1016/j.cub.2013.10.038.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, Jan Zaujec, Pavel Uhrin, Ingrid Raab, Michele Weber, Helga Schachner, Miroslav Bauer, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters 154, no. 1–2 (2013): 31–41. https://doi.org/10.1016/j.imlet.2013.07.007.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5403   OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. Qualitative Analysis of Concurrent Mean-Payoff Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-126-v1-1.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2327
Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-40184-8_20.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 1374   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Infinite-State Games with Finitary Conditions.” In 22nd EACSL Annual Conference on Computer Science Logic, 23:181–96. Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2000   OA
Reiter, Johannes, Ivana Božić, Krishnendu Chatterjee, and Martin Nowak. “TTP: Tool for Tumor Progression.” In Proceedings of 25th Int. Conf. on Computer Aided Verification, 8044:101–6. Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_6.
View | Files available | DOI | Download (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2858   OA
Reiter, Johannes, Ivana Božić, Benjamin Allen, Krishnendu Chatterjee, and Martin Nowak. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications 6, no. 1 (2013): 34–45. https://doi.org/10.1111/eva.12020.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2884
Maître, Jean-Léon, Hélène Berthoumieux, Gabriel Krens, Guillaume Salbreux, Frank Julicher, Ewa Paluch, and Carl-Philipp J Heisenberg. “Cell Adhesion Mechanics of Zebrafish Gastrulation.” Medecine Sciences 29, no. 2 (2013): 147–50. https://doi.org/10.1051/medsci/2013292011.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2295   OA
Chatterjee, Krishnendu, Martin Chmelik, and Mathieu Tracol. “What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013. https://doi.org/10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.” In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013. https://doi.org/10.1145/2429069.2429085.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5408
Chatterjee, Krishnendu, Laurent Doyen, Sumit Nain, and Moshe Vardi. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5410
Ahmed, Umair, Krishnendu Chatterjee, and Sumit Gulwani. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013. https://doi.org/10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2517   OA
Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2447   OA
Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39799-8_54.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed