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.




6293 Publications

2014 | Research Data Reference | IST-REx-ID: 9722
A. Lovrics et al., “Transition probability between TF expression states when Dbx2 inhibits Nkx2.2.” Public Library of Science, 2014.
[Published Version] View | Files available | DOI
 
2014 | Research Data Reference | IST-REx-ID: 9739
K. Chatterjee, A. Pavlogiannis, B. Adlam, and M. Novak, “Detailed proofs for ‘The time scale of evolutionary innovation.’” Public Library of Science, 2014.
[Published Version] View | Files available | DOI
 
2014 | Research Data Reference | IST-REx-ID: 9740 | OA
M. Konrad, A. V. Grasse, S. Tragust, and S. Cremer, “Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host.” Dryad, 2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9741 | OA
M. Lagator, N. Colegrave, and P. Neve, “Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses.” Dryad, 2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9747 | OA
M. Lagator, A. Morgan, P. Neve, and N. Colegrave, “Data from: Role of sex and migration in adaptation to sink environments.” Dryad, 2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9752 | OA
K. Simmons et al., “Data from: Transformation of stimulus correlations by the retina.” Dryad, 2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9753 | OA
S. Tragust, L. V. Ugelvig, M. Chapuisat, J. Heinze, and S. Cremer, “Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies.” Dryad, 2014.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 475 | OA
B. Aminof and S. Rubin, “First cycle games,” in Electronic Proceedings in Theoretical Computer Science, EPTCS, Grenoble, France, 2014, vol. 146, pp. 83–90.
[Published Version] View | Files available | DOI | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 535 | OA
K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial-time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3. Springer, pp. 457–492, 2014.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 537 | OA
R. Prizak, T. Ezard, and R. Hoyle, “Fitness consequences of maternal and grandmaternal effects,” Ecology and Evolution, vol. 4, no. 15. Wiley-Blackwell, pp. 3139–3145, 2014.
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5412 | OA
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
K. Chatterjee, P. Daca, and M. Chmelik, CEGAR for qualitative analysis of probabilistic systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
K. Chatterjee, T. A. Henzinger, and J. Otop, Nested weighted automata. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5417 | OA
T. A. Henzinger and J. Otop, From model checking to model measuring. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
K. Chatterjee and L. Doyen, Games with a weak adversary. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
K. Chatterjee, R. Ibsen-Jensen, and A. Pavlogiannis, Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5420 | OA
K. Chatterjee and R. Ibsen-Jensen, The value 1 problem for concurrent mean-payoff games. IST Austria, 2014.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed