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: 1693   OA
Amaro, P., Franke, B., Krauth, J., Diepold, M., Fratini, F., Safari, L., … Santos, J. (2015). Quantum interference effects in laser spectroscopy of muonic hydrogen, deuterium, and helium-3. Physical Review A, 92(2). https://doi.org/10.1103/PhysRevA.92.022514
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1706   OA
Pentina, A., & Ben David, S. (2015). Multi-task and lifelong learning of kernels (Vol. 9355, pp. 194–208). Presented at the ALT: Algorithmic Learning Theory, Banff, AB, Canada: Springer. https://doi.org/10.1007/978-3-319-24486-0_13
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1802
Siegert, S., Seo, J., Kwon, E., Rudenko, A., Cho, S., Wang, W., … Tsai, L. (2015). The schizophrenia risk gene product miR-137 alters presynaptic plasticity. Nature Neuroscience, 18, 1008–1016. https://doi.org/10.1038/nn.4023
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1857   OA
Pentina, A., Sharmanska, V., & Lampert, C. (2015). Curriculum learning of multiple tasks (pp. 5492–5500). Presented at the CVPR: Computer Vision and Pattern Recognition, Boston, MA, United States: IEEE. https://doi.org/10.1109/CVPR.2015.7299188
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1864   OA
Erdös, L., & Knowles, A. (2015). The Altshuler–Shklovskii formulas for random band matrices II: The general case. Annales Henri Poincare, 16(3), 709–799. https://doi.org/10.1007/s00023-014-0333-5
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1871   OA
Grones, P., & Friml, J. (2015). Auxin transporters and binding proteins at a glance. Journal of Cell Science, 128(1), 1–7. https://doi.org/10.1242/jcs.159418
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1883
Keller-Schmidt, S., Tugrul, M., Eguíluz, V., Hernandez Garcia, E., & Klemm, K. (2015). Anomalous scaling in an age-dependent branching model. Physical Review E Statistical Nonlinear and Soft Matter Physics, 91(2). https://doi.org/10.1103/PhysRevE.91.022803
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1807   OA
Goldman, M., & Royo-Letelier, J. (2015). Sharp interface limit for two components Bose-Einstein condensates. ESAIM - Control, Optimisation and Calculus of Variations, 21(3), 603–624. https://doi.org/10.1051/cocv/2014040
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1819
Zwiewka, M., Nodzyński, T., Robert, S., Vanneste, S., & Friml, J. (2015). Osmotic stress modulates the balance between exocytosis and clathrin mediated endocytosis in Arabidopsis thaliana. Molecular Plant, 8(8), 1175–1187. https://doi.org/10.1016/j.molp.2015.03.007
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1845   OA
Vandael, D. H., Espinoza Martinez, C. M., & Jonas, P. M. (2015). Excitement about inhibitory presynaptic terminals. Neuron, 85(6), 1149–1151. https://doi.org/10.1016/j.neuron.2015.03.006
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1840   OA
Geiger, B., Petrov, T., Kubin, G., & Koeppl, H. (2015). Optimal Kullback-Leibler aggregation via information bottleneck. IEEE Transactions on Automatic Control, 60(4), 1010–1022. https://doi.org/10.1109/TAC.2014.2364971
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 2014   OA
Klimova, A., Uhler, C., & Rudas, T. (2015). Faithfulness and learning hypergraphs from discrete distributions. Computational Statistics & Data Analysis, 87(7), 57–72. https://doi.org/10.1016/j.csda.2015.01.017
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 257   OA
Browning, T. D., & Munshi, R. (2015). Pairs of diagonal quadratic forms and linear correlations among sums of two squares. Forum Mathematicum, 27(4), 2025–2050. https://doi.org/10.1515/forum-2013-6024
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 334
Yu, X., Liu, J., Genç, A., Ibanez, M., Luo, Z., Shavel, A., … Cabot, A. (2015). Cu2ZnSnS4–Ag2S Nanoscale p–n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir, 31(38), 10555–10561. https://doi.org/10.1021/acs.langmuir.5b02490
View | DOI
 

2015 | Journal Article | IST-REx-ID: 360
Yu, X., Liu, J., Genç, A., Ibanez, M., Luo, Z., Shavel, A., … Cabot, A. (2015). Cu2ZnSnS4-Ag2S nanoscale p-n heterostructures as sensitizers for photoelectrochemical water splitting. Langmuir, 31(38), 10555–10561. https://doi.org/10.1021/acs.langmuir.5b02490
View | DOI
 

2015 | Journal Article | IST-REx-ID: 473   OA
Lewin, M., Phan Thanh, N., & Rougerie, N. (2015). Derivation of nonlinear gibbs measures from many-body quantum mechanics. Journal de l’Ecole Polytechnique - Mathematiques, 2, 65–115. https://doi.org/10.5802/jep.18
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 524
Chatterjee, K., & Ibsen-Jensen, R. (2015). Qualitative analysis of concurrent mean payoff games. Information and Computation, 242(6), 2–24. https://doi.org/10.1016/j.ic.2015.03.009
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Technical Report | IST-REx-ID: 5431   OA
Chatterjee, K., Ibsen-Jensen, R., & Hansen, K. (2015). The patience of concurrent stochastic games with safety and reachability objectives. IST Austria. https://doi.org/10.15479/AT:IST-2015-322-v1-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
Biswas, R., & Bhowmick, P. (2015). From prima quadraginta octant to lattice sphere through primitive integer operations. Theoretical Computer Science, 624(4), 56–72. https://doi.org/10.1016/j.tcs.2015.11.018
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński, J., & Napiórkowski, M. M. (2015). Erratum to: Excitation spectrum of interacting bosons in the Mean-Field Infinite-Volume limit. Annales Henri Poincare, 16(7), 1709–1711. https://doi.org/10.1007/s00023-014-0390-9
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1511
Goaoc, X., Mabillard, I., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2015). On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result (Vol. 34, pp. 476–490). Presented at the SoCG: Symposium on Computational Geometry, Eindhoven, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SOCG.2015.476
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 6737   OA
Mondelli, M., Hassani, H., Sason, I., & Urbanke, R. (2015). Achieving Marton’s region for broadcast channels using polar codes. IEEE Transactions on Information Theory, 61(2), 783–800. https://doi.org/10.1109/tit.2014.2368555
View | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 815
Schur, F., Dick, R., Hagen, W., Vogt, V., & Briggs, J. (2015). The structure of immature virus like Rous sarcoma virus gag particles reveals a structural role for the p10 domain in assembly. Journal of Virology, 89(20), 10294–10302. https://doi.org/10.1128/JVI.01502-15
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 776
Alistarh, D., Kopinsky, J., Li, J., & Shavit, N. (2015). The SprayList: A scalable relaxed priority queue (Vol. 2015–January, pp. 11–20). Presented at the PPoPP: Principles and Practice of Parallel Pogramming, ACM. https://doi.org/10.1145/2688500.2688523
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 783   OA
Alistarh, D., Gelashvili, R., & Vladu, A. (2015). How to elect a leader faster than a tournament (Vol. 2015–July, pp. 365–374). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2767386.2767420
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 928   OA
Sehring, I., Recho, P., Denker, E., Kourakis, M., Mathiesen, B., Hannezo, E. B., … Jiang, D. (2015). Assembly and positioning of actomyosin rings by contractility and planar cell polarity. ELife, 4. https://doi.org/10.7554/eLife.09206
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443
Chatterjee, K., Chmelik, M., & Davies, J. (2015). A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs. IST Austria. https://doi.org/10.15479/AT:IST-2015-325-v2-1
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1624   OA
Pavlogiannis, A., Chatterjee, K., Adlam, B., & Nowak, M. (2015). Cellular cooperation with shift updating and repulsion. Scientific Reports, 5. https://doi.org/10.1038/srep17147
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1605
Bogomolov, S., Schilling, C., Bartocci, E., Batt, G., Kong, H., & Grosu, R. (2015). Abstraction-based parameter synthesis for multiaffine systems (Vol. 9434, pp. 19–35). Presented at the HVC: Haifa Verification Conference, Haifa, Israel: Springer. https://doi.org/10.1007/978-3-319-26287-1_2
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1814   OA
Jeschke, S., & Wojtan, C. J. (2015). Water wave animation via wavefront parameter interpolation. ACM Transactions on Graphics, 34(3). https://doi.org/10.1145/2714572
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1681   OA
Priklopil, T., & Chatterjee, K. (2015). Evolution of decisions in population games with sequentially searching individuals. Games, 6(4), 413–437. https://doi.org/10.3390/g6040413
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1732   OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2015). Qualitative analysis of POMDPs with temporal logic specifications for robotics applications (pp. 325–330). Presented at the ICRA: International Conference on Robotics and Automation, Seattle, WA, United States: IEEE. https://doi.org/10.1109/ICRA.2015.7139019
View | Files available | DOI | Download (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Y., Chatterjee, K., Doyen, L., Henzinger, T. A., Rabinovich, A., & Raskin, J. (2015). The complexity of multi-mean-payoff and multi-energy games. Information and Computation, 241(4), 177–196. https://doi.org/10.1016/j.ic.2015.03.001
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701   OA
Tkacik, G., Mora, T., Marre, O., Amodei, D., Palmer, S., Berry Ii, M., & Bialek, W. (2015). Thermodynamics and signatures of criticality in a network of neurons. PNAS, 112(37), 11508–11513. https://doi.org/10.1073/pnas.1514188112
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1838   OA
Bloem, R., Chatterjee, K., Jacobs, S., & Könighofer, R. (2015). Assume-guarantee synthesis for concurrent reactive programs with partial information (Vol. 9035, pp. 517–532). 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_50
View | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5429
Chatterjee, K., Komarkova, Z., & Kretinsky, J. (2015). Unifying two views on multiple mean-payoff objectives in Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2015-318-v1-1
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5436
Chatterjee, K., Henzinger, T. A., & Otop, J. (2015). Nested weighted automata. IST Austria. https://doi.org/10.15479/AT:IST-2015-170-v2-2
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549   OA
Fellner, A. (2015). Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. IST Austria. https://doi.org/10.15479/AT:ISTA:28
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7456
Caruntu, D., Rostamzadeh, T., Costanzo, T., Salemizadeh Parizi, S., & Caruntu, G. (2015). Solvothermal synthesis and controlled self-assembly of monodisperse titanium-based perovskite colloidal nanocrystals. Nanoscale, 7(30), 12955–12969. https://doi.org/10.1039/c5nr00737b
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1106
Isrie, M., Breuss, M., Tian, G., Hansen, A. H., Cristofoli, F., Morandell, J., … Van Esch, H. (2015). Mutations in either TUBB or MAPRE2 cause circumferential skin creases Kunze type. The American Journal of Human Genetics, 97(6), 790–800. https://doi.org/10.1016/j.ajhg.2015.10.014
View | DOI
 

2015 | Journal Article | IST-REx-ID: 121   OA
Waitukaitis, S. R., Menaut, R., Chen, B., & Van Hecke, M. (2015). Origami multistability: From single vertices to metasheets. APS Physics, Physical Review Letters, 114(5). https://doi.org/10.1103/PhysRevLett.114.055503
View | DOI | Download (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 1430   OA
Paixao, T., Sudholt, D., Heredia, J., & Trubenova, B. (2015). First steps towards a runtime comparison of natural and artificial evolution. In Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation (pp. 1455–1462). Madrid, Spain: ACM. https://doi.org/10.1145/2739480.2754758
View | DOI | Download (ext.)
 

2015 | Book Review | IST-REx-ID: 1473   OA
Hausel, T., & Rodríguez Villegas, F. (2015). Cohomology of large semiprojective hyperkähler varieties. Asterisque. Societe Mathematique de France.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1497   OA
Andergassen, D., Dotter, C., Kulinski, T., Guenzl, P., Bammer, P., Barlow, D., … Hudson, Q. (2015). Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data. Nucleic Acids Research, 43(21). https://doi.org/10.1093/nar/gkv727
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1505   OA
Bao, Z., Pan, G., & Zhou, W. (2015). Universality for the largest eigenvalue of sample covariance matrices with general population. Annals of Statistics, 43(1), 382–421. https://doi.org/10.1214/14-AOS1281
View | DOI | Download (ext.)
 

2015 | Conference Poster | IST-REx-ID: 1500
Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Poster: HyRG: A random generation tool for affine hybrid automata. HSCC: Hybrid Systems - Computation and Control (pp. 289–290). Springer. https://doi.org/10.1145/2728606.2728650
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1543
Olvera Carrillo, Y., Van Bel, M., Van Hautegem, T., Fendrych, M., Huysmans, M., Šimášková, M., … Nowack, M. (2015). A conserved core of programmed cell death indicator genes discriminates developmentally and environmentally induced programmed cell death in plants. Plant Physiology, 169(4), 2684–2699. https://doi.org/10.1104/pp.15.00769
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1548   OA
Milutinovic, B., Höfling, C., Futo, M., Scharsack, J., & Kurtz, J. (2015). Infection of Tribolium castaneum with Bacillus thuringiensis: Quantification of bacterial replication within cadavers, transmission via cannibalism, and inhibition of spore germination. Applied and Environmental Microbiology, 81(23), 8135–8144. https://doi.org/10.1128/AEM.02051-15
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1550   OA
Mayer, C., Jaglin, X., Cobbs, L., Bandler, R., Streicher, C., Cepko, C., … Fishell, G. (2015). Clonally related forebrain interneurons disperse broadly across both functional areas and structural boundaries. Neuron, 87(5), 989–998. https://doi.org/10.1016/j.neuron.2015.07.011
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1555
Knipl, D., Pilarczyk, P., & Röst, G. (2015). Rich bifurcation structure in a two patch vaccination model. SIAM Journal on Applied Dynamical Systems, 14(2), 980–1017. https://doi.org/10.1137/140993934
View | DOI
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed