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.

364 Publications


2015 | Conference Paper | IST-REx-ID: 1654   OA
Gazi, Peter, Krzysztof Z Pietrzak, and Stefano Tessaro. “Generic Security of NMAC and HMAC with Input Whitening.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48800-3_4.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1642   OA
Fulek, Radoslav, Jan Kynčl, Igor Malinovič, and Dömötör Pálvölgyi. “Clustered Planarity Testing Revisited.” Electronic Journal of Combinatorics 22, no. 4 (2015).
View | Files available
 

2015 | Journal Article | IST-REx-ID: 1700   OA
Van Loon, Erik, Mikhail Katsnelson, and Mikhail Lemeshko. “Ultralong-Range Order in the Fermi-Hubbard Model with Long-Range Interactions.” Physical Review B 92, no. 8 (2015). https://doi.org/10.1103/PhysRevB.92.081106.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1712   OA
Ratheesh, Aparna, Vera Belyaeva, and Daria E Siekhaus. “Drosophila Immune Cell Migration and Adhesion during Embryonic Development and Larval Immune Responses.” Current Opinion in Cell Biology 36, no. 10 (2015): 71–79. https://doi.org/10.1016/j.ceb.2015.07.003.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1813   OA
Schmidt, Richard, and Mikhail Lemeshko. “Rotation of Quantum Impurities in the Presence of a Many-Body Environment.” Physical Review Letters 114, no. 20 (2015). https://doi.org/10.1103/PhysRevLett.114.203001.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1818   OA
Polechova, Jitka, and Nicholas H Barton. “Limits to Adaptation along Environmental Gradients.” PNAS 112, no. 20 (2015): 6401–6. https://doi.org/10.1073/pnas.1421515112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1793   OA
Symonova, Olga, Christopher Topp, and Herbert Edelsbrunner. “DynamicRoots: A Software Platform for the Reconstruction and Analysis of Growing Plant Roots.” PLoS One 10, no. 6 (2015). https://doi.org/10.1371/journal.pone.0127657.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1868
Park, Youngyong, Younghae Do, Sebastian Altmeyer, Yingcheng Lai, and Gyuwon Lee. “Early Effect in Time-Dependent, High-Dimensional Nonlinear Dynamical Systems with Multiple Resonances.” Physical Review E 91, no. 2 (2015). https://doi.org/10.1103/PhysRevE.91.022906.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1940   OA
Sokolowski, Thomas R, and Gasper Tkacik. “Optimizing Information Flow in Small Genetic Networks. IV. Spatial Coupling.” Physical Review E Statistical Nonlinear and Soft Matter Physics 91, no. 6 (2015). https://doi.org/10.1103/PhysRevE.91.062710.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1938
Pausinger, Florian, and Stefan Steinerberger. “On the Distribution of Local Extrema in Quantum Chaos.” Physics Letters, Section A 379, no. 6 (2015): 535–41. https://doi.org/10.1016/j.physleta.2014.12.010.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1849
Himschoot, Ellie, Tom Beeckman, Jiřĺ Friml, and Steffen Vanneste. “Calcium Is an Organizer of Cell Polarity in Plants.” Biochimica et Biophysica Acta - Molecular Cell Research 1853, no. 9 (2015): 2168–72. https://doi.org/10.1016/j.bbamcr.2015.02.017.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2025   OA
Kawada, Daiki, Hiromu Kobayashi, Tsuyoshi Tomita, Eisuke Nakata, Makoto Nagano, Daria E Siekhaus, Junko Toshima, and Jiro Toshimaa. “The Yeast Arf-GAP Glo3p Is Required for the Endocytic Recycling of Cell Surface Proteins.” Biochimica et Biophysica Acta - Molecular Cell Research 1853, no. 1 (2015): 144–56. https://doi.org/10.1016/j.bbamcr.2014.10.009.
View | Files available | DOI
 

2015 | Thesis | IST-REx-ID: 1399
Pausinger, Florian. On the Approximation of Intrinsic Volumes. IST Austria, 2015.
View | Files available
 

2015 | Journal Article | IST-REx-ID: 256   OA
Browning, Timothy D, and Sean Prendiville. “Improvements in Birch’s Theorem on Forms in Many Variables.” Journal Fur Die Reine Und Angewandte Mathematik 2017, no. 731 (2015). https://doi.org/10.1515/crelle-2014-0122.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 388   OA
Alpichshe, Zhanybek, Fahad Mahmood, Gang Cao, and Nuh Gedik. “Confinement Deconfinement Transition as an Indication of Spin Liquid Type Behavior in Na2IrO3.” Physical Review Letters 114, no. 1 (2015). https://doi.org/10.1103/PhysRevLett.114.017203.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 477
Holst, Katrin, Daria Guseva, Susann Schindler, Michael K Sixt, Armin Braun, Himpriya Chopra, Oliver Pabst, and Evgeni Ponimaskin. “The Serotonin Receptor 5-HT7R Regulates the Morphology and Migratory Properties of Dendritic Cells.” Journal of Cell Science 128, no. 15 (2015): 2866–80. https://doi.org/10.1242/jcs.167999.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 5808
Biswas, Ranita, and Partha Bhowmick. “Layer the Sphere.” The Visual Computer 31, no. 6–8 (2015): 787–97. https://doi.org/10.1007/s00371-015-1101-3.
View | DOI
 

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 61, no. 9 (2015): 4838–51. https://doi.org/10.1109/tit.2015.2453315.
View | DOI | Download (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 92, no. 18 (2015). https://doi.org/10.1103/physrevb.92.180509.
View | DOI
 

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 25, no. 12 (2015): 1423–30. https://doi.org/10.1093/glycob/cwv059.
View | DOI | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 782
Alistarh, Dan, 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 | Journal Article | IST-REx-ID: 814
Schur, Florian, 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 517, no. 7535 (2015): 505–8. https://doi.org/10.1038/nature13838.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1591
Adamowski, Maciek, and Jirí Friml. “PIN-Dependent Auxin Transport: Action, Regulation, and Evolution.” Plant Cell 27, no. 1 (2015): 20–32. https://doi.org/10.1105/tpc.114.134874.
View | Files available | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1510
Franek, Peter, and Marek Krcál. “On Computability and Triviality of Well Groups,” 34:842–56. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SOCG.2015.842.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5430
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 | Conference Paper | IST-REx-ID: 1541
Ray, Rajarshi, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, and Radu Grosu. “XSpeed: Accelerating Reachability Analysis on Multi-Core Processors.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_1.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1553
Maiuri, Paolo, Jean Rupprecht, Stefan Wieser, Verena Ruprecht, Olivier Bénichou, Nicolas Carpi, Mathieu Coppey, et al. “Actin Flows Mediate a Universal Coupling between Cell Speed and Cell Persistence.” Cell 161, no. 2 (2015): 374–86. https://doi.org/10.1016/j.cell.2015.01.056.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1539   OA
Ruess, Jakob. “Minimal Moment Equations for Stochastic Models of Biochemical Reaction Networks with Partially Finite State Space.” Journal of Chemical Physics 143, no. 24 (2015). https://doi.org/10.1063/1.4937937.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1609   OA
Chatterjee, Krishnendu, Laurent Doyen, and Moshe Vardi. “The Complexity of Synthesis from Probabilistic Components.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_9.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015. https://doi.org/10.1145/2728606.2728622.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1697   OA
Marre, Olivier, Vicente Botella Soler, Kristina Simmons, Thierry Mora, Gasper Tkacik, and Michael Berry. “High Accuracy Decoding of Dynamical Motion from a Large Retinal Population.” PLoS Computational Biology 11, no. 7 (2015). https://doi.org/10.1371/journal.pcbi.1004304.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1673   OA
Adlam, Ben, Krishnendu Chatterjee, and Martin Nowak. “Amplifiers of Selection.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 471, no. 2181 (2015). https://doi.org/10.1098/rspa.2015.0114.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1630   OA
Guerrero, Paul, Stefan Jeschke, Michael Wimmer, and Peter Wonka. “Learning Shape Placements by Example,” Vol. 34. ACM, 2015. https://doi.org/10.1145/2766933.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1678   OA
Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Markus Muellner, Matthias Nowak, Sebastian Nijman, Michael Grusch, and Harald L Janovjak. “Light-Assisted Small-Molecule Screening against Protein Kinases.” Nature Chemical Biology 11, no. 12 (2015): 952–54. https://doi.org/10.1038/nchembio.1933.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1680
Michaliszyn, Jakub, Jan Otop, and Emanuel Kieroňski. “On the Decidability of Elementary Modal Logics.” ACM Transactions on Computational Logic 17, no. 1 (2015). https://doi.org/10.1145/2817825.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1856   OA
Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.” Journal of the ACM 62, no. 1 (2015). https://doi.org/10.1145/2699430.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1882   OA
Fahrenberg, Uli, Jan Kretinsky, Axel Legay, and Louis Traonouez. “Compositionality for Quantitative Specifications,” 8997:306–24. Springer, 2015. https://doi.org/10.1007/978-3-319-15317-9_19.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1729
Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-21668-3_11.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1731   OA
Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.” Information and Computation 245, no. 12 (2015): 3–16. https://doi.org/10.1016/j.ic.2015.06.003.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1661
Chatterjee, Krishnendu, Monika Henzinger, and Veronika Loitzenbauer. “Improved Algorithms for One-Pair and k-Pair Streett Objectives.” In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015. https://doi.org/10.1109/LICS.2015.34.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5435
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 | Journal Article | IST-REx-ID: 523   OA
Chatterjee, Krishnendu, Laurent Doyen, Mickael Randour, and Jean Raskin. “Looking at Mean-Payoff and Total-Payoff through Windows.” Information and Computation 242, no. 6 (2015): 25–52. https://doi.org/10.1016/j.ic.2015.03.010.
View | Files available | DOI | Download (ext.)
 

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 50, no. 1 (2015): 539–51. https://doi.org/10.1145/2676726.2676968.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 333
Walter, Marc, Kostiantyn Kravchyk, Maria Ibáñez, and Maksym Kovalenko. “Efficient and Inexpensive Sodium Magnesium Hybrid Battery.” Chemistry of Materials 27, no. 21 (2015): 7452–58. https://doi.org/10.1021/acs.chemmater.5b03531.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 2006   OA
Hein, Nicolas, Christopher Hillar, Abraham Martin Del Campo Sanchez, Frank Sottile, and Zach Teitler. “The Monotone Secant Conjecture in the Real Schubert Calculus.” Experimental Mathematics 24, no. 3 (2015): 261–69. https://doi.org/10.1080/10586458.2014.980044.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1832   OA
Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.” Logical Methods in Computer Science 11, no. 1 (2015): 20. https://doi.org/10.2168/LMCS-11(1:20)2015.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5442
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 | Conference Paper | IST-REx-ID: 1820
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Optimal Cost Almost-Sure Reachability in POMDPs.” In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence , 5:3496–3502. AAAI Press, 2015.
View | Files available | Download (ext.) | arXiv
 

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 24 (2015): 6148–62. https://doi.org/10.1111/mec.13452.
View | DOI | Download (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 282, no. 1810 (2015): 20150689. https://doi.org/10.1098/rspb.2015.0689.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed