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.

6502 Publications


2016 | Journal Article | IST-REx-ID: 380
Bertolotti, F., Dirin, D., Ibáñez, M., Krumreich, F., Cervellino, A., Frison, R., … Masciocchi, N. (2016). Crystal symmetry breaking and role of vacancies in colloidal lead chalcogenide quantum dots. Nature Materials. Nature Publishing Group. https://doi.org/10.1038/NMAT4661
View | DOI
 

2016 | Journal Article | IST-REx-ID: 381
Liu, Y., Cadavid, D., Ibáñez, M., De Roo, J., Ortega, S., Dobrozhan, O., … Cabot, A. (2016). Colloidal AgSbSe2 nanocrystals: surface analysis, electronic doping and processing into thermoelectric nanomaterials. Journal of Materials Chemistry C. Royal Society of Chemistry. https://doi.org/10.1039/c6tc00893c
View | DOI
 

2016 | Journal Article | IST-REx-ID: 382
Luo, Z., Irtem, E., Ibanez, M., Nafria, R., Márti Sánchez, S., Genç, A., … Cabot, A. (2016). Mn3O4@CoMn2O4–CoxOy nanoparticles: Partial cation exchange synthesis and electrocatalytic properties toward the oxygen reduction and evolution reactions. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b02786
View | DOI
 

2016 | Journal Article | IST-REx-ID: 383
Liu, Y., Cadavid, D., Ibáñez, M., Ortega, S., Márti Sánchez, S., Dobrozhan, O., … Cabot, A. (2016). Thermoelectric properties of semiconductor-metal composites produced by particle blending. Applied Physics Letters. American Institute of Physics. https://doi.org/10.1063/1.4961679
View | DOI
 

2016 | Journal Article | IST-REx-ID: 389 | OA
Mahmood, F., Chan, C., Alpichshev, Z., Gardner, D., Lee, Y., Lee, P., & Gedik, N. (2016). Selective scattering between Floquet Bloch and Volkov states in a topological insulator. Nature Physics. Nature Publishing Group. https://doi.org/10.1038/nphys3609
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 390
Hinton, J., Thewalt, E., Alpichshev, Z., Mahmood, F., Koralek, J., Chan, M., … Orenstein, J. (2016). The rate of quasiparticle recombination probes the onset of coherence in cuprate superconductors. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep23610
View | DOI
 

2016 | Journal Article | IST-REx-ID: 363
De Roo, J., Ibáñez, M., Geiregat, P., Nedelcu, G., Walravens, W., Maes, J., … Hens, Z. (2016). Highly dynamic ligand binding and light absorption coefficient of cesium lead bromide perovskite nanocrystals. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.5b06295
View | DOI
 

2016 | Journal Article | IST-REx-ID: 364
Luo, Z., Lu, J., Flox, C., Nafria, R., Genç, A., Arbiol, J., … Cabot, A. (2016). Pd2Sn [010] nanorods as a highly active and stable ethanol oxidation catalyst. Journal of Materials Chemistry A. Royal Society of Chemistry. https://doi.org/10.1039/c6ta06430b
View | DOI
 

2016 | Journal Article | IST-REx-ID: 366 | OA
Meyn, M., Perálvarez, M., Heuer Jungemann, A., Hertog, W., Ibáñez, M., Nafria, R., … Kanaras, A. (2016). Polymer enhanced stability of inorganic perovskite nanocrystals and their application in color conversion LEDs. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b02529
View | DOI | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 367
Ibáñez, M., Berestok, T., Dobrozhan, O., Lalonde, A., Izquierdo Roca, V., Shavel, A., … Cabot, A. (2016). Phosphonic acids aid composition adjustment in the synthesis of Cu2+xZn1−xSnSe4−y nanoparticles. Journal of Nanoparticle Research. Springer. https://doi.org/10.1007/s11051-016-3545-4
View | DOI
 

2016 | Journal Article | IST-REx-ID: 368
Nafria, R., Genç, A., Ibáñez, M., Arbiol, J., Ramírez De La Piscina, P., Homs, N., & Cabot, A. (2016). Co Cu nanoparticles synthesis by galvanic replacement and phase rearrangement during catalytic activation. Langmuir. American Chemical Society. https://doi.org/10.1021/acs.langmuir.5b04622
View | DOI
 

2016 | Journal Article | IST-REx-ID: 369
Ibáñez, M., Luo, Z., Genç, A., Piveteau, L., Ortega, S., Cadavid, D., … Cabot, A. (2016). High performance thermoelectric nanocomposites from nanocrystal building blocks. Nature Communications. Nature Publishing Group. https://doi.org/doi:10.1038/ncomms10766
View | DOI
 

2016 | Journal Article | IST-REx-ID: 370
Liu Y, García G, Ortega S, Cadavid D, Palacios P, Lu J, Ibanez M, Xi L, De Roo J, López A, Márti Sánchez S, Cabezas I, De La Mata M, Luo Z, Dun C, Dobrozhan O, Carroll D, Zhang W, Martins J, Kovalenko M, Arbiol J, Noriega G, Song J, Wahnón P, Cabot A. 2016. Solution based synthesis and processing of Sn and Bi doped Cu inf 3 inf SbSe inf 4 inf nanocrystals nanomaterials and ring shaped thermoelectric generators. Journal of Materials Chemistry A. 5(6), 2592–2602.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 371
Luo, Z., Márti Sánchez, S., Nafria, R., Joshua, G., De La Mata, M., Guardia, P., … Cabot, A. (2016). Fe3O4@NiFexOy nanoparticles with enhanced electrocatalytic properties for oxygen evolution in carbonate electrolyte. ACS Applied Materials and Interfaces. American Chemical Society. https://doi.org/10.1021/acsami.6b09888
View | DOI
 

2016 | Thesis | IST-REx-ID: 1130 | OA
Tarrach, T. (2016). Automatic synthesis of synchronisation primitives for concurrent programs. IST Austria.
View | Files available | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432 | OA
Mishra, R. K., Kim, S., Guzmán, J., & Jonas, P. M. (2016). Symmetric spike timing-dependent plasticity at CA3–CA3 synapses optimizes storage and recall in autoassociative networks. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms11552
View | Files available | DOI
 

2016 | Thesis | IST-REx-ID: 1396 | OA
Mishra, R. K. (2016). Synaptic plasticity rules at CA3-CA3 recurrent synapses in hippocampus. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1129 | OA
Schwarz, J. (2016). Quantitative analysis of haptotactic cell migration. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1123 | OA
Mabillard, I. (2016). Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1121 | OA
Acar, H. (2016). Selective barriers to horizontal gene transfer. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1131 | OA
Tugrul, M. (2016). Evolution of transcriptional regulatory sequences. IST Austria.
View | Files available
 

2016 | Thesis | IST-REx-ID: 1125 | OA
Novak, S. (2016). Evolutionary proccesses in variable emvironments. IST Austria.
View | Files available
 

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 | Thesis | IST-REx-ID: 1124 | OA
Morri, M. (2016). Optical functionalization of human class A orphan G-protein coupled receptors. IST Austria.
View | Files available
 

2016 | Journal Article | IST-REx-ID: 9456 | OA
Huff, J. T., ZILBERMAN, D., & Roy, S. W. (2016). Mechanism for DNA transposons to generate introns on genomic scales. Nature. Springer Nature . https://doi.org/10.1038/nature20110
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9477 | OA
Park, K., Kim, M. Y., Vickers, M., Park, J.-S., Hyun, Y., Okamoto, T., … Scholten, S. (2016). DNA demethylation is initiated in the central cells of Arabidopsis and rice. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619047114
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9474 | OA
Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L., … Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619074114
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9473 | OA
Hsieh, P.-H., He, S., Buttress, T., Gao, H., Couchman, M., Fischer, R. L., … Feng, X. (2016). Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues. Proceedings of the National Academy of Sciences. National Academy of Sciences. https://doi.org/10.1073/pnas.1619074114
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9591 | OA
Krivelevich, M., Kwan, M. A., & Sudakov, B. (2016). Cycles and matchings in randomly perturbed digraphs and hypergraphs. Combinatorics, Probability and Computing. Cambridge University Press. https://doi.org/10.1017/s0963548316000079
View | DOI | Download Submitted Version (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 9681
Cheng, B., Behler, J., & Ceriotti, M. (2016). Nuclear quantum effects in water at the triple point: Using theory as a link between experiments. The Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.6b00729
View | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 9654
Neyer, S., Kunz, M., Geiss, C., Hantsche, M., Hodirnau, V.-V., Seybert, A., … Frangakis, A. S. (2016). Structure of RNA polymerase I transcribing ribosomal DNA genes. Nature. Springer Nature. https://doi.org/10.1038/nature20561
View | DOI | PubMed | Europe PMC
 

2016 | Journal Article | IST-REx-ID: 1488 | OA
Riccio, P., Cebrián, C., Zong, H., Hippenmeyer, S., & Costantini, F. (2016). Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis. PLoS Biology. Public Library of Science. https://doi.org/10.1371/journal.pbio.1002382
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1262 | OA
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2016.0811
View | Files available | DOI
 

2016 | Research Data Reference | IST-REx-ID: 9704 | OA
Mcmahon, D., Natsopoulou, M., Doublet, V., Fürst, M., Weging, S., Brown, M., … Paxton, R. (2016). Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss. Dryad. https://doi.org/10.5061/dryad.cq7t1
View | Files available | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 1197 | OA
Prentice, J., Marre, O., Ioffe, M., Loback, A., Tkačik, G., & Berry, M. (2016). Error-robust modes of the retinal population code. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1005148
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, S., Bergmiller, T., Bischofberger, A. M., & Hall, A. R. (2016). Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msv270
View | Files available | DOI | PubMed | Europe PMC
 

2016 | Research Data Reference | IST-REx-ID: 9720
Mcmahon, D., Fürst, M., Caspar, J., Theodorou, P., Brown, M., & Paxton, R. (2016). Data from: A sting in the spit: widespread cross-infection of multiple RNA viruses across wild and managed bees. Dryad. https://doi.org/10.5061/dryad.4b565
View | Files available | DOI
 

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.
View | Files available | DOI
 

2016 | 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
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., … Heisenberg, C.-P. J. (2016). Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation. Cell Reports. Cell Press. https://doi.org/10.1016/j.celrep.2016.06.036
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, K., Fu, H., & Goharshady, A. K. (2016). Termination analysis of probabilistic programs through Positivstellensatz’s (Vol. 9779, pp. 3–22). Presented at the CAV: Computer Aided Verification, Toronto, Canada: Springer. https://doi.org/10.1007/978-3-319-41528-4_1
View | Files available | DOI | Download Preprint (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1437 | OA
Chatterjee, K., Goharshady, A. K., Ibsen-Jensen, R., & Pavlogiannis, A. (2016). Algorithms for algebraic path properties in concurrent systems of constant treewidth components (Vol. 20–22, pp. 733–747). Presented at the POPL: Principles of Programming Languages, St. Petersburg, FL, USA: ACM. https://doi.org/10.1145/2837614.2837624
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, V., Thapper, J., & Živný, S. (2015). The power of linear programming for general-valued CSPs. SIAM Journal on Computing. SIAM. https://doi.org/10.1137/130945648
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 256 | OA
Browning, T. D., & Prendiville, S. (2015). Improvements in Birch’s theorem on forms in many variables. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle-2014-0122
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. Walter de Gruyter GmbH. https://doi.org/10.1515/forum-2013-6024
View | DOI | Download (ext.)
 

2015 | Book Chapter | IST-REx-ID: 258
Browning, T. D. (2015). A survey of applications of the circle method to rational points. In Arithmetic and Geometry (pp. 89–113). Cambridge University Press. https://doi.org/10.1017/CBO9781316106877.009
View | DOI
 

2015 | Journal Article | IST-REx-ID: 259
Browning, T. D., & Vishe, P. (2015). Rational points on cubic hypersurfaces over F_q(t) . Geometric and Functional Analysis. Birkhäuser. https://doi.org/10.1007/s00039-015-0328-5
View | DOI
 

2015 | Journal Article | IST-REx-ID: 260
Browning, T. D., Dietmann, R., & Heath Brown, R. (2015). Erratum Rational points on intersections of cubic and quadric hypersurfaces. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press. https://doi.org/10.1017/S1474748014000279
View | DOI
 

2015 | Journal Article | IST-REx-ID: 802
Engel, J., Schmalhorst, P. S., Kruger, A., Muller, C., Buettner, F., & Routier, F. (2015). Characterization of an N-acetylglucosaminyltransferase involved in Aspergillus fumigatus zwitterionic glycoinositolphosphoceramide biosynthesis. Glycobiology. Oxford University Press. https://doi.org/10.1093/glycob/cwv059
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 814
Schur, F. K., Hagen, W., Rumlová, M., Ruml, T., Müller, B., Kraüsslich, H., & Briggs, J. (2015). Structure of the immature HIV-1 capsid in intact virus particles at 8.8 Å resolution. Nature. Nature Publishing Group. https://doi.org/10.1038/nature13838
View | DOI
 

2015 | Journal Article | IST-REx-ID: 815
Schur, F. K., 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. ASM. https://doi.org/10.1128/JVI.01502-15
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 8242
Einhorn, L., Singer, J., Muhr, M., Schoos, A., Oida, K., Singer, J., … 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. Elsevier. https://doi.org/10.1016/j.jaci.2014.12.1263
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavý, P., & Benková, E. (2015). Real time analysis of lateral root organogenesis in arabidopsis. Bio-Protocol. Bio-protocol LLC. https://doi.org/10.21769/BioProtoc.1446
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8456
Ma, P., Xue, Y., Coquelle, N., Haller, J. D., Yuwen, T., Ayala, I., … Schanda, P. (2015). Observing the overall rocking motion of a protein in a crystal. Nature Communications. Springer Nature. https://doi.org/10.1038/ncomms9361
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8457
Ma, P., & Schanda, P. (2015). Conformational exchange processes in biological systems: Detection by solid-state NMR. EMagRes. Wiley. https://doi.org/10.1002/9780470034590.emrstm1418
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, D., Ferretti, L., Povolotskaya, I., Vlasov, P., & Kondrashov, F. (2015). A model of substitution trajectories in sequence space and long-term protein evolution. Molecular Biology and Evolution. Oxford University Press. https://doi.org/10.1093/molbev/msu318
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8495
Bounemoura, A., & Kaloshin, V. (2015). A note on micro-instability for Hamiltonian systems close to integrable. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/12796
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8498
Kaloshin, V., & Zhang, K. (2015). Arnold diffusion for smooth convex systems of two and a half degrees of freedom. Nonlinearity. IOP Publishing. https://doi.org/10.1088/0951-7715/28/8/2699
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8499
Guardia, M., & Kaloshin, V. (2015). Growth of Sobolev norms in the cubic defocusing nonlinear Schrödinger equation. Journal of the European Mathematical Society. European Mathematical Society Publishing House. https://doi.org/10.4171/jems/499
View | DOI
 

2015 | Journal Article | IST-REx-ID: 866
Kretz, C., Dai, M., Soylemez, O., Yee, A., Desch, K., Siemieniak, D., … Ginsburg, D. (2015). Massively parallel enzyme kinetics reveals the substrate recognition landscape of the metalloprotease ADAMTS13. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1511328112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, E., & Sixt, M. K. (2015). Fragmented communication between immune cells: Neutrophils blaze a trail with migratory cues for T cells to follow to sites of infection. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.aad0867
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1687 | OA
Sarris, M., & Sixt, M. K. (2015). Navigating in tissue mazes: Chemoattractant interpretation in complex environments. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2015.08.001
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1688 | OA
Karasev, R., Kynčl, J., Paták, P., Patakova, Z., & Tancer, M. (2015). Bounds for Pach’s selection theorem and for the minimum solid angle in a simplex. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9720-z
View | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1689 | OA
Svoreňová, M., Kretinsky, J., Chmelik, M., Chatterjee, K., Cěrná, I., & Belta, C. (2015). Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 259–268). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728608
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1690
Bak, S., Bogomolov, S., & Johnson, T. (2015). HYST: A source transformation and translation tool for hybrid automaton models (pp. 128–133). Presented at the HSCC: Hybrid Systems - Computation and Control, Seattle, WA, United States: Springer. https://doi.org/10.1145/2728606.2728630
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1691
Svoreňová, M., Chmelik, M., Leahy, K., Eniser, H., Chatterjee, K., Cěrná, I., & Belta, C. (2015). Temporal logic motion planning using POMDPs with parity objectives: Case study paper. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 233–238). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728617
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 1692
Frehse, G., Bogomolov, S., Greitschus, M., Strump, T., & Podelski, A. (2015). Eliminating spurious transitions in reachability with support functions. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (pp. 149–158). Seattle, WA, United States: ACM. https://doi.org/10.1145/2728606.2728622
View | DOI
 

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. American Physical Society. https://doi.org/10.1103/PhysRevA.92.022514
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1694
Chatterjee, K., & Prabhu, V. (2015). Quantitative temporal simulation and refinement distances for timed systems. IEEE Transactions on Automatic Control. IEEE. https://doi.org/10.1109/TAC.2015.2404612
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1695 | OA
Kaczmarczyk, J., Schickling, T., & Bünemann, J. (2015). Evaluation techniques for Gutzwiller wave functions in finite dimensions. Physica Status Solidi (B): Basic Solid State Physics. Wiley. https://doi.org/10.1002/pssb.201552082
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1696 | OA
Wysokiński, M., Kaczmarczyk, J., & Spałek, J. (2015). Gutzwiller wave function solution for Anderson lattice model: Emerging universal regimes of heavy quasiparticle states. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.92.125135
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1697 | OA
Marre, O., Botella Soler, V., Simmons, K., Mora, T., Tkačik, G., & Berry, M. (2015). High accuracy decoding of dynamical motion from a large retinal population. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1004304
View | Files available | DOI
 

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. Elsevier. https://doi.org/10.1016/j.ic.2015.03.001
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1699 | OA
Uecker, H., Setter, D., & Hermisson, J. (2015). Adaptive gene introgression after secondary contact. Journal of Mathematical Biology. Springer. https://doi.org/10.1007/s00285-014-0802-y
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1700 | OA
Van Loon, E., Katsnelson, M., & Lemeshko, M. (2015). Ultralong-range order in the Fermi-Hubbard model with long-range interactions. Physical Review B. American Physical Society. https://doi.org/10.1103/PhysRevB.92.081106
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1701 | OA
Tkačik, 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. National Academy of Sciences. https://doi.org/10.1073/pnas.1514188112
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1703
Broadhurst, L., Fifield, G., Vanzella, B., & Pickup, M. (2015). An evaluation of the genetic structure of seed sources and the maintenance of genetic diversity during establishment of two yellow box (Eucalyptus melliodora) seed-production areas. Australian Journal of Botany. CSIRO. https://doi.org/10.1071/BT15023
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1704 | OA
Deuchert, A., Hainzl, C., & Seiringer, R. (2015). Note on a family of monotone quantum relative entropies. Letters in Mathematical Physics. Springer. https://doi.org/10.1007/s11005-015-0787-5
View | Files available | DOI | Download Preprint (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 Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1709 | OA
Reiter, J., Kanodia, A., Gupta, R., Nowak, M., & Chatterjee, K. (2015). Biological auctions with multiple rewards. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society. https://doi.org/10.1098/rspb.2015.1041
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1710 | OA
Akopyan, A., & Plakhov, A. (2015). Minimal resistance of curves under the single impact assumption. Society for Industrial and Applied Mathematics. SIAM. https://doi.org/10.1137/140993843
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712 | OA
Ratheesh, A., Belyaeva, V., & Siekhaus, D. E. (2015). Drosophila immune cell migration and adhesion during embryonic development and larval immune responses. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2015.07.003
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, K., Pavlogiannis, A., Kößler, A., & Schmid, U. (2015). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. In Real-Time Systems Symposium (Vol. 2015, pp. 118–127). Rome, Italy: IEEE. https://doi.org/10.1109/RTSS.2014.9
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1728
Cohen, M., Kicheva, A., Ribeiro, A., Blassberg, R., Page, K., Barnes, C., & Briscoe, J. (2015). Ptch1 and Gli regulate Shh signalling dynamics via multiple mechanisms. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms7709
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1730 | OA
Colin De Verdière, É., Hubard, A., & de Mesmay, A. N. (2015). Discrete systolic inequalities and decompositions of triangulated surfaces. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-015-9679-9
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1731 | OA
Chatterjee, K., Doyen, L., Gimbert, H., & Henzinger, T. A. (2015). Randomness for free. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2015.06.003
View | Files available | DOI | Download Preprint (ext.)
 

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 Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1734
Klehm, O., Rousselle, F., Papas, M., Bradley, D., Hery, C., Bickel, B., … Beeler, T. (2015). Recent advances in facial appearance capture. Computer Graphics Forum. Wiley-Blackwell. https://doi.org/10.1111/cgf.12594
View | DOI | Download None (ext.)
 

2015 | Journal Article | IST-REx-ID: 1735 | OA
Ando, R., Thürey, N., & Wojtan, C. J. (2015). A dimension-reduced pressure solver for liquid simulations. Computer Graphics Forum. Wiley. https://doi.org/10.1111/cgf.12576
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1788
Pitanti, A., Fink, J. M., Safavi Naeini, A., Hill, J., Lei, C., Tredicucci, A., & Painter, O. (2015). Strong opto-electro-mechanical coupling in a silicon photonic crystal cavity. Optics Express. Optical Society of America. https://doi.org/10.1364/OE.23.003196
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1789 | OA
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1792
Pausinger, F., & Svane, A. (2015). A Koksma-Hlawka inequality for general discrepancy systems. Journal of Complexity. Academic Press. https://doi.org/10.1016/j.jco.2015.06.002
View | Files available | DOI
 

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. Nature Publishing Group. https://doi.org/10.1038/nn.4023
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1803
Rei, D., Mason, X., Seo, J., Gräff, J., Rudenko, A., Wang, J., … Tsai, L. (2015). Basolateral amygdala bidirectionally modulates stress induced hippocampal learning and memory deficits through a p25/Cdk5-dependent pathway. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1415845112
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1804 | OA
Altmeyer, S., Do, Y., & Lai, Y. (2015). Transition to turbulence in Taylor-Couette ferrofluidic flow. Scientific Reports. Nature Publishing Group. https://doi.org/10.1038/srep10781
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1805
Attali, D., Bauer, U., Devillers, O., Glisse, M., & Lieutier, A. (2015). Homological reconstruction and simplification in R3. Computational Geometry: Theory and Applications. Elsevier. https://doi.org/10.1016/j.comgeo.2014.08.010
View | Files available | 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. EDP Sciences. https://doi.org/10.1051/cocv/2014040
View | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 1808
Gupta, A., & Henzinger, T. A. (2015). Guest editors’ introduction to special issue on computational methods in systems biology. ACM Transactions on Modeling and Computer Simulation. ACM. https://doi.org/10.1145/2745799
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1810 | OA
Bollenbach, M. T. (2015). Antimicrobial interactions: Mechanisms and implications for drug discovery and resistance evolution. Current Opinion in Microbiology. Elsevier. https://doi.org/10.1016/j.mib.2015.05.008
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1811 | OA
Safari, L., Santos, J., Amaro, P., Jänkälä, K., & Fratini, F. (2015). Analytical evaluation of atomic form factors: Application to Rayleigh scattering. Journal of Mathematical Physics. American Institute of Physics. https://doi.org/10.1063/1.4921227
View | DOI | Download Preprint (ext.)
 

Search

Filter Publications