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, J., Larsen, K., Laursen, S., & Srba, J. (2015). Polynomial time decidability of weighted synchronization under partial observability (Vol. 42, pp. 142–154). Presented at the CONCUR: Concurrency Theory, Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1569   OA
Doyle, S., Haegera, A., Vain, T., Rigala, A., Viotti, C., Łangowskaa, M., … Robert, S. (2015). An early secretory pathway mediated by gnom-like 1 and gnom is essential for basal polarity establishment in Arabidopsis thaliana. PNAS, 112(7), E806–E815. https://doi.org/10.1073/pnas.1424856112
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1571
De Vos, M., Dawid, A., Šunderlíková, V., & Tans, S. (2015). Breaking evolutionary constraint with a tradeoff ratchet. PNAS, 112(48), 14906–14911. https://doi.org/10.1073/pnas.1510282112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1538   OA
Ruess, J., Parise, F., Milias Argeitis, A., Khammash, M., & Lygeros, J. (2015). Iterative experiment design guides the characterization of a light-inducible gene expression circuit. PNAS, 112(26), 8148–8153. https://doi.org/10.1073/pnas.1423947112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1533
Xia, W., Domokos, C., Xiong, J., Cheong, L., & Yan, S. (2015). Segmentation over detection via optimal sparse reconstructions. IEEE Transactions on Circuits and Systems for Video Technology, 25(8), 1295–1308. https://doi.org/10.1109/TCSVT.2014.2379972
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1588
Altmeyer, S., Do, Y., & Lai, Y. (2015). Ring-bursting behavior en route to turbulence in narrow-gap Taylor-Couette flows. Physical Review E, 92(5). https://doi.org/10.1103/PhysRevE.92.053018
View | DOI
 

2015 | Book Chapter | IST-REx-ID: 1590   OA
Aichholzer, O., Biedl, T., Hackl, T., Held, M., Huber, S., Palfrader, P., & Vogtenhuber, B. (2015). Representing directed trees as straight skeletons. In Graph Drawing and Network Visualization (Vol. 9411, pp. 335–347). Los Angeles, CA, United States: Springer. https://doi.org/10.1007/978-3-319-27261-0_28
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1615   OA
Hammer, M., Krueger Burg, D., Tuffy, L., Cooper, B., Taschenberger, H., Goswami, S., … Brose, N. (2015). Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism. Cell Reports, 13(3), 516–523. https://doi.org/10.1016/j.celrep.2015.09.011
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1595   OA
Fulek, R., Pelsmajer, M., & Schaefer, M. (2015). Hanani-Tutte for radial planarity (Vol. 9411, pp. 99–110). Presented at the GD: Graph Drawing and Network Visualization, Los Angeles, CA, USA: Springer. https://doi.org/10.1007/978-3-319-27261-0_9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1583   OA
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). A simple algorithm for computing positively weighted straight skeletons of monotone polygons. Information Processing Letters, 115(2), 243–247. https://doi.org/10.1016/j.ipl.2014.09.021
View | Files available | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1646   OA
Banerjee, A., Fuchsbauer, G., Peikert, C., Pietrzak, K. Z., & Stevens, S. (2015). Key-homomorphic constrained pseudorandom functions. Presented at the TCC: Theory of Cryptography Conference, Warsaw, Poland: Springer. https://doi.org/10.1007/978-3-662-46497-7_2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1627
Pérez, J., Thomaszewski, B., Coros, S., Bickel, B., Canabal, J., Sumner, R., & Otaduy, M. (2015). Design and fabrication of flexible rod meshes (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2766998
View | DOI
 

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

2015 | Conference Paper | IST-REx-ID: 1634   OA
Da, F., Batty, C., Wojtan, C. J., & Grinspun, E. (2015). Double bubbles sans toil and trouble: discrete circulation-preserving vortex sheets for soap films and foams (Vol. 34). Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2767003
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1658
Bogomolov, S., Henzinger, T. A., Podelski, A., Ruess, J., & Schilling, C. (2015). Adaptive moment closure for parameter inference of biochemical reaction networks. Presented at the CMSB: Computational Methods in Systems Biology, Nantes, France: Springer. https://doi.org/10.1007/978-3-319-23401-4_8
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1689   OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2015). 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 (pp. 259–268). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728608
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, M., Chmelik, M., Leahy, K., Eniser, H., Chatterjee, K., Cěrná, I., & Belta, C. (2015). 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 (pp. 233–238). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728617
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1696   OA
Wysokiński, M., Kaczmarczyk, J., & Spałek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B, 92(12). https://doi.org/10.1103/PhysRevB.92.125135
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1704   OA
Deuchert, A., Hainzl, C., & Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics, 105(10), 1449–1466. https://doi.org/10.1007/s11005-015-0787-5
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709   OA
Reiter, J., Kanodia, A., Gupta, R., Nowak, M., & Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences, 282(1812). https://doi.org/10.1098/rspb.2015.1041
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, M., Kicheva, A., Ribeiro, A., Blassberg, R., Page, K., Barnes, C., & Briscoe, J. (2015). Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms. Nature Communications, 6. https://doi.org/10.1038/ncomms7709
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1665
Landau, D., Tausch, E., Taylor Weiner, A., Stewart, C., Reiter, J., Bahlo, J., … Wu, C. (2015). Mutations driving CLL and their evolution in progression and relapse. Nature, 526(7574), 525–530. https://doi.org/10.1038/nature15395
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730   OA
Colin De Verdière, É., Hubard, A., & De Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry, 53(3), 587–620. https://doi.org/10.1007/s00454-015-9679-9
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1672
Alwen, J. F., Ostrovsky, R., Zhou, H., & Zikas, V. (2015). Incoercible multi-party computation and universally composable receipt-free voting. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-48000-7_37
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1684   OA
Vicoso, B., & Bachtrog, D. (2015). Numerous transitions of sex chromosomes in Diptera. PLoS Biology, 13(4). https://doi.org/10.1371/journal.pbio.1002078
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1867
Hühner, J., Inglés Prieto, Á., Neusüß, C., Lämmerhofer, M., & Janovjak, H. L. (2015). Quantification of riboflavin, flavin mononucleotide, and flavin adenine dinucleotide in mammalian model cells by CE with LED-induced fluorescence detection. Electrophoresis, 36(4), 518–525. https://doi.org/10.1002/elps.201400451
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1874
Boccara, C., Kjønigsen, L., Hammer, I., Bjaalie, J., Leergaard, T., & Witter, M. (2015). A three-plane architectonic atlas of the rat hippocampal region. Hippocampus, 25(7), 838–857. https://doi.org/10.1002/hipo.22407
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1879   OA
Kremer, A., Lippens, S., Bartunkova, S., Asselbergh, B., Blanpain, C., Fendrych, M., … Guérin, C. (2015). Developing 3D SEM in a broad biological context. Journal of Microscopy, 259(2), 80–96. https://doi.org/10.1111/jmi.12211
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1735   OA
Ando, R., Thürey, N., & Wojtan, C. J. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum, 34(2), 473–480. https://doi.org/10.1111/cgf.12576
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1848
Schwamb, B., Pick, R., Fernández, S., Völp, K., Heering, J., Dötsch, V., … Zörnig, M. (2015). FAM96A is a novel pro-apoptotic tumor suppressor in gastrointestinal stromal tumors. International Journal of Cancer, 137(6), 1318–1329. https://doi.org/10.1002/ijc.29498
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1850   OA
Novak, S., & Cremer, S. (2015). Fungal disease dynamics in insect societies: Optimal killing rates and the ambivalent effect of high social interaction rates. Journal of Theoretical Biology, 372(5), 54–64. https://doi.org/10.1016/j.jtbi.2015.02.018
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1855   OA
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2015). A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees. Journal of Animal Ecology, 84(3), 615–624. https://doi.org/10.1111/1365-2656.12345
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1824   OA
Knebel, J., Weber, M., Krüger, T. H., & Frey, E. (2015). Evolutionary games of condensates in coupled birth-death processes. Nature Communications, 6. https://doi.org/10.1038/ncomms7977
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1831   OA
Kappeler, P., Cremer, S., & Nunn, C. (2015). 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, 370(1669), 20140116. https://doi.org/10.1098/rstb.2014.0116
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1812   OA
Lahrz, M., Lemeshko, M., & Mathey, L. (2015). Exotic roton excitations in quadrupolar Bose–Einstein condensates . New Journal of Physics, 17(4), 045005. https://doi.org/10.1088/1367-2630/17/4/045005
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1817   OA
Porazinski, S., Wang, H., Asaoka, Y., Behrndt, M., Miyamoto, T., Morita, H., … Furutani Seiki, M. (2015). YAP is essential for tissue tension to ensure vertebrate 3D body shape. Nature, 521(7551), 217–221. https://doi.org/10.1038/nature14215
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1836
Cerny, P., Henzinger, T. A., Kovács, L., Radhakrishna, A., & Zwirchmayr, J. (2015). Segment abstraction for worst-case execution time analysis. Presented at the ESOP: European Symposium on Programming, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46669-8_5
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1792
Pausinger, F., & Svane, A. (2015). A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity, 31(6), 773–797. https://doi.org/10.1016/j.jco.2015.06.002
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1944
Rakusová, H., Fendrych, M., & Friml, J. (2015). Intracellular trafficking and PIN-mediated cell polarity during tropic responses in plants. Current Opinion in Plant Biology, 23(2), 116–123. https://doi.org/10.1016/j.pbi.2014.12.002
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1843
Bod’ová, K., Paydarfar, D., & Forger, D. (2015). Erratum to: Characterizing spiking in noisy type II neurons [J. Theor. Biol. 365 (2015) 40–54]. Journal of Theoretical Biology, 373. https://doi.org/10.1016/j.jtbi.2015.03.013
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2271
Kolmogorov, V., Thapper, J., & Živný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing, 44(1), 1–36. https://doi.org/10.1137/130945648
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1805
Attali, D., Bauer, U., Devillers, O., Glisse, M., & Lieutier, A. (2015). Homological reconstruction and simplification in R3. Computational Geometry: Theory and Applications, 48(8), 606–621. https://doi.org/10.1016/j.comgeo.2014.08.010
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439   OA
Boker, U., Henzinger, T. A., & Otop, J. (2015). The target discounted-sum problem. IST Austria. https://doi.org/10.15479/AT:IST-2015-335-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
Anonymous, 1, & Anonymous, 2. (2015). Optimal cost indefinite-horizon reachability in goal DEC-POMDPs. IST Austria.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, T., Chatterjee, K., Chmelik, M., Fellner, A., & Kretinsky, J. (2015). Counterexample explanation by learning small strategies in Markov decision processes (Vol. 9206, pp. 158–177). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_10
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5441
Chatterjee, K., Ibsen-Jensen, R., Goharshady, A., & Pavlogiannis, A. (2015). Algorithms for algebraic path properties in concurrent systems of constant treewidth components. IST Austria. https://doi.org/10.15479/AT:IST-2015-340-v1-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
Biswas, R., & Bhowmick, P. (2015). On different topological classes of spherical geodesic paths and circles inZ3. Theoretical Computer Science, 605(11), 146–163. https://doi.org/10.1016/j.tcs.2015.09.003
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, L., Hinerman, J. M., Blaszczyk, M., Miller, J. L. C., Conrady, D. G., Barrow, A. D., … Herr, A. B. (2015). Structural basis for collagen recognition by the immune receptor OSCAR. Blood, 127(5), 529–537. https://doi.org/10.1182/blood-2015-08-667055
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1576
Cepeda Humerez, S. A., Rieckh, G., & Tkacik, G. (2015). Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation. Physical Review Letters, 115(24). https://doi.org/10.1103/PhysRevLett.115.248101
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed