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.
5859 Publications
2010 |Published| Other Publication | IST-REx-ID: 4340 | 
Danowski P. 2010. Open bibliographic data, Elsevier,p.
View
| Files available
| Download None (ext.)
2010 |Published| Book (Editor) | IST-REx-ID: 4346 |
Danowski P, Bergmann J eds. 2010. Handbuch Bibliothek 2.0, De Gruyter, 405p.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 4369 |
Nickovic D, Piterman N. 2010. From MTL to deterministic timed automata. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 6246, 152–167.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3306 |
Evans S, Sturmfels B, Uhler C. 2010. Commuting birth and death processes. The Annals of Applied Probability. 20, 238–266.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3308 |
Sturmfels B, Uhler C. 2010. Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. 62(4), 603–638.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3430 |
Tkačik G. 2010. Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Summer School on Quantitative Evolutionary and Comparative Genomics.
View
| Download (ext.)
2010 |Published| Preprint | IST-REx-ID: 3743 |
Tkačik G. 2010. From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv, q-MN, 1–52, .
View
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3776 |
Barton NH. 2010. Genetic linkage and natural selection. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1552), 2559–2569.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3773 |
Barton NH. 2010. What role does natural selection play in speciation? Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1547), 1825–1840.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3777 |
Barton NH. 2010. Mutation and the evolution of recombination. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 365(1544), 1281–1294.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 3772 |
Barton NH. 2010. Understanding adaptation in large populations. PLoS Genetics. 6(6), e1000987.
[Published Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3790 |
Diz Muñoz A, Krieg M, Bergert M, Ibarlucea Benitez I, Müller D, Paluch E, Heisenberg C-PJ. 2010. Control of directed cell migration in vivo by membrane-to-cortex attachment. PLoS Biology. 8(11), e1000544.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3793 |
Nowozin S, Gehler P, Lampert C. 2010. On parameter learning in CRF-based approaches to object class image segmentation. ECCV: European Conference on Computer Vision, LNCS, vol. 6316, 98–111.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3787 |
Palero F, Hall S, Clark P, Johnston D, Mackenzie Dodds J, Thatje S. 2010. DNA extraction from formalin-fixed tissue: new light from the deep sea. Scientia Marina. 74(3), 465–470.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3834 |
Wolf V, Goel R, Mateescu M, Henzinger TA. 2010. Solving the chemical master equation using sliding windows. BMC Systems Biology. 4(42), 1–19.
[Published Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3839 |
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3838 |
Henzinger TA, Mateescu M, Mikeev L, Wolf V. 2010. Hybrid numerical solution of the chemical master equation. CMSB: Computational Methods in Systems Biology, 55–65.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3853 |
Chatterjee K, Doyen L, Edelsbrunner H, Henzinger TA, Rannou P. 2010. Mean-payoff automaton expressions. CONCUR: Concurrency Theory, LNCS, vol. 6269, 269–283.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3849 |
Bendich P, Edelsbrunner H, Kerber M, Patel A. 2010. Persistent homology under non-uniform error. MFCS: Mathematical Foundations of Computer Science, LNCS, vol. 6281, 12–23.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3851 |
Chatterjee K, Doyen L. 2010. Energy parity games. ICALP: Automata, Languages and Programming, 37th International Colloquium, LNCS, vol. 6199, 599–610.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv