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.

2979 Publications


2017 | Journal Article | IST-REx-ID: 453 | OA
Fallesen, T., Roostalu, J., Düllberg, C. F., Pruessner, G., & Surrey, T. (2017). Ensembles of bidirectional kinesin Cin8 produce additive forces in both directions of movement. Biophysical Journal, 113(9), 2055–2067. https://doi.org/10.1016/j.bpj.2017.09.006
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 8450
Kurauskas, V., Schanda, P., & Sounier, R. (2017). Methyl-specific isotope labeling strategies for NMR studies of membrane proteins. In Membrane protein structure and function characterization (Vol. 1635, pp. 109–123). Springer Nature. https://doi.org/10.1007/978-1-4939-7151-0_6
View | DOI
 

2017 | Journal Article | IST-REx-ID: 664
Assen, F. P., & Sixt, M. K. (2017). The dynamic cytokine niche. Immunity, 46(4), 519–520. https://doi.org/10.1016/j.immuni.2017.04.006
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2016). The complexity of deciding legality of a single step of magic: The gathering (Vol. 285, pp. 1432–1439). Presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands: IOS Press. https://doi.org/10.3233/978-1-61499-672-9-1432
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 479
Jiang, Y., Liu, H., Kong, H., Wang, R., Hosseini, M., Sun, J., & Sha, L. (2016). Use runtime verification to improve the quality of medical care practice. In Proceedings of the 38th International Conference on Software Engineering Companion (pp. 112–121). Austin, TX, USA: IEEE. https://doi.org/10.1145/2889160.2889233
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, K., & Doyen, L. (2016). Perfect-information stochastic games with generalized mean-payoff objectives (Vol. 05-08-July-2016, pp. 247–256). Presented at the LICS: Logic in Computer Science, New York, NY, USA: IEEE. https://doi.org/10.1145/2933575.2934513
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 482
Rueda, A., Sedlmeir, F., Collodo, M., Vogl, U., Stiller, B., Schunk, G., … Schwefel, H. (2016). Nonlinear single sideband microwave to optical conversion using an electro-optic WGM-resonator. Presented at the NP: Nonlinear Photonics, Sydney, Australia: OSA. https://doi.org/10.1364/NP.2016.NTh3A.6
View | DOI
 

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). https://doi.org/10.1080/15592324.2016.1191734
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, K., Pavlogiannis, A., & Velner, Y. (2016). Quantitative interprocedural analysis. IST Austria. https://doi.org/10.15479/AT:IST-2016-523-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Termination and worst-case analysis of recursive programs. IST Austria.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, Anonymous, 2, & Anonymous, 3. (2016). Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds. IST Austria.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, Anonymous, 2, Anonymous, 3, & Anonymous, 4. (2016). Data-centric dynamic partial order reduction. IST Austria.
View | Files available | arXiv
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Amplification on undirected population structures: Comets beat stars. IST Austria. https://doi.org/10.15479/AT:IST-2016-648-v1-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5451 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2016-728-v1-1
View | Files available | DOI
 

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. https://doi.org/10.15479/AT:IST-2017-728-v2-1
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
Pavlogiannis, A., Tkadlec, J., Chatterjee, K., & Nowak, M. (2016). Arbitrarily strong amplifiers of natural selection. IST Austria. https://doi.org/10.15479/AT:IST-2017-749-v3-1
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5550 | OA
Ellis, T., & Field, D. (2016). Flower colour data and phylogeny (NEXUS) files. IST Austria. https://doi.org/10.15479/AT:ISTA:34
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, T. (2016). Data on pollinator observations and offpsring phenotypes. IST Austria. https://doi.org/10.15479/AT:ISTA:35
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. IST Austria. https://doi.org/10.15479/AT:ISTA:36
View | Files available | DOI
 

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. IST Austria. https://doi.org/10.15479/AT:ISTA:37
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. IST Austria. https://doi.org/10.15479/AT:ISTA:43
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. IST Austria. https://doi.org/10.15479/AT:ISTA:44
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, P. (2016). Synthetic discrete tomography problems. IST Austria. https://doi.org/10.15479/AT:ISTA:46
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen, M. (2016). Tracking, Correcting and Absorbing Water Surface Waves. IST Austria. https://doi.org/10.15479/AT:ISTA:48
View | Files available | DOI
 

2016 | 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, 270(11), 4340–4368. https://doi.org/10.1016/j.jfa.2015.12.007
View | DOI | Download Submitted Version (ext.)
 

2016 | 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, 283(1822). https://doi.org/10.1098/rspb.2015.2452
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1592
Abe, M., Fuchsbauer, G., Groth, J., Haralambiev, K., & Ohkubo, M. (2016). Structure preserving signatures and commitments to group elements. Journal of Cryptology, 29(2), 363–421. https://doi.org/10.1007/s00145-014-9196-7
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1597
Schwarz, J., & Sixt, M. K. (2016). Quantitative analysis of dendritic cell haptotaxis. Methods in Enzymology, 570, 567–581. https://doi.org/10.1016/bs.mie.2015.11.004
View | DOI | PubMed | Europe PMC
 

2016 | 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, 351(6269), 186–190. https://doi.org/10.1126/science.aad0512
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | 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, 17(7), 1631–1675. https://doi.org/10.1007/s00023-015-0456-3
View | DOI | Download Preprint (ext.)
 

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

2016 | Journal Article | IST-REx-ID: 1616 | OA
Kowalski, J., Gan, J., Jonas, P. M., & Pernia-Andrade, A. (2016). Intrinsic membrane properties determine hippocampal differential firing pattern in vivo in anesthetized rats. Hippocampus, 26(5), 668–682. https://doi.org/10.1002/hipo.22550
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1617 | OA
Pausinger, F., & Steinerberger, S. (2016). On the discrepancy of jittered sampling. Journal of Complexity, 33, 199–216. https://doi.org/10.1016/j.jco.2015.11.003
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1620 | OA
Frank, R., Hainzl, C., Seiringer, R., & Solovej, J. (2016). The external field dependence of the BCS critical temperature. Communications in Mathematical Physics, 342(1), 189–216. https://doi.org/10.1007/s00220-015-2526-2
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1622 | OA
Lundholm, D., Nam, P., & Portmann, F. (2016). Fractional Hardy–Lieb–Thirring and related Inequalities for interacting systems. Archive for Rational Mechanics and Analysis, 219(3), 1343–1382. https://doi.org/10.1007/s00205-015-0923-5
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1631 | OA
Kelleher, J., Etheridge, A., Véber, A., & Barton, N. H. (2016). Spread of pedigree versus genetic ancestry in spatially distributed populations. Theoretical Population Biology, 108, 1–12. https://doi.org/10.1016/j.tpb.2015.10.008
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1641 | OA
Zemová, R., Zwiewka, M., Bielach, A., Robert, H., & Friml, J. (2016). A forward genetic screen for new regulators of auxin mediated degradation of auxin transport proteins in Arabidopsis thaliana. Journal of Plant Growth Regulation, 35(2), 465–476. https://doi.org/10.1007/s00344-015-9553-2
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1653 | OA
Okamoto, T., Pietrzak, K. Z., Waters, B., & Wichs, D. (2016). New realizations of somewhere statistically binding hashing and positional accumulators (Vol. 9452, pp. 121–145). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Auckland, New Zealand: Springer. https://doi.org/10.1007/978-3-662-48797-6_6
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1662 | OA
Edelsbrunner, H., & Pausinger, F. (2016). Approximation and convergence of the intrinsic volume. Advances in Mathematics, 287, 674–703. https://doi.org/10.1016/j.aim.2015.10.004
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, S., Donzé, A., Frehse, G., Grosu, R., Johnson, T., Ladan, H., … Wehrle, M. (2016). Guided search for hybrid systems based on coarse-grained space abstractions. International Journal on Software Tools for Technology Transfer, 18(4), 449–467. https://doi.org/10.1007/s10009-015-0393-y
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, J., & Lampert, C. (2016). Optimal geospatial allocation of volunteers for crisis management. Presented at the ICT-DM: Information and Communication Technologies for Disaster Management, Rennes, France: IEEE. https://doi.org/10.1109/ICT-DM.2015.7402041
View | 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. https://doi.org/10.1007/s00453-015-0017-7
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, A., & Rudas, T. (2016). On the closure of relational models. Journal of Multivariate Analysis, 143, 440–452. https://doi.org/10.1016/j.jmva.2015.10.005
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, J., & Schnelli, K. (2016). Extremal eigenvalues and eigenvectors of deformed Wigner matrices. Probability Theory and Related Fields, 164(1–2), 165–241. https://doi.org/10.1007/s00440-014-0610-8
View | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius, G. S., Hostettler, R., Knoll, A., & Der, R. (2016). Self-organized control of an tendon driven arm by differential extrinsic plasticity. In Proceedings of the Artificial Life Conference 2016 (Vol. 28, pp. 142–143). Cancun, Mexico: MIT Press. https://doi.org/10.7551/978-0-262-33936-0-ch029
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 948
Monk, T., Savin, C., & Lücke, J. (2016). Neurons equipped with intrinsic plasticity learn stimulus intensity statistics (Vol. 29, pp. 4285–4293). Presented at the NIPS: Neural Information Processing Systems, Barcelona, Spaine: Neural Information Processing Systems.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 1181
Dwyer, N., Chen, B., Chou, S., Hippenmeyer, S., Nguyen, L., & Ghashghaei, T. (2016). Neural stem cells to cerebral cortex: Emerging mechanisms regulating progenitor behavior and productivity. Journal of Neuroscience, 36(45), 11394–11401. https://doi.org/10.1523/JNEUROSCI.2359-16.2016
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1182 | OA
Chatterjee, K., Ibsen-Jensen, R., & Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.
View | Files available | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1183 | OA
Tarlungeanu, D.-C., Deliu, E., Dotter, C., Kara, M., Janiesch, P., Scalise, M., … Novarino, G. (2016). Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell, 167(6), 1481–1494. https://doi.org/10.1016/j.cell.2016.11.013
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1184 | OA
Metzler, S., Heinze, J., & Schrempf, A. (2016). Mating and longevity in ant males. Ecology and Evolution, 6(24), 8903–8906. https://doi.org/10.1002/ece3.2474
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications