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.

2645 Publications


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: 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: 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: 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: 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 | 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 | 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: 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: 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: 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: 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: 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: 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: 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: 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 | 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 | 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 | Journal Article | IST-REx-ID: 1679   OA
Lemoult, Grégoire M, Philipp Maier, and Björn Hof. “Taylor’s Forest.” Physics of Fluids 27, no. 9 (2015). https://doi.org/10.1063/1.4930850.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1686
Kiermaier, Eva, and Michael K Sixt. “Fragmented Communication between Immune Cells: Neutrophils Blaze a Trail with Migratory Cues for T Cells to Follow to Sites of Infection.” Science 349, no. 6252 (2015): 1055–56. https://doi.org/10.1126/science.aad0867.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed