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.

3013 Publications


2017 | Journal Article | IST-REx-ID: 1104 | OA
Deny, Stephane, Ulisse Ferrari, Emilie Mace, Pierre Yger, Romain Caplette, Serge Picaud, Gasper Tkacik, and Olivier Marre. “Multiplexed Computations in Retinal Ganglion Cells of a Single Type.” Nature Communications 8, no. 1 (2017). https://doi.org/10.1038/s41467-017-02159-y.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1107 | OA
Breuss, Martin, Andi H Hansen, Lukas Landler, and David Keays. “Brain Specific Knockin of the Pathogenic Tubb5 E401K Allele Causes Defects in Motor Coordination and Prepulse Inhibition.” Behavioural Brain Research 323 (2017): 47–55. https://doi.org/10.1016/j.bbr.2017.01.029.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1108 | OA
Zimin, Alexander, and Christoph Lampert. “Learning Theory for Conditional Risk Minimization,” 54:213–22. JMLR, Inc. and Microtome Publishing, 2017.
View | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1109 | OA
Shepperson, Benjamin, Anders Søndergaard, Lars Christiansen, Jan Kaczmarczyk, Robert Zillich, Mikhail Lemeshko, and Henrik Stapelfeldt. “Laser-Induced Rotation of Iodine Molecules in Helium Nanodroplets: Revivals and Breaking-Free.” Physical Review Letters 118, no. 20 (2017). https://doi.org/10.1103/PhysRevLett.118.203203.
View | DOI | Download Preprint (ext.)
 

2017 | Journal Article | IST-REx-ID: 1110 | OA
Kuhn, Benjamin, Tomasz Nodzyński, Sanae Errafi, Rahel Bucher, Shibu Gupta, Bibek Aryal, Petre Dobrev, et al. “Flavonol-Induced Changes in PIN2 Polarity and Auxin Transport in the Arabidopsis Thaliana Rol1-2 Mutant Require Phosphatase Activity.” Scientific Reports 7 (2017). https://doi.org/10.1038/srep41906.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1111 | OA
Heredia, Jorge, Barbora Trubenova, Dirk Sudholt, and Tiago Paixao. “Selection Limits to Adaptive Walks on Correlated Landscapes.” Genetics 205, no. 2 (2017): 803–25. https://doi.org/10.1534/genetics.116.189340.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1113 | OA
Fulek, Radoslav, Michael Pelsmajer, and Marcus Schaefer. “Hanani-Tutte for Radial Planarity.” Journal of Graph Algorithms and Applications 21, no. 1 (2017): 135–54. https://doi.org/10.7155/jgaa.00408.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 1114 | OA
Fink, Johannes M, András Dombi, András Vukics, Andreas Wallraff, and Peter Domokos. “Observation of the Photon Blockade Breakdown Phase Transition.” Physical Review X 7, no. 1 (2017). https://doi.org/10.1103/PhysRevX.7.011012.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1116 | OA
Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,” 10206:169–87. Springer, 2017. https://doi.org/10.1007/978-3-662-54580-5_10.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1117 | OA
Chen, Chong, Itaru Arai, Rachel Satterield, Samuel Young, and Peter M Jonas. “Synaptotagmin 2 Is the Fast Ca2+ Sensor at a Central Inhibitory Synapse.” Cell Reports 18, no. 3 (2017): 723–36. https://doi.org/10.1016/j.celrep.2016.12.067.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1118 | OA
Gan, Jian, Shih-Ming Weng, Alejandro Pernia-Andrade, Jozsef L Csicsvari, and Peter M Jonas. “Phase-Locked Inhibition, but Not Excitation, Underlies Hippocampal Ripple Oscillations in Awake Mice in Vivo.” Neuron 93, no. 2 (2017): 308–14. https://doi.org/10.1016/j.neuron.2016.12.018.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1119 | OA
Lemeshko, Mikhail. “Quasiparticle Approach to Molecules Interacting with Quantum Solvents.” Physical Review Letters 118, no. 9 (2017). https://doi.org/10.1103/PhysRevLett.118.095301.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1120 | OA
Li, Xiang, Robert Seiringer, and Mikhail Lemeshko. “Angular Self-Localization of Impurities Rotating in a Bosonic Bath.” Physical Review A 95, no. 3 (2017). https://doi.org/10.1103/PhysRevA.95.033608.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1132 | OA
O’Neill, Joseph, Charlotte Boccara, Federico Stella, Philipp Schönenberger, and Jozsef L Csicsvari. “Superficial Layers of the Medial Entorhinal Cortex Replay Independently of the Hippocampus.” Science 355, no. 6321 (2017): 184–88. https://doi.org/10.1126/science.aag2787.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1133 | OA
Yakaboylu, Enderalp, and Mikhail Lemeshko. “Anomalous Screening of Quantum Impurities by a Neutral Environment.” Physical Review Letters 118, no. 8 (2017). https://doi.org/10.1103/PhysRevLett.118.085302.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1144 | OA
Erdös, László, and Dominik J Schröder. “Fluctuations of Functions of Wigner Matrices.” Electronic Communications in Probability 21 (2017). https://doi.org/10.1214/16-ECP38.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1152 | OA
Gajda-Zagorska, Ewa P, Robert Schaefer, Maciej Smołka, David Pardo, and Julen Alvarez Aramberri. “A Multi Objective Memetic Inverse Solver Reinforced by Local Optimization Methods.” Journal of Computational Science 18 (2017): 85–94. https://doi.org/10.1016/j.jocs.2016.06.007.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 1155 | OA
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:TH_730.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1159 | OA
Steenackers, Ward, Petr Klíma, Mussa Quareshy, Igor Cesarino, Robert Kumpf, Sander Corneillie, Pedro Araújo, et al. “Cis-Cinnamic Acid Is a Novel Natural Auxin Efflux Inhibitor That Promotes Lateral Root Formation.” Plant Physiology 173, no. 1 (2017): 552–65. https://doi.org/10.1104/pp.16.00943.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 1160 | OA
Altmeyer, Sebastian, Younghae Do, and Ying Lai. “Dynamics of Ferrofluidic Flow in the Taylor-Couette System with a Small Aspect Ratio.” Scientific Reports 7 (2017). https://doi.org/10.1038/srep40012.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1162 | OA
Spałek, Jozef, Michał Zegrodnik, and Jan Kaczmarczyk. “Universal Properties of High Temperature Superconductors from Real Space Pairing T-J-U Model and Its Quantitative Comparison with Experiment.” Physical Review B - Condensed Matter and Materials Physics 95, no. 2 (2017). https://doi.org/10.1103/PhysRevB.95.024506.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1168 | OA
Perrone, Elisa, Andreas Rappold, and Werner Müller. “D Inf s Optimality in Copula Models.” Statistical Methods and Applications 26, no. 3 (2017): 403–18. https://doi.org/10.1007/s10260-016-0375-6.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1169 | OA
Novak, Sebastian, and Richard Kollár. “Spatial Gene Frequency Waves under Genotype Dependent Dispersal.” Genetics 205, no. 1 (2017): 367–74. https://doi.org/10.1534/genetics.116.193946.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1173 | OA
Edelsbrunner, Herbert, Alexey Glazyrin, Oleg Musin, and Anton Nikitenko. “The Voronoi Functional Is Maximized by the Delaunay Triangulation in the Plane.” Combinatorica 37, no. 5 (2017): 887–910. https://doi.org/10.1007/s00493-016-3308-y.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1174 | OA
Skórski, Maciej. “Lower Bounds on Key Derivation for Square-Friendly Applications,” Vol. 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.STACS.2017.57.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1175 | OA
Alwen, Joel F, Susanna De Rezende, Jakob Nordstrom, and Marc Vinyals. “Cumulative Space in Black-White Pebbling and Resolution.” edited by Christos Papadimitriou, 67:38:1-38-21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.ITCS.2017.38.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1176 | OA
Alwen, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.” IEEE, 2017. https://doi.org/10.1109/EuroSP.2017.47.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 1178 | OA
Skórski, Maciej. “Simulating Auxiliary Inputs, Revisited,” 9985:159–79. Springer, 2017. https://doi.org/10.1007/978-3-662-53641-4_7.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 911 | OA
Royer, Amélie, Alexander Kolesnikov, and Christoph Lampert. “Probabilistic Image Colorization,” 85.1-85.12. BMVA Press, 2017. https://doi.org/10.5244/c.31.85.
View | Files available | DOI | arXiv
 

2017 | Journal Article | IST-REx-ID: 8427 | OA
De Simoi, Jacopo, Vadim Kaloshin, and Qiaoling Wei. “Dynamical Spectral Rigidity among Z2-Symmetric Strictly Convex Domains Close to a Circle.” Annals of Mathematics 186, no. 1 (2017): 277–314. https://doi.org/10.4007/annals.2017.186.1.7.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 8423 | OA
Huang, Guan, Vadim Kaloshin, and Alfonso Sorrentino. “On the Marked Length Spectrum of Generic Strictly Convex Billiard Tables.” Duke Mathematical Journal 167, no. 1 (2017): 175–209. https://doi.org/10.1215/00127094-2017-0038.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Goharshady. “Non-Polynomial Worst Case Analysis of Recursive Programs.” edited by Rupak Majumdar and Viktor Kunčak, 10427:41–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_3.
View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 1001 | OA
Guseinov, Ruslan, Eder Miguel, and Bernd Bickel. “CurveUps: Shaping Objects from Flat Plates with Tension-Actuated Curvature,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073709.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 486 | OA
Elek, Oskar, Denis Sumin, Ran Zhang, Tim Weyrich, Karol Myszkowski, Bernd Bickel, Alexander Wilkie, and Jaroslav Krivanek. “Scattering-Aware Texture Reproduction for 3D Printing.” ACM Transactions on Graphics 36, no. 6 (2017). https://doi.org/10.1145/3130800.3130890.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 1002 | OA
Zhang, Ran, Thomas Auzinger, Duygu Ceylan, Wilmot Li, and Bernd Bickel. “Functionality-Aware Retargeting of Mechanisms to 3D Shapes,” Vol. 36. ACM, 2017. https://doi.org/10.1145/3072959.3073710.
View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 837 | OA
Xu, Haibing. Reactivation of the Hippocampal Cognitive Map in Goal-Directed Spatial Tasks. IST Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_858.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 453 | OA
Fallesen, Todd, Johanna Roostalu, Christian F Düllberg, Gunnar Pruessner, and Thomas Surrey. “Ensembles of Bidirectional Kinesin Cin8 Produce Additive Forces in Both Directions of Movement.” Biophysical Journal 113, no. 9 (2017): 2055–67. https://doi.org/10.1016/j.bpj.2017.09.006.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7279 | OA
Mourad, Eléonore, Laura Coustan, Pierre Lannelongue, Dodzi Zigah, Ahmad Mehdi, André Vioux, Stefan Alexander Freunberger, Frédéric Favier, and Olivier Fontaine. “Biredox Ionic Liquids with Solid-like Redox Density in the Liquid State for High-Energy Supercapacitors.” Nature Materials 16, no. 4 (2016): 446–53. https://doi.org/10.1038/nmat4808.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 7297 | OA
Freunberger, Stefan Alexander. “Batteries: Charging Ahead Rationally.” Nature Energy 1, no. 6 (2016). https://doi.org/10.1038/nenergy.2016.74.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7599 | OA
Tang, Yong, Chun-Yan Zhao, Shutang Tan, and Hong-Wei Xue. “Arabidopsis Type II Phosphatidylinositol 4-Kinase PI4Kγ5 Regulates Auxin Biosynthesis and Leaf Margin Development through Interacting with Membrane-Bound Transcription Factor ANAC078.” PLOS Genetics 12, no. 8 (2016). https://doi.org/10.1371/journal.pgen.1006252.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7737 | OA
Zhu, Zhihong, Futao Zhang, Han Hu, Andrew Bakshi, Matthew Richard Robinson, Joseph E Powell, Grant W Montgomery, et al. “Integration of Summary Data from GWAS and EQTL Studies Predicts Complex Trait Gene Targets.” Nature Genetics 48, no. 5 (2016): 481–87. https://doi.org/10.1038/ng.3538.
View | DOI | Download Published Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 786 | OA
Alistarh, Dan-Adrian, Keren Censor Hillel, and Nir Shavit. “Are Lock Free Concurrent Algorithms Practically Wait Free .” Journal of the ACM 63, no. 4 (2016). https://doi.org/10.1145/2903136.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Journal Article | IST-REx-ID: 460 | OA
Willmann, Katharina, Roberto Sacco, Rui Martins, Wojciech Garncarz, Ana Krolo, Sylvia Knapp, Keiryn Bennett, and Kaan Boztug. “Expanding the Interactome of the Noncanonical NF-ΚB Signaling Pathway.” Journal of Proteome Research 15, no. 9 (2016): 2900–2909. https://doi.org/10.1021/acs.jproteome.5b01004.
View | DOI | Download (ext.)
 

2016 | Conference Paper | IST-REx-ID: 478 | OA
Chatterjee, Krishnendu, and Rasmus Ibsen-Jensen. “The Complexity of Deciding Legality of a Single Step of Magic: The Gathering,” 285:1432–39. IOS Press, 2016. https://doi.org/10.3233/978-1-61499-672-9-1432.
View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 480 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives,” 05-08-July-2016:247–56. IEEE, 2016. https://doi.org/10.1145/2933575.2934513.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 510 | OA
Liu, Zhijun, Nan Yang, Yanting Lv, Lixia Pan, Shuo Lv, Huibin Han, and Guodong Wang. “The CLE Gene Family in Populus Trichocarpa.” Plant Signaling & Behavior 11, no. 6 (2016). https://doi.org/10.1080/15592324.2016.1191734.
View | DOI | Download Submitted Version (ext.)
 

2016 | Technical Report | IST-REx-ID: 5445 | OA
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. Quantitative Interprocedural Analysis. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-523-v1-1.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5446 | OA
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Termination and Worst-Case Analysis of Recursive Programs. IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5447 | OA
Anonymous, 1, 2 Anonymous, and 3 Anonymous. Average-Case Analysis of Programs: Automated Recurrence Analysis for Almost-Linear Bounds. IST Austria, 2016.
View | Files available
 

2016 | Technical Report | IST-REx-ID: 5448 | OA
Anonymous, 1, 2 Anonymous, 3 Anonymous, and 4 Anonymous. Data-Centric Dynamic Partial Order Reduction. IST Austria, 2016.
View | Files available | arXiv
 

Filters and Search Terms

oa=1

Search

Filter Publications