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.
5362 Publications
2014 | Research Data Reference | IST-REx-ID: 9740 | 
Konrad, Matthias, Anna V Grasse, Simon Tragust, and Sylvia Cremer. “Data from: Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.” Dryad, 2014. https://doi.org/10.5061/dryad.vm0vc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9741 |
Lagator, Mato, Nick Colegrave, and Paul Neve. “Data from: Selection History and Epistatic Interactions Impact Dynamics of Adaptation to Novel Environmental Stresses.” Dryad, 2014. https://doi.org/10.5061/dryad.85dn7.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9747 |
Lagator, Mato, Andrew Morgan, Paul Neve, and Nick Colegrave. “Data from: Role of Sex and Migration in Adaptation to Sink Environments.” Dryad, 2014. https://doi.org/10.5061/dryad.s42n1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9752 |
Simmons, Kristina, Jason Prentice, Gašper Tkačik, Jan Homann, Heather Yee, Stephanie Palmer, Philip Nelson, and Vijay Balasubramanian. “Data from: Transformation of Stimulus Correlations by the Retina.” Dryad, 2014. https://doi.org/10.5061/dryad.246qg.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9753 |
Tragust, Simon, Line V Ugelvig, Michel Chapuisat, Jürgen Heinze, and Sylvia Cremer. “Data from: Pupal Cocoons Affect Sanitary Brood Care and Limit Fungal Infections in Ant Colonies.” Dryad, 2014. https://doi.org/10.5061/dryad.nc0gc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Research Data Reference | IST-REx-ID: 9888
Wolf, Stephan, Dino Mcmahon, Ka Lim, Christopher Pull, Suzanne Clark, Robert Paxton, and Juliet Osborne. “Supporting Information.” Public Library of Science, 2014. https://doi.org/10.1371/journal.pone.0103989.s003.
[Published Version]
View
| Files available
| DOI
2014 | Published | Journal Article | IST-REx-ID: 9931
Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.” Evolution. Wiley, 2014. https://doi.org/10.1111/evo.12373.
View
| Files available
| DOI
| PubMed | Europe PMC
2014 | Research Data Reference | IST-REx-ID: 9932 |
Dhar, Riddhiman, Tobias Bergmiller, and Andreas Wagner. “Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.” Dryad, 2014. https://doi.org/10.5061/dryad.jc402.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 | Published | Journal Article | IST-REx-ID: 9458 |
Huff, Jason T., and Daniel Zilberman. “Dnmt1-Independent CG Methylation Contributes to Nucleosome Positioning in Diverse Eukaryotes.” Cell. Elsevier, 2014. https://doi.org/10.1016/j.cell.2014.01.029.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2014 | Published | Journal Article | IST-REx-ID: 1375 |
Chatterjee, Krishnendu, Monika 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | 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.
[Submitted Version]
View
| Files available
| DOI
2014 | Published | 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.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 | Published | 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 | Published | 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.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 | Published | Conference Paper | IST-REx-ID: 10885
Chatterjee, Krishnendu, Laurent Doyen, Emmanuel Filiot, and Jean-François Raskin. “Doomsday Equilibria for Omega-Regular Games.” In VMCAI 2014: Verification, Model Checking, and Abstract Interpretation, 8318:78–97. Springer Nature, 2014. https://doi.org/10.1007/978-3-642-54013-4_5.
[Preprint]
View
| Files available
| DOI
| arXiv
2014 | Published | 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 | Published | Conference Paper | IST-REx-ID: 10892
Biedl, Therese, Stefan Huber, and Peter Palfrader. “Planar Matchings for Weighted Straight Skeletons.” In 25th International Symposium, ISAAC 2014, 8889:117–27. Springer Nature, 2014. https://doi.org/10.1007/978-3-319-13075-0_10.
View
| Files available
| DOI
2014 | Published | 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 | Published | 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 | Published | 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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)