Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4387 Publications
2014 | Journal Article | IST-REx-ID: 10814
Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.” Jahresbericht Der Deutschen Mathematiker-Vereinigung. Springer Nature, 2014. https://doi.org/10.1365/s13291-014-0083-9.
View
| DOI
2014 | Book (Editor) | IST-REx-ID: 10811
Zažímalová, Eva, Jan Petrášek, and Eva Benková, eds. Auxin and Its Role in Plant Development. 1st ed. Vienna: Springer Nature, 2014. https://doi.org/10.1007/978-3-7091-1526-8.
View
| DOI
2014 | Book Chapter | IST-REx-ID: 10817
Günther, David, Jan Reininghaus, Hans-Peter Seidel, and Tino Weinkauf. “Notes on the Simplification of the Morse-Smale Complex.” In Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 135–50. Mathematics and Visualization. Cham: Springer Nature, 2014. https://doi.org/10.1007/978-3-319-04099-8_9.
View
| DOI
2014 | Conference Paper | IST-REx-ID: 10884 | 
Aminof, Benjamin, Swen Jacobs, Ayrat Khalimov, and Sasha Rubin. “Parameterized Model Checking of Token-Passing Systems.” In Verification, Model Checking, and Abstract Interpretation, 8318:262–81. Springer Nature, 2014. https://doi.org/10.1007/978-3-642-54013-4_15.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 10886
Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualization of Two-Dimensional Symmetric Positive Definite Tensor Fields Using the Heat Kernel Signature.” In Topological Methods in Data Analysis and Visualization III , 249–62. Springer, 2014. https://doi.org/10.1007/978-3-319-04099-8_16.
View
| DOI
2014 | Book Chapter | IST-REx-ID: 10893
Kasten, Jens, Jan Reininghaus, Wieland Reich, and Gerik Scheuermann. “Toward the Extraction of Saddle Periodic Orbits.” In Topological Methods in Data Analysis and Visualization III , edited by Peer-Timo Bremer, Ingrid Hotz, Valerio Pascucci, and Ronald Peikert, 1:55–69. Mathematics and Visualization. Cham: Springer, 2014. https://doi.org/10.1007/978-3-319-04099-8_4.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1375 |
Chatterjee, Krishnendu, Monika H Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2014.06.031.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Conference Paper | IST-REx-ID: 1392 |
Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1393 |
Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.
View
| DOI
| Download Published Version (ext.)
2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. “Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus.” IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.
View
2014 | Thesis | IST-REx-ID: 1402
Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” IST Austria, 2014.
View
2014 | Conference Paper | IST-REx-ID: 10894
Bauer, Ulrich, Michael Kerber, Jan Reininghaus, and Hubert Wagner. “PHAT – Persistent Homology Algorithms Toolbox.” In ICMS 2014: International Congress on Mathematical Software, 8592:137–43. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. https://doi.org/10.1007/978-3-662-44199-2_24.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1507 |
Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity,” 3:214–36. Kyung Moon SA Co. Ltd., 2014.
View
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1516 |
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.” In Proceedings of the QMath12 Conference, 127–37. World Scientific Publishing, 2014. https://doi.org/10.1142/9789814618144_0007.
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Journal Article | IST-REx-ID: 1629 |
Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics. ACM, 2014. https://doi.org/10.1145/2591010.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 10793
Fulek, Radoslav, Jan Kynčl, Igor Malinović, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.” In International Symposium on Graph Drawing, 8871:428–36. Cham: Springer Nature, 2014. https://doi.org/10.1007/978-3-662-45803-7_36.
View
| Files available
| DOI
| arXiv
2014 | Conference Paper | IST-REx-ID: 1643 |
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In SCN 2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014. https://doi.org/10.1007/978-3-319-10879-7_7.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1702 |
Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014. https://doi.org/10.4204/EPTCS.169.5.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1708
Savin, Cristina, and Sophie Denève. “Spatio-Temporal Representations of Uncertainty in Spiking Neural Networks,” 3:2024–32. Neural Information Processing Systems, 2014.
View
| Download None (ext.)
2014 | Book Chapter | IST-REx-ID: 1806
Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” In Auxin and Its Role in Plant Development, edited by Eva Zažímalová, Jan Petrášek, and Eva Benková, 143–70. Springer, 2014. https://doi.org/10.1007/978-3-7091-1526-8_8.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1816 |
Huber, Stefan, Martin Held, Peter Meerwald, and Roland Kwitt. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications. World Scientific Publishing, 2014. https://doi.org/10.1142/S0218195914500034.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1821 |
Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” Journal of Mathematical Physics. American Institute of Physics, 2014. https://doi.org/10.1063/1.4881536.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1822
Jakšić, Vojkan, Claude Pillet, and Robert Seiringer. “Introduction.” Journal of Mathematical Physics. American Institute of Physics, 2014. https://doi.org/10.1063/1.4884877.
View
| DOI
2014 | Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, Oliver Kroemer, Christoph Lampert, and Bernhard Schölkopf. “Movement Templates for Learning of Hitting and Batting.” In Learning Motor Skills, edited by Jens Kober and Jan Peters, 97:69–82. From Algorithms to Robot Experiments. Springer, 2014. https://doi.org/10.1007/978-3-319-03194-1_3.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1844 |
Risso, Valeria, Fadia Manssour Triedo, Asuncion Delgado Delgado, Rocio Arco, Alicia Barroso Deljesús, Álvaro Inglés Prieto, Raquel Godoy Ruiz, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution. Oxford University Press, 2014. https://doi.org/10.1093/molbev/msu312.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1842 |
Cibulka, Josef, Pu Gao, Marek Krcál, Tomáš Valla, and Pavel Valtr. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry. Springer, 2014. https://doi.org/10.1007/s00454-014-9646-x.
View
| DOI
| Download Submitted Version (ext.)
2014 | 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.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1852 |
Sassi, Massimiliano, Olivier Ali, Frédéric Boudon, Gladys Cloarec, Ursula Abad, Coralie Cellier, Xu Chen, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology. Cell Press, 2014. https://doi.org/10.1016/j.cub.2014.08.036.
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1853
Jha, Susmit, Stavros Tripakis, Sanjit Seshia, and Krishnendu Chatterjee. “Game Theoretic Secure Localization in Wireless Sensor Networks,” 85–90. IEEE, 2014. https://doi.org/10.1109/IOT.2014.7030120.
View
| DOI
2014 | Journal Article | IST-REx-ID: 1862 |
Chen, Xu, Laurie Grandont, Hongjiang Li, Robert Hauschild, Sébastien Paque, Anas Abuzeineh, Hana Rakusova, Eva Benková, Catherine Perrot Rechenmann, and Jiří Friml. “Inhibition of Cell Expansion by Rapid ABP1-Mediated Auxin Effect on Microtubules.” Nature. Nature Publishing Group, 2014. https://doi.org/10.1038/nature13889.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | 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 | 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.
View
| Files available
| DOI
2014 | 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.
View
| Files available
| DOI
2014 | 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.
View
| Files available
| DOI
2014 | 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.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | 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 | 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.
View
| Files available
| DOI
2014 | 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.
View
| Files available
| DOI
2014 | 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.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2014 | 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 | 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 | 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.
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2014 | 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. Pfeil, 2014.
View
2014 | Journal Article | IST-REx-ID: 1887
Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie. Deutsche Zoologische Gesellschaft, 2014.
View
| Download None (ext.)
2014 | 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.
View
| Files available
| DOI
2014 | 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.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1893 |
Marhavá, Petra, Sibylle Hirsch, Elena Feraru, Ricardo Tejos, Ringo Van Wijk, Tom Viaene, Mareike Heilmann, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS. National Academy of Sciences, 2014. https://doi.org/10.1073/pnas.1324264111.
View
| DOI
| Download Submitted Version (ext.)
2014 | 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.
View
| DOI
| Download Submitted Version (ext.)
2014 | 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.
View
| DOI
| Download Submitted Version (ext.)