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
Lovrics A, Gao Y, Juhász B, Bock I, Byrne HM, Dinnyés A, Kovács K. 2014. Transition probability between TF expression states when Dbx2 inhibits Nkx2.2, Public Library of Science, 10.1371/journal.pone.0111430.s006.
[Published Version] View | Files available | DOI
 
2014 | Research Data Reference | IST-REx-ID: 9739
Chatterjee K, Pavlogiannis A, Adlam B, Novak M. 2014. Detailed proofs for “The time scale of evolutionary innovation”, Public Library of Science, 10.1371/journal.pcbi.1003818.s001.
[Published Version] View | Files available | DOI
 
2014 | Research Data Reference | IST-REx-ID: 9740 | OA
Konrad M, Grasse AV, Tragust S, Cremer S. 2014. Data from: Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host, Dryad, 10.5061/dryad.vm0vc.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9741 | OA
Lagator M, Colegrave N, Neve P. 2014. Data from: Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses, Dryad, 10.5061/dryad.85dn7.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9747 | OA
Lagator M, Morgan A, Neve P, Colegrave N. 2014. Data from: Role of sex and migration in adaptation to sink environments, Dryad, 10.5061/dryad.s42n1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9752 | OA
Simmons K, Prentice J, Tkačik G, Homann J, Yee H, Palmer S, Nelson P, Balasubramanian V. 2014. Data from: Transformation of stimulus correlations by the retina, Dryad, 10.5061/dryad.246qg.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Research Data Reference | IST-REx-ID: 9753 | OA
Tragust S, Ugelvig LV, Chapuisat M, Heinze J, Cremer S. 2014. Data from: Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies, Dryad, 10.5061/dryad.nc0gc.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2014 | Published | Conference Paper | IST-REx-ID: 475 | OA
Aminof B, Rubin S. 2014. First cycle games. Electronic Proceedings in Theoretical Computer Science, EPTCS. SR: Strategic Reasoning, EPTCS, vol. 146, 83–90.
[Published Version] View | Files available | DOI | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 535 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2014. Polynomial-time algorithms for energy games with special weight structures. Algorithmica. 70(3), 457–492.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2014 | Published | Journal Article | IST-REx-ID: 537 | OA
Prizak R, Ezard T, Hoyle R. 2014. Fitness consequences of maternal and grandmaternal effects. Ecology and Evolution. 4(15), 3139–3145.
[Published Version] View | Files available | DOI | WoS
 
2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications for IOCO testing, IST Austria, 20p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5412 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 31p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5413 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5414 | OA
Chatterjee K, Daca P, Chmelik M. 2014. CEGAR for qualitative analysis of probabilistic systems, IST Austria, 33p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5415 | OA
Chatterjee K, Henzinger TA, Otop J. 2014. Nested weighted automata, IST Austria, 27p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5416 | OA
Henzinger TA, Otop J. 2014. Model measuring for hybrid systems, IST Austria, 22p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5417 | OA
Henzinger TA, Otop J. 2014. From model checking to model measuring, IST Austria, 14p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5418 | OA
Chatterjee K, Doyen L. 2014. Games with a weak adversary, IST Austria, 18p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5419 | OA
Chatterjee K, Ibsen-Jensen R, Pavlogiannis A. 2014. Improved algorithms for reachability and shortest path on low tree-width graphs, IST Austria, 34p.
[Published Version] View | Files available | DOI
 
2014 | Published | Technical Report | IST-REx-ID: 5420 | OA
Chatterjee K, Ibsen-Jensen R. 2014. The value 1 problem for concurrent mean-payoff games, IST Austria, 49p.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed