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.

358 Publications


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: 333
Walter, Marc, Kostiantyn Kravchyk, Maria Ibanez, 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: 3585
Cao, Thanh, Herbert Edelsbrunner, and Tiow Tan. “Proof of Correctness of the Digital Delaunay Triangulation Algorithm.” Computational Geometry: Theory and Applications 48, no. 7 (2015): 507–19. https://doi.org/10.1016/j.comgeo.2015.04.001.
View | DOI
 

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: 1856
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 | Journal Article | IST-REx-ID: 1731
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 | 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 | 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, 2015–July:7174888. IEEE, 2015. https://doi.org/10.1109/LICS.2015.34.
View | Files available | DOI | Download (ext.)
 

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 | 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 | 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
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 | 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: 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: 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 | 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 | 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: 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 | 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: 1678
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: 1666
Tugrul, Murat, Tiago Paixao, Nicholas H Barton, and Gasper Tkacik. “Dynamics of Transcription Factor Binding Site Evolution.” PLoS Genetics 11, no. 11 (2015). https://doi.org/10.1371/journal.pgen.1005639.
View | Files available | 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: 1495   OA
Edelsbrunner, Herbert, Mabel Iglesias Ham, and Vitaliy Kurlin. “Relaxed Disk Packing.” In Proceedings of the 27th Canadian Conference on Computational Geometry, 2015–August:128–35. Queen’s University, 2015.
View | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 120
Lee, Victor, Scott R Waitukaitis, Marc Miskin, and Heinrich Jaeger. “Direct Observation of Particle Interactions and Clustering in Charged Granular Streams.” Nature Physics 11, no. 9 (2015): 733–37. https://doi.org/10.1038/nphys3396.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1314
Fischer, Julian L. “A Posteriori Modeling Error Estimates for the Assumption of Perfect Incompressibility in the Navier-Stokes Equation.” SIAM Journal on Numerical Analysis 53, no. 5 (2015): 2178–2205. https://doi.org/10.1137/140966654.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1383
Yu, Luo, Stefan Scholl, Anett Doering, Zhang Yi, Niloufer Irani, Simone Di Rubbo, Lutz Neumetzler, et al. “V-ATPase Activity in the TGN/EE Is Required for Exocytosis and Recycling in Arabidopsis.” Nature Plants 1, no. 7 (2015). https://doi.org/10.1038/nplants.2015.94.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1504   OA
Bao, Zhigang, Liang Lin, Guangming Pan, and Wang Zhou. “Spectral Statistics of Large Dimensional Spearman s Rank Correlation Matrix and Its Application.” Annals of Statistics 43, no. 6 (2015): 2588–2623. https://doi.org/10.1214/15-AOS1353.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1509   OA
Michalko, Jaroslav, Marta Dravecka, Tobias Bollenbach, and Jirí Friml. “Embryo-Lethal Phenotypes in Early Abp1 Mutants Are Due to Disruption of the Neighboring BSM Gene.” F1000 Research 4 (2015). https://doi.org/10.12688/f1000research.7143.1.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1542   OA
Paixao, Tiago, Golnaz Badkobeh, Nicholas H Barton, Doğan Çörüş, Duccuong Dang, Tobias Friedrich, Per Lehre, Dirk Sudholt, Andrew Sutton, and Barbora Trubenova. “Toward a Unifying Framework for Evolutionary Processes.” Journal of Theoretical Biology 383 (2015): 28–43. https://doi.org/10.1016/j.jtbi.2015.07.011.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1547   OA
Mohammadi, Fatemeh, and Somayeh Moradi. “Resolution of Unmixed Bipartite Graphs.” Bulletin of the Korean Mathematical Society 52, no. 3 (2015): 977–86. https://doi.org/10.4134/BKMS.2015.52.3.977.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1554   OA
Liao, Cheyang, Wouter Smet, Géraldine Brunoud, Saiko Yoshida, Teva Vernoux, and Dolf Weijers. “Reporters for Sensitive and Quantitative Measurement of Auxin Response.” Nature Methods 12, no. 3 (2015): 207–10. https://doi.org/10.1038/nmeth.3279.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1559   OA
Ibsen-Jensen, Rasmus, Krishnendu Chatterjee, and Martin Nowak. “Computational Complexity of Ecological and Evolutionary Spatial Dynamics.” PNAS 112, no. 51 (2015): 15636–41. https://doi.org/10.1073/pnas.1511366112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1561
Heger, Klaus, Maike Kober, David Rieß, Christoph Drees, Ingrid De Vries, Arianna Bertossi, Axel Roers, Michael K Sixt, and Marc Schmidt Supprian. “A Novel Cre Recombinase Reporter Mouse Strain Facilitates Selective and Efficient Infection of Primary Immune Cells with Adenoviral Vectors.” European Journal of Immunology 45, no. 6 (2015): 1614–20. https://doi.org/10.1002/eji.201545457.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1566   OA
Gómez Sicilia, Àngel, Mateusz K Sikora, Marek Cieplak, and Mariano Carrión Vázquez. “An Exploration of the Universe of Polyglutamine Structures.” PLoS Computational Biology 11, no. 10 (2015). https://doi.org/10.1371/journal.pcbi.1004541.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1530
Bierbaum, Veronika, and Stefan Klumpp. “Impact of the Cell Division Cycle on Gene Circuits.” Physical Biology 12, no. 6 (2015). https://doi.org/10.1088/1478-3975/12/6/066003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1535
Vandael, David H, Andrea Marcantoni, and Emilio Carbone. “Cav1.3 Channels as Key Regulators of Neuron-like Firings and Catecholamine Release in Chromaffin Cells.” Current Molecular Pharmacology 8, no. 2 (2015): 149–61. https://doi.org/10.2174/1874467208666150507105443.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1578
Cao, Thanhtung, Herbert Edelsbrunner, and Tiowseng Tan. “Triangulations from Topologically Correct Digital Voronoi Diagrams.” Computational Geometry 48, no. 7 (2015): 507–19. https://doi.org/10.1016/j.comgeo.2015.04.001.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1580
Brenes, Oscar, David H Vandael, Emilio Carbone, Pier Montarolo, and Mirella Ghirardi. “Knock-down of Synapsin Alters Cell Excitability and Action Potential Waveform by Potentiating BK and Voltage Gated Ca2 Currents in Helix Serotonergic Neurons.” Neuroscience 311 (2015): 430–43. https://doi.org/10.1016/j.neuroscience.2015.10.046.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1573   OA
Chen, Thomas, Christian Hainzl, Nataša Pavlović, and Robert Seiringer. “Unconditional Uniqueness for the Cubic Gross Pitaevskii Hierarchy via Quantum de Finetti.” Communications on Pure and Applied Mathematics 68, no. 10 (2015): 1845–84. https://doi.org/10.1002/cpa.21552.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1585
Bao, Zhigang, Guangming Pan, and Wang Zhou. “Asymptotic Mutual Information Statistics of MIMO Channels and CLT of Sample Covariance Matrices.” IEEE Transactions on Information Theory 61, no. 6 (2015): 3413–26. https://doi.org/10.1109/TIT.2015.2421894.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1624   OA
Pavlogiannis, Andreas, Krishnendu Chatterjee, Ben Adlam, and Martin Nowak. “Cellular Cooperation with Shift Updating and Repulsion.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep17147.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1636   OA
Kolmogorov, Vladimir, Michal Rolinek, and Rustem Takhanov. “Effectiveness of Structural Restrictions for Hybrid CSPs.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-48971-0_48.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1605
Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_2.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1600   OA
Wenzl, Bernhard. “Schwarzes Selbstbewusstsein. Die Romanliteratur Der Harlem Renaissance.” Wiener Zeitung, 2015, 43–43.
View | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1648   OA
Fuchsbauer, Georg, Zahra Jafargholi, and Krzysztof Z Pietrzak. “A Quasipolynomial Reduction for Generalized Selective Decryption on Trees,” 9215:601–20. Springer, 2015. https://doi.org/10.1007/978-3-662-47989-6_29.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1650   OA
Skórski, Maciej, Alexander Golovnev, and Krzysztof Z Pietrzak. “Condensed Unpredictability ,” 9134:1046–57. Springer, 2015. https://doi.org/10.1007/978-3-662-47672-7_85.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1655   OA
Martius, Georg S, and Eckehard Olbrich. “Quantifying Emergent Behavior of Autonomous Robots.” Entropy 17, no. 10 (2015): 7266–97. https://doi.org/10.3390/e17107266.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1693   OA
Amaro, Pedro, Beatrice Franke, Julian Krauth, Marc Diepold, Filippo Fratini, Laleh Safari, Jorge Machado, et al. “Quantum Interference Effects in Laser Spectroscopy of Muonic Hydrogen, Deuterium, and Helium-3.” Physical Review A 92, no. 2 (2015). https://doi.org/10.1103/PhysRevA.92.022514.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1698   OA
Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.” Information and Computation 241, no. 4 (2015): 177–96. https://doi.org/10.1016/j.ic.2015.03.001.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed