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.

358 Publications


2015 | Conference Paper | IST-REx-ID: 1499   OA
Kretinsky, Jan, et al. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Vol. 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–54, doi:10.4230/LIPIcs.CONCUR.2015.142.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569   OA
Doyle, Siamsa, et al. “An Early Secretory Pathway Mediated by Gnom-like 1 and Gnom Is Essential for Basal Polarity Establishment in Arabidopsis Thaliana.” PNAS, vol. 112, no. 7, National Academy of Sciences, 2015, pp. E806–15, doi:10.1073/pnas.1424856112.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1571
De Vos, Marjon, et al. “Breaking Evolutionary Constraint with a Tradeoff Ratchet.” PNAS, vol. 112, no. 48, National Academy of Sciences, 2015, pp. 14906–11, doi:10.1073/pnas.1510282112.
View | 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 (ext.) | PubMed | Europe PMC
 

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: 1588
Altmeyer, Sebastian, et al. “Ring-Bursting Behavior En Route to Turbulence in Narrow-Gap Taylor-Couette Flows.” Physical Review E, vol. 92, no. 5, 053018, American Physical Society, 2015, doi:10.1103/PhysRevE.92.053018.
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590   OA
Aichholzer, Oswin, et al. “Representing Directed Trees as Straight Skeletons.” Graph Drawing and Network Visualization, vol. 9411, Springer, 2015, pp. 335–47, doi:10.1007/978-3-319-27261-0_28.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1615   OA
Hammer, Matthieu, et al. “Perturbed Hippocampal Synaptic Inhibition and γ-Oscillations in a Neuroligin-4 Knockout Mouse Model of Autism.” Cell Reports, vol. 13, no. 3, Cell Press, 2015, pp. 516–23, doi:10.1016/j.celrep.2015.09.011.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595   OA
Fulek, Radoslav, et al. Hanani-Tutte for Radial Planarity. Vol. 9411, Springer, 2015, pp. 99–110, doi:10.1007/978-3-319-27261-0_9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583   OA
Biedl, Therese, et al. “A Simple Algorithm for Computing Positively Weighted Straight Skeletons of Monotone Polygons.” Information Processing Letters, vol. 115, no. 2, Elsevier, 2015, pp. 243–47, doi:10.1016/j.ipl.2014.09.021.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1639   OA
Maas, Jan, et al. “A Generalized Model for Optimal Transport of Images Including Dissipation and Density Modulation.” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6, EDP Sciences, 2015, pp. 1745–69, doi:10.1051/m2an/2015043.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1646   OA
Banerjee, Abishek, et al. Key-Homomorphic Constrained Pseudorandom Functions. Vol. 9015, Springer, 2015, pp. 31–60, doi:10.1007/978-3-662-46497-7_2.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez, Jesús, et al. Design and Fabrication of Flexible Rod Meshes. Vol. 34, no. 4, 138, ACM, 2015, doi:10.1145/2766998.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1660   OA
Brázdil, Tomáš, et al. Long-Run Average Behaviour of Probabilistic Vector Addition Systems. IEEE, 2015, pp. 44–55, doi:10.1109/LICS.2015.15.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1634   OA
Da, Fang, et al. Double Bubbles sans Toil and Trouble: Discrete Circulation-Preserving Vortex Sheets for Soap Films and Foams. Vol. 34, no. 4, 149, ACM, 2015, doi:10.1145/2767003.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, Sergiy, et al. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. Vol. 9308, Springer, 2015, pp. 77–89, doi:10.1007/978-3-319-23401-4_8.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová, Mária, et al. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–68, doi:10.1145/2728606.2728608.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, Mária, et al. “Temporal Logic Motion Planning Using POMDPs with Parity Objectives: Case Study Paper.” Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 233–38, doi:10.1145/2728606.2728617.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1696   OA
Wysokiński, Marcin, et al. “Gutzwiller Wave Function Solution for Anderson Lattice Model: Emerging Universal Regimes of Heavy Quasiparticle States.” Physical Review B, vol. 92, no. 12, 125135, American Physical Society, 2015, doi:10.1103/PhysRevB.92.125135.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1704   OA
Deuchert, Andreas, et al. “Note on a Family of Monotone Quantum Relative Entropies.” Letters in Mathematical Physics, vol. 105, no. 10, Springer, 2015, pp. 1449–66, doi:10.1007/s11005-015-0787-5.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709   OA
Reiter, Johannes, et al. “Biological Auctions with Multiple Rewards.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, Royal Society, 2015, doi:10.1098/rspb.2015.1041.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, Michael, et al. “Ptch1 and Gli Regulate Shh Signalling Dynamics via Multiple Mechanisms.” Nature Communications, vol. 6, Nature Publishing Group, 2015, doi:10.1038/ncomms7709.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1665
Landau, Dan, et al. “Mutations Driving CLL and Their Evolution in Progression and Relapse.” Nature, vol. 526, no. 7574, Nature Publishing Group, 2015, pp. 525–30, doi:10.1038/nature15395.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730   OA
Colin De Verdière, Éric, et al. “Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces.” Discrete & Computational Geometry, vol. 53, no. 3, Springer, 2015, pp. 587–620, doi:10.1007/s00454-015-9679-9.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1672
Alwen, Joel F., et al. Incoercible Multi-Party Computation and Universally Composable Receipt-Free Voting. Vol. 9216, Springer, 2015, pp. 763–80, doi:10.1007/978-3-662-48000-7_37.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684   OA
Vicoso, Beatriz, and Doris Bachtrog. “Numerous Transitions of Sex Chromosomes in Diptera.” PLoS Biology, vol. 13, no. 4, e1002078, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002078.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Hühner, Jens, et al. “Quantification of Riboflavin, Flavin Mononucleotide, and Flavin Adenine Dinucleotide in Mammalian Model Cells by CE with LED-Induced Fluorescence Detection.” Electrophoresis, vol. 36, no. 4, Wiley, 2015, pp. 518–25, doi:10.1002/elps.201400451.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1874
Boccara, Charlotte, et al. “A Three-Plane Architectonic Atlas of the Rat Hippocampal Region.” Hippocampus, vol. 25, no. 7, Wiley, 2015, pp. 838–57, doi:10.1002/hipo.22407.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879   OA
Kremer, A., et al. “Developing 3D SEM in a Broad Biological Context.” Journal of Microscopy, vol. 259, no. 2, Wiley-Blackwell, 2015, pp. 80–96, doi:10.1111/jmi.12211.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1735   OA
Ando, Ryoichi, et al. “A Dimension-Reduced Pressure Solver for Liquid Simulations.” Computer Graphics Forum, vol. 34, no. 2, Wiley, 2015, pp. 473–80, doi:10.1111/cgf.12576.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1848
Schwamb, Bettina, et al. “FAM96A Is a Novel Pro-Apoptotic Tumor Suppressor in Gastrointestinal Stromal Tumors.” International Journal of Cancer, vol. 137, no. 6, Wiley-Blackwell, 2015, pp. 1318–29, doi:10.1002/ijc.29498.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1850   OA
Novak, Sebastian, and Sylvia Cremer. “Fungal Disease Dynamics in Insect Societies: Optimal Killing Rates and the Ambivalent Effect of High Social Interaction Rates.” Journal of Theoretical Biology, vol. 372, no. 5, Elsevier, 2015, pp. 54–64, doi:10.1016/j.jtbi.2015.02.018.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855   OA
Mcmahon, Dino, et al. “ A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Journal of Animal Ecology, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:10.1111/1365-2656.12345.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824   OA
Knebel, Johannes, et al. “Evolutionary Games of Condensates in Coupled Birth-Death Processes.” Nature Communications, vol. 6, 6977, Nature Publishing Group, 2015, doi:10.1038/ncomms7977.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1831   OA
Kappeler, Peter, et al. “Sociality and Health: Impacts of Sociality on Disease Susceptibility and Transmission in Animal and Human Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, 2015, p. 20140116, doi:10.1098/rstb.2014.0116.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1812   OA
Lahrz, Martin, et al. “ Exotic Roton Excitations in Quadrupolar Bose–Einstein Condensates .” New Journal of Physics, vol. 17, no. 4, IOP Publishing Ltd., 2015, p. 045005, doi:10.1088/1367-2630/17/4/045005.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817   OA
Porazinski, Sean, et al. “YAP Is Essential for Tissue Tension to Ensure Vertebrate 3D Body Shape.” Nature, vol. 521, no. 7551, Nature Publishing Group, 2015, pp. 217–21, doi:10.1038/nature14215.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1792
Pausinger, Florian, and Anne Svane. “A Koksma-Hlawka Inequality for General Discrepancy Systems.” Journal of Complexity, vol. 31, no. 6, Academic Press, 2015, pp. 773–97, doi:10.1016/j.jco.2015.06.002.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová, Hana, et al. “Intracellular Trafficking and PIN-Mediated Cell Polarity during Tropic Responses in Plants.” Current Opinion in Plant Biology, vol. 23, no. 2, Elsevier, 2015, pp. 116–23, doi:10.1016/j.pbi.2014.12.002.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, Katarína, et al. “Erratum to: Characterizing Spiking in Noisy Type II Neurons [J. Theor. Biol. 365 (2015) 40–54].” Journal of Theoretical Biology, vol. 373, Elsevier, 2015, doi:10.1016/j.jtbi.2015.03.013.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271
Kolmogorov, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1805
Attali, Dominique, et al. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications, vol. 48, no. 8, Elsevier, 2015, pp. 606–21, doi:10.1016/j.comgeo.2014.08.010.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, et al. Edit Distance for Pushdown Automata. Vol. 9135, no. Part II, Springer, 2015, pp. 121–33, doi:10.1007/978-3-662-47666-6_10.
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: 5434   OA
Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, et al. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. Vol. 9206, Springer, 2015, pp. 158–77, doi:10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5441
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 | Journal Article | IST-REx-ID: 5807
Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.” Theoretical Computer Science, vol. 605, no. 11, Elsevier, 2015, pp. 146–63, doi:10.1016/j.tcs.2015.09.003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, Long, et al. “Structural Basis for Collagen Recognition by the Immune Receptor OSCAR.” Blood, vol. 127, no. 5, American Society of Hematology, 2015, pp. 529–37, doi:10.1182/blood-2015-08-667055.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed