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.

6113 Publications


2015 | Technical Report | IST-REx-ID: 5429 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5435 | OA
Chatterjee, Krishnendu, Zuzana Komarkova, and Jan Kretinsky. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-318-v2-1.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1659 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-319-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5437 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-330-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5438 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-334-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v2-2.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5443 | OA
Chatterjee, Krishnendu, Martin Chmelik, and Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-325-v2-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, Alvin Makohon-Moore, Jeffrey Gerold, Ivana Bozic, Krishnendu Chatterjee, Christine Iacobuzio-Donahue, Bert Vogelstein, and Martin Nowak. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-399-v1-1.
View | Files available | DOI
 

2015 | Research Data | IST-REx-ID: 5549 | OA
Fellner, Andreas. “Experimental Part of CAV 2015 Publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.” IST Austria, 2015. https://doi.org/10.15479/AT:ISTA:28.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1603 | OA
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 5749 | OA
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution. Oxford University Press (OUP), 2015. https://doi.org/10.1093/molbev/msv270.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5804
Biswas, Ranita, and Partha Bhowmick. “From Prima Quadraginta Octant to Lattice Sphere through Primitive Integer Operations.” Theoretical Computer Science. Elsevier, 2015. https://doi.org/10.1016/j.tcs.2015.11.018.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.” Theoretical Computer Science. Elsevier, 2015. https://doi.org/10.1016/j.tcs.2015.09.003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
Biswas, Ranita, and Partha Bhowmick. “Layer the Sphere.” The Visual Computer. Springer Nature, 2015. https://doi.org/10.1007/s00371-015-1101-3.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1939
Dereziński, Jan, and Marcin M Napiórkowski. “Erratum to: Excitation Spectrum of Interacting Bosons in the Mean-Field Infinite-Volume Limit.” Annales Henri Poincare. Birkhäuser, 2015. https://doi.org/10.1007/s00023-014-0390-9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 594
Sainsbury, Sarah, Carrie Bernecky, and Patrick Cramer. “Structural Basis of Transcription Initiation by RNA Polymerase II.” Nature Reviews Molecular Cell Biology. Nature Publishing Group, 2015. https://doi.org/10.1038/nrm3952.
View | DOI
 

2015 | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-340-v1-1.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 6118 | OA
Fenk, Lorenz A., and Mario de Bono. “Environmental CO2 Inhibits Caenorhabditis Elegans Egg-Laying by Modulating Olfactory Neurons and Evokes Widespread Changes in Neural Activity.” Proceedings of the National Academy of Sciences. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1423808112.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 6120 | OA
Laurent, Patrick, Zoltan Soltesz, Geoffrey M Nelson, Changchun Chen, Fausto Arellano-Carbajal, Emmanuel Levy, and Mario de Bono. “Decoding a Neural Circuit Controlling Global Animal State in C. Elegans.” ELife. eLife Sciences Publications, 2015. https://doi.org/10.7554/elife.04241.
View | Files available | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1511 | OA
Goaoc, Xavier, Isaac Mabillard, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “On Generalized Heawood Inequalities for Manifolds: A Van Kampen–Flores-Type Nonembeddability Result,” 34:476–90. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.476.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1619 | OA
Chevereau, Guillaume, Marta Lukacisinova, Tugce Batur, Aysegul Guvenek, Dilay Ayhan, Erdal Toprak, and Mark Tobias Bollenbach. “Quantifying the Determinants of Evolutionary Dynamics Leading to Drug Resistance.” PLoS Biology. Public Library of Science, 2015. https://doi.org/10.1371/journal.pbio.1002299.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1637 | OA
Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,” 1246–58. IEEE, 2015. https://doi.org/10.1109/FOCS.2015.80.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, Long, J. M. Hinerman, M. Blaszczyk, J. L. C. Miller, D. G. Conrady, A. D. Barrow, D. Y. Chirgadze, D. Bihan, R. W. Farndale, and A. B. Herr. “Structural Basis for Collagen Recognition by the Immune Receptor OSCAR.” Blood. American Society of Hematology, 2015. https://doi.org/10.1182/blood-2015-08-667055.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1576 | OA
Cepeda Humerez, Sarah A, Georg Rieckh, and Gašper Tkačik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.” Physical Review Letters. American Physical Society, 2015. https://doi.org/10.1103/PhysRevLett.115.248101.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Journal Article | IST-REx-ID: 6736 | OA
Mondelli, Marco, Hamed Hassani, and Rudiger Urbanke. “Scaling Exponent of List Decoders with Applications to Polar Codes.” IEEE Transactions on Information Theory. IEEE, 2015. https://doi.org/10.1109/tit.2015.2453315.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 6737 | OA
Mondelli, Marco, Hamed Hassani, Igal Sason, and Rudiger Urbanke. “Achieving Marton’s Region for Broadcast Channels Using Polar Codes.” IEEE Transactions on Information Theory. IEEE, 2015. https://doi.org/10.1109/tit.2014.2368555.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 7070
Yu, Jing Fei, B. J. Ramshaw, I. Kokanović, Kimberly A Modic, N. Harrison, James Day, Ruixing Liang, et al. “Magnetization of Underdoped YBa2Cu3Oy above the Irreversibility Field.” Physical Review B. APS, 2015. https://doi.org/10.1103/physrevb.92.180509.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7739 | OA
Santure, Anna W., Jocelyn Poissant, Isabelle De Cauwer, Kees van Oers, Matthew Richard Robinson, John L. Quinn, Martien A. M. Groenen, Marcel E. Visser, Ben C. Sheldon, and Jon Slate. “Replicated Analysis of the Genetic Architecture of Quantitative Traits in Two Wild Great Tit Populations.” Molecular Ecology. Wiley, 2015. https://doi.org/10.1111/mec.13452.
View | DOI | Download Published Version (ext.)
 

2015 | Journal Article | IST-REx-ID: 7741 | OA
Adams, Mark James, Matthew Richard Robinson, Maria-Elena Mannarelli, and Ben J. Hatchwell. “Social Genetic and Social Environment Effects on Parental and Helper Care in a Cooperatively Breeding Bird.” Proceedings of the Royal Society B: Biological Sciences. The Royal Society, 2015. https://doi.org/10.1098/rspb.2015.0689.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7742
Robinson, Matthew Richard, Gibran Hemani, Carolina Medina-Gomez, Massimo Mezzavilla, Tonu Esko, Konstantin Shakhbazov, Joseph E Powell, et al. “Population Genetic Differentiation of Height and Body Mass Index across Europe.” Nature Genetics. Springer Nature, 2015. https://doi.org/10.1038/ng.3401.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 776
Alistarh, Dan-Adrian, Justin Kopinsky, Jerry Li, and Nir Shavit. “The SprayList: A Scalable Relaxed Priority Queue,” 2015–January:11–20. ACM, 2015. https://doi.org/10.1145/2688500.2688523.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7765
Goodrich, Carl Peter, Andrea J. Liu, and Sidney R. Nagel. “The Principle of Independent Bond-Level Response: Tuning by Pruning to Exploit Disorder for Global Behavior.” Physical Review Letters. American Physical Society, 2015. https://doi.org/10.1103/physrevlett.114.225501.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7766
Sussman, Daniel M., Carl Peter Goodrich, Andrea J. Liu, and Sidney R. Nagel. “Disordered Surface Vibrations in Jammed Sphere Packings.” Soft Matter. Royal Society of Chemistry, 2015. https://doi.org/10.1039/c4sm02905d.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 7767
Drongelen, Ruben van, Anshuman Pal, Carl Peter Goodrich, and Timon Idema. “Collective Dynamics of Soft Active Particles.” Physical Review E. American Physical Society, 2015. https://doi.org/10.1103/physreve.91.032706.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 777
Alistarh, Dan-Adrian, Jennifer Iglesias, and Milan Vojnović. “Streaming Min-Max Hypergraph Partitioning,” 2015–January:1900–1908. Neural Information Processing Systems, 2015.
View | Download None (ext.)
 

2015 | Preprint | IST-REx-ID: 7779 | OA
Goodrich, Carl Peter. “Unearthing the Anticrystal: Criticality in the Linear Response of  Disordered Solids.” ArXiv:1510.08820, 2015.
View | Download Preprint (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 778 | OA
Alistarh, Dan-Adrian, Justin Kopinsky, Petr Kuznetsov, Srivatsan Ravi, and Nir Shavit. “Inherent Limitations of Hybrid Transactional Memory,” 9363:185–99. Springer, 2015. https://doi.org/10.1007/978-3-662-48653-5_13.
View | DOI | Download None (ext.) | arXiv
 

2015 | Conference Paper | IST-REx-ID: 779
Alistarh, Dan-Adrian, Alexander Matveev, William Leiserson, and Nir Shavit. “ThreadScan: Automatic and Scalable Memory Reclamation,” 2015–June:123–32. ACM, 2015. https://doi.org/10.1145/2755573.2755600.
View | Files available | DOI
 

2015 | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, Sergey, Isaac Mabillard, A. Skopenkov, and Uli Wagner. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, n.d.
View | Files available | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 8242
Einhorn, Lukas, Judit Singer, Martina Muhr, Alexandra Schoos, Kumiko Oida, Josef Singer, Lucia Panakova, Krisztina Manzano-Szalai, and Erika Jensen-Jarolim. “Generation of Recombinant FcεRIα of Dog, Cat and Horse for Component-Resolved Allergy Diagnosis in Veterinary Patients.” Journal of Allergy and Clinical Immunology. Elsevier, 2015. https://doi.org/10.1016/j.jaci.2014.12.1263.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices. ACM, 2015. https://doi.org/10.1145/2676726.2676979.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . ACM, 2015. https://doi.org/10.1145/2676726.2676968.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1607 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Faster Algorithms for Quantitative Verification in Constant Treewidth Graphs,” 9206:140–57. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_9.
View | Files available | DOI | Download Preprint (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1714
Chatterjee, Krishnendu, Andreas Pavlogiannis, Alexander Kößler, and Ulrich Schmid. “A Framework for Automated Competitive Analysis of On-Line Scheduling of Firm-Deadline Tasks.” In Real-Time Systems Symposium, 2015:118–27. IEEE, 2015. https://doi.org/10.1109/RTSS.2014.9.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavý, Peter, and Eva Benková. “Real Time Analysis of Lateral Root Organogenesis in Arabidopsis.” Bio-Protocol. Bio-protocol LLC, 2015. https://doi.org/10.21769/BioProtoc.1446.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8456
Ma, Peixiang, Yi Xue, Nicolas Coquelle, Jens D. Haller, Tairan Yuwen, Isabel Ayala, Oleg Mikhailovskii, et al. “Observing the Overall Rocking Motion of a Protein in a Crystal.” Nature Communications. Springer Nature, 2015. https://doi.org/10.1038/ncomms9361.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8457
Ma, Peixiang, and Paul Schanda. “Conformational Exchange Processes in Biological Systems: Detection by Solid-State NMR.” EMagRes. Wiley, 2015. https://doi.org/10.1002/9780470034590.emrstm1418.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 848
Usmanova, Dinara, Luca Ferretti, Inna Povolotskaya, Peter Vlasov, and Fyodor Kondrashov. “A Model of Substitution Trajectories in Sequence Space and Long-Term Protein Evolution.” Molecular Biology and Evolution. Oxford University Press, 2015. https://doi.org/10.1093/molbev/msu318.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8495
Bounemoura, Abed, and Vadim Kaloshin. “A Note on Micro-Instability for Hamiltonian Systems Close to Integrable.” Proceedings of the American Mathematical Society. American Mathematical Society, 2015. https://doi.org/10.1090/proc/12796.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8498
Kaloshin, Vadim, and K Zhang. “Arnold Diffusion for Smooth Convex Systems of Two and a Half Degrees of Freedom.” Nonlinearity. IOP Publishing, 2015. https://doi.org/10.1088/0951-7715/28/8/2699.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 8499
Guardia, Marcel, and Vadim Kaloshin. “Growth of Sobolev Norms in the Cubic Defocusing Nonlinear Schrödinger Equation.” Journal of the European Mathematical Society. European Mathematical Society Publishing House, 2015. https://doi.org/10.4171/jems/499.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 981 | OA
Zeljkovic, Ilija, Yoshinori Okada, Maksym Serbyn, Raman Sankar, Daniel Walkup, Wenwen Zhou, Junwei Liu, et al. “Dirac Mass Generation from Crystal Symmetry Breaking on the Surfaces of Topological Crystalline Insulators.” Nature Materials. Nature Publishing Group, 2015. https://doi.org/10.1038/nmat4215.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 982 | OA
Serbyn, Maksym, Zlatko Papić, and Dmitry Abanin. “Criterion for Many-Body Localization-Delocalization Phase Transition.” Physical Review X. American Physical Society, 2015. https://doi.org/10.1103/PhysRevX.5.041047.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 99 | OA
Higginbotham, Andrew P, S M Albrecht, Gediminas Kiršanskas, W Chang, Ferdinand Kuemmeth, Peter Krogstrup, Thomas Jespersen, Jesper Nygård, Karsten Flensberg, and Charles Marcus. “Parity Lifetime of Bound States in a Proximitized Semiconductor Nanowire.” Nature Physics. Nature Publishing Group, 2015. https://doi.org/10.1038/nphys3461.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 1537 | OA
Ruprecht, Verena, Stefan Wieser, Andrew Callan Jones, Michael Smutny, Hitoshi Morita, Keisuke Sako, Vanessa Barone, et al. “Cortical Contractility Triggers a Stochastic Switch to Fast Amoeboid Cell Motility.” Cell. Cell Press, 2015. https://doi.org/10.1016/j.cell.2015.01.008.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 7456
Caruntu, Daniela, Taha Rostamzadeh, Tommaso Costanzo, Saman Salemizadeh Parizi, and Gabriel Caruntu. “Solvothermal Synthesis and Controlled Self-Assembly of Monodisperse Titanium-Based Perovskite Colloidal Nanocrystals.” Nanoscale. RSC, 2015. https://doi.org/10.1039/c5nr00737b.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 7457
Parizi, Saman Salemizadeh, Gavin Conley, Tommaso Costanzo, Bob Howell, Axel Mellinger, and Gabriel Caruntu. “Fabrication of Barium Titanate/Acrylonitrile-Butadiene Styrene/Poly(Methyl Methacrylate) Nanocomposite Films for Hybrid Ferroelectric Capacitors.” RSC Advances. RSC, 2015. https://doi.org/10.1039/c5ra11347d.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 782
Alistarh, Dan-Adrian, Thomas Sauerwald, and Milan Vojnović. “Lock-Free Algorithms under Stochastic Schedulers,” 2015–July:251–60. ACM, 2015. https://doi.org/10.1145/2767386.2767430.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 783 | OA
Alistarh, Dan-Adrian, Rati Gelashvili, and Adrian Vladu. “How to Elect a Leader Faster than a Tournament,” 2015–July:365–74. ACM, 2015. https://doi.org/10.1145/2767386.2767420.
View | DOI | Download None (ext.)
 

2015 | Conference Paper | IST-REx-ID: 784
Alistarh, Dan-Adrian, Hitesh Ballani, Paolo Costa, Adam Funnell, Joshua Benjamin, Philip Watts, and Benn Thomsen. “A High-Radix, Low-Latency Optical Switch for Data Centers,” 367–68. ACM, 2015. https://doi.org/10.1145/2785956.2790035.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 781
Alistarh, Dan-Adrian, Rati Gelashvili, and Milan Vojnović. “Fast and Exact Majority in Population Protocols,” 2015–July:47–56. ACM, 2015. https://doi.org/10.1145/2767386.2767429.
View | DOI
 

2015 | Conference Paper | IST-REx-ID: 780 | OA
Alistarh, Dan-Adrian, and Rati Gelashvili. “Polylogarithmic-Time Leader Election in Population Protocols,” 9135:479–91. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_38.
View | DOI | Download Preprint (ext.) | arXiv
 

2015 | Journal Article | IST-REx-ID: 802
Engel, Jakob, Philipp S Schmalhorst, Anke Kruger, Christina Muller, Falk Buettner, and Françoise Routier. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology. Oxford University Press, 2015. https://doi.org/10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 814
Schur, Florian KM, Wim Hagen, Michaela Rumlová, Tomáš Ruml, B Müller, Hans Kraüsslich, and John Briggs. “Structure of the Immature HIV-1 Capsid in Intact Virus Particles at 8.8 Å Resolution.” Nature. Nature Publishing Group, 2015. https://doi.org/10.1038/nature13838.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 815
Schur, Florian KM, Robert Dick, Wim Hagen, Volker Vogt, and John Briggs. “The Structure of Immature Virus like Rous Sarcoma Virus Gag Particles Reveals a Structural Role for the P10 Domain in Assembly.” Journal of Virology. ASM, 2015. https://doi.org/10.1128/JVI.01502-15.
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1633 | OA
Hahn, David, and Christopher J Wojtan. “High-Resolution Brittle Fracture Simulation with Boundary Elements,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766896.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 866
Kretz, Colin, Manhong Dai, Onuralp Soylemez, Andrew Yee, Karl Desch, David Siemieniak, Kärt Tomberg, Fyodor Kondrashov, Fan Meng, and David Ginsburg. “Massively Parallel Enzyme Kinetics Reveals the Substrate Recognition Landscape of the Metalloprotease ADAMTS13.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1511328112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 886
Kondrashov, Dmitry, and Fyodor Kondrashov. “Topological Features of Rugged Fitness Landscapes in Sequence Space.” Trends in Genetics. Elsevier, 2015. https://doi.org/10.1016/j.tig.2014.09.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 924
Boubaker, Riadh, Vincent Platel, Alexis Bergès, Mathieu Bancelin, and Edouard B Hannezo. “Dynamic Model of Heat and Mass Transfer in an Unsaturated Porous Wick of Capillary Pumped Loop.” Applied Thermal Engineering. Elsevier, 2015. https://doi.org/10.1016/j.applthermaleng.2014.10.009.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 928 | OA
Sehring, Ivonne, Pierre Recho, Elsa Denker, Matthew Kourakis, Birthe Mathiesen, Edouard B Hannezo, Bo Dong, and Di Jiang. “Assembly and Positioning of Actomyosin Rings by Contractility and Planar Cell Polarity.” ELife. eLife Sciences Publications, 2015. https://doi.org/10.7554/eLife.09206.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 929
Hannezo, Edouard B, Bo Dong, Pierre Recho, Jean Joanny, and Shigeo Hayashi. “Cortical Instability Drives Periodic Supracellular Actin Pattern Formation in Epithelial Tubes.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1504762112.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 933 | OA
García, Simón, Edouard B Hannezo, Jens Elgeti, Jean Joanny, Pascal Silberzan, and Nir Gov. “Physics of Active Jamming during Collective Cellular Motion in a Monolayer.” PNAS. National Academy of Sciences, 2015. https://doi.org/10.1073/pnas.1510973112.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 906
Arkhipova, Oksana, Margarita Meer, Galina Mikoulinskaia, Marina Zakharova, Alexander Galushko, Vasilii Akimenko, and Fyodor Kondrashov. “Recent Origin of the Methacrylate Redox System in Geobacter Sulfurreducens AM-1 through Horizontal Gene Transfer.” PLoS One. Public Library of Science, 2015. https://doi.org/10.1371/journal.pone.0125888.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1591 | OA
Adamowski, Maciek, and Jiří Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” Plant Cell. American Society of Plant Biologists, 2015. https://doi.org/10.1105/tpc.114.134874.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 1058
Jensen, Nickels, Johann G Danzl, Katrin Willig, Flavie Lavoie Cardinal, Tanja Brakemann, Stefan Hell, and Stefan Jakobs. “Coordinate-Targeted and Coordinate-Stochastic Super-Resolution Microscopy with the Reversibly Switchable Fluorescent Protein Dreiklang.” ChemPhysChem. Wiley-Blackwell, 2014. https://doi.org/10.1002/cphc.201301034.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 118
Altshuler, Ernesto, H Torres, A González_Pita, Colina G Sánchez, Carlos Pérez Penichet, Scott R Waitukaitis, and Rauól Hidalgo. “Settling into Dry Granular Media in Different Gravities.” Geophysical Research Letters. Wiley-Blackwell, 2014. https://doi.org/10.1002/2014GL059229.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 119 | OA
Waitukaitis, Scott R, Victor Lee, James Pierson, Steven Forman, and Heinrich Jaeger. “Size-Dependent Same-Material Tribocharging in Insulating Grains.” APS Physics, Physical Review Letters. American Physical Society, 2014. https://doi.org/10.1103/PhysRevLett.112.218001.
View | DOI | Download Submitted Version (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1309
Fischer, Julian L. “Infinite Speed of Support Propagation for the Derrida-Lebowitz-Speer-Spohn Equation and Quantum Drift-Diffusion Models.” Nonlinear Differential Equations and Applications. Birkhäuser, 2014. https://doi.org/10.1007/s00030-013-0235-0.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1312
Fischer, Julian L. “Upper Bounds on Waiting Times for the Thin-Film Equation: The Case of Weak Slippage.” Archive for Rational Mechanics and Analysis. Springer, 2014. https://doi.org/10.1007/s00205-013-0690-0.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee, Krishnendu, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, and Michael Raskin. “Approximating the Minimum Cycle Mean.” Theoretical Computer Science. Elsevier, 2014. https://doi.org/10.1016/j.tcs.2014.06.031.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,” 8318:161–81. Springer, 2014. https://doi.org/10.1007/978-3-642-54013-4_10.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.” In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014. https://doi.org/10.1145/2593882.2593900.
View | DOI | Download Published Version (ext.)
 

2014 | Thesis | IST-REx-ID: 1395
Konrad, Matthias. “Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus.” IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1402
Marhavá, Petra. “Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana.” IST Austria, 2014.
View
 

2014 | Thesis | IST-REx-ID: 1404
Stock, Miriam. “Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants.” IST Austria, 2014.
View
 

2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös, László. “Random Matrices, Log-Gases and Hölder Regularity,” 3:214–36. Kyung Moon SA Co. Ltd., 2014.
View | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “On the BCS Gap Equation for Superfluid Fermionic Gases.” In Proceedings of the QMath12 Conference, 127–37. World Scientific Publishing, 2014. https://doi.org/10.1142/9789814618144_0007.
View | DOI | Download Preprint (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1532
Yang, Huaiyu, Jenny Von Der Fecht Bartenbach, Jiří Friml, Jan Lohmann, Benjamin Neuhäuser, and Uwe Ludewig. “Auxin-Modulated Root Growth Inhibition in Arabidopsis Thaliana Seedlings with Ammonium as the Sole Nitrogen Source.” Functional Plant Biology. CSIRO, 2014. https://doi.org/10.1071/FP14171.
View | DOI
 

2014 | Journal Article | IST-REx-ID: 1629 | OA
Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Edit Propagation Using Geometric Relationship Functions.” ACM Transactions on Graphics. ACM, 2014. https://doi.org/10.1145/2591010.
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643 | OA
Fuchsbauer, Georg. “Constrained Verifiable Random Functions .” In SCN 2014, edited by Michel Abdalla and Roberto De Prisco, 8642:95–114. Springer, 2014. https://doi.org/10.1007/978-3-319-10879-7_7.
View | DOI | Download Submitted Version (ext.)
 

2014 | Conference Paper | IST-REx-ID: 1702 | OA
Gupta, Ashutosh, Corneliu Popeea, and Andrey Rybalchenko. “Generalised Interpolation by Solving Recursion Free-Horn Clauses.” In Electronic Proceedings in Theoretical Computer Science, EPTCS, 169:31–38. Open Publishing, 2014. https://doi.org/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,” 3:2024–32. Neural Information Processing Systems, 2014.
View | Download None (ext.)
 

2014 | Journal Article | IST-REx-ID: 1761 | OA
Mongillo, Massimo, Panayotis Spathis, Georgios Katsaros, Silvano De Franceschi, Pascal Gentile, Riccardo Rurali, and Xavier Cartoixà. “PtSi Clustering in Silicon Probed by Transport Spectroscopy.” Physical Review X. American Physical Society, 2014. https://doi.org/10.1103/PhysRevX.3.041025.
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1791
Baek, Seungtae, Géraldine Kerjan, Stephanie Bielas, Jieun Lee, Ali Fenstermaker, Gaia Novarino, and Joseph Gleeson. “Off-Target Effect of Doublecortin Family ShRNA on Neuronal Migration Associated with Endogenous MicroRNA Dysregulation.” Neuron. Elsevier, 2014. https://doi.org/10.1016/j.neuron.2014.04.036.
View | DOI
 

2014 | Book Chapter | IST-REx-ID: 1806
Baster, Pawel, and Jiří Friml. “Auxin on the Road Navigated by Cellular PIN Polarity.” In Auxin and Its Role in Plant Development, edited by Eva Zažímalová, Jan Petrášek, and Eva Benková, 143–70. Springer, 2014. https://doi.org/10.1007/978-3-7091-1526-8_8.
View | DOI
 

Search

Filter Publications