Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




3450 Publications

2017 | Conference Paper | IST-REx-ID: 949 | OA
Chatterjee, Krishnendu, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. “JTDec: A Tool for Tree Decompositions in Soot.” edited by Deepak D’Souza, 10482:59–66. Springer, 2017. https://doi.org/10.1007/978-3-319-68167-2_4.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 639 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar 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 | Journal Article | IST-REx-ID: 960 | OA
Hansen, Andi H, Christian F Düllberg, Christine Mieck, Martin Loose, and Simon Hippenmeyer. “Cell Polarity in Cerebral Cortex Development - Cellular Architecture Shaped by Biochemical Networks.” Frontiers in Cellular Neuroscience. Frontiers Research Foundation, 2017. https://doi.org/10.3389/fncel.2017.00176.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 647 | OA
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 631 | OA
Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,” 10205:589–606. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_34.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin, Martin, Matthieu Landon, and Rishi Jajoo. “Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.” PLoS One. Public Library of Science, 2017. https://doi.org/10.1371/journal.pone.0174066.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 735
Barone, Vanessa, Moritz Lang, Gabriel Krens, Saurabh Pradhan, Shayan Shamipour, Keisuke Sako, Mateusz K Sikora, Calin C Guet, and Carl-Philipp J Heisenberg. “An Effective Feedback Loop between Cell-Cell Contact Duration and Morphogen Signaling Determines Cell Fate.” Developmental Cell. Cell Press, 2017. https://doi.org/10.1016/j.devcel.2017.09.014.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 664
Assen, Frank P, and Michael K Sixt. “The Dynamic Cytokine Niche.” Immunity. Cell Press, 2017. https://doi.org/10.1016/j.immuni.2017.04.006.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai, Hikari, Aiko Kawahara, Keiko Hirayama, Matthew J Case, Shotaro Aino, Masahiro Miyabe, Ken Wakita, et al. “PirB Regulates Asymmetries in Hippocampal Circuitry.” PLoS One. Public Library of Science, 2017. https://doi.org/10.1371/journal.pone.0179377.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 696 | OA
Lukacisinova, Marta, Sebastian Novak, and Tiago Paixao. “Stress Induced Mutagenesis: Stress Diversity Facilitates the Persistence of Mutator Genes.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005609.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1027 | OA
Lukacisinova, Marta, and Mark Tobias Bollenbach. “Toward a Quantitative Understanding of Antibiotic Resistance Evolution.” Current Opinion in Biotechnology. Elsevier, 2017. https://doi.org/10.1016/j.copbio.2017.02.013.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1024 | OA
Hurny, Andrej, and Eva Benková. “Methodological Advances in Auxin and Cytokinin Biology.” Auxins and Cytokinins in Plant Biology. Springer, 2017. https://doi.org/10.1007/978-1-4939-6831-2_1.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 704 | OA
Steinrück, Magdalena, and Calin C Guet. “Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.25100.
View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 676 | OA
Krens, Gabriel, Jim Veldhuis, Vanessa Barone, Daniel Capek, Jean-Léon Maître, Wayne Brodland, and Carl-Philipp J Heisenberg. “Interstitial Fluid Osmolarity Modulates the Action of Differential Tissue Surface Tension in Progenitor Cell Segregation during Gastrulation.” Development. Company of Biologists, 2017. https://doi.org/10.1242/dev.144964.
View | Files available | DOI | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 661 | OA
Smutny, Michael, Zsuzsa Ákos, Silvia Grigolon, Shayan Shamipour, Verena Ruprecht, Daniel Capek, Martin Behrndt, et al. “Friction Forces Position the Neural Anlage.” Nature Cell Biology. Nature Publishing Group, 2017. https://doi.org/10.1038/ncb3492.
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 8094 | OA
Martius, Georg S, Rafael Hostettler, Alois Knoll, and Ralf Der. “Self-Organized Control of an Tendon Driven Arm by Differential Extrinsic Plasticity.” In Proceedings of the Artificial Life Conference 2016, 28:142–43. MIT Press, 2016. https://doi.org/10.7551/978-0-262-33936-0-ch029.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1705 | OA
Bogomolov, Sergiy, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor Johnson, Hamed Ladan, Andreas Podelski, and Martin Wehrle. “Guided Search for Hybrid Systems Based on Coarse-Grained Space Abstractions.” International Journal on Software Tools for Technology Transfer. Springer, 2016. https://doi.org/10.1007/s10009-015-0393-y.
View | Files available | DOI
 
2016 | Conference Paper | IST-REx-ID: 1707
Pielorz, Jasmin, and Christoph Lampert. “Optimal Geospatial Allocation of Volunteers for Crisis Management.” IEEE, 2016. https://doi.org/10.1109/ICT-DM.2015.7402041.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1794 | OA
Kolmogorov, Vladimir, and Rustem Takhanov. “Inference Algorithms for Pattern-Based CRFs on Sequence Data.” Algorithmica. Springer, 2016. https://doi.org/10.1007/s00453-015-0017-7.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1833 | OA
Klimova, Anna, and Tamás Rudas. “On the Closure of Relational Models.” Journal of Multivariate Analysis. Elsevier, 2016. https://doi.org/10.1016/j.jmva.2015.10.005.
View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1881 | OA
Lee, Jioon, and Kevin Schnelli. “Extremal Eigenvalues and Eigenvectors of Deformed Wigner Matrices.” Probability Theory and Related Fields. Springer, 2016. https://doi.org/10.1007/s00440-014-0610-8.
View | DOI | Download Preprint (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: 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 | 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: 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: 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.)
 

Search

Filter Publications