Please note that ISTA 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.

4181 Publications


2017 | Conference Paper | IST-REx-ID: 549 | OA
Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.” In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017. https://doi.org/10.4204/EPTCS.259.3.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 999 | OA
Pentina, Anastasia, and Christoph Lampert. “Multi-Task Learning with Labeled and Unlabeled Tasks,” 70:2807–16. ML Research Press, 2017.
[Submitted Version] View | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 459 | OA
Cremer, Sylvia. “Invasive Ameisen in Europa: Wie Sie Sich Ausbreiten Und Die Heimische Fauna Verändern.” Rundgespräche Forum Ökologie. Verlag Dr. Friedrich Pfeil, 2017.
[Published Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 432 | OA
Zhang, Hantian, Jerry Li, Kaan Kara, Dan-Adrian Alistarh, Ji Liu, and Ce Zhang. “ZipML: Training Linear Models with End-to-End Low Precision, and a Little Bit of Deep Learning.” In Proceedings of Machine Learning Research, 70:4035–43. ML Research Press, 2017.
[Submitted Version] View | Files available
 

2017 | Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” In Proceedings of the 31st Conference On Learning Theory, 75:228–49. ML Research Press, 2017.
[Published Version] View | Files available | arXiv
 

2017 | Journal Article | IST-REx-ID: 1030 | OA
Villányi, Márton. “Ein Freies Bibliothekssystem Für Wissenschaftliche Bibliotheken – Werkstattbericht Der IST Austria Library.” Informationspraxis. Verein Informationspraxis , 2017. https://doi.org/10.11588/ip.2017.1.35227.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 12193 | OA
Walker, James, Hongbo Gao, Jingyi Zhang, Billy Aldridge, Martin Vickers, James D. Higgins, and Xiaoqi Feng. “Sexual-Lineage-Specific DNA Methylation Regulates Meiosis in Arabidopsis.” Nature Genetics. Nature Research, 2017. https://doi.org/10.1038/s41588-017-0008-5.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 1194 | OA
Chatterjee, Krishnendu, Petr Novotný, and Djordje Zikelic. “Stochastic Invariants for Probabilistic Termination,” 52:145–60. ACM, 2017. https://doi.org/10.1145/3009837.3009873.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Book Chapter | IST-REx-ID: 545 | OA
Mazur, Ewa, and Jiří Friml. “Vascular Tissue Development and Regeneration in the Model Plant Arabidopsis.” In Plant Engineering, edited by Snježana Jurić, 113–40. Plant Engineering. InTech, 2017. https://doi.org/10.5772/intechopen.69712.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 621 | OA
Beattie, Robert J, and Simon Hippenmeyer. “Mechanisms of Radial Glia Progenitor Cell Lineage Progression.” FEBS Letters. Wiley-Blackwell, 2017. https://doi.org/10.1002/1873-3468.12906.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5562 | OA
Marre, Olivier, Gašper Tkačik, Dario Amodei, Elad Schneidman, William Bialek, and Michael Berry. “Multi-Electrode Array Recording from Salamander Retinal Ganglion Cells.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:61.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5561 | OA
Kainmueller, Dagmar, Florian Jug, Carsten Rother, and Gene Meyers. “Graph Matching Problems for Annotating C. Elegans.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:57.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5563 | OA
Lukacisin, Martin. “MATLAB Analysis Code for ‘Sequence-Specific Thermodynamic Properties of Nucleic Acids Influence Both Transcriptional Pausing and Backtracking in Yeast.’” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:64.
[Published Version] View | Files available | DOI
 

2017 | Thesis | IST-REx-ID: 839 | OA
Hahn, David. “Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_855.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 614 | OA
Fraisse, Christelle, Marion A L Picard, and Beatriz Vicoso. “The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.” Nature Communications. Nature Publishing Group, 2017. https://doi.org/10.1038/s41467-017-01663-5.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2017 | Research Data | IST-REx-ID: 5564 | OA
Steinrück, Magdalena, and Calin C Guet. “Fastq Files for ‘Complex Chromosomal Neighborhood Effects Determine the Adaptive Potential of a Gene under Selection.’” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:65.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5568 | OA
Hahn, David. “Source Codes: Brittle Fracture Simulation with Boundary Elements for Computer Graphics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:73.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 7163 | OA
Fraisse, Christelle. “Supplementary Files for ‘The Deep Conservation of the Lepidoptera Z Chromosome Suggests a Non Canonical Origin of the W.’” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:7163.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5570 | OA
Hauschild, Robert. “Forward Migration Indexes.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:75.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5567 | OA
Leithner, Alexander F. “Immunological Synapse DC-Tcells.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:71.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5560 | OA
Bergmiller, Tobias, Anna M Andersson, Kathrin Tomasek, Enrique Balleza, Daniel Kiviet, Robert Hauschild, Gašper Tkačik, and Calin C Guet. “Biased Partitioning of the Multi-Drug Efflux Pump AcrAB-TolC Underlies Long-Lived Phenotypic Heterogeneity.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:53.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5571 | OA
Vicoso, Beatriz. “Data for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:78.
[Submitted Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5559 | OA
Pavlogiannis, Andreas, Josef Tkadlec, Krishnendu Chatterjee, and Martin Nowak . “Strong Amplifiers of Natural Selection.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:51.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5572 | OA
Vicoso, Beatriz. “Code for ‘The Genomic Characterization of the t-Haplotype, a Mouse Meiotic Driver, Highlights Its Complex History and Specialized Biology.’” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:79 .
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 946 | OA
Wangenheim, Daniel von, Robert Hauschild, Matyas Fendrych, Vanessa Barone, Eva Benková, and Jiří Friml. “Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots.” ELife. eLife Sciences Publications, 2017. https://doi.org/10.7554/eLife.26792.
[Published Version] View | Files available | DOI | WoS
 

2017 | Journal Article | IST-REx-ID: 1078 | OA
Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Journal of Visualized Experiments JoVE. Journal of Visualized Experiments, 2017. https://doi.org/10.3791/55044.
[Published Version] View | Files available | DOI | WoS
 

2017 | Research Data | IST-REx-ID: 5565 | OA
Wangenheim, Daniel von, Robert Hauschild, and Jiří Friml. “Light Sheet Fluorescence Microscopy of Plant Roots Growing on the Surface of a Gel.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:66.
[Published Version] View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5566 | OA
Hauschild, Robert. “Live Tracking of Moving Samples in Confocal Microscopy for Vertically Grown Roots.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:69.
[Published Version] View | Files available | DOI
 

2017 | Book Chapter | IST-REx-ID: 424 | OA
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. https://doi.org/10.1007/978-3-319-44479-6_17.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 463 | OA
Altmeyer, Sebastian, Younghae Do, and Soorok Ryu. “Transient Behavior between Multi-Cell Flow States in Ferrofluidic Taylor-Couette Flow.” Chaos. AIP Publishing, 2017. https://doi.org/10.1063/1.5002771.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 996 | OA
Shepperson, Benjamin, Adam Chatterley, Anders Søndergaard, Lars Christiansen, Mikhail Lemeshko, and Henrik Stapelfeldt. “Strongly Aligned Molecules inside Helium Droplets in the Near-Adiabatic Regime.” The Journal of Chemical Physics. AIP Publishing, 2017. https://doi.org/10.1063/1.4983703.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 | Journal Article | IST-REx-ID: 912 | OA
Deuchert, Andreas. “A Lower Bound for the BCS Functional with Boundary Conditions at Infinity.” Journal of Mathematical Physics. AIP Publishing, 2017. https://doi.org/10.1063/1.4996580.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

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.
[Published Version] View | Files available | DOI | WoS
 

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.
[Published Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 1028 | OA
Kainrath, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Green-Light-Induced Inactivation of Receptor Signaling Using Cobalamin-Binding Domains.” Angewandte Chemie - International Edition. Wiley-Blackwell, 2017. https://doi.org/10.1002/anie.201611998.
[Published Version] View | Files available | DOI | WoS
 

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.
[Submitted Version] View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner, Florian, Vitaly Sedlyarov, Saren Tasciyan, Masa Ivin, Franz Kratochvill, Nina Gratz, Lukas Kenner, Andreas Villunger, Michael K Sixt, and Pavel Kovarik. “The RNA-Binding Protein Tristetraprolin Schedules Apoptosis of Pathogen-Engaged Neutrophils during Bacterial Infection.” The Journal of Clinical Investigation. American Society for Clinical Investigation, 2017. https://doi.org/10.1172/JCI80631.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

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.
[Published Version] 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.
[Published Version] 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.
[Published Version] View | Files available | DOI | WoS
 

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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | arXiv
 

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.
[Submitted Version] View | Files available | DOI | WoS
 

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.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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.
[Published Version] View | Files available | DOI | WoS
 

2016 | Conference Paper | IST-REx-ID: 1068 | OA
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika H Henzinger, and Veronika Loitzenbauer. “Conditionally Optimal Algorithms for Generalized Büchi Games,” Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016. https://doi.org/10.4230/LIPIcs.MFCS.2016.25.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1069 | OA
Chonev, Ventsislav K, Joël Ouaknine, and James Worrell. “On the Skolem Problem for Continuous Linear Dynamical Systems,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.100.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 1070 | OA
Chatterjee, Krishnendu, and Laurent Doyen. “Computation Tree Logic for Synchronization Properties,” Vol. 55. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik, 2016. https://doi.org/10.4230/LIPIcs.ICALP.2016.98.
[Published Version] View | Files available | DOI
 

2016 | Journal Article | IST-REx-ID: 1081 | OA
Łangowski, Łukasz, Krzysztof T Wabnik, Hongjiang Li, Steffen Vanneste, Satoshi Naramoto, Hirokazu Tanaka, and Jiří Friml. “Cellular Mechanisms for Cargo Delivery and Polarity Maintenance at Different Polar Domains in Plant Cells.” Cell Discovery. Nature Publishing Group, 2016. https://doi.org/10.1038/celldisc.2016.18.
[Published Version] View | Files available | DOI
 

2016 | Conference Paper | IST-REx-ID: 10810 | OA
Rubel, Paul, Danilo Pani, Alois Schlögl, Jocelyne Fayn, Fabio Badilini, Peter Macfarlane, and Alpo Varri. “SCP-ECG V3.0: An Enhanced Standard Communication Protocol for Computer-Assisted Electrocardiography.” In 2016 Computing in Cardiology Conference, 43:309–12. Computing in Cardiology, 2016. https://doi.org/10.22489/cinc.2016.090-500.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications