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.




3757 Publications

2015 | Journal Article | IST-REx-ID: 1519 | OA
Barton, Nicholas H., and Maria Servedio. “The Interpretation of Selection Coefficients.” Evolution, vol. 69, no. 5, Wiley, 2015, pp. 1101–12, doi:10.1111/evo.12641.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, et al. Computational Design of Walking Automata. ACM, 2015, pp. 93–100, doi:10.1145/2786784.2786803.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1530
Bierbaum, Veronika, and Stefan Klumpp. “Impact of the Cell Division Cycle on Gene Circuits.” Physical Biology, vol. 12, no. 6, 066003, IOP Publishing Ltd., 2015, doi:10.1088/1478-3975/12/6/066003.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1531
Zobel, Valentin, et al. “Visualizing Symmetric Indefinite 2D Tensor Fields Using The Heat Kernel Signature.” Mathematics and Visualization, vol. 40, Springer, 2015, pp. 257–67, doi:10.1007/978-3-319-15090-1_13.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1992 | OA
Gupta, Ashutosh, et al. Succinct Representation of Concurrent Trace Sets. ACM, 2015, pp. 433–44, doi:10.1145/2676726.2677008.
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 | Journal Article | IST-REx-ID: 1997 | OA
Noren, Patrik. “The Three-State Toric Homogeneous Markov Chain Model Has Markov Degree Two.” Journal of Symbolic Computation, vol. 68/Part 2, no. May-June, Elsevier, 2015, pp. 285–96, doi:10.1016/j.jsc.2014.09.014.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2006 | OA
Hein, Nicolas, et al. “The Monotone Secant Conjecture in the Real Schubert Calculus.” Experimental Mathematics, vol. 24, no. 3, Taylor & Francis, 2015, pp. 261–69, doi:10.1080/10586458.2014.980044.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2008 | OA
Klimova, Anna, and Tamás Rudas. “Iterative Scaling in Curved Exponential Families.” Scandinavian Journal of Statistics, vol. 42, no. 3, Wiley, 2015, pp. 832–47, doi:10.1111/sjos.12139.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2014 | OA
Klimova, Anna, et al. “Faithfulness and Learning Hypergraphs from Discrete Distributions.” Computational Statistics & Data Analysis, vol. 87, no. 7, Elsevier, 2015, pp. 57–72, doi:10.1016/j.csda.2015.01.017.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2025 | OA
Kawada, Daiki, et al. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.” Biochimica et Biophysica Acta - Molecular Cell Research, vol. 1853, no. 1, Elsevier, 2015, pp. 144–56, doi:10.1016/j.bbamcr.2014.10.009.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2030 | OA
Shi, Liang, et al. “A Hybrid MPI-OpenMP Parallel Implementation for Pseudospectral Simulations with Application to Taylor-Couette Flow.” Computers and Fluids, vol. 106, no. 1, Elsevier, 2015, pp. 1–11, doi:10.1016/j.compfluid.2014.09.021.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2034 | OA
Bérard, Béatrice, et al. “Probabilistic Opacity for Markov Decision Processes.” Information Processing Letters, vol. 115, no. 1, Elsevier, 2015, pp. 52–59, doi:10.1016/j.ipl.2014.09.001.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2035 | OA
Edelsbrunner, Herbert, et al. “The Persistent Homology of a Self-Map.” Foundations of Computational Mathematics, vol. 15, no. 5, Springer, 2015, pp. 1213–44, doi:10.1007/s10208-014-9223-y.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2085 | OA
Nam, Phan, and Robert Seiringer. “Collective Excitations of Bose Gases in the Mean-Field Regime.” Archive for Rational Mechanics and Analysis, vol. 215, no. 2, Springer, 2015, pp. 381–417, doi:10.1007/s00205-014-0781-6.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2166 | OA
Erdös, László, and Antti Knowles. “The Altshuler-Shklovskii Formulas for Random Band Matrices I: The Unimodular Case.” Communications in Mathematical Physics, vol. 333, no. 3, Springer, 2015, pp. 1365–416, doi:10.1007/s00220-014-2119-5.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
Kolmogorov, Vladimir, et al. “The Power of Linear Programming for General-Valued CSPs.” SIAM Journal on Computing, vol. 44, no. 1, SIAM, 2015, pp. 1–36, doi:10.1137/130945648.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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 | 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: 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 | 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 | 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 | 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: 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 | 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 | Conference Paper | IST-REx-ID: 1651 | OA
Baldimtsi, Foteini, et al. “Anonymous Transferable E-Cash.” Public-Key Cryptography - PKC 2015, vol. 9020, Springer, 2015, pp. 101–24, doi:10.1007/978-3-662-46447-2_5.
View | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1532
Yang, Huaiyu, et al. “Auxin-Modulated Root Growth Inhibition in Arabidopsis Thaliana Seedlings with Ammonium as the Sole Nitrogen Source.” Functional Plant Biology, vol. 42, no. 3, CSIRO, 2015, pp. 239–51, doi:10.1071/FP14171.
View | DOI | PubMed | Europe PMC
 
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: 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 | Journal Article | IST-REx-ID: 3263 | OA
Tkačik, Gašper, et al. “Adaptation to Changes in Higher-Order Stimulus Statistics in the Salamander Retina.” PLoS One, vol. 9, no. 1, e85841, Public Library of Science, 2014, doi:10.1371/journal.pone.0085841.
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: 475 | OA
Aminof, Benjamin, and Sasha Rubin. “First Cycle Games.” Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 146, Open Publishing Association, 2014, pp. 83–90, doi:10.4204/EPTCS.146.11.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 535 | OA
Chatterjee, Krishnendu, et al. “Polynomial Time Algorithms for Energy Games with Special Weight Structures.” Algorithmica, vol. 70, no. 3, Springer, 2014, pp. 457–92, doi:10.1007/s00453-013-9843-7.
View | Files available | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 537 | OA
Prizak, Roshan, et al. “Fitness Consequences of Maternal and Grandmaternal Effects.” Ecology and Evolution, vol. 4, no. 15, Wiley-Blackwell, 2014, pp. 3139–45, doi:10.1002/ece3.1150.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v2-2.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee, Krishnendu, et al. CEGAR for Qualitative Analysis of Probabilistic Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-153-v3-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee, Krishnendu, et al. Nested Weighted Automata. IST Austria, 2014, doi:10.15479/AT:IST-2014-170-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5416 | OA
Henzinger, Thomas A., and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014, doi:10.15479/AT:IST-2014-171-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5417 | OA
Henzinger, Thomas A., and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014, doi:10.15479/AT:IST-2014-172-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Games with a Weak Adversary. IST Austria, 2014, doi:10.15479/AT:IST-2014-176-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee, Krishnendu, et al. Improved Algorithms for Reachability and Shortest Path on Low Tree-Width Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-187-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. The Value 1 Problem for Concurrent Mean-Payoff Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-191-v1-1.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5421 | OA
Chatterjee, Krishnendu, et al. The Complexity of Evolution on Graphs. IST Austria, 2014, doi:10.15479/AT:IST-2014-190-v2-2.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5423 | OA
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.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5424 | OA
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.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5426 | OA
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.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5427 | OA
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.
View | Files available | DOI
 
2014 | Technical Report | IST-REx-ID: 5428 | OA
Chatterjee, Krishnendu, et al. Quantitative Fair Simulation Games. IST Austria, 2014, doi:10.15479/AT:IST-2014-315-v1-1.
View | Files available | DOI
 
2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár, Kristóf, and Michal Rolinek. Playful Math - An Introduction to Mathematical Games. IST Austria.
View | Files available
 
2014 | Conference Paper | IST-REx-ID: 10793
Fulek, Radoslav, et al. “Clustered Planarity Testing Revisited.” International Symposium on Graph Drawing, vol. 8871, Springer Nature, 2014, pp. 428–36, doi:10.1007/978-3-662-45803-7_36.
View | Files available | DOI | arXiv
 
2014 | Book (Editor) | IST-REx-ID: 10811
Zažímalová, Eva, et al., editors. Auxin and Its Role in Plant Development. 1st ed., Springer Nature, 2014, doi:10.1007/978-3-7091-1526-8.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 10814
Seiringer, Robert. “The Excitation Spectrum for Bose Fluids with Weak Interactions.” Jahresbericht Der Deutschen Mathematiker-Vereinigung, vol. 116, Springer Nature, 2014, pp. 21–41, doi:10.1365/s13291-014-0083-9.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 10815 | OA
Hashimoto, Masakazu, et al. “Molecular and Cellular Mechanisms of Development Underlying Congenital Diseases.” Congenital Anomalies, vol. 54, no. 1, Wiley, 2014, pp. 1–7, doi:10.1111/cga.12039.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 
2014 | Book Chapter | IST-REx-ID: 10817
Günther, David, et al. “Notes on the Simplification of the Morse-Smale Complex.” Topological Methods in Data Analysis and Visualization III., edited by Peer-Timo Bremer et al., Springer Nature, 2014, pp. 135–50, doi:10.1007/978-3-319-04099-8_9.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero, Paul, et al. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics, vol. 33, no. 2, 15, ACM, 2014, doi:10.1145/2591010.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” SCN 2014, edited by Michel Abdalla and Roberto De Prisco, vol. 8642, Springer, 2014, pp. 95–114, doi:10.1007/978-3-319-10879-7_7.
View | DOI | Download Submitted 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.)
 
2014 | Journal Article | IST-REx-ID: 1844 | OA
Risso, Valeria, et al. “Mutational Studies on Resurrected Ancestral Proteins Reveal Conservation of Site-Specific Amino Acid Preferences throughout Evolutionary History.” Molecular Biology and Evolution, vol. 32, no. 2, Oxford University Press, 2014, pp. 440–55, doi:10.1093/molbev/msu312.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1852 | OA
Sassi, Massimiliano, et al. “An Auxin-Mediated Shift toward Growth Isotropy Promotes Organ Formation at the Shoot Meristem in Arabidopsis.” Current Biology, vol. 24, no. 19, Cell Press, 2014, pp. 2335–42, doi:10.1016/j.cub.2014.08.036.
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1853
Jha, Susmit, et al. Game Theoretic Secure Localization in Wireless Sensor Networks. IEEE, 2014, pp. 85–90, doi:10.1109/IOT.2014.7030120.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1854 | OA
Guerrero, Paul, et al. “Partial Shape Matching Using Transformation Parameter Similarity.” Computer Graphics Forum, vol. 34, no. 1, Wiley, 2014, pp. 239–52, doi:10.1111/cgf.12509.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1869
Hofferek, Georg, and Ashutosh Gupta. “Suraq - a Controller Synthesis Tool Using Uninterpreted Functions.” HVC 2014, edited by Eran Yahav, vol. 8855, Springer, 2014, pp. 68–74, doi:10.1007/978-3-319-13338-6_6.
View | DOI
 
2014 | Conference Paper | IST-REx-ID: 1870 | OA
Henzinger, Thomas A., et al. “Lipschitz Robustness of Finite-State Transducers.” Leibniz International Proceedings in Informatics, LIPIcs, vol. 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, pp. 431–43, doi:10.4230/LIPIcs.FSTTCS.2014.431.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1872 | OA
Gupta, Ashutosh, et al. “Extensional Crisis and Proving Identity.” ATVA 2014, edited by Franck Cassez and Jean-François Raskin, vol. 8837, Springer, 2014, pp. 185–200, doi:10.1007/978-3-319-11936-6_14.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1875 | OA
Samanta, Roopsha, et al. Cost-Aware Automatic Program Repair. Edited by Markus Müller-Olm and Helmut Seidl, vol. 8723, Springer, 2014, pp. 268–84, doi:10.1007/978-3-319-10936-7_17.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1876 | OA
Dolbilin, Nikolai, et al. “Functionals on Triangulations of Delaunay Sets.” Moscow Mathematical Journal, vol. 14, no. 3, Independent University of Moscow, 2014, pp. 491–504, doi: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, vol. 514, no. 7523, Springer Nature, 2014, pp. 441–42, doi:10.1038/514441a.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1884
Landau, Dan, 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, vol. 124, no. 21, American Society of Hematology, 2014, pp. 1952–1952.
View | Download None (ext.)
 
2014 | Journal Article | IST-REx-ID: 1886 | OA
Hermundstad, Ann, et al. “Variance Predicts Salience in Central Sensory Processing.” ELife, no. November, e03722, eLife Sciences Publications, 2014, doi:10.7554/eLife.03722.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1887
Cremer, Sylvia. “Gemeinsame Krankheitsabwehr in Ameisengesellschaften.” Zoologie, Deutsche Zoologische Gesellschaft, 2014, pp. 23–30.
View | Download None (ext.)
 
2014 | Book Chapter | IST-REx-ID: 1888
Cremer, Sylvia. “Soziale Immunität: Wie Sich Der Staat Gegen Pathogene Wehrt  Bayerische Akademie Der Wissenschaften.” Soziale Insekten in Einer Sich Wandelnden Welt, vol. 43, Pfeil, 2014, pp. 65–72.
View
 
2014 | Journal Article | IST-REx-ID: 1889 | OA
Bräunlich, Gerhard, et al. “Translation-Invariant Quasi-Free States for Fermionic Systems and the BCS Approximation.” Reviews in Mathematical Physics, vol. 26, no. 7, 1450012, World Scientific Publishing, 2014, doi:10.1142/S0129055X14500123.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1890 | OA
Körner, Christof, et al. “Sequential Effects in Continued Visual Search: Using Fixation-Related Potentials to Compare Distractor Processing before and after Target Detection.” Psychophysiology, vol. 51, no. 4, Wiley-Blackwell, 2014, pp. 385–95, doi:10.1111/psyp.12062.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1891
Chwastyk, Mateusz, et al. “Theoretical Tests of the Mechanical Protection Strategy in Protein Nanomechanics.” Proteins: Structure, Function and Bioinformatics, vol. 82, no. 5, Wiley-Blackwell, 2014, pp. 717–26, doi:10.1002/prot.24436.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1893 | OA
Marhavá, Petra, et al. “SAC Phosphoinositide Phosphatases at the Tonoplast Mediate Vacuolar Function in Arabidopsis.” PNAS, vol. 111, no. 7, National Academy of Sciences, 2014, pp. 2818–23, doi:10.1073/pnas.1324264111.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1894 | OA
Grabowska, Anna, et al. “Functional and Bioinformatics Analysis of Two Campylobacter Jejuni Homologs of the Thiol-Disulfide Oxidoreductase, DsbA.” PLoS One, vol. 9, no. 9, e106247, Public Library of Science, 2014, doi:10.1371/journal.pone.0106247.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1895 | OA
Edamura, Mitsuhiro, et al. “Functional Deficiency of MHC Class i Enhances LTP and Abolishes LTD in the Nucleus Accumbens of Mice.” PLoS One, vol. 9, no. 9, e107099, Public Library of Science, 2014, doi:10.1371/journal.pone.0107099.
View | Files available | DOI
 
2014 | Journal Article | IST-REx-ID: 1896 | OA
Kollár, Richard, et al. “Mathematical Model of Alternative Mechanism of Telomere Length Maintenance.” Physical Review E Statistical Nonlinear and Soft Matter Physics, vol. 89, no. 3, 032701, American Institute of Physics, 2014, doi:10.1103/PhysRevE.89.032701.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1897 | OA
Naramoto, Satoshi, et al. “Insights into the Localization and Function of the Membrane Trafficking Regulator GNOM ARF-GEF at the Golgi Apparatus in Arabidopsis.” Plant Cell, vol. 26, no. 7, American Society of Plant Biologists, 2014, pp. 3062–76, doi:10.1105/tpc.114.125880.
View | DOI | Download Submitted Version (ext.)
 
2014 | Journal Article | IST-REx-ID: 1898
Ritzau Jost, Andreas, et al. “Ultrafast Action Potentials Mediate Kilohertz Signaling at a Central Synapse.” Neuron, vol. 84, no. 1, Elsevier, 2014, pp. 152–63, doi:10.1016/j.neuron.2014.08.036.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1899 | OA
Williams, Scott, et al. “Par3-MInsc and Gα I3 Cooperate to Promote Oriented Epidermal Cell Divisions through LGN.” Nature Cell Biology, vol. 16, no. 8, Nature Publishing Group, 2014, pp. 758–69, doi:10.1038/ncb3001.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2014 | Journal Article | IST-REx-ID: 1900
Behrndt, Martin, and Carl-Philipp J. Heisenberg. “Lateral Junction Dynamics Lead the Way Out.” Nature Cell Biology, vol. 16, no. 2, Nature Publishing Group, 2014, pp. 127–29, doi:10.1038/ncb2913.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1901
Tian, Huiyu, et al. “WOX5-IAA17 Feedback Circuit-Mediated Cellular Auxin Response Is Crucial for the Patterning of Root Stem Cell Niches in Arabidopsis.” Molecular Plant, vol. 7, no. 2, Oxford University Press, 2014, pp. 277–89, doi:10.1093/mp/sst118.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1902
Hall, Barry, et al. “Growth Rates Made Easy.” Molecular Biology and Evolution, vol. 31, no. 1, Oxford University Press, 2014, pp. 232–38, doi:10.1093/molbev/mst187.
View | DOI
 

Search

Filter Publications