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.

5686 Publications


2016 | Conference Paper | IST-REx-ID: 1205 | OA
Jiang Y, Liu H, Song H, Kong H, Gu M, Sun J, Sha L. 2016. Safety assured formal model driven design of the multifunction vehicle bus controller. FM: International Symposium on Formal Methods, LNCS, vol. 9995, 757–763.
[Submitted Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1193 | OA
Kolmogorov V. 2016. Commutativity in the algorithmic Lovasz local lemma. Proceedings - Annual IEEE Symposium on Foundations of Computer Science. FOCS: Foundations of Computer Science vol. 2016–December, 7782993.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1438 | OA
Chatterjee K, Fu H, Novotný P, Hasheminezhad R. 2016. Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs. POPL: Principles of Programming Languages, POPL, vol. 20–22, 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Research Data Reference | IST-REx-ID: 9710 | OA
Barton NH. 2016. Data from: How does epistasis influence the response to selection?, Dryad, 10.5061/dryad.s5s7r.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Research Data Reference | IST-REx-ID: 9864 | OA
Fernandes Redondo RA, de Vladar H, Włodarski T, Bollback JP. 2016. Data from evolutionary interplay between structure, energy and epistasis in the coat protein of the ϕX174 phage family, The Royal Society, 10.6084/m9.figshare.4315652.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1165 | OA
Fulek R. 2016. C-planarity of embedded cyclic c-graphs. GD: Graph Drawing and Network Visualization, LNCS, vol. 9801, 94–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1378 | OA
Dotterrer D, Kaufman T, Wagner U. 2016. On expansion and topological overlap. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 51, 35.1-35.10.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski J, Gan J, Jonas PM, Pernia-Andrade A. 2016. Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus. 26(5), 668–682.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov V, Takhanov R. 2016. Inference algorithms for pattern-based CRFs on sequence data. Algorithmica. 76(1), 17–46.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu Z, Yang N, Lv Y, Pan L, Lv S, Han H, Wang G. 2016. The CLE gene family in Populus trichocarpa. Plant Signaling & Behavior. 11(6), e1191734.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1263 | OA
Rueda A, Sedlmeir F, Collodo M, Vogl U, Stiller B, Schunk G, Strekalov D, Marquardt C, Fink JM, Painter O, Leuchs G, Schwefel H. 2016. Efficient microwave to optical photon conversion: An electro-optical realization. Optica. 3(6), 597–604.
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1287 | OA
Midya B, Konotop V. 2016. Modes and exceptional points in waveguides with impedance boundary conditions. Optics Letters. 41(20), 4621–4624.
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1274 | OA
Mazur E, Benková E, Friml J. 2016. Vascular cambium regeneration and vessel formation in wounded inflorescence stems of Arabidopsis. Scientific Reports. 6, 33754.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1253 | OA
Tsai L, Siegert S. 2016. How MicroRNAs Are involved in splitting the mind. JAMA Psychiatry. 73(4), 409–410.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 

2016 | Technical Report | IST-REx-ID: 5452 | OA
Pavlogiannis A, Tkadlec J, Chatterjee K, Nowak M. 2016. Arbitrarily strong amplifiers of natural selection, IST Austria, 32p.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis T, Field D. 2016. Flower colour data and phylogeny (NEXUS) files, Institute of Science and Technology Austria, 10.15479/AT:ISTA:34.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild R. 2016. Fiji script to determine average speed and direction of migration of cells, Institute of Science and Technology Austria, 10.15479/AT:ISTA:44.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda P. 2016. Synthetic discrete tomography problems, Institute of Science and Technology Austria, 10.15479/AT:ISTA:46.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1122 | OA
Bojsen-Hansen M. 2016. Tracking, correcting and absorbing water surface waves. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1398 | OA
Ellis T. 2016. The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul M. 2016. Evolution of transcriptional regulatory sequences. Institute of Science and Technology Austria.
[Published Version] View | Files available
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field D, Ellis T. 2016. Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012, Institute of Science and Technology Austria, 10.15479/AT:ISTA:37.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis T. 2016. Data on pollinator observations and offpsring phenotypes, Institute of Science and Technology Austria, 10.15479/AT:ISTA:35.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis T. 2016. Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data., Institute of Science and Technology Austria, 10.15479/AT:ISTA:36.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5554 | OA
Tugrul M. 2016. Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase, Institute of Science and Technology Austria, 10.15479/AT:ISTA:43.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen M. 2016. Tracking, Correcting and Absorbing Water Surface Waves, Institute of Science and Technology Austria, 10.15479/AT:ISTA:48.
[Published Version] View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin M, Landon M, Jajoo R. 2016. MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:45.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 15245 | OA
Zhang SN et al. 2016. eXTP: Enhanced X-ray timing and polarization mission. Proceedings of the SPIE. vol. 9905, 99051Q.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1321 | OA
Leithner AF, Eichner A, Müller J, Reversat A, Brown M, Schwarz J, Merrin J, De Gorter D, Schur FK, Bayerl J, de Vries I, Wieser S, Hauschild R, Lai F, Moser M, Kerjaschki D, Rottner K, Small V, Stradal T, Sixt MK. 2016. Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. 18, 1253–1259.
[Submitted Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1100 | OA
Sako K, Pradhan S, Barone V, Inglés Prieto Á, Mueller P, Ruprecht V, Capek D, Galande S, Janovjak HL, Heisenberg C-PJ. 2016. Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. 16(3), 866–877.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee K, Goharshady AK, Ibsen-Jensen R, Pavlogiannis A. 2016. Algorithms for algebraic path properties in concurrent systems of constant treewidth components. POPL: Principles of Programming Languages, POPL, vol. 20–22, 733–747.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee K, Fu H, Goharshady AK. 2016. Termination analysis of probabilistic programs through Positivstellensatz’s. CAV: Computer Aided Verification, LNCS, vol. 9779, 3–22.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 10748 | OA
Polshyn H, Zhang C, Naibert T, Eckstein J, Budakian R. 2015. Study of Fe (Se, Te) micron-sized rings by magnetic force microscopy. APS March Meeting 2015. APS: American Physical Society, Bulletin of the American Physical Society, vol. 60, G16.00009.
[Published Version] View | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 10794 | OA
Parise F, Lygeros J, Ruess J. 2015. Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study. Frontiers in Environmental Science. 3, 42.
[Published Version] View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 11079 | OA
Mertens J, Paquola ACM, Ku M, Hatch E, Böhnke L, Ladjevardi S, McGrath S, Campbell B, Lee H, Herdy JR, Gonçalves JT, Toda T, Kim Y, Winkler J, Yao J, Hetzer M, Gage FH. 2015. Directly reprogrammed human neurons retain aging-associated transcriptomic signatures and reveal age-related nucleocytoplasmic defects. Cell Stem Cell. 17(6), 705–718.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11077 | OA
Jacinto FV, Benner C, Hetzer M. 2015. The nucleoporin Nup153 regulates embryonic stem cell pluripotency through gene silencing. Genes & Development. 29(12), 1224–1238.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11078 | OA
Ori A, Toyama BH, Harris MS, Bock T, Iskar M, Bork P, Ingolia NT, Hetzer M, Beck M. 2015. Integrated transcriptome and proteome analyses reveal organ-specific proteome deterioration in old rats. Cell Systems. 1(3), P224-237.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11076 | OA
Ibarra A, Hetzer M. 2015. Nuclear pore proteins and the control of genome functions. Genes & Development. 29(4), 337–349.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11073 | OA
Hatch EM, Hetzer M. 2015. Linking micronuclei to chromosome fragmentation. Cell. 161(7), 1502–1504.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11074 | OA
Hatch EM, Hetzer M. 2015. Chromothripsis. Current Biology. 25(10), PR397-R399.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 11519 | OA
Sobral D, Matthee JJ, Darvish B, Schaerer D, Mobasher B, Röttgering H, Santos S, Hemmati S. 2015. Evidence for PopIII-like stellar populations in the most luminous Lyα emitters at the epoch of reionisation: Spectroscopic confirmation. The Astrophysical Journal. 808(2), 139.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11580 | OA
Sobral D, Matthee JJ, Best PN, Smail I, Khostovan AA, Milvang-Jensen B, Kim J-W, Stott J, Calhau J, Nayyeri H, Mobasher B. 2015. CF-HiZELS, an ∼10 deg2 emission-line survey with spectroscopic follow-up: Hα, [O III] + Hβ and [O II] luminosity functions at z = 0.8, 1.4 and 2.2 . Monthly Notices of the Royal Astronomical Society. 451(3), 2303–2323.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11581 | OA
Matthee JJ, Sobral D, Santos S, Röttgering H, Darvish B, Mobasher B. 2015. Identification of the brightest Lyα emitters at z = 6.6: implications for the evolution of the luminosity function in the reionization era. Monthly Notices of the Royal Astronomical Society. 451(1), 400–417.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11579 | OA
Pallottini A, Ferrara A, Pacucci F, Gallerani S, Salvadori S, Schneider R, Schaerer D, Sobral D, Matthee JJ. 2015. The brightest Lyα emitter: Pop III or black hole? Monthly Notices of the Royal Astronomical Society. 453(3), 2465–2470.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 11668 | OA
Colini-Baldeschi R, Leonardi S, Henzinger MH, Starnberger M. 2015. On multiple keyword sponsored search auctions with budgets. ACM Transactions on Economics and Computation. 4(1), 2.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 11669 | OA
Dütting P, Henzinger MH, Starnberger M. 2015. Auctions for heterogeneous items and budget limits. ACM Transactions on Economics and Computation. 4(1), 4.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11774 | OA
Cheung YK, Henzinger MH, Hoefer M, Starnberger M. 2015. Combinatorial auctions with conflict-based externalities. 11th International Conference on Web and Internet Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 9470, 230–243.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11773 | OA
Ben-Zwi O, Henzinger MH, Loitzenbauer V. 2015. Ad exchange: Envy-free auctions with mediators. 11th International Conference on Web and Internet Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 9470, 104–117.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 11785 | OA
Henzinger MH, Krinninger S, Nanongkai D. 2015. Improved algorithms for decremental single-source reachability on directed graphs. 42nd International Colloquium on Automata, Languages and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 9134, 725–736.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications