Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

3241 Publications


2018 | Conference Paper | IST-REx-ID: 66 | OA
Chatterjee, Krishnendu, et al. Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies. Vol. 118, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, doi:10.4230/LIPIcs.CONCUR.2018.11.
View | Files available | DOI | arXiv
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” Proceedings of the 31st Conference On Learning Theory, vol. 75, PMLR, 2017, pp. 228–49.
View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 796 | OA
Keller, Andrew J., et al. “Al Transmon Qubits on Silicon on Insulator for Quantum Device Integration.” Applied Physics Letters, vol. 111, no. 4, 042603, American Institute of Physics, 2017, doi:10.1063/1.4994661.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 797
Fink, Johannes M. “Photonenblockade Aufgelöst.” Physik in Unserer Zeit, vol. 48, no. 3, Wiley-VCH, 2017, pp. 111–13, doi:10.1002/piuz.201770305.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 798 | OA
Barzanjeh, Shabir, et al. “Mechanical on Chip Microwave Circulator.” Nature Communications, vol. 8, no. 1, 1304, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01304-x.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 799 | OA
Kitakura, Saeko, et al. “BEN3/BIG2 ARF GEF Is Involved in Brefeldin a-Sensitive Trafficking at the Trans-Golgi Network/Early Endosome in Arabidopsis Thaliana.” Plant and Cell Physiology, vol. 58, no. 10, 1801–1811, Oxford University Press, 2017, doi:10.1093/pcp/pcx118.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 800 | OA
Strüber, Michael, et al. “Distance-Dependent Inhibition Facilitates Focality of Gamma Oscillations in the Dentate Gyrus.” Nature Communications, vol. 8, no. 1, 758, Nature Publishing Group, 2017, doi:10.1038/s41467-017-00936-3.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 803 | OA
Samwer, Matthias, et al. “DNA Cross-Bridging Shapes a Single Nucleus from a Set of Mitotic Chromosomes.” Cell, vol. 170, no. 5, Cell Press, 2017, pp. 956–72, doi:10.1016/j.cell.2017.07.038.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 804 | OA
Schmalhorst, Philipp S., et al. “Overcoming the Limitations of the MARTINI Force Field in Simulations of Polysaccharides.” Journal of Chemical Theory and Computation, vol. 13, no. 10, American Chemical Society, 2017, pp. 5039–53, doi:10.1021/acs.jctc.7b00374.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 805
Pfurr, Sabrina, et al. “The E2A Splice Variant E47 Regulates the Differentiation of Projection Neurons via P57(KIP2) during Cortical Development.” Development, vol. 144, Company of Biologists, 2017, pp. 3917–31, doi:10.1242/dev.145698.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 807 | OA
Andrae, Magdalena, and Márton Villányi. “Der Springer Compact-Deal – Ein Erster Einblick in Die Evaluierung Einer Offsetting-Vereinbarung.” Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen Und Bibliothekare, vol. 70, no. 2, VÖB, 2017, pp. 274–80, doi:10.31263/voebm.v70i2.1898.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 818 | OA
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. IST Austria, 2017, doi:10.15479/AT:ISTA:th_862.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 819 | OA
Pull, Christopher. Disease Defence in Garden Ants. IST Austria, 2017, doi:10.15479/AT:ISTA:th_861.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 820 | OA
Jesse, Fabienne. The Lac Operon in the Wild. IST Austria, 2017, doi:10.15479/AT:ISTA:th_857.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 821 | OA
Pavlogiannis, Andreas. Algorithmic Advances in Program Analysis and Their Applications. IST Austria, 2017, doi:10.15479/AT:ISTA:th_854.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 822 | OA
de Vos, Marjon, et al. “Interaction Networks, Ecological Stability, and Collective Antibiotic Tolerance in Polymicrobial Infections.” PNAS, vol. 114, no. 40, National Academy of Sciences, 2017, pp. 10666–71, doi:10.1073/pnas.1713372114.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 823 | OA
Colabrese, Simona, et al. “Phase Transitions in Integer Linear Problems.” Journal of Statistical Mechanics: Theory and Experiment, vol. 2017, no. 9, 093404, IOPscience, 2017, doi:10.1088/1742-5468/aa85c3.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 824 | OA
Budanur, Nazmi B., and Björn Hof. “Heteroclinic Path to Spatially Localized Chaos in Pipe Flow.” Journal of Fluid Mechanics, vol. 827, R1, Cambridge University Press, 2017, doi:10.1017/jfm.2017.516.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 825 | OA
Petritsch, Barbara. “Metadata for Research Data in Practice.” Mitteilungen Der Vereinigung Österreichischer Bibliothekarinnen & Bibliothekare, vol. 70, no. 2, VÖB, 2017, pp. 200–07, doi:10.31263/voebm.v70i2.1678.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 833 | OA
Heiss, Teresa, and Hubert Wagner. Streaming Algorithm for Euler Characteristic Curves of Multidimensional Images. Edited by Michael Felsberg et al., vol. 10424, Springer, 2017, pp. 397–409, doi:10.1007/978-3-319-64689-3_32.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 834 | OA
Serbyn, Maksym, et al. “Thouless Energy and Multifractality across the Many-Body Localization Transition.” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 10, 104201, American Physical Society, 2017, doi:10.1103/PhysRevB.96.104201.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 836
Ethier, Marc, et al. “Finding Eigenvalues of Self-Maps with the Kronecker Canonical Form.” Special Sessions in Applications of Computer Algebra, vol. 198, Springer, 2017, pp. 119–36, doi:10.1007/978-3-319-56932-1_8.
View | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria, 2017, doi:10.15479/AT:ISTA:th_858.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 838 | OA
Rybar, Michal. (The Exact Security of) Message Authentication Codes. IST Austria, 2017, doi:10.15479/AT:ISTA:th_828.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Hahn, David. Brittle Fracture Simulation with Boundary Elements for Computer Graphics. IST Austria, 2017, doi:10.15479/AT:ISTA:th_855.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 84
Edelsbrunner, Herbert, and Patrice Koehl. “Computational Topology for Structural Molecular Biology.” Handbook of Discrete and Computational Geometry, Third Edition, edited by Csaba Toth et al., CRC Press, 2017, pp. 1709–35, doi:10.1201/9781315119601.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 840 | OA
Vukušić, Lada, et al. “Fast Hole Tunneling Times in Germanium Hut Wires Probed by Single-Shot Reflectometry.” Nano Letters, vol. 17, no. 9, American Chemical Society, 2017, pp. 5706–10, doi:10.1021/acs.nanolett.7b02627.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 8450
Kurauskas, Vilius, et al. “Methyl-Specific Isotope Labeling Strategies for NMR Studies of Membrane Proteins.” Membrane Protein Structure and Function Characterization, vol. 1635, Springer Nature, 2017, pp. 109–23, doi:10.1007/978-1-4939-7151-0_6.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez, Abraham, et al. “Exact Goodness-of-Fit Testing for the Ising Model.” Scandinavian Journal of Statistics, vol. 44, no. 2, Wiley-Blackwell, 2017, pp. 285–306, doi:10.1111/sjos.12251.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Thesis | IST-REx-ID: 202 | OA
Pleska, Maros. Biology of Restriction-Modification Systems at the Single-Cell and Population Level. IST Austria, 2017, doi:10.15479/AT:ISTA:th_916.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 715
Novarino, Gaia. “More Excitation for Rett Syndrome.” Science Translational Medicine, vol. 9, no. 405, aao4218, American Association for the Advancement of Science, 2017, doi:10.1126/scitranslmed.aao4218.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 716 | OA
Chatterjee, Krishnendu, and Yaron Velner. “The Complexity of Mean-Payoff Pushdown Games.” Journal of the ACM, vol. 64, no. 5, ACM, 2017, p. 34, doi:10.1145/3121408.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Research Data | IST-REx-ID: 7163 | OA
Fraisse, Christelle. Supplementary Files for “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” IST Austria, 2017, doi:10.15479/AT:ISTA:7163.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 717 | OA
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences, vol. 88, Academic Press, 2017, pp. 236–59, doi:10.1016/j.jcss.2017.04.005.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 718 | OA
Edelsbrunner, Herbert, et al. “Expected Sizes of Poisson Delaunay Mosaics and Their Discrete Morse Functions.” Advances in Applied Probability, vol. 49, no. 3, Cambridge University Press, 2017, pp. 745–67, doi:10.1017/apr.2017.20.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica, vol. 54, no. 6, Springer, 2017, pp. 543–44, doi:10.1007/s00236-017-0299-0.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 720 | OA
Humplik, Jan, and Gašper Tkačik. “Probabilistic Models for Neural Populations That Naturally Capture Global Coupling and Criticality.” PLoS Computational Biology, vol. 13, no. 9, e1005763, Public Library of Science, 2017, doi:10.1371/journal.pcbi.1005763.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 721 | OA
Ajanki, Oskari H., et al. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.” Communications on Pure and Applied Mathematics, vol. 70, no. 9, Wiley-Blackwell, 2017, pp. 1672–705, doi:10.1002/cpa.21639.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 722 | OA
Morris, Emily, et al. “Shaping 3D Root System Architecture.” Current Biology, vol. 27, no. 17, Cell Press, 2017, pp. R919–30, doi:10.1016/j.cub.2017.06.043.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 724 | OA
Hetterich, Daniel, et al. “Noninteracting Central Site Model Localization and Logarithmic Entanglement Growth.” Physical Review B, vol. 96, no. 10, 104203, American Physical Society, 2017, doi:10.1103/PhysRevB.96.104203.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 725 | OA
Harpaz, Roy, et al. “Discrete Modes of Social Information Processing Predict Individual Behavior of Fish in a Group.” PNAS, vol. 114, no. 38, National Academy of Sciences, 2017, pp. 10149–54, doi:10.1073/pnas.1703817114.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 726 | OA
Hannezo, Edouard B., et al. “A Unifying Theory of Branching Morphogenesis.” Cell, vol. 171, no. 1, Cell Press, 2017, pp. 242–55, doi:10.1016/j.cell.2017.08.026.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 727
Mueller, Jan, et al. “Load Adaptation of Lamellipodial Actin Networks.” Cell, vol. 171, no. 1, Cell Press, 2017, pp. 188–200, doi:10.1016/j.cell.2017.07.051.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 728
Chan, Chii, et al. “Coordination of Morphogenesis and Cell Fate Specification in Development.” Current Biology, vol. 27, no. 18, Cell Press, 2017, pp. R1024–35, doi:10.1016/j.cub.2017.07.010.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 729
Spiro, Zoltan P., and Carl-Philipp J. Heisenberg. “Regeneration Tensed up Polyploidy Takes the Lead.” Developmental Cell, vol. 42, no. 6, Cell Press, 2017, pp. 559–60, doi:10.1016/j.devcel.2017.09.008.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 730
Savin, Cristina, and Gašper Tkačik. “Maximum Entropy Models as a Tool for Building Precise Neural Controls.” Current Opinion in Neurobiology, vol. 46, Elsevier, 2017, pp. 120–26, doi:10.1016/j.conb.2017.08.001.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 731
Novarino, Gaia. “The Science of Love in ASD and ADHD.” Science Translational Medicine, vol. 9, no. 411, eaap8168, American Association for the Advancement of Science, 2017, doi:10.1126/scitranslmed.aap8168.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 732 | OA
Pull, Christopher, and Sylvia Cremer. “Co-Founding Ant Queens Prevent Disease by Performing Prophylactic Undertaking Behaviour.” BMC Evolutionary Biology, vol. 17, no. 1, 219, BioMed Central, 2017, doi:10.1186/s12862-017-1062-4.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 733 | OA
Bao, Zhigang, et al. “Convergence Rate for Spectral Distribution of Addition of Random Matrices.” Advances in Mathematics, vol. 319, Academic Press, 2017, pp. 251–91, doi:10.1016/j.aim.2017.08.028.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 734 | OA
Kennedy, Patrick, et al. “Deconstructing Superorganisms and Societies to Address Big Questions in Biology.” Trends in Ecology and Evolution, vol. 32, no. 11, Cell Press, 2017, pp. 861–72, doi:10.1016/j.tree.2017.08.004.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 735
Barone, Vanessa, et al. “An Effective Feedback Loop between Cell-Cell Contact Duration and Morphogen Signaling Determines Cell Fate.” Developmental Cell, vol. 43, no. 2, Cell Press, 2017, pp. 198–211, doi:10.1016/j.devcel.2017.09.014.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 736 | OA
Rubio, María, et al. “The Number and Distribution of AMPA Receptor Channels Containing Fast Kinetic GluA3 and GluA4 Subunits at Auditory Nerve Synapses Depend on the Target Cells.” Brain Structure and Function, vol. 222, no. 8, Springer, 2017, pp. 3375–93, doi:10.1007/s00429-017-1408-0.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 7360 | OA
Smole, Anže, et al. “A Synthetic Mammalian Therapeutic Gene Circuit for Sensing and Suppressing Inflammation.” Molecular Therapy, vol. 25, no. 1, Elsevier, 2017, pp. 102–19, doi:10.1016/j.ymthe.2016.10.005.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 737
Virk, Ziga, and Andreas Zastrow. “A New Topology on the Universal Path Space.” Topology and Its Applications, vol. 231, Elsevier, 2017, pp. 186–96, doi:10.1016/j.topol.2017.09.015.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 739 | OA
Nam, Phan, and Marcin M. Napiórkowski. “A Note on the Validity of Bogoliubov Correction to Mean Field Dynamics.” Journal de Mathématiques Pures et Appliquées, vol. 108, no. 5, Elsevier, 2017, pp. 662–88, doi:10.1016/j.matpur.2017.05.013.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 740 | OA
Shigemoto, Ryuichi, and Maximilian A. Jösch. “The Genetic Encoded Toolbox for Electron Microscopy and Connectomics.” WIREs Developmental Biology, vol. 6, no. 6, e288, Wiley-Blackwell, 2017, doi:10.1002/wdev.288.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 741 | OA
Moser, Thomas, and Robert Seiringer. “Stability of a Fermionic N+1 Particle System with Point Interactions.” Communications in Mathematical Physics, vol. 356, no. 1, Springer, 2017, pp. 329–55, doi:10.1007/s00220-017-2980-0.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 743
Gottlob, Georg, et al. “Preface of the Special Issue in Memoriam Helmut Veith.” Formal Methods in System Design, vol. 51, no. 2, Springer, 2017, pp. 267–69, doi:10.1007/s10703-017-0307-6.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 744 | OA
Priklopil, Tadeas, et al. “Optional Interactions and Suspicious Behaviour Facilitates Trustful Cooperation in Prisoners Dilemma.” Journal of Theoretical Biology, vol. 433, Elsevier, 2017, pp. 64–72, doi:10.1016/j.jtbi.2017.08.025.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 745 | OA
Xu, Duo, et al. “Transition to Turbulence in Pulsating Pipe Flow.” Journal of Fluid Mechanics, vol. 831, Cambridge University Press, 2017, pp. 418–32, doi:10.1017/jfm.2017.620.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 746 | OA
Aloisi, Elisabetta, et al. “Altered Surface MGluR5 Dynamics Provoke Synaptic NMDAR Dysfunction and Cognitive Defects in Fmr1 Knockout Mice.” Nature Communications, vol. 8, no. 1, 1103, Nature Publishing Group, 2017, doi:10.1038/s41467-017-01191-2.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 747 | OA
Brǎiloiu, Eugen, et al. “Modulation of Cardiac Vagal Tone by Bradykinin Acting on Nucleus Ambiguus.” Neuroscience, vol. 365, Elsevier, 2017, pp. 23–32, doi:10.1016/j.neuroscience.2017.09.034.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 749 | OA
Chen, Chong, et al. “Triple Function of Synaptotagmin 7 Ensures Efficiency of High-Frequency Transmission at Central GABAergic Synapses.” Cell Reports, vol. 21, no. 8, Cell Press, 2017, pp. 2082–89, doi:10.1016/j.celrep.2017.10.122.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 750
Pielorz, Jasmin, et al. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.” 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–63, doi:10.1109/BigData.2017.8258375.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 751 | OA
Matsubayashi, Yutaka, et al. “A Moving Source of Matrix Components Is Essential for De Novo Basement Membrane Formation.” Current Biology, vol. 27, no. 22, Cell Press, 2017, p. 3526–3534e.4, doi:10.1016/j.cub.2017.10.001.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 791 | OA
Alistarh, Dan-Adrian, et al. “The Power of Choice in Priority Scheduling.” Proceedings of the ACM Symposium on Principles of Distributed Computing, vol. Part F129314, ACM, 2017, pp. 283–92, doi:10.1145/3087801.3087810.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 792 | OA
Budanur, Nazmi B., et al. “Relative Periodic Orbits Form the Backbone of Turbulent Pipe Flow.” Journal of Fluid Mechanics, vol. 833, Cambridge University Press, 2017, pp. 274–301, doi:10.1017/jfm.2017.699.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 793 | OA
Fulek, Radoslav, et al. “On the Existence of Ordinary Triangles.” Computational Geometry: Theory and Applications, vol. 66, Elsevier, 2017, pp. 28–31, doi:10.1016/j.comgeo.2017.07.002.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 794 | OA
Fulek, Radoslav. “C-Planarity of Embedded Cyclic c-Graphs.” Computational Geometry: Theory and Applications, vol. 66, Elsevier, 2017, pp. 1–13, doi:10.1016/j.comgeo.2017.06.016.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 795 | OA
Fulek, Radoslav, et al. “Unified Hanani Tutte Theorem.” Electronic Journal of Combinatorics, vol. 24, no. 3, P3.18, International Press, 2017.
View | Files available
 

2017 | Journal Article | IST-REx-ID: 463 | OA
Altmeyer, Sebastian, et al. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” Chaos, vol. 27, no. 11, 113112, AIP, 2017, doi:10.1063/1.5002771.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 464 | OA
Chatterjee, Krishnendu, et al. “Improved Algorithms for Parity and Streett Objectives.” Logical Methods in Computer Science, vol. 13, no. 3, 26, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:26)2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 465 | OA
Chatterjee, Krishnendu, et al. “Edit Distance for Pushdown Automata.” Logical Methods in Computer Science, vol. 13, no. 3, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(3:23)2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 466 | OA
Chatterjee, Krishnendu, et al. “Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.” Logical Methods in Computer Science, vol. 13, no. 2, 15, International Federation of Computational Logic, 2017, doi:10.23638/LMCS-13(2:15)2017.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 467 | OA
Chatterjee, Krishnendu, et al. “Nested Weighted Automata.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 4, 31, ACM, 2017, doi:10.1145/3152769.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 470 | OA
Jeschke, Stefan, and Christopher J. Wojtan. “Water Wave Packets.” ACM Transactions on Graphics, vol. 36, no. 4, 103, ACM, 2017, doi:10.1145/3072959.3073678.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 471 | OA
Daca, Przemyslaw, et al. “Faster Statistical Model Checking for Unbounded Temporal Properties.” ACM Transactions on Computational Logic (TOCL), vol. 18, no. 2, 12, ACM, 2017, doi:10.1145/3060139.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 481 | OA
Biedl, Therese, et al. “Planar Matchings for Weighted Straight Skeletons.” International Journal of Computational Geometry and Applications, vol. 26, no. 3–4, World Scientific Publishing, 2017, pp. 211–29, doi:10.1142/S0218195916600050.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 483 | OA
Bourgade, Paul, et al. “Universality for a Class of Random Band Matrices.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 739–800, doi:10.4310/ATMP.2017.v21.n3.a5.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 484 | OA
Nam, Phan, and Marcin M. Napiórkowski. “Bogoliubov Correction to the Mean-Field Dynamics of Interacting Bosons.” Advances in Theoretical and Mathematical Physics, vol. 21, no. 3, International Press, 2017, pp. 683–738, doi:10.4310/ATMP.2017.v21.n3.a4.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 485
Rueda Sanchez, Alfredo R., et al. Single Sideband Microwave to Optical Photon Conversion-an-Electro-Optic-Realization. Vol. F54, NM3A.1, OSA, 2017, doi:10.1364/NLO.2017.NM3A.1.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
Elek, Oskar, et al. “Scattering-Aware Texture Reproduction for 3D Printing.” ACM Transactions on Graphics, vol. 36, no. 6, 241, ACM, 2017, doi:10.1145/3130800.3130890.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 487
Baig, Ghufran, et al. “Towards Unlicensed Cellular Networks in TV White Spaces.” Proceedings of the 2017 13th International Conference on Emerging Networking EXperiments and Technologies, ACM, 2017, pp. 2–14, doi:10.1145/3143361.3143367.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 512 | OA
Pavlogiannis, Andreas, et al. “Amplification on Undirected Population Structures: Comets Beat Stars.” Scientific Reports, vol. 7, no. 1, 82, Nature Publishing Group, 2017, doi:10.1038/s41598-017-00107-w.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 513 | OA
Klotz, Lukasz, et al. “Couette-Poiseuille Flow Experiment with Zero Mean Advection Velocity: Subcritical Transition to Turbulence.” Physical Review Fluids, vol. 2, no. 4, 043904, American Physical Society, 2017, doi:10.1103/PhysRevFluids.2.043904.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 514 | OA
Simonnet, Jean, et al. “Activity Dependent Feedback Inhibition May Maintain Head Direction Signals in Mouse Presubiculum.” Nature Communications, vol. 8, 16032, Nature Publishing Group, 2017, doi:10.1038/ncomms16032.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 515 | OA
Letts, James A., and Leonid A. Sazanov. “Clarifying the Supercomplex: The Higher-Order Organization of the Mitochondrial Electron Transport Chain.” Nature Structural and Molecular Biology, vol. 24, no. 10, Nature Publishing Group, 2017, pp. 800–08, doi:10.1038/nsmb.3460.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 520
Du, Wei, et al. “Nonhierarchical Flux Regulation Exposes the Fitness Burden Associated with Lactate Production in Synechocystis Sp. PCC6803.” ACS Synthetic Biology, vol. 6, no. 3, American Chemical Society, 2017, pp. 395–401, doi:10.1021/acssynbio.6b00235.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 521 | OA
Austin, Kyle, and Ziga Virk. “Higson Compactification and Dimension Raising.” Topology and Its Applications, vol. 215, Elsevier, 2017, pp. 45–57, doi:10.1016/j.topol.2016.10.005.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 534 | OA
Burton, Benjamin, et al. “Finding Non-Orientable Surfaces in 3-Manifolds.” Discrete & Computational Geometry, vol. 58, no. 4, Springer, 2017, pp. 871–88, doi:10.1007/s00454-017-9900-0.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 538 | OA
Kainrath, Stephanie, et al. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.” Angewandte Chemie, vol. 129, no. 16, Wiley, 2017, pp. 4679–82, doi:10.1002/ange.201611998.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 540 | OA
Khamina, Kseniya, et al. “Characterization of Host Proteins Interacting with the Lymphocytic Choriomeningitis Virus L Protein.” PLoS Pathogens, vol. 13, no. 12, e1006758, Public Library of Science, 2017, doi:10.1371/journal.ppat.1006758.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 541 | OA
Nikolic, Nela, et al. “Cell-to-Cell Variation and Specialization in Sugar Metabolism in Clonal Bacterial Populations.” PLoS Genetics, vol. 13, no. 12, e1007122, Public Library of Science, 2017, doi:10.1371/journal.pgen.1007122.
View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 545 | OA
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” Plant Engineering, edited by Snježana Jurić, InTech, 2017, pp. 113–40, doi:10.5772/intechopen.69712.
View | Files available | DOI
 

2017 | Report | IST-REx-ID: 5450 | OA
Petritsch, Barbara. Implementing the Institutional Data Repository IST DataRep. IST Austria, 2017.
View | Files available | Download (ext.)
 

2017 | Technical Report | IST-REx-ID: 5455 | OA
Chatterjee, Krishnendu, et al. Optimal Dyck Reachability for Data-Dependence and Alias Analysis. IST Austria, 2017, doi:10.15479/AT:IST-2017-870-v1-1.
View | Files available | DOI
 

2017 | Technical Report | IST-REx-ID: 5456 | OA
Chalupa, Marek, et al. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2017, doi:10.15479/AT:IST-2017-872-v1-1.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 548 | OA
De Martino, Daniele. “Maximum Entropy Modeling of Metabolic Networks by Constraining Growth-Rate Moments Predicts Coexistence of Phenotypes.” Physical Review E, vol. 96, no. 6, 060401, American Physiological Society, 2017, doi:10.1103/PhysRevE.96.060401.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” Electronic Proceedings in Theoretical Computer Science, vol. 259, Open Publishing Association, 2017, pp. 31–38, doi:10.4204/EPTCS.259.3.
View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 550 | OA
Alt, Johannes. “Singularities of the Density of States of Random Gram Matrices.” Electronic Communications in Probability, vol. 22, 63, Institute of Mathematical Statistics, 2017, doi:10.1214/17-ECP97.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications