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.




2682 Publications

2013 | Journal Article | IST-REx-ID: 502
Blazy, Olivier, et al. “Short Blind Signatures.” Journal of Computer Security, vol. 21, no. 5, IOS Press, 2013, pp. 627–61, doi:10.3233/JCS-130477.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5402   OA
Henzinger, Thomas A., and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013, doi:10.15479/AT:IST-2013-123-v1-1.
View | Files available | DOI
 
2013 | Report | IST-REx-ID: 5407   OA
Porsche, Jana. Technical Requirements and Features. IST Austria, 2013.
View | Files available
 
2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek, Georg, et al. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.” 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84, doi:10.1109/FMCAD.2013.6679394.
View | DOI | Download (ext.) | arXiv
 
2013 | Technical Report | IST-REx-ID: 5399
Reiter, Johannes, et al. TTP: Tool for Tumor Progression. IST Austria, 2013, doi:10.15479/AT:IST-2013-104-v1-1.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, Thomas A., et al. “Quantitative Relaxation of Concurrent Data Structures.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 317–28, doi:10.1145/2429069.2429109.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2299   OA
Godhal, Yashdeep, et al. “Synthesis of AMBA AHB from Formal Specification: A Case Study.” International Journal on Software Tools for Technology Transfer, vol. 15, no. 5–6, Springer, 2013, pp. 585–601, doi:10.1007/s10009-011-0207-9.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2814   OA
Chatterjee, Krishnendu, et al. “The Complexity of Coverage.” International Journal of Foundations of Computer Science, vol. 24, no. 2, World Scientific Publishing, 2013, pp. 165–85, doi:10.1142/S0129054113400066.
View | DOI | Download (ext.) | arXiv
 
2013 | Conference Paper | IST-REx-ID: 2819   OA
Chatterjee, Krishnendu, and Vinayak Prabhu. “Quantitative Timed Simulation Functions and Refinement Metrics for Real-Time Systems.” Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, vol. 1, Springer, 2013, pp. 273–82, doi:10.1145/2461328.2461370.
View | DOI | Download (ext.)
 
2013 | Journal Article | IST-REx-ID: 2282   OA
Campinho, Pedro, et al. “Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading during Zebrafish Epiboly.” Nature Cell Biology, vol. 15, Nature Publishing Group, 2013, pp. 1405–14, doi:10.1038/ncb2869.
View | Files available | DOI | Download (ext.)
 
2013 | Conference Paper | IST-REx-ID: 2446   OA
Chatterjee, Krishnendu, et al. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. Vol. 8044, Springer, 2013, pp. 559–75, doi:10.1007/978-3-642-39799-8_37.
View | DOI | Download (ext.) | arXiv
 
2013 | Thesis | IST-REx-ID: 1405
Zufferey, Damien. Analysis of Dynamic Message Passing Programs. IST Austria, 2013.
View | Files available | Download (ext.)
 
2013 | Journal Article | IST-REx-ID: 2939
Chen, Chao, and Michael Kerber. “An Output Sensitive Algorithm for Persistent Homology.” Computational Geometry: Theory and Applications, vol. 46, no. 4, Elsevier, 2013, pp. 435–47, doi:10.1016/j.comgeo.2012.02.010.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2237   OA
Blanc, Régis, et al. Tree Interpolation in Vampire. Vol. 8312, Springer, 2013, pp. 173–81, doi:10.1007/978-3-642-45221-5_13.
View | Files available | DOI
 
2013 | Thesis | IST-REx-ID: 1406
Campinho, Pedro. Mechanics of Zebrafish Epiboly: Tension-Oriented Cell Divisions Limit Anisotropic Tissue Tension in Epithelial Spreading. IST Austria, 2013.
View
 
2013 | Conference Paper | IST-REx-ID: 2238
Chatterjee, Krishnendu, et al. Multi-Objective Discounted Reward Verification in Graphs and MDPs. Vol. 8312, Springer, 2013, pp. 228–42, doi:10.1007/978-3-642-45221-5_17.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2283
Pull, Christopher, et al. “Tolerating an Infection: An Indirect Benefit of Co-Founding Queen Associations in the Ant Lasius Niger .” Naturwissenschaften, vol. 100, no. 12, Springer, 2013, pp. 1125–36, doi:10.1007/s00114-013-1115-5.
View | DOI
 
2013 | Conference (Editor) | IST-REx-ID: 2288
Gupta, Ashutosh, and Thomas A. Henzinger, editors. Computational Methods in Systems Biology. Vol. 8130, Springer, 2013, doi:10.1007/978-3-642-40708-6.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2290   OA
Boutté, Yohann, et al. “ECHIDNA Mediated Post Golgi Trafficking of Auxin Carriers for Differential Cell Elongation.” PNAS, vol. 110, no. 40, National Academy of Sciences, 2013, pp. 16259–64, doi:10.1073/pnas.1309057110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2264   OA
Liang, Huixuan, et al. “Neural Development Is Dependent on the Function of Specificity Protein 2 in Cell Cycle Progression.” Development, vol. 140, no. 3, Company of Biologists, 2013, pp. 552–61, doi:10.1242/dev.085621 .
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2303
Hippenmeyer, Simon. “Dissection of Gene Function at Clonal Level Using Mosaic Analysis with Double Markers.” Frontiers in Biology, vol. 8, no. 6, Springer, 2013, pp. 557–68, doi:10.1007/s11515-013-1279-6.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2276   OA
Gridchyn, Igor, and Vladimir Kolmogorov. Potts Model, Parametric Maxflow and k-Submodular Functions. IEEE, 2013, pp. 2320–27, doi:10.1109/ICCV.2013.288.
View | DOI | Download (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2466   OA
Ando, Ryoichi, et al. “Highly Adaptive Liquid Simulations on Tetrahedral Meshes.” ACM Transactions on Graphics, vol. 32, no. 4, 103, ACM, 2013, doi:10.1145/2461912.2461982.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2473   OA
Barton, Nicholas H., et al. “Genetic Hitch-Hiking in Spatially Extended Populations.” Theoretical Population Biology, vol. 87, no. 8, Elsevier, 2013, pp. 75–89, doi:10.1016/j.tpb.2012.12.001.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2719
Paixao, Tiago, and Nicholas H. Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.” Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–52, doi:10.1145/2463372.2463470.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2808   OA
Landberg, Katarina, et al. “The Moss Physcomitrella Patens Reproductive Organ Development Is Highly Organized, Affected by the Two SHI/STY Genes and by the Level of Active Auxin in the SHI/STY Expression Domain.” Plant Physiology, vol. 162, no. 3, American Society of Plant Biologists, 2013, pp. 1406–19, doi:10.1104/pp.113.214023.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2822   OA
Topp, Christopher, et al. “3D Phenotyping and Quantitative Trait Locus Mapping Identify Core Regions of the Rice Genome Controlling Root Architecture.” PNAS, vol. 110, no. 18, National Academy of Sciences, 2013, pp. E1695–704, doi:10.1073/pnas.1304354110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2827   OA
Du, Yunlong, et al. “Salicylic Acid Interferes with Clathrin-Mediated Endocytic Protein Trafficking.” PNAS, vol. 110, no. 19, National Academy of Sciences, 2013, pp. 7946–51, doi:10.1073/pnas.1220205110.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 2834   OA
Avila, Marc, et al. “Streamwise-Localized Solutions at the Onset of Turbulence in Pipe Flow.” Physical Review Letters, vol. 110, no. 22, 224502, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.224502.
View | DOI | Download (ext.) | arXiv
 
2013 | Journal Article | IST-REx-ID: 2841
Morita, Hitoshi, and Carl-Philipp J. Heisenberg. “Holding on and Letting Go: Cadherin Turnover in Cell Intercalation.” Developmental Cell, vol. 24, no. 6, Cell Press, 2013, pp. 567–69, doi:10.1016/j.devcel.2013.03.007.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2810   OA
De Vos, Marjon, et al. “Environmental Dependence of Genetic Constraint.” PLoS Genetics, vol. 9, no. 6, e1003580, Public Library of Science, 2013, doi:10.1371/journal.pgen.1003580.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2860   OA
Dupret, David, et al. “Dynamic Reconfiguration of Hippocampal Interneuron Circuits during Spatial Learning.” Neuron, vol. 78, no. 1, Elsevier, 2013, pp. 166–80, doi:10.1016/j.neuron.2013.01.033.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2909   OA
Barton, Nicholas H., et al. “Modelling Evolution in a Spatial Continuum.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 1, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/01/P01002 .
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2853   OA
Refardt, Dominik, et al. “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, vol. 280, no. 1759, Royal Society, The, 2013, doi:10.1098/rspb.2012.3035.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 3116
Chatterjee, Krishnendu, et al. “Code Aware Resource Management.” Formal Methods in System Design, vol. 42, no. 2, Springer, 2013, pp. 142–74, doi:10.1007/s10703-012-0170-4.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 2815
Edelsbrunner, Herbert, et al. “Add Isotropic Gaussian Kernels at Own Risk: More and More Resilient Modes in Higher Dimensions.” Discrete & Computational Geometry, vol. 49, no. 4, Springer, 2013, pp. 797–822, doi: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, vol. 7, no. DEC, Frontiers Research Foundation, 2013, doi:10.3389/fnbeh.2013.00217.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 508   OA
Tarazona Santos, Eduardo, et al. “Evolutionary Dynamics of the Human NADPH Oxidase Genes CYBB, CYBA, NCF2, and NCF4: Functional Implications.” Molecular Biology and Evolution, vol. 30, no. 9, Oxford University Press, 2013, pp. 2157–67, doi:10.1093/molbev/mst119.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2013 | Journal Article | IST-REx-ID: 527
Wabnik, Krzysztof T., et al. “Modeling Framework for the Establishment of the Apical-Basal Embryonic Axis in Plants.” Current Biology, vol. 23, no. 24, Cell Press, 2013, pp. 2513–18, doi:10.1016/j.cub.2013.10.038.
View | DOI
 
2013 | Journal Article | IST-REx-ID: 522
Fuertbauer, Elke, et al. “Thymic Medullar Conduits-Associated Podoplanin Promotes Natural Regulatory T Cells.” Immunology Letters, vol. 154, no. 1–2, Elsevier, 2013, pp. 31–41, doi: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, doi: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. Vol. 8052, Springer, 2013, pp. 273–87, doi: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.” 22nd EACSL Annual Conference on Computer Science Logic, vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–96, doi:10.4230/LIPIcs.CSL.2013.181.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2000   OA
Reiter, Johannes, et al. “TTP: Tool for Tumor Progression.” Proceedings of 25th Int. Conf. on Computer Aided Verification, vol. 8044, Springer, 2013, pp. 101–06, doi: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, et al. “The Effect of One Additional Driver Mutation on Tumor Progression.” Evolutionary Applications, vol. 6, no. 1, Wiley-Blackwell, 2013, pp. 34–45, doi:10.1111/eva.12020.
View | Files available | DOI
 
2013 | Journal Article | IST-REx-ID: 2884
Maître, Jean-Léon, et al. “Cell Adhesion Mechanics of Zebrafish Gastrulation.” Medecine Sciences, vol. 29, no. 2, Éditions Médicales et Scientifiques, 2013, pp. 147–50, doi:10.1051/medsci/2013292011.
View | DOI
 
2013 | Conference Paper | IST-REx-ID: 2295   OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with Omega-Regular Objectives. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 165–80, doi:10.4230/LIPIcs.CSL.2013.165.
View | Files available | DOI
 
2013 | Conference Paper | IST-REx-ID: 2182
Cerny, Pavol, et al. “Quantitative Abstraction Refinement.” Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, ACM, 2013, pp. 115–28, doi:10.1145/2429069.2429085.
View | DOI
 
2013 | Technical Report | IST-REx-ID: 5408
Chatterjee, Krishnendu, et al. The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies. IST Austria, 2013, doi:10.15479/AT:IST-2013-141-v1-1.
View | Files available | DOI
 
2013 | Technical Report | IST-REx-ID: 5410
Ahmed, Umair, et al. Automatic Generation of Alternative Starting Positions for Traditional Board Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-146-v1-1.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed