Please note that ISTA 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.
9096 Publications
2015 | Conference Paper | IST-REx-ID: 1481 |
Ahmed U, Chatterjee K, Gulwani S. 2015. Automatic generation of alternative starting positions for simple traditional board games. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 2, 745–752.
View
| Files available
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 1732 |
Chatterjee K, Chmelik M, Gupta R, Kanodia A. 2015. Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. ICRA: International Conference on Robotics and Automation, 325–330.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Technical Report | IST-REx-ID: 5431 |
Chatterjee K, Ibsen-Jensen R, Hansen K. 2015. The patience of concurrent stochastic games with safety and reachability objectives, IST Austria, 25p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5434 |
Anonymous 1, Anonymous 2. 2015. Optimal cost indefinite-horizon reachability in goal DEC-POMDPs, IST Austria, 16p.
[Published Version]
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. , 244–256.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1656
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata. Proceedings - Symposium on Logic in Computer Science. LICS: Logic in Computer Science vol. 2015–July, 7174926.
View
| Files available
| DOI
| arXiv
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, 41p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5435 |
Chatterjee K, Komarkova Z, Kretinsky J. 2015. Unifying two views on multiple mean-payoff objectives in Markov decision processes, IST Austria, 51p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5436 |
Chatterjee K, Henzinger TA, Otop J. 2015. Nested weighted automata, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1659 |
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem. LICS. LICS: Logic in Computer ScienceLogic in Computer Science, 750–761.
[Submitted Version]
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 1610 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata. 42nd International Colloquium. ICALP: Automata, Languages and Programming, LNCS, vol. 9135, 121–133.
View
| Files available
| DOI
| Download None (ext.)
| arXiv
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, 27p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5430 |
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2015. Faster algorithms for quantitative verification in constant treewidth graphs, IST Austria, 31p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5439 |
Boker U, Henzinger TA, Otop J. 2015. The target discounted-sum problem, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5438 |
Chatterjee K, Henzinger TA, Ibsen-Jensen R, Otop J. 2015. Edit distance for pushdown automata, IST Austria, 15p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5440 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 18p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5432 |
Chatterjee K, Ibsen-Jensen R, Nowak M. 2015. The complexity of evolutionary games on graphs, IST Austria, 29p.
[Published Version]
View
| Files available
| DOI
2015 | Technical Report | IST-REx-ID: 5444 |
Reiter J, Makohon-Moore A, Gerold J, Bozic I, Chatterjee K, Iacobuzio-Donahue C, Vogelstein B, Nowak M. 2015. Reconstructing robust phylogenies of metastatic cancers, IST Austria, 25p.
[Published Version]
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, 23p.
[Published Version]
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. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 34, 476–490.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 6118 |
Fenk LA, de Bono M. 2015. Environmental CO2 inhibits Caenorhabditis elegans egg-laying by modulating olfactory neurons and evokes widespread changes in neural activity. Proceedings of the National Academy of Sciences. 112(27), E3525–E3534.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 6120 |
Laurent P, Soltesz Z, Nelson GM, Chen C, Arellano-Carbajal F, Levy E, de Bono M. 2015. Decoding a neural circuit controlling global animal state in C. elegans. eLife. 4, e04241.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Conference Paper | IST-REx-ID: 1637 |
Kolmogorov V, Krokhin A, Rolinek M. 2015. The complexity of general-valued CSPs. FOCS: Foundations of Computer Science, 56th Annual Symposium on Foundations of Computer Science, , 1246–1258.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2015 | Journal Article | IST-REx-ID: 6507
Zhou L, Hinerman JM, Blaszczyk M, Miller JLC, Conrady DG, Barrow AD, Chirgadze DY, Bihan D, Farndale RW, Herr AB. 2015. Structural basis for collagen recognition by the immune receptor OSCAR. Blood. 127(5), 529–537.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 6737 |
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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 6736 |
Mondelli M, Hassani H, Urbanke R. 2015. Scaling exponent of list decoders with applications to polar codes. IEEE Transactions on Information Theory. 61(9), 4838–4851.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
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.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 7457
Parizi SS, 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.
[Submitted Version]
View
| DOI
2015 | Journal Article | IST-REx-ID: 7742
Robinson MR, Hemani G, Medina-Gomez C, Mezzavilla M, Esko T, Shakhbazov K, Powell JE, Vinkhuyzen A, Berndt SI, Gustafsson S, Justice AE, Kahali B, Locke AE, Pers TH, Vedantam S, Wood AR, van Rheenen W, Andreassen OA, Gasparini P, Metspalu A, Berg LH van den, Veldink JH, Rivadeneira F, Werge TM, Abecasis GR, Boomsma DI, Chasman DI, de Geus EJC, Frayling TM, Hirschhorn JN, Hottenga JJ, Ingelsson E, Loos RJF, Magnusson PKE, Martin NG, Montgomery GW, North KE, Pedersen NL, Spector TD, Speliotes EK, Goddard ME, Yang J, Visscher PM. 2015. Population genetic differentiation of height and body mass index across Europe. Nature Genetics. 47(11), 1357–1362.
View
| DOI
2015 | Journal Article | IST-REx-ID: 7741 |
Adams MJ, Robinson MR, Mannarelli M-E, Hatchwell BJ. 2015. Social genetic and social environment effects on parental and helper care in a cooperatively breeding bird. Proceedings of the Royal Society B: Biological Sciences. 282(1810), 20150689.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 7739 |
Santure AW, Poissant J, De Cauwer I, van Oers K, Robinson MR, Quinn JL, Groenen MAM, Visser ME, Sheldon BC, Slate J. 2015. Replicated analysis of the genetic architecture of quantitative traits in two wild great tit populations. Molecular Ecology. 24, 6148–6162.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 | Conference Paper | IST-REx-ID: 777
Alistarh D-A, Iglesias J, Vojnović M. 2015. Streaming min-max hypergraph partitioning. NIPS: Neural Information Processing Systems vol. 2015–January, 1900–1908.
View
| Download None (ext.)
2015 | Conference Paper | IST-REx-ID: 778 |
Alistarh D-A, Kopinsky J, Kuznetsov P, Ravi S, Shavit N. 2015. Inherent limitations of hybrid transactional memory. DISC: Distributed Computing, LNCS, vol. 9363, 185–199.
View
| DOI
| Download None (ext.)
| arXiv
2015 | Preprint | IST-REx-ID: 7779 |
Goodrich CP. 2015. Unearthing the anticrystal: Criticality in the linear response of disordered solids. arXiv:1510.08820, .
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 779
Alistarh D-A, Matveev A, Leiserson W, Shavit N. 2015. ThreadScan: Automatic and scalable memory reclamation. SPAA: Symposium on Parallelism in Algorithms and Architectures vol. 2015–June, 123–132.
View
| Files available
| DOI
2015 | Conference Paper | IST-REx-ID: 780 |
Alistarh D-A, Gelashvili R. 2015. Polylogarithmic-time leader election in population protocols. ICALP: International Colloquium on Automota, Languages and Programming vol. 9135, 479–491.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Conference Paper | IST-REx-ID: 783 |
Alistarh D-A, Gelashvili R, Vladu A. 2015. How to elect a leader faster than a tournament. PODC: Principles of Distributed Computing vol. 2015–July, 365–374.
View
| DOI
| Download None (ext.)
2015 | Journal Article | IST-REx-ID: 802
Engel J, Schmalhorst PS, Kruger A, Muller C, Buettner F, Routier F. 2015. Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology. 25(12), 1423–1430.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 815
Schur FK, 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.
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 8242
Einhorn L, Singer J, Muhr M, Schoos A, Oida K, Singer J, Panakova L, Manzano-Szalai K, Jensen-Jarolim E. 2015. Generation of recombinant FcεRIα of dog, cat and horse for component-resolved allergy diagnosis in veterinary patients. Journal of Allergy and Clinical Immunology. 135(2), AB101.
View
| DOI
2015 | Journal Article | IST-REx-ID: 9057 |
Palacci JA, Sacanna S, Abramian A, Barral J, Hanson K, Grosberg AY, Pine DJ, Chaikin PM. 2015. Artificial rheotaxis. Science Advances. 1(4), e1400214.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
| arXiv
2015 | Journal Article | IST-REx-ID: 9141 |
Lefauve A, Muller CJ, Melet A. 2015. A three-dimensional map of tidal dissipation over abyssal hills. Journal of Geophysical Research: Oceans. 120(7), 4760–4777.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 928 |
Sehring I, Recho P, Denker E, Kourakis M, Mathiesen B, Hannezo EB, Dong B, Jiang D. 2015. Assembly and positioning of actomyosin rings by contractility and planar cell polarity. eLife. 4, e09206.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 9575 |
Krivelevich M, Kwan MA, Sudakov B. 2015. Cycles and matchings in randomly perturbed digraphs and hypergraphs. Electronic Notes in Discrete Mathematics. 49, 181–187.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 9688 |
Cheng B, Tribello GA, Ceriotti M. 2015. Solid-liquid interfacial free energy out of equilibrium. Physical Review B - Condensed Matter and Materials Physics. 92(18), 180102.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Excel file containing the raw data for all figures, Public Library of Science, 10.1371/journal.pbio.1002299.s001.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1855 |
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.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1830 |
Theis F, Ugelvig LV, 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).
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Research Data Reference | IST-REx-ID: 9721 |
Theis F, Ugelvig LV, Marr C, Cremer S. 2015. Data from: Opposing effects of allogrooming on disease transmission in ant societies, Dryad, 10.5061/dryad.dj2bf.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Research Data Reference | IST-REx-ID: 9718
Friedlander T, Mayo AE, Tlusty T, Alon U. 2015. Supporting information text, Public Library of Science, 10.1371/journal.pcbi.1004055.s001.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1793 |
Symonova O, Topp C, Edelsbrunner H. 2015. DynamicRoots: A software platform for the reconstruction and analysis of growing plant roots. PLoS One. 10(6), e0127657.
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova O, Topp C, Edelsbrunner H. 2015. Root traits computed by DynamicRoots for the maize root shown in fig 2, Public Library of Science, 10.1371/journal.pone.0127657.s001.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1827 |
Friedlander T, Mayo A, Tlusty T, Alon U. 2015. Evolution of bow-tie architectures in biology. PLoS Computational Biology. 11(3).
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1809 |
Trubenova B, Novak S, Hager R. 2015. Indirect genetic effects and the dynamics of social interactions. PLoS One. 10(5).
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9772
Trubenova B, Novak S, Hager R. 2015. Description of the agent based simulations, Public Library of Science, 10.1371/journal.pone.0126907.s003.
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9773
Friedlander T, Mayo AE, Tlusty T, Alon U. 2015. Evolutionary simulation code, Public Library of Science, 10.1371/journal.pcbi.1004055.s002.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 981 |
Zeljkovic I, Okada Y, Serbyn M, Sankar R, Walkup D, Zhou W, Liu J, Chang G, Wang Y, Hasan M, Chou F, Lin H, Bansil A, Fu L, Madhavan V. 2015. Dirac mass generation from crystal symmetry breaking on the surfaces of topological crystalline insulators. Nature Materials. 14(3), 318–324.
View
| DOI
| Download (ext.)
2015 | Journal Article | IST-REx-ID: 982 |
Serbyn M, Papić Z, Abanin D. 2015. Criterion for many-body localization-delocalization phase transition. Physical Review X. 5(4).
View
| DOI
| Download (ext.)
2015 | Journal Article | IST-REx-ID: 99 |
Higginbotham AP, Albrecht SM, Kiršanskas G, Chang W, Kuemmeth F, Krogstrup P, Jespersen T, Nygård J, Flensberg K, Marcus C. 2015. Parity lifetime of bound states in a proximitized semiconductor nanowire. Nature Physics. 11(12), 1017–1021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2015 | Journal Article | IST-REx-ID: 9017
Richet N, Liu D, Legrand P, Velours C, Corpet A, Gaubert A, Bakail MM, Moal-Raisin G, Guerois R, Compper C, Besle A, Guichard B, Almouzni G, Ochsenbein F. 2015. Structural insight into how the human helicase subunit MCM2 may act as a histone chaperone together with ASF1 at the replication fork. Nucleic Acids Research. 43(3), 1905–1917.
[Published Version]
View
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 933 |
García S, Hannezo EB, Elgeti J, Joanny J, Silberzan P, Gov N. 2015. Physics of active jamming during collective cellular motion in a monolayer. PNAS. 112(50), 15314–15319.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 9532 |
Rodrigues JA, Zilberman D. 2015. Evolution and function of genomic imprinting in plants. Genes and Development. 29(24), 2517–2531.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2015 | Journal Article | IST-REx-ID: 1566 |
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures. PLoS Computational Biology. 11(10), e1004541.
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9712
Tugrul M, Paixao T, Barton NH, Tkačik G. 2015. Other fitness models for comparison & for interacting TFBSs, Public Library of Science, 10.1371/journal.pgen.1005639.s001.
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia À, Sikora MK, Cieplak M, Carrión Vázquez M. 2015. An exploration of the universe of polyglutamine structures - submission to PLOS journals, Public Library of Science , 10.1371/journal.pcbi.1004541.s001.
[Published Version]
View
| Files available
| DOI
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova B, Novak S, Hager R. 2015. Mathematical inference of the results, Public Library of Science, 10.1371/journal.pone.0126907.s001.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 1993 |
Konrad M, Grasse AV, 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), 20141976.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2015 | Research Data Reference | IST-REx-ID: 9742 |
Westhus C, Ugelvig LV, Tourdot E, Heinze J, Doums C, Cremer S. 2015. Data from: Increased grooming after repeated brood care provides sanitary benefits in a clonal ant, Dryad, 10.5061/dryad.7kc79.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau G, Lukacisinova M, Batur T, Guvenek A, Ayhan DH, Toprak E, Bollenbach MT. 2015. Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs, Public Library of Science, 10.1371/journal.pbio.1002299.s008.
[Published Version]
View
| Files available
| DOI
2015 | Journal Article | IST-REx-ID: 12630
Ragettli S, Pellicciotti F, Immerzeel WW, Miles ES, Petersen L, Heynen M, Shea JM, Stumm D, Joshi S, Shrestha A. 2015. Unraveling the hydrology of a Himalayan catchment through integration of high resolution in situ data and remote sensing with an advanced simulation model. Advances in Water Resources. 78(4), 94–111.
View
| DOI
2015 | Journal Article | IST-REx-ID: 12628 |
Pellicciotti F, Stephan C, Miles E, Herreid S, Immerzeel WW, Bolch T. 2015. Mass-balance changes of the debris-covered glaciers in the Langtang Himal, Nepal, from 1974 to 1999. Journal of Glaciology. 61(226), 373–386.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2015 | Journal Article | IST-REx-ID: 12629 |
Shea JM, Wagnon P, Immerzeel WW, Biron R, Brun F, Pellicciotti F. 2015. A comparative high-altitude meteorological analysis from three catchments in the Nepalese Himalaya. International Journal of Water Resources Development. 31(2), 174–200.
[Published Version]
View
| DOI
| Download Published Version (ext.)