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.




3498 Publications

2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, Jakub, et al. “On the Decidability of Elementary Modal Logics.” ACM Transactions on Computational Logic, vol. 17, no. 1, 2, ACM, 2015, doi:10.1145/2817825.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1681 | OA
Priklopil, Tadeas, and Krishnendu Chatterjee. “Evolution of Decisions in Population Games with Sequentially Searching Individuals.” Games, vol. 6, no. 4, Multidisciplinary Digital Publishing Institute, 2015, pp. 413–37, doi:10.3390/g6040413.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1682 | OA
Franek, Peter, and Marek Krcál. “Robust Satisfiability of Systems of Equations.” Journal of the ACM, vol. 62, no. 4, 26, ACM, 2015, doi:10.1145/2751524.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1683
Letts, James A., and Leonid A. Sazanov. “Gaining Mass: The Structure of Respiratory Complex I-from Bacterial towards Mitochondrial Versions.” Current Opinion in Structural Biology, vol. 33, no. 8, Elsevier, 2015, pp. 135–45, doi:10.1016/j.sbi.2015.08.008.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1685 | OA
Cohen Addad, Vincent, and Arnaud N. de Mesmay. A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface. Vol. 9294, Springer, 2015, pp. 386–98, doi:10.1007/978-3-662-48350-3_33.
View | DOI | Download Preprint (ext.)
 
2015 | Thesis | IST-REx-ID: 1401 | OA
Sharmanska, Viktoriia. Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views. IST Austria, 2015.
View | Files available | Download Published Version (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, et al. From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis. Vol. 9207, Springer, 2015, pp. 180–97, doi:10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 
2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, Sergey, et al. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, 1511.03501.
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, Krishnendu, et al. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. Vol. 9206, Springer, 2015, pp. 140–57, doi:10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1855 | OA
Mcmahon, Dino, et al. “A Sting in the Spit: Widespread Cross-Infection of Multiple RNA Viruses across Wild and Managed Bees.” Journal of Animal Ecology, vol. 84, no. 3, Wiley, 2015, pp. 615–24, doi:10.1111/1365-2656.12345.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1830 | OA
Theis, Fabian, et al. “Opposing Effects of Allogrooming on Disease Transmission in Ant Societies.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, vol. 370, no. 1669, Royal Society, The, 2015, doi:10.1098/rstb.2014.0108.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9719
Wielgoss, Sébastien, et al. Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria. Dryad, 2015, doi:10.5061/dryad.cj910.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9721
Theis, Fabian, et al. Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies. Dryad, 2015, doi:10.5061/dryad.dj2bf.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1993 | OA
Konrad, Matthias, et al. “Anti-Pathogen Protection versus Survival Costs Mediated by an Ectosymbiont in an Ant Host.” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 282, no. 1799, Royal Society, 2015, doi:10.1098/rspb.2014.1976.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9742
Westhus, Claudia, et al. Data from: Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant. Dryad, 2015, doi:10.5061/dryad.7kc79.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau, Guillaume, et al. Excel File Containing the Raw Data for All Figures. Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau, Guillaume, et al. Gene Ontology Enrichment Analysis for the Most Sensitive Gene Deletion Strains for All Drugs. Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.s008.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1666 | OA
Tugrul, Murat, et al. “Dynamics of Transcription Factor Binding Site Evolution.” PLoS Genetics, vol. 11, no. 11, Public Library of Science, 2015, doi:10.1371/journal.pgen.1005639.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1566 | OA
Gómez Sicilia, Àngel, et al. “An Exploration of the Universe of Polyglutamine Structures.” PLoS Computational Biology, vol. 11, no. 10, e1004541, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004541.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9712
Tugrul, Murat, et al. Other Fitness Models for Comparison & for Interacting TFBSs. Public Library of Science, 2015, doi:10.1371/journal.pgen.1005639.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia, Àngel, et al. An Exploration of the Universe of Polyglutamine Structures - Submission to PLOS Journals. Public Library of Science , 2015, doi:10.1371/journal.pcbi.1004541.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova, Barbora, et al. Mathematical Inference of the Results. Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.s001.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9718
Friedlander, Tamar, et al. Supporting Information Text. Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.s001.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1827 | OA
Friedlander, Tamar, et al. “Evolution of Bow-Tie Architectures in Biology.” PLoS Computational Biology, vol. 11, no. 3, Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1809 | OA
Trubenova, Barbora, et al. “Indirect Genetic Effects and the Dynamics of Social Interactions.” PLoS One, vol. 10, no. 5, Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9772
Trubenova, Barbora, et al. Description of the Agent Based Simulations. Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.s003.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9773
Friedlander, Tamar, et al. Evolutionary Simulation Code. Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.s002.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1793 | OA
Symonova, Olga, et al. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.” PLoS One, vol. 10, no. 6, e0127657, Public Library of Science, 2015, doi:10.1371/journal.pone.0127657.
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova, Olga, et al. Root Traits Computed by DynamicRoots for the Maize Root Shown in Fig 2. Public Library of Science, 2015, doi:10.1371/journal.pone.0127657.s001.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues, Jessica A., and Daniel ZILBERMAN. “Evolution and Function of Genomic Imprinting in Plants.” Genes and Development, vol. 29, no. 24, Cold Spring Harbor Laboratory Press, 2015, pp. 2517–2531, doi:10.1101/gad.269902.115.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1845 | OA
Vandael, David H., et al. “Excitement about Inhibitory Presynaptic Terminals.” Neuron, vol. 85, no. 6, Elsevier, 2015, pp. 1149–51, doi:10.1016/j.neuron.2015.03.006.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau, Guillaume, et al. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology, vol. 13, no. 11, e1002299, Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2261 | OA
Zhu, Fangfang, et al. “DICE, an Efficient System for Iterative Genomic Editing in Human Pluripotent Stem Cells.” Nucleic Acids Research, vol. 42, no. 5, e34, Oxford University Press, 2014, doi:10.1093/nar/gkt1290.
View | Files available | DOI
 
2014 | Book Chapter | IST-REx-ID: 2265
Hippenmeyer, Simon. “Molecular Pathways Controlling the Sequential Steps of Cortical Projection Neuron Migration.” Cellular and Molecular Control of Neuronal Migration, edited by Laurent Nguyen, vol. 800, Springer, 2014, pp. 1–24, doi:10.1007/978-94-007-7687-6_1.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 2275 | OA
Olsson, Carl, et al. Partial Enumeration and Curvature Regularization. IEEE, 2014, pp. 2936–43, doi:10.1109/ICCV.2013.365.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2285 | OA
Hosp, Jonas, et al. “Morpho-Physiological Criteria Divide Dentate Gyrus Interneurons into Classes.” Hippocampus, vol. 23, no. 2, Wiley-Blackwell, 2014, pp. 189–203, doi:10.1002/hipo.22214.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 2699 | OA
Erdös, László, et al. “Universality of General β-Ensembles.” Duke Mathematical Journal, vol. 163, no. 6, Duke University Press, 2014, pp. 1127–90, doi:10.1215/00127094-2649752.
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” Acta Informatica, vol. 51, no. 3–4, Springer, 2014, pp. 129–63, doi:10.1007/s00236-013-0182-6.
View | DOI | Download Preprint (ext.)
 
2014 | Journal Article | IST-REx-ID: 2852
Fischlin, Marc, et al. “Robust Multi-Property Combiners for Hash Functions.” Journal of Cryptology, vol. 27, no. 3, Springer, 2014, pp. 397–428, doi:10.1007/s00145-013-9148-7.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 2905 | OA
Edelsbrunner, Herbert, and Dmitriy Morozovy. Persistent Homology: Theory and Practice. European Mathematical Society Publishing House, 2014, pp. 31–50, doi:10.4171/120-1/3.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 8044 | OA
Seiringer, Robert. “Structure of the Excitation Spectrum for Many-Body Quantum Systems.” Proceeding of the International Congress of Mathematicans, vol. 3, Kyung Moon SA, 2014, pp. 1175–94.
View | Download Published Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, Ashutosh, et al. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 169, Open Publishing, 2014, pp. 31–38, doi: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. Vol. 3, no. January, Neural Information Processing Systems, 2014, pp. 2024–32.
View | Download None (ext.)
 
2014 | Journal Article | IST-REx-ID: 1733 | OA
Cerny, Pavol, et al. “Interface Simulation Distances.” Theoretical Computer Science, vol. 560, no. 3, Elsevier, 2014, pp. 348–63, doi:10.1016/j.tcs.2014.08.019.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Book Chapter | IST-REx-ID: 1806
Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” Auxin and Its Role in Plant Development, edited by Eva Zažímalová et al., Springer, 2014, pp. 143–70, doi:10.1007/978-3-7091-1526-8_8.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1816 | OA
Huber, Stefan, et al. “Topology-Preserving Watermarking of Vector Graphics.” International Journal of Computational Geometry and Applications, vol. 24, no. 1, World Scientific Publishing, 2014, pp. 61–86, doi:10.1142/S0218195914500034.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1821 | OA
Seiringer, Robert. “Bose Gases, Bose-Einstein Condensation, and the Bogoliubov Approximation.” Journal of Mathematical Physics, vol. 55, no. 7, 1.4881536, American Institute of Physics, 2014, doi:10.1063/1.4881536.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1822
Jakšić, Vojkan, et al. “Introduction.” Journal of Mathematical Physics, vol. 55, no. 7, 075101, American Institute of Physics, 2014, doi:10.1063/1.4884877.
View | DOI
 
2014 | Book Chapter | IST-REx-ID: 1829
Muelling, Katharina, et al. “Movement Templates for Learning of Hitting and Batting.” Learning Motor Skills, edited by Jens Kober and Jan Peters, vol. 97, Springer, 2014, pp. 69–82, doi:10.1007/978-3-319-03194-1_3.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1842 | OA
Cibulka, Josef, et al. “On the Geometric Ramsey Number of Outerplanar Graphs.” Discrete & Computational Geometry, vol. 53, no. 1, Springer, 2014, pp. 64–79, doi:10.1007/s00454-014-9646-x.
View | DOI | Download Submitted Version (ext.)
 

Search

Filter Publications