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.

5164 Publications


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

2013 | Journal Article | IST-REx-ID: 2824
Chatterjee, Krishnendu, and Vinayak Prabhu. “Synthesis of Memory-Efficient, Clock-Memory Free, and Non-Zeno Safety Controllers for Timed Systems.” Information and Computation, vol. 228–229, Elsevier, 2013, pp. 83–119, doi:10.1016/j.ic.2013.04.003.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2829   OA
Shi, Liang, et al. “Scale Invariance at the Onset of Turbulence in Couette Flow.” Physical Review Letters, vol. 110, no. 20, 204502, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.204502.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2831   OA
Chatterjee, Krishnendu, et al. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” Formal Methods in System Design, vol. 42, no. 3, Springer, 2013, pp. 301–27, doi:10.1007/s10703-012-0180-2.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2836   OA
Chatterjee, Krishnendu, and Vishwanath Raman. “Assume-Guarantee Synthesis for Digital Contract Signing.” Formal Aspects of Computing, vol. 26, no. 4, Springer, 2013, pp. 825–59, doi:10.1007/s00165-013-0283-6.
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2780   OA
Erdös, László, et al. “Averaging Fluctuations in Resolvents of Random Band Matrices.” Annales Henri Poincare, vol. 14, no. 8, Birkhäuser, 2013, pp. 1837–926, doi:10.1007/s00023-013-0235-y.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2805
Holzner, Markus, et al. “Lagrangian Approach to Laminar-Turbulent Interfaces in Transitional Pipe Flow.” Journal of Fluid Mechanics, vol. 723, Cambridge University Press, 2013, pp. 140–62, doi:10.1017/jfm.2013.127.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2850   OA
Tkacik, Gasper, et al. “The Simplest Maximum Entropy Model for Collective Behavior in a Neural Network.” Journal of Statistical Mechanics Theory and Experiment, vol. 2013, no. 3, P03011, IOP Publishing Ltd., 2013, doi:10.1088/1742-5468/2013/03/P03011.
View | DOI | Download (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 (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2843
Edelsbrunner, Herbert, and Florian Pausinger. “Stable Length Estimates of Tube-like Shapes.” 17th IAPR International Conference on Discrete Geometry for Computer Imagery, vol. 7749, Springer, 2013, pp. XV–XIX, doi:10.1007/978-3-642-37067-0.
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: 2862   OA
Tay, Hwee, et al. “Lethal Giant Larvae 2 Regulates Development of the Ciliated Organ Kupffer’s Vesicle.” Development, vol. 140, no. 7, Company of Biologists, 2013, pp. 1550–59, doi:10.1242/dev.087130.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2881   OA
Li, Hongjiang, et al. “Cytokinin Signaling Regulates Pavement Cell Morphogenesis in Arabidopsis.” Cell Research, vol. 23, no. 2, Nature Publishing Group, 2013, pp. 290–99, doi:10.1038/cr.2012.146.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2886   OA
Chmelik, Martin, and Vojtěch Řehák. Controllable-Choice Message Sequence Graphs. Vol. 7721, Springer, 2013, pp. 118–30, doi:10.1007/978-3-642-36046-6_12.
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2901   OA
Chen, Chao, et al. Computing the M Most Probable Modes of a Graphical Model. Vol. 31, JMLR, 2013, pp. 161–69.
View | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2906   OA
Kerber, Michael, and Herbert Edelsbrunner. “3D Kinetic Alpha Complexes and Their Implementation.” 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments, Society of Industrial and Applied Mathematics, 2013, pp. 70–77, doi:10.1137/1.9781611972931.6.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2913   OA
Tkacik, Gasper, et al. “Retinal Metric: A Stimulus Distance Measure Derived from Population Neural Responses.” Physical Review Letters, vol. 110, no. 5, 058104, American Physical Society, 2013, doi:10.1103/PhysRevLett.110.058104.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2920   OA
Compagnon, Julien, and Carl-Philipp J. Heisenberg. “Neurulation Coordinating Cell Polarisation and Lumen Formation.” EMBO Journal, vol. 32, no. 1, Wiley-Blackwell, 2013, pp. 1–3, doi:10.1038/emboj.2012.325.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2918
Castanon, Irinka, et al. “Anthrax Toxin Receptor 2a Controls Mitotic Spindle Positioning.” Nature Cell Biology, vol. 15, no. 1, Nature Publishing Group, 2013, pp. 28–39, doi:10.1038/ncb2632.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 353
Li, Wenhua, et al. “CuTe Nanocrystals: Shape and Size Control, Plasmonic Properties, and Use as SERS Probes and Photothermal Agents.” Journal of the American Chemical Society, vol. 135, no. 19, American Chemical Society, 2013, pp. 7098–101, doi:10.1021/ja401428e.
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, BioMed Central, 2013, p. 222, doi:10.1186/1471-2148-13-222.
View | Files available | 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 | 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 | Conference Paper | IST-REx-ID: 1376
Chatterjee, Krishnendu, et al. “Distributed Synthesis for LTL Fragments.” 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25, doi:10.1109/FMCAD.2013.6679386.
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 | Journal Article | IST-REx-ID: 810
Schur, Florian, et al. “Determination of Protein Structure at 8.5Å Resolution Using Cryo-Electron Tomography and Sub-Tomogram Averaging.” Journal of Structural Biology, vol. 184, no. 3, Academic Press, 2013, pp. 394–400, doi:10.1016/j.jsb.2013.10.015.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 827   OA
O’Brien, José, and Eva Benková. “Cytokinin Cross Talking during Biotic and Abiotic Stress Responses.” Frontiers in Plant Science, vol. 4, 451, Frontiers Research Foundation, 2013, doi:10.3389/fpls.2013.00451.
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 973   OA
Serbyn, Maksym, et al. “Local Conservation Laws and the Structure of the Many Body Localized States.” Physical Review Letters, vol. 111, no. 12, American Physical Society, 2013, doi:10.1103/PhysRevLett.111.127201.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 6768   OA
Mondelli, Marco. “A Finite Difference Scheme for the Stack Filter Simulating the MCM.” Image Processing On Line, vol. 3, Image Processing On Line, 2013, pp. 68–111, doi:10.5201/ipol.2013.53.
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2305
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 (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2944
Aeschbacher, Simon, et al. “Approximate Bayesian Computation for Modular Inference Problems with Many Parameters: The Example of Migration Rates. .” Molecular Ecology, vol. 22, no. 4, Wiley-Blackwell, 2013, pp. 987–1002, doi:10.1111/mec.12165.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2855   OA
Hippenmeyer, Simon, et al. “Mosaic Analysis with Double Markers Reveals Cell Type Specific Paternal Growth Dominance.” Cell Reports, vol. 3, no. 3, Cell Press, 2013, pp. 960–67, doi:10.1016/j.celrep.2013.02.002.
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 (ext.) | arXiv
 

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, American Physical Society, 2013, p. 064401, doi:10.1103/PhysRevB.88.064401.
View | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2259   OA
Alwen, Joel F., et al. Learning with Rounding, Revisited: New Reduction Properties and Applications. Vol. 8042, no. 1, Springer, 2013, pp. 57–74, doi:10.1007/978-3-642-40041-4_4.
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 (ext.) | arXiv
 

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

2013 | Journal Article | IST-REx-ID: 1310
Fischer, Julian L. “Optimal Lower Bounds on Asymptotic Support Propagation Rates for the Thin-Film Equation.” Journal of Differential Equations, vol. 255, no. 10, Academic Press, 2013, pp. 3127–49, doi:10.1016/j.jde.2013.07.028.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1308
Fischer, Julian L. “Advection-Driven Support Shrinking in a Chemotaxis Model with Degenerate Mobility.” SIAM Journal on Mathematical Analysis, vol. 45, no. 3, Society for Industrial and Applied Mathematics , 2013, pp. 1585–615, doi:10.1137/120874291.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1442   OA
Hausel, Tamas, et al. “Positivity for Kac Polynomials and DT-Invariants of Quivers.” Annals of Mathematics, vol. 177, no. 3, Princeton University Press, 2013, pp. 1147–68, doi:10.4007/annals.2013.177.3.8.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1790
Novarino, Gaia, et al. “The Sacred Disease: The Puzzling Genetics of Epileptic Disorders.” Neuron, vol. 80, no. 1, Elsevier, 2013, pp. 9–11, doi:10.1016/j.neuron.2013.09.019.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1726
Kahane, Nitza, et al. “The Transition from Differentiation to Growth during Dermomyotome-Derived Myogenesis Depends on Temporally Restricted Hedgehog Signaling.” Development, vol. 140, no. 8, Company of Biologists, 2013, pp. 1740–50, doi:10.1242/dev.092726.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1978
Baradaran, Rozbeh, et al. “Crystal Structure of the Entire Respiratory Complex I.” Nature, vol. 494, no. 7438, Nature Publishing Group, 2013, pp. 443–48, doi:10.1038/nature11871.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2010   OA
Uhler, Caroline, et al. “Geometry of the Faithfulness Assumption in Causal Inference.” The Annals of Statistics, vol. 41, no. 2, Institute of Mathematical Statistics, 2013, pp. 436–63, doi:10.1214/12-AOS1080.
View | DOI | Download (ext.) | arXiv
 

2013 | Book Review | IST-REx-ID: 2205   OA
Lemeshko, Mikhail, et al. “Manipulation of Molecules with Electromagnetic Fields.” Molecular Physics, vol. 111, no. 12–13, Taylor & Francis, 2013, pp. 1648–82, doi:10.1080/00268976.2013.813595.
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2109
Hildebrand, Kristian, et al. “Orthogonal Slicing for Additive Manufacturing.” Computers and Graphics (Pergamon), vol. 37, no. 6, Elsevier, 2013, pp. 669–75, doi:10.1016/j.cag.2013.05.011.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2111
Bermano, Amit, et al. “Augmenting Physical Avatars Using Projector-Based Illumination.” ACM Transactions on Graphics, vol. 32, no. 6, ACM, 2013, doi:10.1145/2508363.2508416.
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2130
Clément, Philippe, and Jan Maas. “Erratum: A Trotter Product Formula for Gradient Flows in Metric Spaces.” Journal of Evolution Equations, vol. 13, no. 1, Birkhäuser, 2013, pp. 251–52, doi:10.1007/s00028-012-0173-z.
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2243   OA
Michaliszyn, Jakub, and Jan Otop. Elementary Modal Logics over Transitive Structures. Vol. 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 563–77, doi:10.4230/LIPIcs.CSL.2013.563.
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 (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed