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.

6491 Publications


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: 479
Jiang, Yu, Han Liu, Hui Kong, Rui Wang, Mohamad Hosseini, Jiaguang Sun, and Lui Sha. “Use Runtime Verification to Improve the Quality of Medical Care Practice.” In Proceedings of the 38th International Conference on Software Engineering Companion , 112–21. IEEE, 2016. https://doi.org/10.1145/2889160.2889233.
View | 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 | Conference Paper | IST-REx-ID: 482
Rueda, Alfredo, Florian Sedlmeir, Michele Collodo, Ulrich Vogl, Birgit Stiller, Gerhard Schunk, Dmitry Strekalov, et al. “Nonlinear Single Sideband Microwave to Optical Conversion Using an Electro-Optic WGM-Resonator.” OSA, 2016. https://doi.org/10.1364/NP.2016.NTh3A.6.
View | DOI
 

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. Landes Bioscience, 2016. https://doi.org/10.1080/15592324.2016.1191734.
View | DOI | Download Submitted Version (ext.)
 

2016 | Journal Article | IST-REx-ID: 526
Wangenheim, Daniel von, Jens Fangerau, Alexander Schmitz, Richard Smith, Heike Leitte, Ernst Stelzer, and Alexis Maizel. “Rules and Self-Organizing Properties of Post-Embryonic Plant Organ Cell Division Patterns.” Current Biology. Cell Press, 2016. https://doi.org/10.1016/j.cub.2015.12.047.
View | DOI
 

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
 

2016 | Technical Report | IST-REx-ID: 5449 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak. Amplification on Undirected Population Structures: Comets Beat Stars. IST Austria, 2016. https://doi.org/10.15479/AT:IST-2016-648-v1-1.
View | Files available | DOI
 

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

2016 | Technical Report | IST-REx-ID: 5452 | OA
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-728-v2-1.
View | Files available | DOI
 

2016 | Technical Report | IST-REx-ID: 5453 | OA
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 | Research Data | IST-REx-ID: 5550 | OA
Ellis, Thomas, and David Field. “Flower Colour Data and Phylogeny (NEXUS) Files.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:34.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5551 | OA
Ellis, Thomas. “Data on Pollinator Observations and Offpsring Phenotypes.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:35.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5552 | OA
Ellis, Thomas. “Pollinator Visitation Data for Wild Antirrhinum Majus Plants, with Phenotypic and Frequency Data.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:36.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5553 | OA
Field, David, and Thomas Ellis. “Inference of Mating Patterns among Wild Snapdragons in a Natural Hybrid Zone in 2012.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:37.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5555 | OA
Hauschild, Robert. “Fiji Script to Determine Average Speed and Direction of Migration of Cells.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:44.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5556 | OA
Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. “MATLAB Analysis Code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:45.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5557 | OA
Swoboda, Paul. “Synthetic Discrete Tomography Problems.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:46.
View | Files available | DOI
 

2016 | Research Data | IST-REx-ID: 5558 | OA
Bojsen-Hansen, Morten. “Tracking, Correcting and Absorbing Water Surface Waves.” IST Austria, 2016. https://doi.org/10.15479/AT:ISTA:48.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 5771 | OA
Mattei, Simone, Florian KM Schur, and John AG Briggs. “Retrovirus Maturation—an Extraordinary Structural Transformation.” Current Opinion in Virology. Elsevier, 2016. https://doi.org/10.1016/j.coviro.2016.02.008.
View | Files available | DOI
 

2016 | Book Chapter | IST-REx-ID: 5805
Sen, Nabhasmita, Ranita Biswas, and Partha Bhowmick. “On Some Local Topological Properties of Naive Discrete Sphere.” In Computational Topology in Image Context, 9667:253–64. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-39441-1_23.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 5806
Biswas, Ranita, and Partha Bhowmick. “On Functionality of Quadraginta Octants of Naive Sphere with Application to Circle Drawing.” In Discrete Geometry for Computer Imagery, 9647:256–67. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-32360-2_20.
View | DOI
 

2016 | Book Chapter | IST-REx-ID: 5809
Biswas, Ranita, Partha Bhowmick, and Valentin E. Brimkov. “On the Connectivity and Smoothness of Discrete Spherical Circles.” In Combinatorial Image Analysis, 9448:86–100. Lecture Notes in Computer Science. Cham: Springer, 2016. https://doi.org/10.1007/978-3-319-26145-4_7.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 587 | OA
Hosten, Onur, Rajiv Krishnakumar, Nils Engelsen, and Mark Kasevich. “Quantum Phase Magnification.” Science. American Association for the Advancement of Science, 2016. https://doi.org/10.1126/science.aaf3397.
View | DOI | Download (ext.)
 

2016 | Journal Article | IST-REx-ID: 588
Hosten, Onur, Nils Engelsen, Rajiv Krishnakumar, and Mark Kasevich. “Measurement Noise 100 Times Lower than the Quantum-Projection Limit Using Entangled Atoms.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature16176.
View | DOI
 

2016 | Conference Paper | IST-REx-ID: 592
Engelsen, Nils, Onur Hosten, Rajiv Krishnakumar, and Mark Kasevich. “Engineering Spin Squeezed States for Quantum-Enhanced Atom Interferometry.” IEEE, 2016.
View | Download None (ext.)
 

2016 | Journal Article | IST-REx-ID: 602
Bernecky, Carrie, Franz Herzog, Wolfgang Baumeister, Jürgen Plitzko, and Patrick Cramer. “Structure of Transcribing Mammalian RNA Polymerase II.” Nature. Nature Publishing Group, 2016. https://doi.org/10.1038/nature16482.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 6732 | OA
Mondelli, Marco, S. Hamed Hassani, and Rudiger L. Urbanke. “Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error Floors.” IEEE Transactions on Information Theory. IEEE, 2016. https://doi.org/10.1109/tit.2016.2616117.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6733 | OA
Kudekar, Shrinivas, Santhosh Kumar, Marco Mondelli, Henry D. Pfister, and Rudiger Urbankez. “Comparing the Bit-MAP and Block-MAP Decoding Thresholds of Reed-Muller Codes on BMS Channels.” In 2016 IEEE International Symposium on Information Theory , 1755–59. IEEE, 2016. https://doi.org/10.1109/isit.2016.7541600.
View | DOI | Download Preprint (ext.) | arXiv
 

2016 | Conference Paper | IST-REx-ID: 6770
Mondelli, Marco, Shrinivas Kudekar, Santosh Kumar, Henry D. Pfister, Eren Şaşoğlu, and Rüdiger Urbanke. “Reed-Muller Codes: Thresholds and Weight Distribution.” In 24th International Zurich Seminar on Communications, 50. ETH Zürich, 2016. https://doi.org/10.3929/ETHZ-A-010646484.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7068 | OA
Moll, Philip J. W., Andrew C. Potter, Nityan L. Nair, B. J. Ramshaw, Kimberly A Modic, Scott Riggs, Bin Zeng, et al. “Magnetic Torque Anomaly in the Quantum Limit of Weyl Semimetals.” Nature Communications. Springer Nature, 2016. https://doi.org/10.1038/ncomms12492.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 7069
Chan, M. K., N. Harrison, R. D. McDonald, B. J. Ramshaw, Kimberly A Modic, N. Barišić, and M. Greven. “Single Reconstructed Fermi Surface Pocket in an Underdoped Single-Layer Cuprate Superconductor.” Nature Communications. Springer Nature, 2016. https://doi.org/10.1038/ncomms12244.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 7141
Rolando, Chiara, Andrea Erni, Alice Grison, Robert J Beattie, Anna Engler, Paul J. Gokhale, Marta Milo, Thomas Wegleiter, Sebastian Jessberger, and Verdon Taylor. “Multipotency of Adult Hippocampal NSCs in Vivo Is Restricted by Drosha/NFIB.” Cell Stem Cell. Elsevier, 2016. https://doi.org/10.1016/j.stem.2016.07.003.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1270 | OA
Hillenbrand, Patrick, Ulrich Gerland, and Gašper Tkačik. “Beyond the French Flag Model: Exploiting Spatial and Gene Regulatory Interactions for Positional Information.” PLoS One. Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0163628.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1271 | OA
Diz Muñoz, Alba, Pawel Romanczuk, Weimiao Yu, Martin Bergert, Kenzo Ivanovitch, Guillame Salbreux, Carl-Philipp J Heisenberg, and Ewa Paluch. “Steering Cell Migration by Alternating Blebs and Actin-Rich Protrusions.” BMC Biology. BioMed Central, 2016. https://doi.org/10.1186/s12915-016-0294-x.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1272 | OA
Held, Martin, Stefan Huber, and Peter Palfrader. “Generalized Offsetting of Planar Structures Using Skeletons.” Computer-Aided Design and Applications. Taylor and Francis, 2016. https://doi.org/10.1080/16864360.2016.1150718.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1273 | OA
Porco, Silvana, Antoine Larrieu, Yujuan Du, Allison Gaudinier, Tatsuaki Goh, Kamal Swarup, Ranjan Swarup, et al. “Lateral Root Emergence in Arabidopsis Is Dependent on Transcription Factor LBD29 Regulation of Auxin Influx Carrier LAX3.” Development. Company of Biologists, 2016. https://doi.org/10.1242/dev.136283.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1274 | OA
Mazur, Ewa, Eva Benková, and Jiří Friml. “Vascular Cambium Regeneration and Vessel Formation in Wounded Inflorescence Stems of Arabidopsis.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep33754.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1275
Callan Jones, Andrew, Verena Ruprecht, Stefan Wieser, Carl-Philipp J Heisenberg, and Raphaël Voituriez. “Callan-Jones et Al. Reply.” Physical Review Letters. American Physical Society, 2016. https://doi.org/10.1103/PhysRevLett.117.139802.
View | DOI
 

2016 | Journal Article | IST-REx-ID: 1276 | OA
Postila, Pekka, Karol Kaszuba, Patryk Kuleta, Ilpo Vattulainen, Marcin Sarewicz, Artur Osyczka, and Tomasz Róg. “Atomistic Determinants of Co-Enzyme Q Reduction at the Qi-Site of the Cytochrome Bc1 Complex.” Scientific Reports. Nature Publishing Group, 2016. https://doi.org/10.1038/srep33607.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1277 | OA
Ortiz Morea, Fausto, Daniel Savatin, Wim Dejonghe, Rahul Kumar, Yu Luo, Maciek Adamowski, Jos Van Begin, et al. “Danger-Associated Peptide Signaling in Arabidopsis Requires Clathrin.” PNAS. National Academy of Sciences, 2016. https://doi.org/10.1073/pnas.1605588113.
View | DOI | Download Preprint (ext.)
 

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. Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0164037.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1279 | OA
Kovács, Krisztián, Joseph O’Neill, Philipp Schönenberger, Markku Penttonen, Dámaris K Rangel Guerrero, and Jozsef L Csicsvari. “Optogenetically Blocking Sharp Wave Ripple Events in Sleep Does Not Interfere with the Formation of Stable Spatial Representation in the CA1 Area of the Hippocampus.” PLoS One. Public Library of Science, 2016. https://doi.org/10.1371/journal.pone.0164675.
View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1280 | OA
Bourgade, Paul, László Erdös, Horngtzer Yau, and Jun Yin. “Fixed Energy Universality for Generalized Wigner Matrices.” Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2016. https://doi.org/10.1002/cpa.21624.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1281 | OA
Bouguyon, Eléonore, Francine Perrine Walker, Marjorie Pervent, Juliette Rochette, Candela Cuesta, Eva Benková, Alexandre Martinière, et al. “Nitrate Controls Root Development through Posttranscriptional Regulation of the NRT1.1/NPF6.3 Transporter Sensor.” Plant Physiology. American Society of Plant Biologists, 2016. https://doi.org/10.1104/pp.16.01047.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1282 | OA
Gundert, Anna, and Uli Wagner. “On Eigenvalues of Random Complexes.” Israel Journal of Mathematics. Springer, 2016. https://doi.org/10.1007/s11856-016-1419-1.
View | DOI | Download Preprint (ext.)
 

2016 | Journal Article | IST-REx-ID: 1283
Zhu, Qiang, and Eva Benková. “Seedlings’ Strategy to Overcome a Soil Barrier.” Trends in Plant Science. Cell Press, 2016. https://doi.org/10.1016/j.tplants.2016.08.003.
View | Files available | DOI
 

Search

Filter Publications