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.

1546 Publications


2011 | Conference Paper | IST-REx-ID: 3349   OA
A reduction from parity games to simple stochastic games
K. Chatterjee, N. Fijalkow, in:, EPTCS, 2011, pp. 74–86.
View | DOI | Download (ext.)
 

2011 | Conference Paper | IST-REx-ID: 3351   OA
On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 3375   OA
The statistical mechanics of a polygenic character under stabilizing selection mutation and drift
H. de Vladar, N.H. Barton, Journal of the Royal Society Interface 8 (2011) 720–739.
View | DOI | Download (ext.)
 

2011 | Journal Article | IST-REx-ID: 490   OA
BioSig: The free and open source software library for biomedical signal processing
A. Schlögl, C. Vidaurre, T. Sander, Computational Intelligence and Neuroscience 2011 (2011).
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 469   OA
Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor
N. Vyleta, S. Smith, European Journal of Neuroscience 31 (2011) 4593–4606.
View | DOI | Download (ext.)
 

2011 | Technical Report | IST-REx-ID: 5383   OA
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 3368   OA
Enveloping cell layer differentiation at the surface of zebrafish germ layer tissue explants
G. Krens, S. Möllmert, C.-P.J. Heisenberg, PNAS 108 (2011) E9–E10.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 3787   OA
DNA extraction from formalin-fixed tissue: new light from the deep sea
F. Palero, S. Hall, P. Clark, D. Johnston, J. Mackenzie Dodds, S. Thatje, Scientia Marina 74 (2010) 465–470.
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3838   OA
Hybrid numerical solution of the chemical master equation
T.A. Henzinger, M. Mateescu, L. Mikeev, V. Wolf, in:, Springer, 2010, pp. 55–65.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3845   OA
Aligators for arrays
T.A. Henzinger, T. Hottelier, L. Kovács, A. Rybalchenko, in:, Springer, 2010, pp. 348–356.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864   OA
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
View | Files available | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 489   OA
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
View | DOI | Download (ext.)
 

2010 | Technical Report | IST-REx-ID: 5389   OA
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
View | Files available | DOI
 

2010 | Technical Report | IST-REx-ID: 5391   OA
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381   OA
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3852   OA
Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.
View | Files available | DOI | arXiv
 

2010 | Journal Article | IST-REx-ID: 3303   OA
The rate of fitness-valley crossing in sexual populations
D. Weissman, M. Feldman, D. Fisher, Genetics 186 (2010) 1389–1410.
View | DOI | Download (ext.)
 

2010 | Journal Article | IST-REx-ID: 3776   OA
Genetic linkage and natural selection
N.H. Barton, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 365 (2010) 2559–2569.
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3790   OA
Control of directed cell migration in vivo by membrane-to-cortex attachment
A. Diz Muñoz, M. Krieg, M. Bergert, I. Ibarlucea Benitez, D. Müller, E. Paluch, C.-P.J. Heisenberg, PLoS Biology 8 (2010) e1000544.
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 3795   OA
The stability of the apparent contour of an orientable 2-manifold
H. Edelsbrunner, D. Morozov, A. Patel, in:, Topological Data Analysis and Visualization: Theory, Algorithms and Applications, Springer, 2010, pp. 27–42.
View | Files available | DOI
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Export / Embed