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.

2715 Publications


2016 | Conference Paper | IST-REx-ID: 1095   OA
Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.” In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.CONCUR.2016.6.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1103   OA
Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.” IEEE, 2016. https://doi.org/10.1109/MEMCOD.2016.7797741.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1242   OA
Sokolowski, Thomas R, Aleksandra Walczak, William Bialek, and Gasper Tkacik. “Extending the Dynamic Range of Transcription Factor Action by Translational Regulation.” Physical Review E Statistical Nonlinear and Soft Matter Physics 93, no. 2 (2016). https://doi.org/10.1103/PhysRevE.93.022404.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1259   OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry 19, no. 2 (2016). https://doi.org/10.1007/s11040-016-9209-x.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1285
Paluch, Ewa, Irene Aspalter, and Michael K Sixt. “Focal Adhesion-Independent Cell Migration.” Annual Review of Cell and Developmental Biology 32 (2016): 469–90. https://doi.org/10.1146/annurev-cellbio-111315-125341.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1350   OA
Guzmán, José, Alois Schlögl, Michael Frotscher, and Peter M Jonas. “Synaptic Mechanisms of Pattern Completion in the Hippocampal CA3 Network.” Science 353, no. 6304 (2016): 1117–23. https://doi.org/10.1126/science.aaf1836.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1230   OA
Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,” 9583:328–47. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_16.
View | Files available | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1324
Chatterjee, Krishnendu, and Martin Chmelik. “Indefinite-Horizon Reachability in Goal-DEC-POMDPs.” In Proceedings of the Twenty-Sixth International Conference on International Conference on Automated Planning and Scheduling, 2016–January:88–96. AAAI Press, 2016.
View | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1413
Jeschke, Stefan. “Generalized Diffusion Curves: An Improved Vector Representation for Smooth-Shaded Images.” Computer Graphics Forum 35, no. 2 (2016): 71–79. https://doi.org/10.1111/cgf.12812.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 1386   OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 1432   OA
Mishra, Rajiv Kumar, Sooyun Kim, José Guzmán, and Peter M Jonas. “Symmetric Spike Timing-Dependent Plasticity at CA3–CA3 Synapses Optimizes Storage and Recall in Autoassociative Networks.” Nature Communications 7 (2016). https://doi.org/10.1038/ncomms11552.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1545   OA
Nam, Phan, Marcin M Napiórkowski, and Jan Solovej. “Diagonalization of Bosonic Quadratic Hamiltonians by Bogoliubov Transformations.” Journal of Functional Analysis 270, no. 11 (2016): 4340–68. https://doi.org/10.1016/j.jfa.2015.12.007.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1526   OA
Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,” 9583:250–67. Springer, 2016. https://doi.org/10.1007/978-3-662-49122-5_12.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 1071
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Optimal Reachability and a Space Time Tradeoff for Distance Queries in Constant Treewidth Graphs,” Vol. 57. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ESA.2016.28.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1437
Chatterjee, Krishnendu, Amir Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis. “Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components,” 20–22:733–47. ACM, 2016. https://doi.org/10.1145/2837614.2837624.
View | Files available | DOI | Download (ext.) | arXiv
 

2016 | Technical Report | IST-REx-ID: 5453
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Arbitrarily Strong Amplifiers of Natural Selection. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2017-749-v3-1.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1379
Burton, Benjamin, Arnaud N De Mesmay, and Uli Wagner. “Finding Non-Orientable Surfaces in 3-Manifolds,” 51:24.1-24.15. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2016. https://doi.org/10.4230/LIPIcs.SoCG.2016.24.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1278   OA
Matsuno, Hitomi, Moeko Kudoh, Akiya Watakabe, Tetsuo Yamamori, Ryuichi Shigemoto, and Soichi Nagao. “Distribution and Structure of Synapses on Medial Vestibular Nuclear Neurons Targeted by Cerebellar Flocculus Purkinje Cells and Vestibular Nerve in Mice: Light and Electron Microscopy Studies.” PLoS One 11, no. 10 (2016): e0164037. https://doi.org/10.1371/journal.pone.0164037.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1483   OA
Reininghaus, Jan, Stefan Huber, Ulrich Bauer, and Roland Kwitt. “A Stable Multi-Scale Kernel for Topological Machine Learning,” 4741–48. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7299106.
View | DOI | Download (ext.)
 

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: 1534   OA
Wang, Hongzhe, Kezhen Yang, Junjie Zou, Lingling Zhu, Zidian Xie, Miyoterao Morita, Masao Tasaka, et al. “Transcriptional Regulation of PIN Genes by FOUR LIPS and MYB88 during Arabidopsis Root Gravitropism.” Nature Communications 6 (2015). https://doi.org/10.1038/ncomms9822.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1508   OA
Erdös, László, and Horng Yau. “Gap Universality of Generalized Wigner and β Ensembles.” Journal of the European Mathematical Society 17, no. 8 (2015): 1927–2036. https://doi.org/10.4171/JEMS/548.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1546   OA
Nakamura, Yukihiro, Harumi Harada, Naomi Kamasawa, Ko Matsui, Jason Rothman, Ryuichi Shigemoto, R Angus Silver, David Digregorio, and Tomoyuki Takahashi. “Nanoscale Distribution of Presynaptic Ca2+ Channels and Its Impact on Vesicular Release during Development.” Neuron 85, no. 1 (2015): 145–58. https://doi.org/10.1016/j.neuron.2014.11.019.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1558
Ivanchenko, Maria, Jinsheng Zhu, Bangjun Wang, Eva Medvecka, Yunlong Du, Elisa Azzarello, Stefano Mancuso, et al. “The Cyclophilin a DIAGEOTROPICA Gene Affects Auxin Transport in Both Root and Shoot to Control Lateral Root Formation.” Development 142, no. 4 (2015): 712–21. https://doi.org/10.1242/dev.113225.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1560
Hons, Miroslav, and Michael K Sixt. “The Lymph Node Filter Revealed.” Nature Immunology 16, no. 4 (2015): 338–40. https://doi.org/10.1038/ni.3126.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 1565   OA
Gavello, Daniela, David H Vandael, Sara Gosso, Emilio Carbone, and Valentina Carabelli. “Dual Action of Leptin on Rest-Firing and Stimulated Catecholamine Release via Phosphoinositide 3-Kinase-Riven BK Channel up-Regulation in Mouse Chromaffin Cells.” Journal of Physiology 593, no. 22 (2015): 4835–53. https://doi.org/10.1113/JP271078.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1584   OA
Biedl, Therese, Martin Held, Stefan Huber, Dominik Kaaser, and Peter Palfrader. “Reprint of: Weighted Straight Skeletons in the Plane.” Computational Geometry: Theory and Applications 48, no. 5 (2015): 429–42. https://doi.org/10.1016/j.comgeo.2015.01.004.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1589   OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Magnetic Field Induced Flow Pattern Reversal in a Ferrofluidic Taylor-Couette System.” Scientific Reports 5 (2015). https://doi.org/10.1038/srep18589.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1572   OA
Correggi, Michele, Alessandro Giuliani, and Robert Seiringer. “Validity of the Spin-Wave Approximation for the Free Energy of the Heisenberg Ferromagnet.” Communications in Mathematical Physics 339, no. 1 (2015): 279–307. https://doi.org/10.1007/s00220-015-2402-0.
View | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1596   OA
Fulek, Radoslav, and Radoš Radoičić. “Vertical Visibility among Parallel Polygons in Three Dimensions.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-319-27261-0_31.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1623   OA
Hammar, Petter, Andreas Angermayr, Staffan Sjostrom, Josefin Van Der Meer, Klaas Hellingwerf, Elton Hudson, and Hakaan Joensson. “Single-Cell Screening of Photosynthetic Growth and Lactate Production by Cyanobacteria.” Biotechnology for Biofuels 8, no. 1 (2015). https://doi.org/10.1186/s13068-015-0380-2.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1611   OA
Whitfield, Jason, William Zhang, Michel Herde, Ben Clifton, Johanna Radziejewski, Harald L Janovjak, Christian Henneberger, and Colin Jackson. “Construction of a Robust and Sensitive Arginine Biosensor through Ancestral Protein Reconstruction.” Protein Science 24, no. 9 (2015): 1412–22. https://doi.org/10.1002/pro.2721.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1635   OA
Erbar, Matthias, Jan Maas, and Prasad Tetali. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.” Annales de La Faculté Des Sciences de Toulouse 24, no. 4 (2015): 781–800. https://doi.org/10.5802/afst.1464.
View | DOI | Download (ext.)
 

2015 | Journal Article | IST-REx-ID: 1666   OA
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 | Conference Paper | IST-REx-ID: 1685   OA
Cohen Addad, Vincent, and Arnaud N De Mesmay. “A Fixed Parameter Tractable Approximation Scheme for the Optimal Cut Graph of a Surface,” 9294:386–98. Springer, 2015. https://doi.org/10.1007/978-3-662-48350-3_33.
View | DOI | Download (ext.)
 

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: 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
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed