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.
416 Publications
2014 | Published | Journal Article | IST-REx-ID: 1854 | 
Guerrero, Paul, Thomas Auzinger, Michael Wimmer, and Stefan Jeschke. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum. Wiley, 2014. https://doi.org/10.1111/cgf.12509.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” In HVC 2014, edited by Eran Yahav, 8855:68–74. Springer, 2014. https://doi.org/10.1007/978-3-319-13338-6_6.
View
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1870 |
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.” In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014. https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431.
[Published Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1872 |
Gupta, Ashutosh, Laura Kovács, Bernhard Kragl, and Andrei Voronkov. “Extensional Crisis and Proving Identity.” In ATVA 2014, edited by Franck Cassez and Jean-François Raskin, 8837:185–200. Springer, 2014. https://doi.org/10.1007/978-3-319-11936-6_14.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Conference Paper | IST-REx-ID: 1875 |
Samanta, Roopsha, Oswaldo Olivo, and Emerson Allen. “Cost-Aware Automatic Program Repair.” edited by Markus Müller-Olm and Helmut Seidl, 8723:268–84. Springer, 2014. https://doi.org/10.1007/978-3-319-10936-7_17.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1876 |
Dolbilin, Nikolai, Herbert Edelsbrunner, Alexey Glazyrin, and Oleg Musin. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal. Independent University of Moscow, 2014. https://doi.org/10.17323/1609-4514-2014-14-3-491-504.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 1877
Sixt, Michael K, and Kari Vaahtomeri. “Physiology: Relax and Come In.” Nature. Springer Nature, 2014. https://doi.org/10.1038/514441a.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1884
Landau, Dan, Chip Stewart, Johannes Reiter, Michael Lawrence, Carrie Sougnez, Jennifer Brown, Armando Lopez Guillermo, et al. “Novel Putative Driver Gene Mutations in Chronic Lymphocytic Leukemia (CLL): Results from a Combined Analysis of Whole Exome Sequencing of 262 Primary CLL Aamples.” Blood. American Society of Hematology, 2014.
View
| Download None (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1886 |
Hermundstad, Ann, John Briguglio, Mary Conte, Jonathan Victor, Vijay Balasubramanian, and Gašper Tkačik. “Variance Predicts Salience in Central Sensory Processing.” ELife. eLife Sciences Publications, 2014. https://doi.org/10.7554/eLife.03722.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1887 |
Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie. Deutsche Zoologische Gesellschaft, 2014.
[Published Version]
View
| Download Published Version (ext.)
2014 | Published | Book Chapter | IST-REx-ID: 1888
Cremer, Sylvia. “Soziale Immunität: Wie Sich Der Staat Gegen Pathogene Wehrt Bayerische Akademie Der Wissenschaften.” In Soziale Insekten in Einer Sich Wandelnden Welt, 43:65–72. Verlag Dr. Friedrich Pfeil, 2014.
View
2014 | Published | Journal Article | IST-REx-ID: 1889 |
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.” Reviews in Mathematical Physics. World Scientific Publishing, 2014. https://doi.org/10.1142/S0129055X14500123.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | Published | Journal Article | IST-REx-ID: 1890 |
Körner, Christof, Verena Braunstein, Matthias Stangl, Alois Schlögl, Christa Neuper, and Anja Ischebeck. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology. Wiley-Blackwell, 2014. https://doi.org/10.1111/psyp.12062.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1891
Chwastyk, Mateusz, Albert Galera Prat, Mateusz K Sikora, Àngel Gómez Sicilia, Mariano Carrión Vázquez, and Marek Cieplak. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.” Proteins: Structure, Function and Bioinformatics. Wiley-Blackwell, 2014. https://doi.org/10.1002/prot.24436.
View
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1892 |
Ocana, Sabine, Patrick Meidl, Danielle Bonfils, and Michael Taborsky. “Y-Linked Mendelian Inheritance of Giant and Dwarf Male Morphs in Shell-Brooding Cichlids.” Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 2014. https://doi.org/10.1098/rspb.2014.0253.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1894 |
Grabowska, Anna, Ewa Wywiał, Stanislaw Dunin Horkawicz, Anna Łasica, Marc Wösten, Anna A Nagy-Staron, Renata Godlewska, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0106247.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1895 |
Edamura, Mitsuhiro, Gen Murakami, Hongrui Meng, Makoto Itakura, Ryuichi Shigemoto, Atsuo Fukuda, and Daiichiro Nakahara. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.” PLoS One. Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0107099.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 1896 |
Kollár, Richard, Katarina Bodova, Jozef Nosek, and Ľubomír Tomáška. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.” Physical Review E Statistical Nonlinear and Soft Matter Physics. American Institute of Physics, 2014. https://doi.org/10.1103/PhysRevE.89.032701.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1897 |
Naramoto, Satoshi, Marisa Otegui, Natsumaro Kutsuna, Riet De Rycke, Tomoko Dainobu, Michael Karampelias, Masaru Fujimoto, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.” Plant Cell. American Society of Plant Biologists, 2014. https://doi.org/10.1105/tpc.114.125880.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, Igor Delvendahl, Annika Rings, Niklas Byczkowicz, Harumi Harada, Ryuichi Shigemoto, Johannes Hirrlinger, Jens Eilers, and Stefan Hallermann. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron. Elsevier, 2014. https://doi.org/10.1016/j.neuron.2014.08.036.
View
| DOI