Please note that ISTA 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.

600 Publications


2017 | Conference Paper | IST-REx-ID: 1175 | OA
Alwen, Joel F., et al. Cumulative Space in Black-White Pebbling and Resolution. Edited by Christos Papadimitriou, vol. 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, p. 38:1-38-21, doi:10.4230/LIPIcs.ITCS.2017.38.
[Published Version] View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 11772
Henzinger, Monika H. “The State of the Art in Dynamic Graph Algorithms.” 44th International Conference on Current Trends in Theory and Practice of Computer Science, vol. 10706, Springer Nature, 2017, pp. 40–44, doi:10.1007/978-3-319-73117-9_3.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 11829 | OA
Henzinger, Monika H., et al. “Conditional Hardness for Sensitivity Problems.” 8th Innovations in Theoretical Computer Science Conference, vol. 67, 26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ITCS.2017.26.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 11833 | OA
Goranci, Gramoz, et al. “The Power of Vertex Sparsifiers in Dynamic Graph Algorithms.” 25th Annual European Symposium on Algorithms, vol. 87, 45, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ESA.2017.45.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 11832 | OA
Henzinger, Monika H., et al. “Dynamic Clustering to Minimize the Sum of Radii.” 25th Annual European Symposium on Algorithms, vol. 87, 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ESA.2017.48.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 11874 | OA
Bhattacharya, Sayan, et al. “Fully Dynamic Approximate Maximum Matching and Minimum Vertex Cover in o(Log3 n) Worst Case Update Time.” 28th Annual ACM-SIAM Symposium on Discrete Algorithms, vol. 0, Society for Industrial and Applied Mathematics, 2017, pp. 470–89, doi:10.1137/1.9781611974782.30.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 11873 | OA
Henzinger, Monika H., et al. “Local Flow Partitioning for Faster Edge Connectivity.” 28th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2017, pp. 1919–38, doi:10.1137/1.9781611974782.125.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 11831 | OA
Goranci, Gramoz, et al. “Improved Guarantees for Vertex Sparsification in Planar Graphs.” 25th Annual European Symposium on Algorithms, vol. 87, 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPICS.ESA.2017.44.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 11903 | OA
Bhattacharya, Sayan, et al. “Welfare Maximization with Friends-of-Friends Network Externalities.” Theory of Computing Systems, vol. 61, no. 4, Springer Nature, 2017, pp. 948–86, doi:10.1007/s00224-017-9759-8.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1191 | OA
Kollár, Richard, and Sebastian Novak. “Existence of Traveling Waves for the Generalized F–KPP Equation.” Bulletin of Mathematical Biology, vol. 79, no. 3, Springer, 2017, pp. 525–59, doi:10.1007/s11538-016-0244-3.
[Preprint] View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 11961
Plutschack, Matthew B., et al. “The Hitchhiker’s Guide to Flow Chemistry.” Chemical Reviews, vol. 117, no. 18, American Chemical Society, 2017, pp. 11796–893, doi:10.1021/acs.chemrev.7b00183.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 11976 | OA
Pieber, Bartholomäus, et al. “Integrated Flow Processing - Challenges in Continuous Multistep Synthesis.” Journal of Flow Chemistry, vol. 7, no. 3–4, AKJournals, 2017, pp. 129–36, doi:10.1556/1846.2017.00016.
[Published Version] View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1211 | OA
Budanur, Nazmi B., and Predrag Cvitanović. “Unstable Manifolds of Relative Periodic Orbits in the Symmetry Reduced State Space of the Kuramoto–Sivashinsky System.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer, 2017, pp. 636–55, doi:10.1007/s10955-016-1672-z.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 123 | OA
Waitukaitis, Scott R., et al. “Coupling the Leidenfrost Effect and Elastic Deformations to Power Sustained Bouncing.” Nature Physics, vol. 13, no. 11, Nature Publishing Group, 2017, pp. 1095–99, doi:10.1038/nphys4194.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 12571 | OA
Bhattacharya, Sayan, et al. “Deterministic Fully Dynamic Approximate Vertex Cover and Fractional Matching in O(1) Amortized Update Time.” 19th International Conference on Integer Programming and Combinatorial Optimization, vol. 10328, Springer Nature, 2017, pp. 86–98, doi:10.1007/978-3-319-59250-3_8.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 1113 | OA
Fulek, Radoslav, et al. “Hanani-Tutte for Radial Planarity.” Journal of Graph Algorithms and Applications, vol. 21, no. 1, Brown University, 2017, pp. 135–54, doi:10.7155/jgaa.00408.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 169 | OA
Browning, Timothy D., et al. “Twisted Linnik Implies Optimal Covering Exponent for S3.” International Mathematics Research Notices, Oxford University Press, 2017, doi:10.1093/imrn/rnx116.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 172 | OA
Browning, Timothy D., and Damaris Schindler. “Strong Approximation and a Conjecture of Harpaz and Wittenberg.” International Mathematics Research Notices, Oxford University Press, 2017, doi:10.1093/imrn/rnx252.
View | DOI | Download None (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 391
Xu, Yishuai, et al. “Disorder Enabled Band Structure Engineering of a Topological Insulator Surface.” Nature Communications, vol. 8, Nature Publishing Group, 2017, doi:10.1038/ncomms14081.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 393 | OA
Alpichshev, Zhanybek, et al. “Origin of the Exciton Mass in the Frustrated Mott Insulator Na2IrO3.” Physical Review B, vol. 96, no. 23, American Physical Society, 2017, doi:10.1103/PhysRevB.96.235141.
View | DOI | Download None (ext.)
 

2017 | Journal Article | IST-REx-ID: 392 | OA
Vishik, Inna, et al. “Ultrafast Dynamics in the Presence of Antiferromagnetic Correlations in Electron Doped Cuprate La2 XCexCuO4±δ.” Physical Review B, vol. 95, no. 11, American Physical Society, 2017, doi:10.1103/PhysRevB.95.115125.
View | DOI | Download None (ext.)
 

2017 | Journal Article | IST-REx-ID: 443 | OA
Hardie, Rae, et al. “Mitochondrial Mutations and Metabolic Adaptation in Pancreatic Cancer.” Cancer & Metabolism, vol. 5, no. 2, BioMed Central, 2017, doi:10.1186/s40170-017-0164-1.
[Published Version] View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 444
Sazanov, Leonid A. “Structure of Respiratory Complex I: ‘Minimal’ Bacterial and ‘de Luxe’ Mammalian Versions.” Mechanisms of Primary Energy Transduction in Biology , edited by Mårten Wikström, Royal Society of Chemistry, 2017, pp. 25–59, doi:10.1039/9781788010405-00025.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 445 | OA
Serbyn, Maksym, and Dimitry Abanin. “Loschmidt Echo in Many Body Localized Phases.” Physical Review B - Condensed Matter and Materials Physics, vol. 96, no. 1, American Physical Society, 2017, doi:10.1103/PhysRevB.96.014202.
View | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 452
Bächer, Moritz, et al. “Spin It: Optimizing Moment of Inertia for Spinnable Objects.” Communications of the ACM, vol. 60, no. 8, ACM, 2017, pp. 92–99, doi:10.1145/3068766.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 453 | OA
Fallesen, Todd, et al. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal, vol. 113, no. 9, Biophysical Society, 2017, pp. 2055–67, doi:10.1016/j.bpj.2017.09.006.
[Published Version] 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.
[Published Version] View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 470 | OA
Jeschke, Stefan, and Chris Wojtan. “Water Wave Packets.” ACM Transactions on Graphics, vol. 36, no. 4, 103, ACM, 2017, doi:10.1145/3072959.3073678.
[Published Version] 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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 472
Eguchi, Kohgaku, et al. “Wild-Type Monomeric α-Synuclein Can Impair Vesicle Endocytosis and Synaptic Fidelity via Tubulin Polymerization at the Calyx of Held.” European Journal of Neuroscience, vol. 37, no. 25, Wiley-Blackwell, 2017, pp. 6043–52, doi:10.1523/JNEUROSCI.0179-17.2017.
View | DOI
 

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.
[Published Version] View | Files available | DOI
 

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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

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: 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.
[Published Version] 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.
[Submitted Version] 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.
[Preprint] View | DOI | Download Preprint (ext.)
 

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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 525 | OA
von Wangenheim, Daniel, et al. “Plant Biology: Building Barriers… in Roots.” Current Biology, vol. 27, no. 5, Cell Press, 2017, pp. R172–74, doi:10.1016/j.cub.2017.01.060.
View | Files available | DOI | Download (ext.)
 

2017 | Journal Article | IST-REx-ID: 529
Gherghina, Florin, et al. “Effects of VPAC1 Activation in Nucleus Ambiguus Neurons.” Brain Research, vol. 1657, Elsevier, 2017, pp. 297–303, doi:10.1016/j.brainres.2016.12.026.
View | DOI
 

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.
[Preprint] 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.
[Published Version] 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.
[Published Version] 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.
[Published Version] 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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.
[Published Version] View | Files available | 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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 10416 | OA
Chatterjee, Krishnendu, et al. “Optimal Dyck Reachability for Data-Dependence and Alias Analysis.” Proceedings of the ACM on Programming Languages, vol. 2, no. POPL, 30, Association for Computing Machinery, 2017, doi:10.1145/3158118.
[Published Version] View | Files available | DOI | arXiv
 

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.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

year=2017

Search

Filter Publications