Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6738 Publications

earlier version | 2014 | Published | Conference Paper | IST-REx-ID: 1903 | OA
Chatterjee K. Partial-observation stochastic reachability and parity games. In: Vol 8634. Springer; 2014:1-4. doi:10.1007/978-3-662-44522-8_1
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2014 | Published | Journal Article | IST-REx-ID: 2211 | OA
Chatterjee K, Doyen L. Partial-observation stochastic games: How to win when belief fails. ACM Transactions on Computational Logic. 2014;15(2). doi:10.1145/2579821
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
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: 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
 
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: 2036 | OA
Lagator M, Colegrave N, Neve P. Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences. 2014;281(1794). doi:10.1098/rspb.2014.1679
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 
2014 | Research Data Reference | IST-REx-ID: 9741 | OA
Lagator M, Colegrave N, Neve P. Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. 2014. doi:10.5061/dryad.85dn7
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Published | Journal Article | IST-REx-ID: 2251 | OA
Csicsvari JL, Dupret D. Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2014;369(1635). doi:10.1098/rstb.2012.0528
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2014 | Published | Journal Article | IST-REx-ID: 1821 | OA
Seiringer R. Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation. Journal of Mathematical Physics. 2014;55(7). doi:10.1063/1.4881536
[Submitted Version] View | Files available | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1822
Jakšić V, Pillet C, Seiringer R. Introduction. Journal of Mathematical Physics. 2014;55(7). doi:10.1063/1.4884877
View | DOI | WoS
 
2014 | Published | Journal Article | IST-REx-ID: 1896 | OA
Kollár R, Bodova K, Nosek J, Tomáška Ľ. Mathematical model of alternative mechanism of telomere length maintenance. Physical Review E. 2014;89(3). doi:10.1103/PhysRevE.89.032701
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed