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 TA. Alternating weighted automata. In: Vol 5699. Springer; 2009:3-13. doi: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 TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi: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 TA. Termination criteria for solving concurrent safety and reachability games. In: SIAM; 2009:197-206. doi: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 TA. A survey of stochastic games with limsup and liminf objectives. In: Vol 5556. Springer; 2009:1-15. doi: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 TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. doi: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 TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi: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, et al. 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. 2008;22(19):3980-3997. doi:10.1002/hyp.7085
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 1296
Jösch MA, Plett J, Borst A, Reiff D. Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. 2008;18(5):368-374. doi: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. Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. 2008;4(11). doi:10.1371/journal.pgen.1000281
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8480
Schanda P, Brutscher B, Konrat R, Tollinger M. 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. 2008;380(4):726-741. doi:10.1016/j.jmb.2008.05.040
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 8481
Bersch B, Favier A, Schanda P, et al. Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. 2008;380(2):386-403. doi:10.1016/j.jmb.2008.05.017
View | DOI
 

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

2008 | Published | Journal Article | IST-REx-ID: 8509
Kaloshin V, Levi M. Geometry of Arnold diffusion. SIAM Review. 2008;50(4):702-720. doi:10.1137/070703235
View | DOI
 

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

2008 | Published | Journal Article | IST-REx-ID: 895
Donaldson Z, Kondrashov F, Putnam A, et al. Evolution of a behavior-linked microsatellite-containing element in the 5′ flanking region of the primate AVPR1A gene. BMC Evolutionary Biology. 2008;8(1). doi:10.1186/1471-2148-8-180
View | DOI
 

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

2008 | Published | Journal Article | IST-REx-ID: 7320
Flückiger R, Freunberger SA, Kramer D, Wokaun A, Scherer GG, Büchi FN. Anisotropic, effective diffusivity of porous gas diffusion layer materials for PEFC. Electrochimica Acta. 2008;54(2):551-559. doi:10.1016/j.electacta.2008.07.034
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 7321
Freunberger SA, Schneider IA, Sui P-C, Wokaun A, Djilali N, Büchi FN. Cell interaction phenomena in polymer electrolyte fuel cell stacks. Journal of The Electrochemical Society. 2008;155(7). doi:10.1149/1.2913095
View | DOI
 

2008 | Published | Journal Article | IST-REx-ID: 7322
Kramer D, Freunberger SA, Flückiger R, et al. Electrochemical diffusimetry of fuel cell gas diffusion layers. Journal of Electroanalytical Chemistry. 2008;612(1):63-77. doi:10.1016/j.jelechem.2007.09.014
View | DOI
 

2008 | Published | Conference Paper | IST-REx-ID: 7425
Santis M, Freunberger SA, Papra M, Büchi FN. 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. ASMEDC; 2008:763-765. doi:10.1115/fuelcell2005-74116
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed