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
J. Kretinsky, K. Larsen, S. Laursen, and J. Srba, “Polynomial time decidability of weighted synchronization under partial observability,” presented at the CONCUR: Concurrency Theory, Madrid, Spain, 2015, vol. 42, pp. 142–154.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569   OA
S. Doyle 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, pp. E806–E815, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1571
M. De Vos, A. Dawid, V. Šunderlíková, and S. Tans, “Breaking evolutionary constraint with a tradeoff ratchet,” PNAS, vol. 112, no. 48, pp. 14906–14911, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1538   OA
J. Ruess, F. Parise, A. Milias Argeitis, M. Khammash, and J. Lygeros, “Iterative experiment design guides the characterization of a light-inducible gene expression circuit,” PNAS, vol. 112, no. 26, pp. 8148–8153, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1533
W. Xia, C. Domokos, J. Xiong, L. Cheong, and S. Yan, “Segmentation over detection via optimal sparse reconstructions,” IEEE Transactions on Circuits and Systems for Video Technology, vol. 25, no. 8, pp. 1295–1308, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1588
S. Altmeyer, Y. Do, and Y. Lai, “Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows,” Physical Review E, vol. 92, no. 5, 2015.
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590   OA
O. Aichholzer et al., “Representing directed trees as straight skeletons,” in Graph Drawing and Network Visualization, vol. 9411, Springer, 2015, pp. 335–347.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1615   OA
M. Hammer et al., “Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism,” Cell Reports, vol. 13, no. 3, pp. 516–523, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595   OA
R. Fulek, M. Pelsmajer, and M. Schaefer, “Hanani-Tutte for radial planarity,” presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA, 2015, vol. 9411, pp. 99–110.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583   OA
T. Biedl, M. Held, S. Huber, D. Kaaser, and P. Palfrader, “A simple algorithm for computing positively weighted straight skeletons of monotone polygons,” Information Processing Letters, vol. 115, no. 2, pp. 243–247, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1639   OA
J. Maas, M. Rumpf, C. Schönlieb, and S. Simon, “A generalized model for optimal transport of images including dissipation and density modulation,” ESAIM: Mathematical Modelling and Numerical Analysis, vol. 49, no. 6, pp. 1745–1769, 2015.
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1646   OA
A. Banerjee, G. Fuchsbauer, C. Peikert, K. Z. Pietrzak, and S. Stevens, “Key-homomorphic constrained pseudorandom functions,” vol. 9015. Springer, pp. 31–60, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
J. Pérez et al., “Design and fabrication of flexible rod meshes,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1660   OA
T. Brázdil, S. Kiefer, A. Kučera, and P. Novotny, “Long-run average behaviour of probabilistic vector addition systems,” presented at the LICS: Logic in Computer Science, Kyoto, Japan, 2015, pp. 44–55.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1634   OA
F. Da, C. Batty, C. J. Wojtan, and E. Grinspun, “Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States, 2015, vol. 34, no. 4.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1658
S. Bogomolov, T. A. Henzinger, A. Podelski, J. Ruess, and C. Schilling, “Adaptive moment closure for parameter inference of biochemical reaction networks,” vol. 9308. Springer, pp. 77–89, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1689   OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 259–268.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1691
M. Svoreňová et al., “Temporal logic motion planning using POMDPs with parity objectives: Case study paper,” in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, Seattle, WA, United States, 2015, pp. 233–238.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1696   OA
M. Wysokiński, J. Kaczmarczyk, and J. Spałek, “Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states,” Physical Review B, vol. 92, no. 12, 2015.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1704   OA
A. Deuchert, C. Hainzl, and R. Seiringer, “Note on a family of monotone quantum relative entropies,” Letters in Mathematical Physics, vol. 105, no. 10, pp. 1449–1466, 2015.
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709   OA
J. Reiter, A. Kanodia, R. Gupta, M. Nowak, and K. Chatterjee, “Biological auctions with multiple rewards,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1812, 2015.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1728
M. Cohen et al., “Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms,” Nature Communications, vol. 6, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1665
D. Landau et al., “Mutations driving CLL and their evolution in progression and relapse,” Nature, vol. 526, no. 7574, pp. 525–530, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730   OA
É. Colin De Verdière, A. Hubard, and A. N. De Mesmay, “Discrete systolic inequalities and decompositions of triangulated surfaces,” Discrete & Computational Geometry, vol. 53, no. 3, pp. 587–620, 2015.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1672
J. F. Alwen, R. Ostrovsky, H. Zhou, and V. Zikas, “Incoercible multi-party computation and universally composable receipt-free voting,” vol. 9216. Springer, pp. 763–780, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684   OA
B. Vicoso and D. Bachtrog, “Numerous transitions of sex chromosomes in Diptera,” PLoS Biology, vol. 13, no. 4, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
J. Hühner, Á. Inglés Prieto, C. Neusüß, M. Lämmerhofer, and H. L. Janovjak, “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, pp. 518–525, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1874
C. Boccara, L. Kjønigsen, I. Hammer, J. Bjaalie, T. Leergaard, and M. Witter, “A three-plane architectonic atlas of the rat hippocampal region,” Hippocampus, vol. 25, no. 7, pp. 838–857, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879   OA
A. Kremer et al., “Developing 3D SEM in a broad biological context,” Journal of Microscopy, vol. 259, no. 2, pp. 80–96, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1735   OA
R. Ando, N. Thürey, and C. J. Wojtan, “A dimension-reduced pressure solver for liquid simulations,” Computer Graphics Forum, vol. 34, no. 2, pp. 473–480, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1848
B. Schwamb et al., “FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors,” International Journal of Cancer, vol. 137, no. 6, pp. 1318–1329, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1850   OA
S. Novak and S. 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, pp. 54–64, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855   OA
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, and R. Paxton, “ 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, pp. 615–624, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824   OA
J. Knebel, M. Weber, T. H. Krüger, and E. Frey, “Evolutionary games of condensates in coupled birth-death processes,” Nature Communications, vol. 6, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1831   OA
P. Kappeler, S. Cremer, and C. Nunn, “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, p. 20140116, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1812   OA
M. Lahrz, M. Lemeshko, and L. Mathey, “ Exotic roton excitations in quadrupolar Bose–Einstein condensates ,” New Journal of Physics, vol. 17, no. 4, p. 045005, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817   OA
S. Porazinski et al., “YAP is essential for tissue tension to ensure vertebrate 3D body shape,” Nature, vol. 521, no. 7551, pp. 217–221, 2015.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1836
P. Cerny, T. A. Henzinger, L. Kovács, A. Radhakrishna, and J. Zwirchmayr, “Segment abstraction for worst-case execution time analysis,” vol. 9032. Springer, pp. 105–131, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1792
F. Pausinger and A. Svane, “A Koksma-Hlawka inequality for general discrepancy systems,” Journal of Complexity, vol. 31, no. 6, pp. 773–797, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1944
H. Rakusová, M. Fendrych, and J. Friml, “Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants,” Current Opinion in Plant Biology, vol. 23, no. 2, pp. 116–123, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1843
K. Bod’ová, D. Paydarfar, and D. Forger, “Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54],” Journal of Theoretical Biology, vol. 373, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271
V. Kolmogorov, J. Thapper, and S. Živný, “The power of linear programming for general-valued CSPs,” SIAM Journal on Computing, vol. 44, no. 1, pp. 1–36, 2015.
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1805
D. Attali, U. Bauer, O. Devillers, M. Glisse, and A. Lieutier, “Homological reconstruction and simplification in R3,” Computational Geometry: Theory and Applications, vol. 48, no. 8, pp. 606–621, 2015.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1610
K. Chatterjee, T. A. Henzinger, R. Ibsen-Jensen, and J. Otop, “Edit distance for pushdown automata,” vol. 9135, no. Part II. Springer, pp. 121–133, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439   OA
U. Boker, T. A. Henzinger, and J. Otop, The target discounted-sum problem. IST Austria, 2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
1 Anonymous 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
T. Brázdil, K. Chatterjee, M. Chmelik, A. Fellner, and J. Kretinsky, “Counterexample explanation by learning small strategies in Markov decision processes,” presented at the CAV: Computer Aided Verification, San Francisco, CA, United States, 2015, vol. 9206, pp. 158–177.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5441
K. Chatterjee, R. Ibsen-Jensen, A. Goharshady, and A. Pavlogiannis, Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria, 2015.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
R. Biswas and P. Bhowmick, “On different topological classes of spherical geodesic paths and circles inZ3,” Theoretical Computer Science, vol. 605, no. 11, pp. 146–163, 2015.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6507
L. Zhou et al., “Structural basis for collagen recognition by the immune receptor OSCAR,” Blood, vol. 127, no. 5, pp. 529–537, 2015.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed