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.




5794 Publications

2017 | Published | 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.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 942
Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples,” F130154:593–604. ACM, 2017. https://doi.org/10.1145/3106237.3106309.
View | DOI | WoS
 
2017 | Published | Conference Paper | IST-REx-ID: 962
Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.” edited by Rupak Majumdar and Viktor Kunčak, 10427:399–418. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_21.
View | DOI | WoS
 
2017 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2017 | Published | 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.
[Submitted Version] View | Files available | DOI
 
2017 | Published | Conference Paper | IST-REx-ID: 636 | OA
Bakhirkin, Alexey, Thomas Ferrere, Oded Maler, and Dogan Ulus. “On the Quantitative Semantics of Regular Expressions over Real-Valued Signals.” edited by Alessandro Abate and Gilles Geeraerts, 10419:189–206. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_11.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2017 | Published | Conference Paper | IST-REx-ID: 633
Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, and Aviral Kumar. “Challenges and Tool Implementation of Hybrid Rapidly Exploring Random Trees.” edited by Alessandro Abate and Sylvie Bodo, 10381:83–89. Springer, 2017. https://doi.org/10.1007/978-3-319-63501-9_6.
View | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 538 | OA
Kainrath, Stephanie, Manuela Stadler, Eva Gschaider-Reichhart, Martin Distel, and Harald L Janovjak. “Grünlicht-Induzierte Rezeptorinaktivierung Durch Cobalamin-Bindende Domänen.” Angewandte Chemie. Wiley, 2017. https://doi.org/10.1002/ange.201611998.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 1026
Agus, Viviana, and Harald L Janovjak. “Optogenetic Methods in Drug Screening: Technologies and Applications.” Current Opinion in Biotechnology. Elsevier, 2017. https://doi.org/10.1016/j.copbio.2017.02.006.
View | DOI | WoS
 
2017 | Published | Thesis | IST-REx-ID: 202 | OA
Pleska, Maros. “Biology of Restriction-Modification Systems at the Single-Cell and Population Level.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_916.
[Published Version] View | Files available | DOI
 
2017 | Published | Journal Article | IST-REx-ID: 561 | OA
Pleska, Maros, and Calin C Guet. “Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” Biology Letters. The Royal Society, 2017. https://doi.org/10.1098/rsbl.2017.0646.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2017 | Research Data Reference | IST-REx-ID: 9847 | OA
Pleska, Maros, and Calin C Guet. “Supplementary Materials and Methods; Full Data Set from Effects of Mutations in Phage Restriction Sites during Escape from Restriction–Modification.” The Royal Society, 2017. https://doi.org/10.6084/m9.figshare.5633917.v1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Published | 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. Elsevier, 2017. https://doi.org/10.1016/j.neuron.2016.12.018.
[Published Version] View | Files available | DOI | WoS
 
2017 | Published | Thesis | IST-REx-ID: 1127 | OA
Prat, Tomas. “Identification of Novel Regulators of PIN Polarity and Development of Novel Auxin Sensor.” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available
 
2017 | Published | 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. American Society of Plant Biologists, 2017. https://doi.org/10.1104/pp.16.00943.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Published | 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 | Published | 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: 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: 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
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed