Please note that IST 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.

3158 Publications


2013 | Journal Article | IST-REx-ID: 3261 | OA
Dubuis J, Tkačik G, Wieschaus E, Gregor T, Bialek W. 2013. Positional information, in bits. PNAS. 110(41), 16301–16308.
View | Files available | DOI | PubMed | Europe PMC
 

2013 | Encyclopedia Article | IST-REx-ID: 3321
Quadrianto N, Lampert C. 2013.Kernel based learning. In: Encyclopedia of Systems Biology. vol. 3, 1069–1069.
View | DOI
 

2013 | Thesis | IST-REx-ID: 1405 | OA
Zufferey D. 2013. Analysis of dynamic message passing programs. IST Austria.
View | Files available | Download Published Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2847 | OA
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
View | Files available | DOI | Download Submitted Version (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2445 | OA
Cerny P, Henzinger TA, Radhakrishna A, Ryzhyk L, Tarrach T. 2013. Efficient synthesis for concurrency by semantics-preserving transformations. CAV: Computer Aided Verification, LNCS, vol. 8044, 951–967.
View | Files available | DOI
 

2012 | 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.
View | Files available | DOI
 

2012 | 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
 

2012 | Journal Article | IST-REx-ID: 2318 | OA
Seiringer R. 2012. Absence of bound states implies non-negativity of the scattering length. Journal of Spectral Theory. 2(3), 321–328.
View | DOI | Download Preprint (ext.)
 

2012 | Journal Article | IST-REx-ID: 2411 | OA
Ebersberger I, De Matos Simoes R, Kupczok A, Gube M, Kothe E, Voigt K, Von Haeseler A. 2012. A consistent phylogenetic backbone for the fungi. Molecular Biology and Evolution. 29(5), 1319–1334.
View | Files available | DOI
 

2012 | Conference Paper | IST-REx-ID: 2715 | OA
Chatterjee K, Joglekar M, Shah N. 2012. Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives. FSTTCS: Foundations of Software Technology and Theoretical Computer Science, LIPIcs, vol. 18, 461–473.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications