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.

8924 Publications


2009 | Published | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Published | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
[Submitted Version] View | Files available | DOI
 

2009 | Published | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Published | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2008 | Published | Journal Article | IST-REx-ID: 12656
Pellicciotti, F., Helbing, J., Rivera, A., Favier, V., Corripio, J., Araos, J., … Carenzo, M. (2008). A study of the energy balance and melt regime on Juncal Norte Glacier, semi-arid Andes of central Chile, using melt models of different complexity. Hydrological Processes. Wiley. https://doi.org/10.1002/hyp.7085
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1296
Jösch, M. A., Plett, J., Borst, A., & Reiff, D. (2008). Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.02.022
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 844
Schmidt, S., Gerasimova, A., Kondrashov, F., Adzuhbei, I., Kondrashov, A., & Sunyaev, S. (2008). Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000281
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8480
Schanda, P., Brutscher, B., Konrat, R., & Tollinger, M. (2008). Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.040
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8481
Bersch, B., Favier, A., Schanda, P., van Aelst, S., Vallaeys, T., Covès, J., … Wattiez, R. (2008). Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.017
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8482
Kern, T., Schanda, P., & Brutscher, B. (2008). Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.11.015
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8509
Kaloshin, V., & Levi, M. (2008). Geometry of Arnold diffusion. SIAM Review. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/070703235
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8510
Kaloshin, V., & Levi, M. (2008). An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s0273-0979-08-01211-1
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 895
Donaldson, Z., Kondrashov, F., Putnam, A., Bai, Y., Stoinski, T., Hammock, E., & Young, L. (2008). Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. BioMed Central. https://doi.org/10.1186/1471-2148-8-180
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 907
Assis, R., Kondrashov, A., Koonin, E., & Kondrashov, F. (2008). Nested genes and increasing organizational complexity of metazoan genomes. Trends in Genetics. Elsevier. https://doi.org/10.1016/j.tig.2008.08.003
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 7320
Flückiger, R., Freunberger, S. A., Kramer, D., Wokaun, A., Scherer, G. G., & Büchi, F. N. (2008). Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. Elsevier. https://doi.org/10.1016/j.electacta.2008.07.034
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 7321
Freunberger, S. A., Schneider, I. A., Sui, P.-C., Wokaun, A., Djilali, N., & Büchi, F. N. (2008). Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.2913095
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 7322
Kramer, D., Freunberger, S. A., Flückiger, R., Schneider, I. A., Wokaun, A., Büchi, F. N., & Scherer, G. G. (2008). Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. Elsevier. https://doi.org/10.1016/j.jelechem.2007.09.014
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 7425
Santis, M., Freunberger, S. A., Papra, M., & Büchi, F. N. (2008). Experimental investigation of the propagation of local current density variations to adjacent cells in PEFC stacks. In 3rd International Conference on Fuel Cell Science, Engineering and Technology (pp. 763–765). Ypsilanti, MI, United States: ASMEDC. https://doi.org/10.1115/fuelcell2005-74116
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed