Please note that IST 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.

2975 Publications


2013 | Report | IST-REx-ID: 2273 | OA
Kolmogorov, Vladimir. Reweighted Message Passing Revisited. IST Austria, 2013.
View | Download (ext.)
 

2013 | Report | IST-REx-ID: 2274 | OA
Dziembowski, Stefan, et al. Proofs of Space. IST Austria, 2013.
View | Files available
 

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 Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2277 | OA
Simmons, Kristina, et al. “Transformation of Stimulus Correlations by the Retina.” PLoS Computational Biology, vol. 9, no. 12, e1003344, Public Library of Science, 2013, doi:10.1371/journal.pcbi.1003344.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2278
Pérez Gómez, Raquel, et al. “A Serrate-Notch-Canoe Complex Mediates Essential Interactions between Glia and Neuroepithelial Cells during Drosophila Optic Lobe Development.” Journal of Cell Science, vol. 126, no. 21, Company of Biologists, 2013, pp. 4873–84, doi:10.1242/jcs.125617.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279 | OA
Chatterjee, Krishnendu, et al. Looking at Mean-Payoff and Total-Payoff through Windows. Vol. 8172, Springer, 2013, pp. 118–32, doi:10.1007/978-3-319-02444-8_10.
View | Files available | DOI | Download Preprint (ext.)
 

2013 | Journal Article | IST-REx-ID: 2280 | OA
Uhler, Caroline, and Stephen Wright. “Packing Ellipsoids with Overlap.” SIAM Review, vol. 55, no. 4, Society for Industrial and Applied Mathematics , 2013, pp. 671–706, doi:10.1137/120872309.
View | DOI | Download Preprint (ext.) | arXiv
 

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 Submitted Version (ext.)
 

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 | Journal Article | IST-REx-ID: 2284 | OA
Tragust, Simon, et al. “Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” BMC Evolutionary Biology, vol. 13, no. 1, 225, BioMed Central, 2013, doi:10.1186/1471-2148-13-225.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2286 | OA
Campinho, Pedro, and Carl-Philipp J. Heisenberg. “The Force and Effect of Cell Proliferation.” EMBO Journal, vol. 32, no. 21, Wiley-Blackwell, 2013, pp. 2783–84, doi:10.1038/emboj.2013.225.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2287 | OA
Pickup, Melinda, and Spencer Barrett. “The Influence of Demography and Local Mating Environment on Sex Ratios in a Wind-Pollinated Dioecious Plant.” Ecology and Evolution, vol. 3, no. 3, Wiley-Blackwell, 2013, pp. 629–39, doi:10.1002/ece3.465.
View | Files available | 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: 2289 | OA
Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.” Computer Science Research and Development, vol. 28, no. 4, Springer, 2013, pp. 331–44, doi:10.1007/s00450-013-0251-7.
View | Files available | 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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Conference Paper | IST-REx-ID: 2291 | OA
Ferrara, Anna, et al. Cryptographically Enforced RBAC. IEEE, 2013, pp. 115–29, doi:10.1109/CSF.2013.15.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference (Editor) | IST-REx-ID: 2292
Chatterjee, Krishnendu, and Jiri Sgall, editors. Mathematical Foundations of Computer Science 2013. Vol. 8087, Springer, 2013, p. VI-854, doi:10.1007/978-3-642-40313-2.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2293 | OA
Sharmanska, Viktoriia, et al. Learning to Rank Using Privileged Information. IEEE, 2013, pp. 825–32, doi:10.1109/ICCV.2013.107.
View | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2294 | OA
Kazmar, Tomas, et al. Drosophila Embryo Stage Annotation Using Label Propagation. IEEE, 2013, doi:10.1109/ICCV.2013.139.
View | DOI | Download Submitted Version (ext.)
 

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 | Journal Article | IST-REx-ID: 2297 | OA
Seiringer, Robert. “Hot Topics in Cold Gases: A Mathematical Physics Perspective.” Japanese Journal of Mathematics, vol. 8, no. 2, Springer, 2013, pp. 185–232, doi:10.1007/s11537-013-1264-5.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2298 | OA
Dragoi, Cezara, et al. Local Shape Analysis for Overlaid Data Structures. Vol. 7935, Springer, 2013, pp. 150–71, doi:10.1007/978-3-642-38856-9_10.
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: 2300 | OA
Giuliani, Alessandro, et al. “Realization of Stripes and Slabs in Two and Three Dimensions.” Physical Review B, vol. 88, no. 6, 064401, American Physical Society, 2013, doi:10.1103/PhysRevB.88.064401.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2301
Desai, Ankush, et al. “P: Safe Asynchronous Event-Driven Programming.” Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, 2013, pp. 321–31, doi:10.1145/2491956.2462184.
View | DOI | Download None (ext.)
 

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 | Journal Article | IST-REx-ID: 2304
Pausinger, Florian. “Van Der Corput Sequences and Linear Permutations.” Electronic Notes in Discrete Mathematics, vol. 43, Elsevier, 2013, pp. 43–50, doi:10.1016/j.endm.2013.07.008.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305 | OA
Brázdil, Tomáš, et al. “Trading Performance for Stability in Markov Decision Processes.” 28th Annual ACM/IEEE Symposium, IEEE, 2013, pp. 331–40, doi:10.1109/LICS.2013.39.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Book | IST-REx-ID: 2306 | OA
Danowski, Patrick, and Adrian Pohl. (Open) Linked Data in Bibliotheken. Vol. 50, De Gruyter, 2013, doi:10.1515/9783110278736.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2327 | OA
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: 2328 | OA
Henzinger, Thomas A., et al. Aspect-Oriented Linearizability Proofs. Vol. 8052, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 242–56, doi:10.1007/978-3-642-40184-8_18.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2329 | OA
Chatterjee, Krishnendu, and Yaron Velner. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games. Vol. 8052, Springer, 2013, pp. 500–15, doi:10.1007/978-3-642-40184-8_35.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2410 | OA
Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2412 | OA
Kupczok, Anne, and Jonathan P. Bollback. “Probabilistic Models for CRISPR Spacer Content Evolution .” BMC Evolutionary Biology, vol. 13, no. 1, BioMed Central, 2013, pp. 54–54, doi:10.1186/1471-2148-13-54.
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 2413
Valderrama, Mario, et al. “Neuronal Oscillations Scale up and Scale down the Brain Dynamics .” Multiscale Analysis and Nonlinear Dynamics: From Genes to the Brain, edited by Misha Meyer and Z. Pesenson, Wiley-VCH, 2013, doi:10.1002/9783527671632.ch08.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2443
Simon, Sibu, et al. “Defining the Selectivity of Processes along the Auxin Response Chain: A Study Using Auxin Analogues.” New Phytologist, vol. 200, no. 4, Wiley-Blackwell, 2013, pp. 1034–48, doi:10.1111/nph.12437.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2444 | OA
Chatterjee, Krishnendu, and Jakub Ła̧Cki. Faster Algorithms for Markov Decision Processes with Low Treewidth. Vol. 8044, Springer, 2013, pp. 543–58, doi:10.1007/978-3-642-39799-8_36.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny, Pavol, et al. Efficient Synthesis for Concurrency by Semantics-Preserving Transformations. Vol. 8044, Springer, 2013, pp. 951–67, doi:10.1007/978-3-642-39799-8_68.
View | Files available | DOI
 

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 Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2447 | OA
Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2448 | OA
Remy, Estelle, et al. “ZIFL1.1 Transporter Modulates Polar Auxin Transport by Stabilizing Membrane Abundance of Multiple PINs in Arabidopsis Root Tip.” Plant Signaling & Behavior, vol. 8, no. 10, e25688, Landes Bioscience, 2013, doi:10.4161/psb.25688.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2449
Nodzyński, Tomasz, et al. “Retromer Subunits VPS35A and VPS29 Mediate Prevacuolar Compartment (PVC) Function in Arabidopsis.” Molecular Plant, vol. 6, no. 6, Cell Press, 2013, pp. 1849–62, doi:10.1093/mp/sst044.
View | DOI
 

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: 2467 | OA
Bernstein, Gilbert, and Christopher J. Wojtan. “Putting Holes in Holey Geometry: Topology Change for Arbitrary Surfaces.” ACM Transactions on Graphics, vol. 32, no. 4, 34, ACM, 2013, doi:10.1145/2461912.2462027.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2468 | OA
Bojsen-Hansen, Morten, and Christopher J. Wojtan. “Liquid Surface Tracking with Error Compensation.” ACM Transactions on Graphics, vol. 32, no. 4, 68, ACM, 2013, doi:10.1145/2461912.2461991.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2469 | OA
Maître, Jean-Léon, and Carl-Philipp J. Heisenberg. “Three Functions of Cadherins in Cell Adhesion.” Current Biology, vol. 23, no. 14, Cell Press, 2013, pp. R626–33, doi:10.1016/j.cub.2013.06.019.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2470 | OA
Čovanová, Milada, et al. “Overexpression of the Auxin Binding PROTEIN1 Modulates PIN-Dependent Auxin Transport in Tobacco Cells.” PLoS One, vol. 8, no. 7, e70050, Public Library of Science, 2013, doi:10.1371/journal.pone.0070050.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2471 | OA
Sanchez-Romero, Inmaculada, et al. “Mechanism of Protein Kinetic Stabilization by Engineered Disulfide Crosslinks.” PLoS One, vol. 8, no. 7, e70013, Public Library of Science, 2013, doi:10.1371/journal.pone.0070013.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2472 | OA
Cazzonelli, Christopher, et al. “Role of the Arabidopsis PIN6 Auxin Transporter in Auxin Homeostasis and Auxin-Mediated Development.” PLoS One, vol. 8, no. 7, e70069, Public Library of Science, 2013, doi:10.1371/journal.pone.0070069.
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 | Journal Article | IST-REx-ID: 2516
Lampert, Christoph, et al. “Attribute-Based Classification for Zero-Shot Learning of Object Categories.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 36, no. 3, IEEE, 2013, pp. 453–65, doi:10.1109/TPAMI.2013.140.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, Shaull, et al. Formalizing and Reasoning about Quality. Vol. 7966, no. Part 2, Springer, 2013, pp. 15–27, doi:10.1007/978-3-642-39212-2_3.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, Vladimir. The Power of Linear Programming for Finite-Valued CSPs: A Constructive Characterization. Vol. 7965, no. 1, Springer, 2013, pp. 625–36, doi:10.1007/978-3-642-39206-1_53.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520 | OA
Quadrianto, Novi, et al. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–36.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 450 | OA
Pickup, Melinda, et al. “Source Population Characteristics Affect Heterosis Following Genetic Rescue of Fragmented Plant Populations.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 280, no. 1750, 2058, Royal Society, The, 2013, doi:10.1098/rspb.2012.2058.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 499
Wakamoto, Yurichi, et al. “Dynamic Persistence of Antibiotic-Stressed Mycobacteria.” Science, vol. 339, no. 6115, American Association for the Advancement of Science, 2013, pp. 91–95, doi:10.1126/science.1229858.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 500 | OA
Ward, Melissa, et al. “Evolutionary Interactions between Haemagglutinin and Neuraminidase in Avian Influenza.” BMC Evolutionary Biology, vol. 13, no. 1, 222, BioMed Central, 2013, doi:10.1186/1471-2148-13-222.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, Mario, et al. “A New Species of Tapir from the Amazon.” Journal of Mammalogy, vol. 94, no. 6, Oxford University Press, 2013, pp. 1331–45, doi:10.1644/12-MAMM-A-169.1.
View | Files available | DOI
 

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 | Journal Article | IST-REx-ID: 505
Greimel, Katrin, et al. “Banning Toxic Heavy-Metal Catalysts from Paints: Enzymatic Cross-Linking of Alkyd Resins.” Green Chemistry, vol. 15, no. 2, Royal Society of Chemistry, 2013, pp. 381–88, doi:10.1039/c2gc36666e.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 507 | OA
Kim, Soo, et al. “Adaptor Protein Complex 2-Mediated Endocytosis Is Crucial for Male Reproductive Organ Development in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2970–85, doi:10.1105/tpc.113.114264.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 509 | OA
Di Rubbo, Simone, et al. “The Clathrin Adaptor Complex AP-2 Mediates Endocytosis of Brassinosteroid INSENSITIVE1 in Arabidopsis.” Plant Cell, vol. 25, no. 8, American Society of Plant Biologists, 2013, pp. 2986–97, doi:10.1105/tpc.113.114058.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, Aleš, et al. “Regulation of Auxin Homeostasis and Gradients in Arabidopsis Roots through the Formation of the Indole-3-Acetic Acid Catabolite 2-Oxindole-3-Acetic Acid.” Plant Cell, vol. 25, no. 10, American Society of Plant Biologists, 2013, pp. 3858–70, doi:10.1105/tpc.113.114421.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 516 | OA
Bargmann, Bastiaan, et al. “A Map of Cell Type‐specific Auxin Responses.” Molecular Systems Biology, vol. 9, no. 1, 688, Nature Publishing Group, 2013, doi:10.1038/msb.2013.40.
View | Files available | 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 | 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: 528
Robert, Hélène, et al. “Local Auxin Sources Orient the Apical Basal Axis in Arabidopsis Embryos.” Current Biology, vol. 23, no. 24, Cell Press, 2013, pp. 2506–12, doi:10.1016/j.cub.2013.09.039.
View | DOI
 

2013 | Technical Report | IST-REx-ID: 5399 | OA
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 | Technical Report | IST-REx-ID: 5400 | OA
Chatterjee, Krishnendu, et al. What Is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives. IST Austria, 2013, doi:10.15479/AT:IST-2013-109-v1-1.
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401 | OA
Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
View | Files available
 

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 | 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 | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Complexity of Ergodic Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-127-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5405 | OA
Chatterjee, Krishnendu, et al. Perfect-Information Stochastic Mean-Payoff Parity Games. IST Austria, 2013, doi:10.15479/AT:IST-2013-128-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, Krishnendu, et al. Distributed Synthesis for LTL Fragments. IST Austria, 2013, doi:10.15479/AT:IST-2013-130-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 | Technical Report | IST-REx-ID: 5408 | OA
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: 5409 | OA
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
View | Files available | DOI
 

2013 | Technical Report | IST-REx-ID: 5410 | OA
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
 

2013 | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” Computer Aided Verification, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:10.1007/978-3-642-39799-8_11.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2698 | OA
Erdös, László, et al. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society, vol. 15, no. 6, European Mathematical Society, 2013, pp. 2093–113, doi:10.4171/JEMS/416.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2718 | OA
Barton, Nicholas H., and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–80, doi:10.1145/2463372.2463568.
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: 2720 | OA
Long, Hongan, et al. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.” Genetics, vol. 195, no. 2, Genetics Society of America, 2013, pp. 527–40, doi:10.1534/genetics.113.153536.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2782 | OA
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics, vol. 152, no. 6, Springer, 2013, pp. 1003–32, doi:10.1007/s10955-013-0807-8.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2806
Avila, Kerstin, and Björn Hof. “High-Precision Taylor-Couette Experiment to Study Subcritical Transitions and the Role of Boundary Conditions and Size Effects.” Review of Scientific Instruments, vol. 84, no. 6, 065106, American Institute of Physics, 2013, doi:10.1063/1.4807704.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2807 | OA
Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.” 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604, doi:10.1145/2488608.2488683.
View | Files available | 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 Submitted Version (ext.) | PubMed | Europe PMC
 

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: 2811 | OA
Avila, Marc, and Björn Hof. “Nature of Laminar-Turbulence Intermittency in Shear Flows.” Physical Review E, vol. 87, no. 6, 063012, American Institute of Physics, 2013, doi:10.1103/PhysRevE.87.063012.
View | DOI | Download Preprint (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2812 | OA
Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” Proceedings of the 29th Annual Symposium on Computational Geometry, ACM, 2013, pp. 117–25, doi:10.1145/2462356.2462373.
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Journal Article | IST-REx-ID: 2813 | OA
Samanta, Devranjan, et al. “Elasto-Inertial Turbulence.” PNAS, vol. 110, no. 26, National Academy of Sciences, 2013, pp. 10557–62, doi:10.1073/pnas.1219666110.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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 Preprint (ext.) | arXiv
 

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: 2816 | OA
Božić, Ivana, et al. “Evolutionary Dynamics of Cancer in Response to Targeted Combination Therapy.” ELife, vol. 2, e00747, eLife Sciences Publications, 2013, doi:10.7554/eLife.00747.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2817 | OA
Novak, Sebastian, et al. “Density Games.” Journal of Theoretical Biology, vol. 334, Elsevier, 2013, pp. 26–34, doi:10.1016/j.jtbi.2013.05.029.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2818 | OA
Rajan, Kanaka, et al. “Learning Quadratic Receptive Fields from Neural Responses to Natural Stimuli.” Neural Computation, vol. 25, no. 7, MIT Press , 2013, pp. 1661–92, doi:10.1162/NECO_a_00463.
View | DOI | Download Preprint (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 Preprint (ext.)
 

Filters and Search Terms

extern<>1

Search

Filter Publications