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.
6293 Publications
2014 |
Published |
Technical Report |
IST-REx-ID: 5421 |
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5423 |
Chatterjee, Krishnendu, et al. A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks. IST Austria, 2014, doi:10.15479/AT:IST-2014-300-v1-1.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5424 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v1-1.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5426 |
Chatterjee, Krishnendu, et al. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications. IST Austria, 2014, doi:10.15479/AT:IST-2014-305-v2-1.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5427 |
Chatterjee, Krishnendu, et al. Optimal Tree-Decomposition Balancing and Reachability on Low Treewidth Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-314-v1-1.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Technical Report |
IST-REx-ID: 5428 |
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Book Chapter |
IST-REx-ID: 6178
Smutny, Michael, et al. “UV Laser Ablation to Measure Cell and Tissue-Generated Forces in the Zebrafish Embryo in Vivo and Ex Vivo.” Tissue Morphogenesis, edited by Celeste Nelson, vol. 1189, Springer, 2014, pp. 219–35, doi:10.1007/978-1-4939-1164-6_15.
View
| DOI
| PubMed | Europe PMC
2014 |
Published |
Book |
IST-REx-ID: 6853
Edelsbrunner, Herbert. A Short Course in Computational Geometry and Topology. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-319-05957-0.
View
| Files available
| DOI
2014 |
Draft |
Working Paper |
IST-REx-ID: 7038 |
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
[Published Version]
View
| Files available
2014 |
Research Data Reference |
IST-REx-ID: 9888
Wolf, Stephan, et al. Supporting Information. Public Library of Science, 2014, doi:10.1371/journal.pone.0103989.s003.
[Published Version]
View
| Files available
| DOI
2014 |
Published |
Journal Article |
IST-REx-ID: 9931
Dhar, Riddhiman, et al. “Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes.” Evolution, vol. 68, no. 6, Wiley, 2014, pp. 1775–91, doi:10.1111/evo.12373.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2014 |
Research Data Reference |
IST-REx-ID: 9932 |
Dhar, Riddhiman, et al. Data from: Increased Gene Dosage Plays a Predominant Role in the Initial Stages of Evolution of Duplicate TEM-1 Beta Lactamase Genes. Dryad, 2014, doi:10.5061/dryad.jc402.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2014 |
Published |
Journal Article |
IST-REx-ID: 1999
Stroeymeyt, Nathalie, et al. “Organisational Immunity in Social Insects.” Current Opinion in Insect Science, vol. 5, no. 1, Elsevier, 2014, pp. 1–15, doi:10.1016/j.cois.2014.09.001.
View
| Files available
| DOI
| WoS
2013 |
Published |
Journal Article |
IST-REx-ID: 2698 |
Erdös, László, et al. “Stability and Semiclassics in Self-Generated Fields.” Journal of the European Mathematical Society, vol. 15, no. 6, European Mathematical Society, 2013, pp. 2093–113, doi:10.4171/JEMS/416.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2013 |
Published |
Conference Paper |
IST-REx-ID: 2718 |
Barton, Nicholas H., and Tiago Paixao. “Can Quantitative and Population Genetics Help Us Understand Evolutionary Computation?” Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 1573–80, doi:10.1145/2463372.2463568.
[Submitted Version]
View
| Files available
| DOI
2013 |
Published |
Conference Paper |
IST-REx-ID: 2719
Paixao, Tiago, and Nicholas H. Barton. “A Variance Decomposition Approach to the Analysis of Genetic Algorithms.” Proceedings of the 15th Annual Conference on Genetic and Evolutionary Computation, ACM, 2013, pp. 845–52, doi:10.1145/2463372.2463470.
View
| DOI
2013 |
Published |
Journal Article |
IST-REx-ID: 2720 |
Long, Hongan, et al. “Accumulation of Spontaneous Mutations in the Ciliate Tetrahymena Thermophila.” Genetics, vol. 195, no. 2, Genetics Society of America, 2013, pp. 527–40, doi:10.1534/genetics.113.153536.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2013 |
Published |
Journal Article |
IST-REx-ID: 2782 |
Erdös, László, and Brendan Farrell. “Local Eigenvalue Density for General MANOVA Matrices.” Journal of Statistical Physics, vol. 152, no. 6, Springer, 2013, pp. 1003–32, doi:10.1007/s10955-013-0807-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2013 |
Published |
Journal Article |
IST-REx-ID: 2806
Avila, Kerstin, and Björn Hof. “High-Precision Taylor-Couette Experiment to Study Subcritical Transitions and the Role of Boundary Conditions and Size Effects.” Review of Scientific Instruments, vol. 84, no. 6, 065106, American Institute of Physics, 2013, doi:10.1063/1.4807704.
View
| DOI
| WoS
2013 |
Published |
Conference Paper |
IST-REx-ID: 2807 |
Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.” 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604, doi:10.1145/2488608.2488683.
[Submitted Version]
View
| Files available
| DOI