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.
7270 Publications
2016 | Preprint | IST-REx-ID: 8128 |

C. Clopath, T. P. Vogels, R. C. Froemke, and H. Sprekeler, “Receptive field formation by interacting excitatory and inhibitory synaptic plasticity,” bioRxiv. Cold Spring Harbor Laboratory, 2016.
View
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 8241 |

J. Singer et al., “Proof of concept study with an HER-2 mimotope anticancer vaccine deduced from a novel AAV-mimotope library platform,” OncoImmunology, vol. 5, no. 7. Taylor & Francis, 2016.
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 8300
E. Kokoris Kogias, O. Voutyras, and T. Varvarigou, “TRM-SIoT: A scalable hybrid trust & reputation model for the social Internet of Things,” in 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, Berlin, Germany, 2016.
View
| DOI
2016 | Conference Paper | IST-REx-ID: 8302 |

E. Kokoris Kogias, P. Jovanovic, N. Gailly, I. Khoffi, L. Gasser, and B. Ford, “Enhancing bitcoin security and performance with strong consistency via collective signing,” in Proceedings of the 25th USENIX Conference on Security Symposium, Austin, TX, United States, 2016, pp. 279–296.
View
| Download Published Version (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 8452
C. D. A. Rodrigues et al., “A ring-shaped conduit connects the mother cell and forespore during sporulation in Bacillus subtilis,” Proceedings of the National Academy of Sciences, vol. 113, no. 41. National Academy of Sciences, pp. 11585–11590, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8453
V. Kurauskas, E. Weber, A. Hessel, I. Ayala, D. Marion, and P. Schanda, “Cross-correlated relaxation of dipolar coupling and chemical-shift anisotropy in magic-angle spinning R1ρ NMR measurements: Application to protein backbone dynamics measurements,” The Journal of Physical Chemistry B, vol. 120, no. 34. American Chemical Society, pp. 8905–8913, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8455
V. Kurauskas et al., “Sensitive proton-detected solid-state NMR spectroscopy of large proteins with selective CH3labelling: Application to the 50S ribosome subunit,” Chemical Communications, vol. 52, no. 61. Royal Society of Chemistry, pp. 9558–9561, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 8497
J. Féjoz, M. Guàrdia, V. Kaloshin, and P. Roldán, “Kirkwood gaps and diffusion along mean motion resonances in the restricted planar three-body problem,” Journal of the European Mathematical Society, vol. 18, no. 10. European Mathematical Society Publishing House, pp. 2315–2403, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 850
Sarkisyan K, Bolotin D, Meer M, Usmanova D, Mishin A, Sharonov G, Ivankov D, Bozhanova N, Baranov M, Soylemez O, Bogatyreva N, Vlasov P, Egorov E, Logacheva M, Kondrashov A, Chudakov D, Putintseva E, Mamedov I, Tawfik D, Lukyanov K, Kondrashov F. 2016. Local fitness landscape of the green fluorescent protein. Nature. 533, 397–401.
View
| DOI
2016 | Journal Article | IST-REx-ID: 460 |

K. Willmann et al., “Expanding the interactome of the noncanonical NF-κB signaling pathway,” Journal of Proteome Research, vol. 15, no. 9. American Chemical Society, pp. 2900–2909, 2016.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 478 |

K. Chatterjee and R. Ibsen-Jensen, “The complexity of deciding legality of a single step of magic: The gathering,” presented at the ECAI: European Conference on Artificial Intelligence, The Hague, Netherlands, 2016, vol. 285, pp. 1432–1439.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 480 |

K. Chatterjee and L. Doyen, “Perfect-information stochastic games with generalized mean-payoff objectives,” presented at the LICS: Logic in Computer Science, New York, NY, USA, 2016, vol. 05-08-July-2016, pp. 247–256.
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 510 |

Z. Liu et al., “The CLE gene family in Populus trichocarpa,” Plant Signaling & Behavior, vol. 11, no. 6. Landes Bioscience, 2016.
View
| DOI
| Download Submitted Version (ext.)
2016 | Technical Report | IST-REx-ID: 5445 |

K. Chatterjee, A. Pavlogiannis, and Y. Velner, Quantitative interprocedural analysis. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5446 |

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

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

1 Anonymous, 2 Anonymous, 3 Anonymous, and 4 Anonymous, Data-centric dynamic partial order reduction. IST Austria, 2016.
View
| Files available
| arXiv
2016 | Technical Report | IST-REx-ID: 5449 |

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Amplification on undirected population structures: Comets beat stars. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5451 |

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Strong amplifiers of natural selection. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5452 |

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View
| Files available
| DOI
2016 | Technical Report | IST-REx-ID: 5453 |

A. Pavlogiannis, J. Tkadlec, K. Chatterjee, and M. Nowak, Arbitrarily strong amplifiers of natural selection. IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5550 |

T. Ellis and D. Field, “Flower colour data and phylogeny (NEXUS) files.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5551 |

T. Ellis, “Data on pollinator observations and offpsring phenotypes.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5552 |

T. Ellis, “Pollinator visitation data for wild Antirrhinum majus plants, with phenotypic and frequency data.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5553 |

D. Field and T. Ellis, “Inference of mating patterns among wild snapdragons in a natural hybrid zone in 2012.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5554 |

M. Tugrul, “Experimental Data for Binding Site Evolution of Bacterial RNA Polymerase.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5555 |

R. Hauschild, “Fiji script to determine average speed and direction of migration of cells.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5556 |

M. Lukacisin, M. Landon, and R. Jajoo, “MATLAB analysis code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5557 |

P. Swoboda, “Synthetic discrete tomography problems.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Research Data | IST-REx-ID: 5558 |

M. Bojsen-Hansen, “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 5749 |

S. Wielgoss, T. Bergmiller, A. M. Bischofberger, and A. R. Hall, “Adaptation to parasites and costs of parasite resistance in mutator and nonmutator bacteria,” Molecular Biology and Evolution, vol. 33, no. 3. Oxford University Press, pp. 770–782, 2016.
View
| Files available
| DOI
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 5771 |

S. Mattei, F. K. Schur, and J. A. Briggs, “Retrovirus maturation—an extraordinary structural transformation,” Current Opinion in Virology, vol. 18, no. 6. Elsevier, pp. 27–35, 2016.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 587 |

O. Hosten, R. Krishnakumar, N. Engelsen, and M. Kasevich, “Quantum phase magnification,” Science, vol. 352, no. 6293. American Association for the Advancement of Science, pp. 1552–1555, 2016.
View
| DOI
| Download (ext.)
2016 | Conference Paper | IST-REx-ID: 592
N. Engelsen, O. Hosten, R. Krishnakumar, and M. Kasevich, “Engineering spin squeezed states for quantum-enhanced atom interferometry,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, United States, 2016.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 7068 |

P. J. W. Moll et al., “Magnetic torque anomaly in the quantum limit of Weyl semimetals,” Nature Communications, vol. 7. Springer Nature, 2016.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7279 |

E. Mourad et al., “Biredox ionic liquids with solid-like redox density in the liquid state for high-energy supercapacitors,” Nature Materials, vol. 16, no. 4. Springer Nature, pp. 446–453, 2016.
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 7293
R. Thimmappa, M. Chattanahalli Devendrachari, S. Shafi, S. A. Freunberger, and M. Ottakam Thotiyl, “Proton conducting hollow graphene oxide cylinder as molecular fuel barrier for tubular H2-air fuel cell,” International Journal of Hydrogen Energy, vol. 41, no. 47. Elsevier, pp. 22305–22315, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7294
A. M. Escamilla-Pérez et al., “Lithium insertion properties of mesoporous nanocrystalline TiO2 and TiO2–V2O5 microspheres prepared by non-hydrolytic sol–gel,” Journal of Sol-Gel Science and Technology, vol. 79, no. 2. Springer Nature, pp. 270–278, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7297 |

S. A. Freunberger, “Batteries: Charging ahead rationally,” Nature Energy, vol. 1, no. 6. Springer Nature, 2016.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7599 |

Y. Tang, C.-Y. Zhao, S. Tan, and H.-W. Xue, “Arabidopsis type II phosphatidylinositol 4-kinase PI4Kγ5 regulates auxin biosynthesis and leaf margin development through interacting with membrane-bound transcription factor ANAC078,” PLOS Genetics, vol. 12, no. 8. Public Library of Science, 2016.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 7734
W. J. Peyrot, M. R. Robinson, B. W. J. H. Penninx, and N. R. Wray, “Exploring boundaries for the genetic consequences of assortative mating for psychiatric traits,” JAMA Psychiatry, vol. 73, no. 11. American Medical Association, pp. 1189–1195, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7737 |

Z. Zhu et al., “Integration of summary data from GWAS and eQTL studies predicts complex trait gene targets,” Nature Genetics, vol. 48, no. 5. Springer Nature, pp. 481–487, 2016.
View
| DOI
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 7762
J. M. Rieser, C. P. Goodrich, A. J. Liu, and D. J. Durian, “Divergence of Voronoi cell anisotropy vector: A threshold-free characterization of local structure in amorphous materials,” Physical Review Letters, vol. 116, no. 8. American Physical Society, 2016.
View
| DOI
2016 | Journal Article | IST-REx-ID: 7764
D. M. Sussman, C. P. Goodrich, and A. J. Liu, “Spatial structure of states of self stress in jammed systems,” Soft Matter, vol. 12, no. 17. Royal Society of Chemistry, pp. 3982–3990, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1068 |

K. Chatterjee, W. Dvorák, M. Henzinger, and V. Loitzenbauer, “Conditionally optimal algorithms for generalized Büchi Games,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow, Poland, 2016, vol. 58.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1069 |

V. K. Chonev, J. Ouaknine, and J. Worrell, “On the skolem problem for continuous linear dynamical systems,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1070 |

K. Chatterjee and L. Doyen, “Computation tree logic for synchronization properties,” presented at the ICALP: Automata, Languages and Programming, Rome, Italy, 2016, vol. 55.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1071 |

K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, “Optimal reachability and a space time tradeoff for distance queries in constant treewidth graphs,” presented at the ESA: European Symposium on Algorithms, Aarhus, Denmark, 2016, vol. 57.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 10746 |

H. Polshyn, T. Naibert, V. Chua, and R. Budakian, “Study of vortex states and dynamics in mesoscopic superconducting samples with MFM,” in APS March Meeting 2016, Baltimore, MD, United States, 2016, vol. 61, no. 2.
View
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 10747 |

T. Naibert et al., “Stochastic resonance magnetic force microscopy imaging of Josephson arrays,” in APS March Meeting 2016, Baltimore, MD, United States, 2016, vol. 61, no. 2.
View
| Download Published Version (ext.)
2016 | Journal Article | IST-REx-ID: 1081 |

Ł. Łangowski et al., “Cellular mechanisms for cargo delivery and polarity maintenance at different polar domains in plant cells,” Cell Discovery, vol. 2. Nature Publishing Group, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 10810 |

P. Rubel et al., “SCP-ECG V3.0: An enhanced standard communication protocol for computer-assisted electrocardiography,” in 2016 Computing in Cardiology Conference, Vancouver, Canada, 2016, vol. 43, pp. 309–312.
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1082 |

M. J. Chalk, O. Marre, and G. Tkačik, “Relevant sparse codes with variational information bottleneck,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 1965–1973.
View
| Files available
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1090 |

K. Chatterjee, T. A. Henzinger, and J. Otop, “Nested weighted limit-average automata of bounded width,” presented at the MFCS: Mathematical Foundations of Computer Science (SG), Krakow; Poland, 2016, vol. 58.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1093 |

P. Daca, T. A. Henzinger, J. Kretinsky, and T. Petrov, “Linear distances between Markov chains,” presented at the CONCUR: Concurrency Theory, Quebec City; Canada, 2016, vol. 59.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1095 |

A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1096
C. Schwayer, M. K. Sikora, J. Slovakova, R. Kardos, and C.-P. J. Heisenberg, “Actin rings of power,” Developmental Cell, vol. 37, no. 6. Cell Press, pp. 493–506, 2016.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1097 |

T. Du, A. Schulz, B. Zhu, B. Bickel, and W. Matusik, “Computational multicopter design,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1098 |

A. Pentina and R. Urner, “Lifelong learning with weighted majority votes,” presented at the NIPS: Neural Information Processing Systems, Barcelona, Spain, 2016, vol. 29, pp. 3619–3627.
View
| Files available
2016 | Conference Paper | IST-REx-ID: 1099 |

L. Malomo, N. Pietroni, B. Bickel, and P. Cignoni, “FlexMolds: Automatic design of flexible shells for molding,” presented at the SIGGRAPH Asia: Conference and Exhibition on Computer Graphics and Interactive Techniques in Asia, Macao, China, 2016, vol. 35, no. 6.
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1102 |

A. Kolesnikov and C. Lampert, “Improving weakly-supervised object localization by micro-annotation,” in Proceedings of the British Machine Vision Conference 2016, York, United Kingdom, 2016, vol. 2016–September, p. 92.1-92.12.
View
| DOI
| Download Published Version (ext.)
2016 | Conference Paper | IST-REx-ID: 1103 |

A. Gurung, A. Deka, E. Bartocci, S. Bogomolov, R. Grosu, and R. Ray, “Parallel reachability analysis for hybrid systems,” presented at the MEMOCODE: International Conference on Formal Methods and Models for System Design, Kanpur, India , 2016.
View
| DOI
| Download Preprint (ext.)
2016 | Conference Paper | IST-REx-ID: 1105
C. Savin and G. Tkačik, “Estimating nonlinear neural response functions using GP priors and Kronecker methods,” presented at the NIPS: Neural Information Processing Systems, Barcelona; Spain, 2016, vol. 29, pp. 3610–3618.
View
| Download None (ext.)
2016 | Journal Article | IST-REx-ID: 11069 |

E. M. Hatch and M. W. HETZER, “Nuclear envelope rupture is induced by actin-based nucleus confinement,” Journal of Cell Biology, vol. 215, no. 1. Rockefeller University Press, pp. 27–36, 2016.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 11070 |

A. Ibarra, C. Benner, S. Tyagi, J. Cool, and M. W. HETZER, “Nucleoporin-mediated regulation of cell identity genes,” Genes & Development, vol. 30, no. 20. Cold Spring Harbor Laboratory, pp. 2253–2258, 2016.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 11071 |

T. M. Franks et al., “Evolution of a transcriptional regulator from a transmembrane nucleoporin,” Genes & Development, vol. 30, no. 10. Cold Spring Harbor Laboratory, pp. 1155–1171, 2016.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Journal Article | IST-REx-ID: 11072 |

R. A. H. van de Ven et al., “p120-catenin prevents multinucleation through control of MKLP1-dependent RhoA activity during cytokinesis,” Nature Communications, vol. 7. Springer Nature, 2016.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2016 | Conference Paper | IST-REx-ID: 1115 |

A. Rueda et al., “Efficient single sideband microwave to optical conversion using a LiNbO inf 3 inf WGM-resonator,” presented at the CLEO: Conference on Lasers and Electro Optics, San Jose, CA, USA, 2016.
View
| Files available
| DOI
| Download Preprint (ext.)