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.




6742 Publications

2012 | Published | Conference Paper | IST-REx-ID: 2891 | OA
Boker, Udi, and Thomas A. Henzinger. “Approximate Determinization of Quantitative Automata.” Leibniz International Proceedings in Informatics, vol. 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012, pp. 362–73, doi:10.4230/LIPIcs.FSTTCS.2012.362.
[Published Version] View | Files available | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov, Sergey, et al. “HSF(C): A Software Verifier Based on Horn Clauses.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara König, vol. 7214, Springer, 2012, pp. 549–51, doi:10.1007/978-3-642-28756-5_46.
[Published Version] View | DOI | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 506 | OA
Sixt, Michael K. “Cell Migration: Fibroblasts Find a New Way to Get Ahead.” Journal of Cell Biology, vol. 197, no. 3, Rockefeller University Press, 2012, pp. 347–49, doi:10.1083/jcb.201204039.
[Published Version] View | Files available | DOI | WoS
 
earlier version | 2012 | Published | Conference Paper | IST-REx-ID: 10904 | OA
Chatterjee, Krishnendu, et al. “Strategy Synthesis for Multi-Dimensional Quantitative Objectives.” CONCUR 2012 - Concurrency Theory, edited by Maciej Koutny and Irek Ulidowski, vol. 7454, Springer, 2012, pp. 115–31, doi:10.1007/978-3-642-32940-1_10.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Published | Journal Article | IST-REx-ID: 3243 | OA
Danowski, Patrick. “Zwischen Technologie und Kommunikation.” Büchereiperspektiven, vol. 2012, no. 1, Büchereiverband Österreichs, 2012, p. 11.
[Published Version] View | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 2950
Behrndt, Martin, et al. “Forces Driving Epithelial Spreading in Zebrafish Gastrulation.” Science, vol. 338, no. 6104, American Association for the Advancement of Science, 2012, pp. 257–60, doi:10.1126/science.1224143.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 3157 | OA
Diaz Jr, Luis, et al. “The Molecular Evolution of Acquired Resistance to Targeted EGFR Blockade in Colorectal Cancers.” Nature, vol. 486, no. 7404, Nature Publishing Group, 2012, pp. 537–40, doi:10.1038/nature11219.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 3260 | OA
Chatterjee, Krishnendu, et al. “Evolutionary Dynamics of Biological Auctions.” Theoretical Population Biology, vol. 81, no. 1, Academic Press, 2012, pp. 69–80, doi:10.1016/j.tpb.2011.11.003.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 2263 | OA
Liang, Huixuan, et al. “A Nestin-Cre Transgenic Mouse Is Insufficient for Recombination in Early Embryonic Neural Progenitors.” Biology Open, vol. 1, no. 12, Company of Biologists, 2012, pp. 1200–03, doi:10.1242/bio.20122287.
[Published Version] View | Files available | DOI | WoS
 
2012 | Published | Journal Article | IST-REx-ID: 2965 | OA
Danowski, Patrick. “Kontext Open Access: Creative Commons.” Mitteilungen der Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, vol. 65, no. 2, Vereinigung Österreichischer Bibliothekarinnen und Bibliothekare, 2012, pp. 200–12.
[Published Version] View | Files available | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 3262 | OA
Tkačik, Gašper, et al. “Optimizing Information Flow in Small Genetic Networks. III. A Self-Interacting Gene.” Physical Review E, vol. 85, no. 4, 041903, American Physical Society, 2012, doi:10.1103/PhysRevE.85.041903.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2012 | Published | Conference Paper | IST-REx-ID: 2936 | OA
Chatterjee, Krishnendu, et al. “Finite Automata with Time Delay Blocks.” Proceedings of the 10th ACM International Conference on Embedded Software, ACM, 2012, pp. 43–52, doi:10.1145/2380356.2380370.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2011 | Published | Conference Paper | IST-REx-ID: 10907
Artner, Nicole M., et al. “Spatio-Temporal Extraction of Articulated Models in a Graph Pyramid.” Graph-Based Representations in Pattern Recognition, edited by Xiaoyi Jiang et al., vol. 6658, Springer, 2011, pp. 215–24, doi:10.1007/978-3-642-20844-7_22.
View | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 469 | OA
Vyleta, Nicholas, and Stephen Smith. “Spontaneous Glutamate Release Is Independent of Calcium Influx and Tonically Activated by the Calcium-Sensing Receptor.” European Journal of Neuroscience, vol. 31, no. 12, Wiley-Blackwell, 2011, pp. 4593–606, doi:10.1523/JNEUROSCI.6398-10.2011.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 490 | OA
Schlögl, Alois, et al. “BioSig: The Free and Open Source Software Library for Biomedical Signal Processing.” Computational Intelligence and Neuroscience, vol. 2011, 935364, Hindawi Publishing Corporation, 2011, doi:10.1155/2011/935364.
[Published Version] View | Files available | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 491
Eichner, Alexander, and Michael K. Sixt. “Setting the Clock for Recirculating Lymphocytes.” Science Signaling, vol. 4, no. 198, pe43, American Association for the Advancement of Science, 2011, doi:10.1126/scisignal.2002617.
View | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 518 | OA
Schraivogel, Daniel, et al. “CAMTA1 Is a Novel Tumour Suppressor Regulated by MiR-9/9 * in Glioblastoma Stem Cells.” EMBO Journal, vol. 30, no. 20, Wiley-Blackwell, 2011, pp. 4309–22, doi:10.1038/emboj.2011.301.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2011 | Published | Journal Article | IST-REx-ID: 531 | OA
Guerraoui, Rachid, et al. “Verification of STM on Relaxed Memory Models.” Formal Methods in System Design, vol. 39, no. 3, Springer, 2011, pp. 297–331, doi:10.1007/s10703-011-0131-3.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5379 | OA
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0009.
[Published Version] View | Files available | DOI
 
earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5380 | OA
Chatterjee, Krishnendu. Bounded Rationality in Concurrent Parity Games. IST Austria, 2011, doi:10.15479/AT:IST-2011-0008.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed