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.

11357 Publications


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: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
[Submitted Version] View | Files available | DOI | arXiv
 

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 | Book Chapter | IST-REx-ID: 4392
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna & D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer. https://doi.org/10.1007/978-3-642-13754-9_3
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
[Submitted Version] View | Files available | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4395
Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View | DOI
 

2010 | Published | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 11752
Yang, X., Riseborough, P. S., Modic, K. A., Fisher, R. A., Oppeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. In Journal of Physics: Conference Series (Vol. 200). Karlsruhe, Germany: IOP Publishing. https://doi.org/10.1088/1742-6596/200/3/032062
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 11799
Dütting, P., Henzinger, M., & Weber, I. (2009). Bidder optimal assignments for general utilities. In 5th International Workshop on Internet and Network Economics (Vol. 5929, pp. 575–582). Rome, Italy: Springer Nature. https://doi.org/10.1007/978-3-642-10841-9_58
View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 11905
Baykan, E., Henzinger, M., Marian, L., & Weber, I. (2009). Purely URL-based topic classification. In 18th International World Wide Web Conference (pp. 1109–1110). New York, NY, United States: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526880
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 11906
Abdel Hamid, O., Behzadi, B., Christoph, S., & Henzinger, M. (2009). Detecting the origin of text segments efficiently. In 18th International World Wide Web Conference (pp. 61–70). Madrid, Spain: Association for Computing Machinery. https://doi.org/10.1145/1526709.1526719
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 11912 | OA
Baykan, Eda, Henzinger, M., Keller, S. F., de Castelberg, S., & Kinzler, M. (2009). A comparison of techniques for sampling web pages. In 26th International Symposium on Theoretical Aspects of Computer Science (Vol. 3, pp. 13–30). Freiburg, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.STACS.2009.1809
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2009 | Published | Journal Article | IST-REx-ID: 2680
Guetg, N., Seddik, R., Vigot, R., Tureček, R., Gassmann, M., Vogt, K., … Bettler, B. (2009). The GABA B1a isoform mediates heterosynaptic depression at hippocampal mossy fiber synapses. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3697-08.2009
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2682
Jiang, Y., Horimoto, N., Imura, K., Matsui, K., & Shigemoto, R. (2009). Bioimaging with two-photon-induced luminescence from triangular nanoplates and nanoparticle aggregates of gold. Advanced Materials. Wiley-Blackwell. https://doi.org/10.1002/adma.200802312
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2683
Pan, B., Dong, Y., Ito, W., Yanagawa, Y., Shigemoto, R., & Morozov, A. (2009). Selective gating of glutamatergic inputs to excitatory neurons of amygdala by presynaptic GABAb receptor. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2009.01.029
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2684
Kaufmann, W., Ferraguti, F., Fukazawa, Y., Kasugai, Y., Shigemoto, R., Laake, P., … Ottersen, O. (2009). Large-conductance calcium-activated potassium channels in Purkinje cell plasma membranes are clustered at sites of hypolemmal microdomains. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.22066
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2685
Tanaka, H., Ma, J., Tanaka, K., Takao, K., Komada, M., Tanda, K., … Ikenaka, K. (2009). Mice with altered myelin proteolipid protein gene expression display cognitive deficits accompanied by abnormal neuron-glia interactions and decreased conduction velocities. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.3216-08.2009
View | DOI
 

2009 | Published | Journal Article | IST-REx-ID: 2686
Tomita, H., Sugano, E., Fukazawa, Y., Isago, H., Sugiyama, Y., Hiroi, T., … Tamai, M. (2009). Visual properties of transgenic rats harboring the channelrhodopsin-2 gene regulated by the thy-1.2 promoter. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0007679
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed