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.

5611 Publications


2016 | Published | Conference Paper | IST-REx-ID: 1526 | OA
Henzinger, T. A., Otop, J., & Samanta, R. (2016). Lipschitz robustness of timed I/O systems (Vol. 9583, pp. 250–267). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, St. Petersburg, FL, USA: Springer. https://doi.org/10.1007/978-3-662-49122-5_12
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1529 | OA
Chatterjee, K., Chmelik, M., Gupta, R., & Kanodia, A. (2016). Optimal cost almost-sure reachability in POMDPs. Artificial Intelligence. Elsevier. https://doi.org/10.1016/j.artint.2016.01.007
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Published | Journal Article | IST-REx-ID: 1545 | OA
Nam, P., Napiórkowski, M. M., & Solovej, J. (2016). Diagonalization of bosonic quadratic Hamiltonians by Bogoliubov transformations. Journal of Functional Analysis. Academic Press. https://doi.org/10.1016/j.jfa.2015.12.007
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1552 | OA
Qi, Q., Toll Riera, M., Heilbron, K., Preston, G., & Maclean, R. C. (2016). The genomic basis of adaptation to the fitness cost of rifampicin resistance in Pseudomonas aeruginosa. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2015.2452
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1599 | OA
Kiermaier, E., Moussion, C., Veldkamp, C., Gerardy  Schahn, R., de Vries, I., Williams, L., … Sixt, M. K. (2016). Polysialylation controls dendritic cell trafficking by regulating chemokine recognition. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aad0512
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Published | Journal Article | IST-REx-ID: 1608 | OA
Sadel, C. (2016). Anderson transition at 2 dimensional growth rate on antitrees and spectral theory for operators with one propagating channel. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/s00023-015-0456-3
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1612 | OA
Kazda, A. (2016). CSP for binary conservative relational structures. Algebra Universalis. Springer. https://doi.org/10.1007/s00012-015-0358-8
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1613 | OA
Mungenast, A., Siegert, S., & Tsai, L. (2016). Modeling Alzheimer’s disease with human induced pluripotent stem (iPS) cells. Molecular and Cellular Neuroscience. Academic Press. https://doi.org/doi:10.1016/j.mcn.2015.11.010
[Submitted Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1318 | OA
Fischer, J. L., & Otto, F. (2016). A higher-order large scale regularity theory for random elliptic operators. Communications in Partial Differential Equations. Taylor & Francis. https://doi.org/10.1080/03605302.2016.1179318
View | DOI | Download (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1321 | OA
Leithner, A. F., Eichner, A., Müller, J., Reversat, A., Brown, M., Schwarz, J., … Sixt, M. K. (2016). Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb3426
[Submitted Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1322 | OA
Hilbe, C., Hagel, K., & Milinski, M. (2016). Asymmetric power boosts extortion in an economic experiment. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0163867
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1323 | OA
Vyleta, N., Borges Merjane, C., & Jonas, P. M. (2016). Plasticity-dependent, full detonation at hippocampal mossy fiber–CA3 pyramidal neuron synapses. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.17977
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1325 | OA
Brázdil, T., Forejt, V., Kučera, A., & Novotný, P. (2016). Stability in graphs and games (Vol. 59). Presented at the CONCUR: Concurrency Theory, Quebec City, Canada: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2016.10
[Published Version] View | Files available | DOI
 

2016 | Published | Conference Paper | IST-REx-ID: 1326 | OA
Brázdil, T., Kučera, A., & Novotný, P. (2016). Optimizing the expected mean payoff in Energy Markov Decision Processes (Vol. 9938, pp. 32–49). Presented at the ATVA: Automated Technology for Verification and Analysis, Chiba, Japan: Springer. https://doi.org/10.1007/978-3-319-46520-3_3
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Conference Paper | IST-REx-ID: 1327 | OA
Brázdil, T., Chatterjee, K., Chmelik, M., Gupta, A., & Novotný, P. (2016). Stochastic shortest path with energy constraints in POMDPs. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (pp. 1465–1466). Singapore: ACM.
[Preprint] View | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1328 | OA
Watzinger, H., Kloeffel, C., Vukušić, L., Rossell, M., Sessi, V., Kukucka, J., … Katsaros, G. (2016). Heavy-hole states in germanium hut wires. Nano Letters. American Chemical Society. https://doi.org/10.1021/acs.nanolett.6b02715
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1329 | OA
Huylmans, A. K., López Ezquerra, A., Parsch, J., & Cordellier, M. (2016). De novo transcriptome assembly and sex-biased gene expression in the cyclical parthenogenetic Daphnia galeata. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evw221
[Published Version] View | Files available | DOI
 

2016 | Published | Journal Article | IST-REx-ID: 1330 | OA
Akopyan, A., & Balitskiy, A. (2016). Billiards in convex bodies with acute angles. Israel Journal of Mathematics. Springer. https://doi.org/10.1007/s11856-016-1429-z
[Preprint] View | DOI | Download Preprint (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1331 | OA
Zwack, P., De Clercq, I., Howton, T., Hallmark, H. T., Hurny, A., Keshishian, E., … Rashotte, A. (2016). Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00415
[Published Version] View | DOI | Download Published Version (ext.)
 

2016 | Published | Journal Article | IST-REx-ID: 1332 | OA
Chait, R. P., Palmer, A., Yelin, I., & Kishony, R. (2016). Pervasive selection for and against antibiotic resistance in inhomogeneous multistress environments. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms10333
[Published Version] View | Files available | DOI
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed