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.




6723 Publications

2011 | Published | Journal Article | IST-REx-ID: 3965
Wang, Bei, et al. “Computing Elevation Maxima by Searching the Gauss Sphere.” Journal of Experimental Algorithmics, vol. 16, no. 2.2, ACM, 2011, pp. 1–13, doi:10.1145/1963190.1970375.
View | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 3315 | OA
Chatterjee, Krishnendu, et al. “Timed Parity Games: Complexity and Robustness.” Logical Methods in Computer Science, vol. 7, no. 4, International Federation for Computational Logic, 2011, doi:10.2168/LMCS-7(4:8)2011.
[Published Version] View | Files available | DOI
 
2011 | Published | Conference Paper | IST-REx-ID: 3302 | OA
Henzinger, Thomas A., et al. “Static Scheduling in Clouds.” 3rd USENIX Workshop on Hot Topics in Cloud Computing, Usenix Association, 2011, pp. 1–6.
[Submitted Version] View | Files available
 
earlier version | 2011 | Published | Conference Paper | IST-REx-ID: 3356 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. 5970226, IEEE, 2011, doi:10.1109/LICS.2011.33.
[Submitted Version] View | Files available | DOI | WoS
 
earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5385 | OA
Boker, Udi, et al. Temporal Specifications with Accumulative Values. IST Austria, 2011, doi:10.15479/AT:IST-2011-0003.
[Published Version] View | Files available | DOI
 
earlier version | 2011 | Published | Technical Report | IST-REx-ID: 5381 | OA
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011, doi:10.15479/AT:IST-2011-0007.
[Published Version] View | Files available | DOI
 
2011 | Published | Journal Article | IST-REx-ID: 3353 | OA
Tripakis, Stavros, et al. “A Theory of Synchronous Relational Interfaces.” ACM Transactions on Programming Languages and Systems, vol. 33, no. 4, 14, ACM, 2011, doi:10.1145/1985342.1985345.
[Submitted Version] View | Files available | DOI | WoS
 
earlier version | 2011 | Published | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, et al. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic, vol. 12, no. 4, 28, ACM, 2011, doi:10.1145/1970398.1970404.
View | Files available | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 3396 | OA
Stockinger, Petra, et al. “Defective Neuroepithelial Cell Cohesion Affects Tangential Branchiomotor Neuron Migration in the Zebrafish Neural Tube.” Development, vol. 138, no. 21, Company of Biologists, 2011, pp. 4673–83, doi:10.1242/dev.071233.
[Published Version] View | Files available | DOI | WoS
 
2011 | Published | Journal Article | IST-REx-ID: 3379 | OA
Row, Richard, et al. “Completion of the Epithelial to Mesenchymal Transition in Zebrafish Mesoderm Requires Spadetail.” Developmental Biology, vol. 354, no. 1, Elsevier, 2011, pp. 102–10, doi:10.1016/j.ydbio.2011.03.025.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed