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.

12149 Publications


2014 | Published | Conference Paper | IST-REx-ID: 2054
Chatterjee K. Qualitative concurrent parity games: Bounded rationality. In: Baldan P, Gorla D, eds. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 8704. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2014:544-559. doi:10.1007/978-3-662-44584-6_37
View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 2014;70(3):457-492. doi:10.1007/s00453-013-9843-7
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2014 | Published | Conference Paper | IST-REx-ID: 1872 | OA
Gupta A, Kovács L, Kragl B, Voronkov A. Extensional crisis and proving identity. In: 12th International Symposium on Automated Technology for Verification and Analysis. Vol 8837. Springer; 2014:185-200. doi:10.1007/978-3-319-11936-6_14
[Submitted Version] View | Files available | DOI
 

2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. 2014. doi:10.5061/dryad.nc0gc
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 2250 | OA
Kuchibhatla D, Sherman W, Chung B, et al. Powerful sequence similarity search methods and in-depth manual analyses can identify remote homologs in many apparently “orphan” viral proteins. Journal of Virology. 2014;88(1):10-20. doi:10.1128/JVI.02595-13
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 2716 | OA
Chatterjee K, Randour M, Raskin J. Strategy synthesis for multi-dimensional quantitative objectives. Acta Informatica. 2014;51(3-4):129-163. doi:10.1007/s00236-013-0182-6
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

earlier version | 2014 | Published | Journal Article | IST-REx-ID: 254
Browning TD. The polynomial sieve and equal sums of like polynomials. International Mathematics Research Notices. 2014;2015(7):1987-2019. doi:10.1093/imrn/rnt350
View | Files available | DOI
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1395
Konrad M. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. 2014.
View
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1404
Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.
View
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
 

2014 | Published | Thesis | PhD | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View | Files available
 

2014 | Published | Journal Article | IST-REx-ID: 2255 | OA
Edelsbrunner H, Pausinger F. Stable length estimates of tube-like shapes. Journal of Mathematical Imaging and Vision. 2014;50(1):164-177. doi:10.1007/s10851-013-0468-x
[Submitted Version] View | Files available | DOI | WoS
 

2014 | Published | Conference Paper | IST-REx-ID: 2159 | OA
Mabillard I, Wagner U. Eliminating Tverberg points, I. An analogue of the Whitney trick. In: Proceedings of the Annual Symposium on Computational Geometry. ACM; 2014:171-180. doi:10.1145/2582112.2582134
[Submitted Version] View | Files available | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 2023 | OA
Novak S. Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution. Ecology and Evolution. 2014;4(24):4589-4597. doi:10.1002/ece3.1289
[Published Version] View | Files available | DOI | WoS
 

2014 | Published | Journal Article | IST-REx-ID: 22547 | OA
Fatichi S, Ivanov VY. Interannual variability of evapotranspiration and vegetation productivity. Water Resources Research. 2014;50(4):3275-3294. doi:10.1002/2013wr015044
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 22541 | OA
Fatichi S, Leuzinger S, Körner C. Moving beyond photosynthesis: from carbon source to sink‐driven vegetation modeling. New Phytologist. 2014;201(4):1086-1095. doi:10.1111/nph.12614
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2014 | Published | Journal Article | IST-REx-ID: 22545
Clarvis MH, Fatichi S, Allan A, et al. Governing and managing water resources under changing hydro-climatic contexts: The case of the upper Rhone basin. Environmental Science & Policy. 2014;43:56-67. doi:10.1016/j.envsci.2013.11.005
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 22560 | OA
Fatichi S, Zeeman MJ, Fuhrer J, Burlando P. Ecohydrological effects of management on subalpine grasslands: From local to catchment scale. Water Resources Research. 2014;50(1):148-164. doi:10.1002/2013wr014535
[Published Version] View | DOI | Download Published Version (ext.)
 

2014 | Published | Journal Article | IST-REx-ID: 22577
Paschalis A, Fatichi S, Molnar P, Rimkus S, Burlando P. On the effects of small scale space–time variability of rainfall on basin flood response. Journal of Hydrology. 2014;514:313-327. doi:10.1016/j.jhydrol.2014.04.014
View | DOI
 

2014 | Published | Journal Article | IST-REx-ID: 22575
Paschalis A, Molnar P, Fatichi S, Burlando P. On temporal stochastic modeling of precipitation, nesting models across scales. Advances in Water Resources. 2014;63:152-166. doi:10.1016/j.advwatres.2013.11.006
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed