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 | Journal Article | IST-REx-ID: 929
Hannezo, E., Dong, B., Recho, P., Joanny, J., & Hayashi, S. (2015). Cortical instability drives periodic supracellular actin pattern formation in epithelial tubes. PNAS, 112(28), 8620–8625. https://doi.org/10.1073/pnas.1504762112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981   OA
Zeljkovic, I., Okada, Y., Serbyn, M., Sankar, R., Walkup, D., Zhou, W., … Madhavan, V. (2015). Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials, 14(3), 318–324. https://doi.org/10.1038/nmat4215
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99   OA
Higginbotham, A. P., Albrecht, S. M., Kiršanskas, G., Chang, W., Kuemmeth, F., Krogstrup, P., … Marcus, C. (2015). Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics, 11(12), 1017–1021. https://doi.org/10.1038/nphys3461
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1601
Babiak, T., Blahoudek, F., Duret Lutz, A., Klein, J., Kretinsky, J., Mueller, D., … Strejček, J. (2015). The Hanoi omega-automata format (Vol. 9206, pp. 479–486). Presented at the CAV: Computer Aided Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-319-21690-4_31
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5437
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-330-v2-1
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1606
Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Runtime verification for hybrid analysis tools. Presented at the RV: Runtime Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-23820-3_19
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1670
Bogomolov, S., Magazzeni, D., Minopoli, S., & Wehrle, M. (2015). PDDL+ planning with hybrid automata: Foundations of translating must behavior (pp. 42–46). Presented at the ICAPS: International Conference on Automated Planning and Scheduling, Jerusalem, Israel: AAAI Press.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1810   OA
Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology, 27, 1–9. https://doi.org/10.1016/j.mib.2015.05.008
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1839   OA
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2015). Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_12
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1846
Beneš, N., Kretinsky, J., Larsen, K., Möller, M., Sickert, S., & Srba, J. (2015). Refinement checking on parametric modal transition systems. Acta Informatica, 52(2–3), 269–297. https://doi.org/10.1007/s00236-015-0215-4
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2034   OA
Bérard, B., Chatterjee, K., & Sznajder, N. (2015). Probabilistic opacity for Markov decision processes. Information Processing Letters, 115(1), 52–59. https://doi.org/10.1016/j.ipl.2014.09.001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, K., & Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control, 60(9), 2291–2306. https://doi.org/10.1109/TAC.2015.2404612
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. In Proceedings - Symposium on Logic in Computer Science (Vol. 2015–July). Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.72
View | Files available | DOI | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. https://doi.org/10.1109/RTSS.2014.9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi, S. S., Conley, G., Costanzo, T., Howell, B., Mellinger, A., & Caruntu, G. (2015). Fabrication of barium titanate/acrylonitrile-butadiene styrene/poly(methyl methacrylate) nanocomposite films for hybrid ferroelectric capacitors. RSC Advances, 5(93), 76356–76362. https://doi.org/10.1039/c5ra11347d
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1512   OA
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). Bounding Helly numbers via Betti numbers (Vol. 34, pp. 507–521). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: ACM. https://doi.org/10.4230/LIPIcs.SOCG.2015.507
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1598   OA
Chatterjee, K., Joglekar, M., & Shah, N. (2015). Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. Theoretical Computer Science, 573(3), 71–89. https://doi.org/10.1016/j.tcs.2015.01.050
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1311
Fischer, J. L., & Grün, G. (2015). Finite speed of propagation and waiting times for the stochastic porous medium equation: A unifying approach. SIAM Journal on Mathematical Analysis, 47(1), 825–854. https://doi.org/10.1137/140960578
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1316
Fischer, J. L. (2015). Global existence of renormalized solutions to entropy-dissipating reaction–diffusion systems. Archive for Rational Mechanics and Analysis, 218(1), 553–587. https://doi.org/10.1007/s00205-015-0866-x
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1474   OA
Ferrara, A., Fuchsbauer, G., Liu, B., & Warinschi, B. (2015). Policy privacy in cryptographic access control (pp. 46–60). Presented at the CSF: Computer Security Foundations, Verona, Italy: IEEE. https://doi.org/10.1109/CSF.2015.11
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1424   OA
Kwitt, R., Huber, S., Niethammer, M., Lin, W., & Bauer, U. (2015). Statistical topological data analysis-A kernel perspective (Vol. 28, pp. 3070–3078). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 1544   OA
Nguyen, P., Field, C., Groen, A., Mitchison, T., & Loose, M. (2015). Using supported bilayers to study the spatiotemporal organization of membrane-bound proteins. In Building a Cell from its Components Parts (Vol. 128, pp. 223–241). Academic Press. https://doi.org/10.1016/bs.mcb.2015.01.007
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Book Chapter | IST-REx-ID: 1549   OA
Mckenzie, C., Sanchez Romero, I., & Janovjak, H. L. (2015). Flipping the photoswitch: Ion channels under light control. In Novel chemical tools to study ion channel biology (Vol. 869, pp. 101–117). Springer. https://doi.org/10.1007/978-1-4939-2845-3_6
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1551   OA
El Masri, L., Branca, A., Sheppard, A., Papkou, A., Laehnemann, D., Guenther, P., … Schulenburg, H. (2015). Host–pathogen coevolution: The selective advantage of Bacillus thuringiensis virulence and its cry toxin genes. PLoS Biology, 13(6), 1–30. https://doi.org/10.1371/journal.pbio.1002169
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1556   OA
Jia, Y., Tian, H., Li, H., Yu, Q., Wang, L., Friml, J., & Ding, Z. (2015). The Arabidopsis thaliana elongator complex subunit 2 epigenetically affects root development. Journal of Experimental Botany, 66(15), 4631–4642. https://doi.org/10.1093/jxb/erv230
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1563
Graff, G., & Pilarczyk, P. (2015). An algorithmic approach to estimating the minimal number of periodic points for smooth self-maps of simply-connected manifolds. Topological Methods in Nonlinear Analysis, 45(1), 273–286. https://doi.org/10.12775/TMNA.2015.014
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1513   OA
Pal, A., & Vicoso, B. (2015). The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression. Genome Biology and Evolution, 7(12), 3259–3268. https://doi.org/10.1093/gbe/evv215
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, G., Coros, S., Thomaszewski, B., Tompkin, J., Bickel, B., & Pfister, H. (2015). Computational design of walking automata (pp. 93–100). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Los Angeles, CA, United States: ACM. https://doi.org/10.1145/2786784.2786803
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1525   OA
Bauer, B., Blechl, G., Bock, C., Danowski, P., Ferus, A., Graschopf, A., … Welzig, E. (2015). Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA. VÖB Mitteilungen, 68(3), 580–607. https://doi.org/10.5281/zenodo.33178
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1506   OA
Bao, Z., Pan, G., & Zhou, W. (2015). The logarithmic law of random determinant. Bernoulli, 21(3), 1600–1628. https://doi.org/10.3150/14-BEJ615
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1568
Dunaeva, O., Edelsbrunner, H., Lukyanov, A., Machin, M., & Malkova, D. (2015). The classification of endoscopy images with persistent homology. In Proceedings - 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (p. 7034731). Timisoara, Romania: IEEE. https://doi.org/10.1109/SYNASC.2014.81
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1570   OA
Der, R., & Martius, G. S. (2015). Novel plasticity rule can explain the development of sensorimotor intelligence. PNAS, 112(45), E6224–E6232. https://doi.org/10.1073/pnas.1508400112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1575   OA
Chabaud, M., Heuzé, M., Bretou, M., Vargas, P., Maiuri, P., Solanes, P., … Lennon Duménil, A. (2015). Cell migration and antigen capture are antagonistic processes coupled by myosin II in dendritic cells. Nature Communications, 6. https://doi.org/10.1038/ncomms8526
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1582
Biedl, T., Held, M., Huber, S., Kaaser, D., & Palfrader, P. (2015). Weighted straight skeletons in the plane. Computational Geometry: Theory and Applications, 48(2), 120–133. https://doi.org/10.1016/j.comgeo.2014.08.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1587
Amaro, P., Fratini, F., Safari, L., Antognini, A., Indelicato, P., Pohl, R., & Santos, J. (2015). Quantum interference shifts in laser spectroscopy with elliptical polarization. Physical Review A - Atomic, Molecular, and Optical Physics, 92(6). https://doi.org/10.1103/PhysRevA.92.062506
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1638
Sazanov, L. A. (2015). A giant molecular proton pump: structure and mechanism of respiratory complex I. Nature Reviews Molecular Cell Biology, 16(6), 375–388. https://doi.org/10.1038/nrm3997
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1645
Gazi, P., & Tessaro, S. (2015). Secret-key cryptography from ideal primitives: A systematic verview. In 2015 IEEE Information Theory Workshop. Jerusalem, Israel: IEEE. https://doi.org/10.1109/ITW.2015.7133163
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1652   OA
Alwen, J. F., & Serbinenko, V. (2015). High parallel complexity graphs and memory-hard functions. In Proceedings of the 47th annual ACM symposium on Theory of computing (pp. 595–603). Portland, OR, United States: ACM. https://doi.org/10.1145/2746539.2746622
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1626
Martin, T., Umetani, N., & Bickel, B. (2015). OmniAD: Data-driven omni-directional aerodynamics (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/2766919
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695   OA
Kaczmarczyk, J., Schickling, T., & Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics, 252(9), 2059–2071. https://doi.org/10.1002/pssb.201552082
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, L., Fifield, G., Vanzella, B., & Pickup, M. (2015). An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany, 63(5), 455–466. https://doi.org/10.1071/BT15023
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1669   OA
Pietrzak, K. Z., & Skórski, M. (2015). The chain rule for HILL pseudoentropy, revisited. Presented at the LATINCRYPT: Cryptology and Information Security in Latin America, Guadalajara, Mexico: Springer. https://doi.org/10.1007/978-3-319-22174-8_5
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1671   OA
Gazi, P., Pietrzak, K. Z., & Tessaro, S. (2015). The exact PRF security of truncation: Tight bounds for keyed sponges and truncated CBC (Vol. 9215, pp. 368–387). Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-662-47989-6_18
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1683
Letts, J. A., & Sazanov, L. A. (2015). Gaining mass: The structure of respiratory complex I-from bacterial towards mitochondrial versions. Current Opinion in Structural Biology, 33(8), 135–145. https://doi.org/10.1016/j.sbi.2015.08.008
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1688   OA
Karasev, R., Kynčl, J., Paták, P., Patakova, Z., & Tancer, M. (2015). Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry, 54(3), 610–636. https://doi.org/10.1007/s00454-015-9720-z
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1664   OA
Barkley, D., Song, B., Vasudevan, M., Lemoult, G. M., Avila, M., & Hof, B. (2015). The rise of fully turbulent flow. Nature, 526(7574), 550–553. https://doi.org/10.1038/nature15701
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1710   OA
Akopyan, A., & Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics, 47(4), 2754–2769. https://doi.org/10.1137/140993843
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1676
Sixt, M. K., & Raz, E. (2015). Editorial overview: Cell adhesion and migration. Current Opinion in Cell Biology, 36(10), 4–6. https://doi.org/10.1016/j.ceb.2015.09.004
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1734
Klehm, O., Rousselle, F., Papas, M., Bradley, D., Hery, C., Bickel, B., … Beeler, T. (2015). Recent advances in facial appearance capture. Computer Graphics Forum, 34(2), 709–733. https://doi.org/10.1111/cgf.12594
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1789   OA
Kuechler, A., Zink, A., Wieland, T., Lüdecke, H., Cremer, K., Salviati, L., … Engels, H. (2015). Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics, 23(6), 753–760. https://doi.org/10.1038/ejhg.2014.165
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1830   OA
Theis, F., Ugelvig, L. V., Marr, C., & Cremer, S. (2015). Opposing effects of allogrooming on disease transmission in ant societies. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 370(1669). https://doi.org/10.1098/rstb.2014.0108
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1809   OA
Trubenova, B., Novak, S., & Hager, R. (2015). Indirect genetic effects and the dynamics of social interactions. PLoS One, 10(5). https://doi.org/10.1371/journal.pone.0126907
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811   OA
Safari, L., Santos, J., Amaro, P., Jänkälä, K., & Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics, 56(5). https://doi.org/10.1063/1.4921227
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1804   OA
Altmeyer, S., Do, Y., & Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports, 5. https://doi.org/10.1038/srep10781
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1859   OA
Shah, N., Kolmogorov, V., & Lampert, C. (2015). A multi-plane block-coordinate Frank-Wolfe algorithm for training structural SVMs with a costly max-oracle (pp. 2737–2745). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, USA: IEEE. https://doi.org/10.1109/CVPR.2015.7298890
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1861
Ruess, J., & Lygeros, J. (2015). Moment-based methods for parameter inference and experiment design for stochastic biochemical reaction networks. ACM Transactions on Modeling and Computer Simulation, 25(2). https://doi.org/10.1145/2688906
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1866
Henzinger, T. A., & Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. Communications of the ACM, 58(2), 86–86. https://doi.org/10.1145/2701001
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1873   OA
Chatterjee, K., & Chmelik, M. (2015). POMDPs under probabilistic semantics. Artificial Intelligence, 221, 46–72. https://doi.org/10.1016/j.artint.2014.12.009
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1878
Cires Rodriguez, E., & Prieto, J. (2015). Phylogenetic relationships of Petrocoptis A. Braun ex Endl. (Caryophyllaceae), a discussed genus from the Iberian Peninsula. Journal of Plant Research, 128(2), 223–238. https://doi.org/10.1007/s10265-014-0691-6
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1880   OA
Könenberg, M., Moser, T., Seiringer, R., & Yngvason, J. (2015). Superfluid behavior of a Bose-Einstein condensate in a random potential. New Journal of Physics, 17. https://doi.org/10.1088/1367-2630/17/1/013022
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1885   OA
Tkacik, G., Dubuis, J., Petkova, M., & Gregor, T. (2015). Positional information, positional error, and readout precision in morphogenesis: A mathematical framework. Genetics, 199(1), 39–59. https://doi.org/10.1534/genetics.114.171850
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1993   OA
Konrad, M., Grasse, A. V., Tragust, S., & Cremer, S. (2015). Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host. Proceedings of the Royal Society of London Series B Biological Sciences, 282(1799). https://doi.org/10.1098/rspb.2014.1976
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1847
Grones, P., & Friml, J. (2015). ABP1: Finally docking. Molecular Plant, 8(3), 356–358. https://doi.org/10.1016/j.molp.2014.12.013
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2030   OA
Shi, L., Rampp, M., Hof, B., & Avila, M. (2015). A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow. Computers and Fluids, 106(1), 1–11. https://doi.org/10.1016/j.compfluid.2014.09.021
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2035   OA
Edelsbrunner, H., Jablonski, G., & Mrozek, M. (2015). The persistent homology of a self-map. Foundations of Computational Mathematics, 15(5), 1213–1244. https://doi.org/10.1007/s10208-014-9223-y
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 2085   OA
Nam, P., & Seiringer, R. (2015). Collective excitations of Bose gases in the mean-field regime. Archive for Rational Mechanics and Analysis, 215(2), 381–417. https://doi.org/10.1007/s00205-014-0781-6
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 259
Browning, T. D., & Vishe, P. (2015). Rational points on cubic hypersurfaces over F_q(t) . Geometric and Functional Analysis, 25(3), 671–732. https://doi.org/10.1007/s00039-015-0328-5
View | DOI
 

2015 | Journal Article | IST-REx-ID: 362
Lu, Z., Ibanez, M., Antolín, A., Genç, A., Shavel, A., Contreras, S., … Cabot, A. (2015). Size and aspect ratio control of Pd inf 2 inf Sn nanorods and their water denitration properties. Langmuir, 31(13), 3952–3957. https://doi.org/10.1021/la504906q
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5440   OA
Chatterjee, K., Ibsen-Jensen, R., & Nowak, M. (2015). The complexity of evolutionary games on graphs. IST Austria. https://doi.org/10.15479/AT:IST-2015-323-v2-2
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 778   OA
Alistarh, D.-A., Kopinsky, J., Kuznetsov, P., Ravi, S., & Shavit, N. (2015). Inherent limitations of hybrid transactional memory (Vol. 9363, pp. 185–199). Presented at the DISC: Distributed Computing, Springer. https://doi.org/10.1007/978-3-662-48653-5_13
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 780   OA
Alistarh, D.-A., & Gelashvili, R. (2015). Polylogarithmic-time leader election in population protocols (Vol. 9135, pp. 479–491). Presented at the ICALP: International Colloquium on Automota, Languages and Programming, Springer. https://doi.org/10.1007/978-3-662-47666-6_38
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, D., & Kondrashov, F. (2015). Topological features of rugged fitness landscapes in sequence space. Trends in Genetics, 31(1), 24–33. https://doi.org/10.1016/j.tig.2014.09.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, O., Meer, M., Mikoulinskaia, G., Zakharova, M., Galushko, A., Akimenko, V., & Kondrashov, F. (2015). Recent origin of the methacrylate redox system in Geobacter sulfurreducens AM-1 through horizontal gene transfer. PLoS One, 10(5). https://doi.org/10.1371/journal.pone.0125888
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, D., Ferretti, L., Povolotskaya, I., Vlasov, P., & Kondrashov, F. (2015). A model of substitution trajectories in sequence space and long-term protein evolution. Molecular Biology and Evolution, 32(2), 542–554. https://doi.org/10.1093/molbev/msu318
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1633
Hahn, D., & Wojtan, C. J. (2015). High-resolution brittle fracture simulation with boundary elements (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/2766896
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 982   OA
Serbyn, M., Papić, Z., & Abanin, D. (2015). Criterion for many-body localization-delocalization phase transition. Physical Review X, 5(4). https://doi.org/10.1103/PhysRevX.5.041047
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1498   OA
Dragoi, C., Henzinger, T. A., & Zufferey, D. (2015). The need for language support for fault-tolerant distributed systems. Presented at the SNAPL: Summit oN Advances in Programming Languages, Asilomar, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1501   OA
Chatterjee, K., Chmelik, M., & Daca, P. (2015). CEGAR for compositional analysis of qualitative properties in Markov decision processes. Formal Methods in System Design, 47(2), 230–264. https://doi.org/10.1007/s10703-015-0235-2
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1594
Forejt, V., Krčál, J., & Kretinsky, J. (2015). Controller synthesis for MDPs and frequency LTL\GU (Vol. 9450, pp. 162–177). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Suva, Fiji: Springer. https://doi.org/10.1007/978-3-662-48899-7_12
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1537   OA
Ruprecht, V., Wieser, S., Callan Jones, A., Smutny, M., Morita, H., Sako, K., … Heisenberg, C.-P. J. (2015). Cortical contractility triggers a stochastic switch to fast amoeboid cell motility. Cell, 160(4), 673–685. https://doi.org/10.1016/j.cell.2015.01.008
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1640   OA
Šimášková, M., O’Brien, J., Khan-Djamei, M., Van Noorden, G., Ötvös, K., Vieten, A., … Benková, E. (2015). Cytokinin response factors regulate PIN-FORMED auxin transporters. Nature Communications, 6. https://doi.org/10.1038/ncomms9717
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1614   OA
Strüber, M., Jonas, P. M., & Bartos, M. (2015). Strength and duration of perisomatic GABAergic inhibition depend on distance between synaptically connected cells. PNAS, 112(4), 1220–1225. https://doi.org/10.1073/pnas.1412996112
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1835   OA
Giacobbe, M., Guet, C. C., Gupta, A., Henzinger, T. A., Paixao, T., & Petrov, T. (2015). Model checking gene regulatory networks. Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, London, United Kingdom: Springer. https://doi.org/10.1007/978-3-662-46681-0_47
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1823   OA
Chevereau, G., & Bollenbach, M. T. (2015). Systematic discovery of drug interaction mechanisms. Molecular Systems Biology, 11(4). https://doi.org/10.15252/msb.20156098
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak, S., Bogomolov, S., & Johnson, T. (2015). HYST: A source transformation and translation tool for hybrid automaton models (pp. 128–133). Presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States: Springer. https://doi.org/10.1145/2728606.2728630
View | DOI
 

2015 | Thesis | IST-REx-ID: 1400
Reiter, J. (2015). The subclonal evolution of cancer. IST Austria.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1657
Chatterjee, K., Komárková, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. Presented at the LICS: Logic in Computer Science, Kyoto, Japan: IEEE. https://doi.org/10.1109/LICS.2015.32
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438
Chatterjee, K., Henzinger, T. A., Ibsen-Jensen, R., & Otop, J. (2015). Edit distance for pushdown automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-334-v1-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1602
Chatterjee, K., Ibsen-Jensen, R., Pavlogiannis, A., & Goyal, P. (2015). Faster algorithms for algebraic path properties in recursive state machines with constant treewidth. ACM SIGPLAN Notices, 50(1), 97–109. https://doi.org/10.1145/2676726.2676979
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1607
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2015). Faster algorithms for quantitative verification in constant treewidth graphs (Vol. 9206, pp. 140–157). Presented at the CAV: Computer Aided Verification, San Francisco, CA, USA: Springer. https://doi.org/10.1007/978-3-319-21690-4_9
View | Files available | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1619
Chevereau, G., Dravecka, M., Batur, T., Guvenek, A., Ayhan, D., Toprak, E., & Bollenbach, M. T. (2015). Quantifying the determinants of evolutionary dynamics leading to drug resistance. PLoS Biology, 13(11). https://doi.org/10.1371/journal.pbio.1002299
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1828   OA
Akopyan, A., Pirogov, S., & Rybko, A. (2015). Invariant measures of genetic recombination process. Journal of Statistical Physics, 160(1), 163–167. https://doi.org/10.1007/s10955-015-1238-5
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1481   OA
Ahmed, U., Chatterjee, K., & Gulwani, S. (2015). Automatic generation of alternative starting positions for simple traditional board games. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (Vol. 2, pp. 745–752). Austin, TX, USA: AAAI Press.
View | Files available | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1425   OA
Pentina, A., & Lampert, C. (2015). Lifelong learning with non-i.i.d. tasks (Vol. 2015, pp. 1540–1548). Presented at the NIPS: Neural Information Processing Systems, Montreal, Canada: Neural Information Processing Systems.
View | Download (ext.)
 

2015 | Thesis | IST-REx-ID: 1401
Sharmanska, V. (2015). Learning with attributes for object recognition: Parametric and non-parametrics views. IST Austria.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1540
Robert, H., Crhák Khaitová, L., Mroue, S., & Benková, E. (2015). The importance of localized auxin production for morphogenesis of reproductive organs and embryos in Arabidopsis. Journal of Experimental Botany, 66(16), 5029–5042. https://doi.org/10.1093/jxb/erv256
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1557
Javdani, F., Holló, K., Hegedűs, K., Kis, G., Hegyi, Z., Dócs, K., … Antal, M. (2015). Differential expression patterns of K+Cl- cotransporter 2 in neurons within the superficial spinal dorsal horn of rats. Journal of Comparative Neurology, 523(13), 1967–1983. https://doi.org/10.1002/cne.23774
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1564   OA
Gilson, M., Savin, C., & Zenke, F. (2015). Editorial: Emergent neural computation from the interaction of different forms of plasticity. Frontiers in Computational Neuroscience, 9(11). https://doi.org/10.3389/fncom.2015.00145
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1514
Gómez Gonzalo, M., Navarrete, M., Perea, G., Covelo, A., Martín Fernández, M., Shigemoto, R., … Araque, A. (2015). Endocannabinoids induce lateral long term potentiation of transmitter release by stimulation of gliotransmission. Cerebral Cortex, 25(10), 3699–3712. https://doi.org/10.1093/cercor/bhu231
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1519   OA
Barton, N. H., & Servedio, M. (2015). The interpretation of selection coefficients. Evolution, 69(5), 1101–1112. https://doi.org/10.1111/evo.12641
View | Files available | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed