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.




6617 Publications

earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1835 | OA
Giacobbe, Mirco, et al. Model Checking Gene Regulatory Networks. Vol. 9035, Springer, 2015, pp. 469–83, doi:10.1007/978-3-662-46681-0_47.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1836
Cerny, Pavol, et al. Segment Abstraction for Worst-Case Execution Time Analysis. Vol. 9032, Springer, 2015, pp. 105–31, doi:10.1007/978-3-662-46669-8_5.
View | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1837 | OA
Kühnen, Jakob, et al. “Subcritical versus Supercritical Transition to Turbulence in Curved Pipes.” Journal of Fluid Mechanics, vol. 770, no. 5, R3, Cambridge University Press, 2015, doi:10.1017/jfm.2015.184.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1838 | OA
Bloem, Roderick, et al. Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information. Vol. 9035, Springer, 2015, pp. 517–32, doi:10.1007/978-3-662-46681-0_50.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1839 | OA
Brázdil, Tomáš, et al. Multigain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. Vol. 9035, Springer, 2015, pp. 181–87, doi:10.1007/978-3-662-46681-0_12.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1840 | OA
Geiger, Bernhard, et al. “Optimal Kullback-Leibler Aggregation via Information Bottleneck.” IEEE Transactions on Automatic Control, vol. 60, no. 4, IEEE, 2015, pp. 1010–22, doi:10.1109/TAC.2014.2364971.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1841 | OA
Kolmogorov, Vladimir. “A New Look at Reweighted Message Passing.” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 37, no. 5, IEEE, 2015, pp. 919–30, doi:10.1109/TPAMI.2014.2363465.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 802
Engel, Jakob, et al. “Characterization of an N-Acetylglucosaminyltransferase Involved in Aspergillus Fumigatus Zwitterionic Glycoinositolphosphoceramide Biosynthesis.” Glycobiology, vol. 25, no. 12, Oxford University Press, 2015, pp. 1423–30, doi:10.1093/glycob/cwv059.
View | DOI | WoS | PubMed | Europe PMC
 
earlier version | 2015 | Draft | Preprint | IST-REx-ID: 8183 | OA
Avvakumov, Sergey, et al. “Eliminating Higher-Multiplicity Intersections, III. Codimension 2.” ArXiv, 1511.03501, doi:10.48550/arXiv.1511.03501.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues, Jessica A., and Daniel Zilberman. “Evolution and Function of Genomic Imprinting in Plants.” Genes and Development, vol. 29, no. 24, Cold Spring Harbor Laboratory Press, 2015, pp. 2517–2531, doi:10.1101/gad.269902.115.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9711
Chevereau, Guillaume, et al. Excel File Containing the Raw Data for All Figures. Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.s001.
[Published Version] View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9712
Tugrul, Murat, et al. Other Fitness Models for Comparison & for Interacting TFBSs. Public Library of Science, 2015, doi:10.1371/journal.pgen.1005639.s001.
[Published Version] View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9714
Gómez Sicilia, Àngel, et al. An Exploration of the Universe of Polyglutamine Structures - Submission to PLOS Journals. Public Library of Science , 2015, doi:10.1371/journal.pcbi.1004541.s001.
[Published Version] View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
Trubenova, Barbora, et al. Mathematical Inference of the Results. Public Library of Science, 2015, doi:10.1371/journal.pone.0126907.s001.
[Published Version] View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9718
Friedlander, Tamar, et al. Supporting Information Text. Public Library of Science, 2015, doi:10.1371/journal.pcbi.1004055.s001.
[Published Version] View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9719 | OA
Wielgoss, Sébastien, et al. Data from: Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Non-Mutator Bacteria. Dryad, 2015, doi:10.5061/dryad.cj910.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2015 | Research Data Reference | IST-REx-ID: 9721 | OA
Theis, Fabian, et al. Data from: Opposing Effects of Allogrooming on Disease Transmission in Ant Societies. Dryad, 2015, doi:10.5061/dryad.dj2bf.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2015 | Research Data Reference | IST-REx-ID: 9737
Symonova, Olga, et al. Root Traits Computed by DynamicRoots for the Maize Root Shown in Fig 2. Public Library of Science, 2015, doi:10.1371/journal.pone.0127657.s001.
[Published Version] View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9742 | OA
Westhus, Claudia, et al. Data from: Increased Grooming after Repeated Brood Care Provides Sanitary Benefits in a Clonal Ant. Dryad, 2015, doi:10.5061/dryad.7kc79.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2015 | Research Data Reference | IST-REx-ID: 9765
Chevereau, Guillaume, et al. Gene Ontology Enrichment Analysis for the Most Sensitive Gene Deletion Strains for All Drugs. Public Library of Science, 2015, doi:10.1371/journal.pbio.1002299.s008.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed