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.

7131 Publications


2010 | Published | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, V., Piskac, R., Suter, P., & Wies, T. (2010). Building a calculus of data structures. In G. Barthe & M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_6
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones, K., Konrad, V., & Nickovic, D. (2010). Analog property checkers: a DDR2 case study. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 

2010 | Published | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM. https://doi.org/10.1145/1879021.1879022
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 488 | OA
Alur, R., & Cerny, P. (2010). Expressiveness of streaming string transducers (Vol. 8, pp. 1–12). Presented at the FSTTCS: Foundations of Software Technology and Theoretical Computer Science, Chennai, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2010.1
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5390 | OA
Chatterjee, K., & Fijalkow, N. (2010). Topological, automata-theoretic and logical characterization of finitary languages. IST Austria. https://doi.org/10.15479/AT:IST-2010-0002
[Published Version] View | Files available | DOI
 

2010 | Published | Technical Report | IST-REx-ID: 5391 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations. IST Austria. https://doi.org/10.15479/AT:IST-2010-0001
[Published Version] View | Files available | DOI
 

2010 | Published | Journal Article | IST-REx-ID: 598 | OA
Meyer, K., Lin, S., Bernecky, C., Gao, Y., & Taatjes, D. (2010). P53 activates transcription by directing structural shifts in Mediator. Nature Structural and Molecular Biology. Nature Publishing Group. https://doi.org/10.1038/nsmb.1816
View | DOI | Download None (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 6142 | OA
Weber, K. P., De, S., Kozarewa, I., Turner, D. J., Babu, M. M., & de Bono, M. (2010). Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0013922
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2010 | Published | Journal Article | IST-REx-ID: 12653 | OA
Pellicciotti, F., Bauder, A., & Parola, M. (2010). Effect of glaciers on streamflow trends in the Swiss Alps. Water Resources Research. American Geophysical Union. https://doi.org/10.1029/2009wr009039
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1465 | OA
Hausel, T. (2010). Kac’s conjecture from Nakajima quiver varieties. Inventiones Mathematicae. Springer. https://doi.org/10.1007/s00222-010-0241-3
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 1466 | OA
Hausel, T., Letellier, E., & Rodríguez Villegas, F. (2010). Topology of character varieties and representations of quivers. Comptes Rendus Mathematique. Elsevier. https://doi.org/10.1016/j.crma.2010.01.025
View | DOI | Download (ext.)
 

2010 | Published | Book Chapter | IST-REx-ID: 1468 | OA
Hausel, T. (2010). S-Duality in HyperkäHler Hodge Theory. In The Many Facets of Geometry: A Tribute to Nigel Hitchin. Oxford University Press. https://doi.org/10.1093/acprof:oso/9780199534920.003.0016
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 18360 | OA
Rosman, G., Bronstein, M. M., Bronstein, A. M., & Kimmel, R. (2010). Nonlinear dimensionality reduction by topologically constrained isometric embedding. International Journal of Computer Vision. Springer Nature. https://doi.org/10.1007/s11263-010-0322-1
[Published Version] View | DOI | Download Published Version (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2095 | OA
Beeler, T., Bickel, B., Beardsley, P., Sumner, B., & Groß, M. (2010). High-quality single-shot capture of facial geometry. ACM Transactions on Graphics. ACM. https://doi.org/10.1145/1778765.1778777
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2124 | OA
Maas, J. (2010). Malliavin calculus and decoupling inequalities in Banach spaces. Journal of Mathematical Analysis and Applications. Academic Press. https://doi.org/10.1016/j.jmaa.2009.08.041
View | DOI | Download (ext.)
 

2010 | Published | Journal Article | IST-REx-ID: 2194 | OA
Lemeshko, M., & Friedrich, B. (2010). An analytic model of the stereodynamics of rotationally inelastic molecular collisions. Physical Chemistry Chemical Physics. Royal Society of Chemistry. https://doi.org/10.1039/B920899B
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed