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.




5473 Publications

2013 | Published | Journal Article | IST-REx-ID: 2816 | OA
Božić I, Reiter J, Allen B, Antal T, Chatterjee K, Shah P, Moon Y, Yaqubie A, Kelly N, Le D, Lipson E, Chapman P, Diaz L, Vogelstein B, Nowak M. 2013. Evolutionary dynamics of cancer in response to targeted combination therapy. eLife. 2, e00747.
[Published Version] View | Files available | DOI
 
2013 | Published | Conference Paper | IST-REx-ID: 2000 | OA
Reiter J, Božić I, Chatterjee K, Nowak M. 2013. TTP: Tool for tumor progression. Proceedings of 25th Int. Conf. on Computer Aided Verification. CAV: Computer Aided VerificationLecture Notes in Computer Science, LNCS, vol. 8044, 101–106.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2850 | OA
Tkačik G, Marre O, Mora T, Amodei D, Berry M, Bialek W. 2013. The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment. 2013(3), P03011.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2013 | Published | Journal Article | IST-REx-ID: 2851
Berry M, Tkačik G, Dubuis J, Marre O, Da Silveira R. 2013. A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment. 2013(3), P03015.
View | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 9497 | OA
Coleman-Derr D, Zilberman D. 2012. Deposition of histone variant H2A.Z within gene bodies regulates responsive genes. PLoS Genetics. 8(10), e1002988.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 9499 | OA
Kim SY, Lee J, Eshed-Williams L, Zilberman D, Sung ZR. 2012. EMF1 and PRC2 cooperate to repress key regulators of Arabidopsis development. PLoS Genetics. 8(3), e1002512.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 9528
Huff JT, Zilberman D. 2012. Regulation of biological accuracy, precision, and memory by plant chromatin organization. Current Opinion in Genetics and Development. 22(2), 132–138.
View | DOI | PubMed | Europe PMC
 
2012 | Published | Journal Article | IST-REx-ID: 9535 | OA
Coleman-Derr D, Zilberman D. 2012. DNA methylation, H2A.Z, and the regulation of constitutive expression. Cold Spring Harbor Symposia on Quantitative Biology. 77, 147–154.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Research Data Reference | IST-REx-ID: 9755 | OA
Konrad M, Vyleta M, Theis F, Stock M, Klatt M, Drescher V, Marr C, Ugelvig LV, Cremer S. 2012. Data from: Social transfer of pathogenic fungus promotes active immunisation in ant colonies, Dryad, 10.5061/dryad.sv37s.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2012 | Research Data Reference | IST-REx-ID: 9757 | OA
Tragust S, Mitteregger B, Barone V, Konrad M, Ugelvig LV, Cremer S. 2012. Data from: Ants disinfect fungus-exposed brood by oral uptake and spread of their poison, Dryad, 10.5061/dryad.61649.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2012 | Research Data Reference | IST-REx-ID: 9758 | OA
Aeschbacher S, Futschik A, Beaumont M. 2012. Data from: Approximate Bayesian computation for modular inference problems with many parameters: the example of migration rates, Dryad, 10.5061/dryad.274b1.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 9451 | OA
Ibarra CA, Feng X, Schoft VK, Hsieh T-F, Uzawa R, Rodrigues JA, Zemach A, Chumak N, Machlicova A, Nishimura T, Rojas D, Fischer RL, Tamaru H, Zilberman D. 2012. Active DNA demethylation in plant companion cells reinforces transposon methylation in gametes. Science. 337(6100), 1360–1364.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2012 | Published | Conference Paper | IST-REx-ID: 1384 | OA
Beyer D, Henzinger TA, Keremoglu M, Wendler P. 2012. Conditional model checking: A technique to pass information between verifiers. Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. FSE: Foundations of Software Engineering, 57.
[Preprint] View | DOI | Download Preprint (ext.)
 
2012 | Published | Book Chapter | IST-REx-ID: 10896
zur Nedden S, Doney AS, Frenguelli BG. 2012.The double-edged sword: Gaining Adenosine at the expense of ATP. How to balance the books. In: Adenosine. , 109–129.
View | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 10903
Bouajjani A, Dragoi C, Enea C, Sighireanu M. 2012. Accurate invariant checking for programs manipulating lists and arrays with infinite data. Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and AnalysisLNCS, LNCS, vol. 7561, 167–182.
View | DOI
 
2012 | Published | Conference Paper | IST-REx-ID: 10904
Chatterjee K, Randour M, Raskin J-F. 2012. Strategy synthesis for multi-dimensional quantitative objectives. CONCUR 2012 - Concurrency Theory. CONCUR: Conference on Concurrency Theory, LNCS, vol. 7454, 115–131.
[Preprint] View | Files available | DOI | arXiv
 
2012 | Published | Conference Paper | IST-REx-ID: 10905 | OA
Chatterjee K, Henzinger M, Krinninger S, Nanongkai D. 2012. Polynomial-time algorithms for energy games with special weight structures. Algorithms – ESA 2012. ESA: European Symposium on Algorithms, LNCS, vol. 7501, 301–312.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 
2012 | Published | Journal Article | IST-REx-ID: 2263 | OA
Liang H, Hippenmeyer S, Ghashghaei H. 2012. A Nestin-cre transgenic mouse is insufficient for recombination in early embryonic neural progenitors. Biology open. 1(12), 1200–1203.
[Published Version] View | Files available | DOI
 
2012 | Published | Journal Article | IST-REx-ID: 2302
Henzinger TA, Mateescu M. 2012. The propagation approach for computing biochemical reaction networks. IEEE ACM Transactions on Computational Biology and Bioinformatics. 10(2), 310–322.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed