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.
5339 Publications
2014 | Published | Conference Paper | IST-REx-ID: 2063
CEGAR for qualitative analysis of probabilistic systems
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
View
| Files available
| DOI
K. Chatterjee, M. Chmelik, P. Daca, in:, Springer, 2014, pp. 473–490.
2014 | Published | Conference Paper | IST-REx-ID: 2159 |
Eliminating Tverberg points, I. An analogue of the Whitney trick
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
[Submitted Version]
View
| Files available
| DOI
I. Mabillard, U. Wagner, in:, Proceedings of the Annual Symposium on Computational Geometry, ACM, 2014, pp. 171–180.
2014 | Published | Journal Article | IST-REx-ID: 2023 |
Habitat heterogeneities versus spatial type frequency variances as driving forces of dispersal evolution
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
[Published Version]
View
| Files available
| DOI
S. Novak, Ecology and Evolution 4 (2014) 4589–4597.
2014 | Published | Journal Article | IST-REx-ID: 2255 |
Stable length estimates of tube-like shapes
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
[Submitted Version]
View
| Files available
| DOI
H. Edelsbrunner, F. Pausinger, Journal of Mathematical Imaging and Vision 50 (2014) 164–177.
2014 | Published | Journal Article | IST-REx-ID: 1923 |
Active elastic thin shell theory for cellular deformations
H. Berthoumieux, J.-L. Maître, C.-P.J. Heisenberg, E. Paluch, F. Julicher, G. Salbreux, New Journal of Physics 16 (2014).
[Published Version]
View
| Files available
| DOI
H. Berthoumieux, J.-L. Maître, C.-P.J. Heisenberg, E. Paluch, F. Julicher, G. Salbreux, New Journal of Physics 16 (2014).
2014 | Published | Journal Article | IST-REx-ID: 2029 |
Validity of spin-wave theory for the quantum Heisenberg model
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Correggi, A. Giuliani, R. Seiringer, EPL 108 (2014).
2014 | Published | Journal Article | IST-REx-ID: 1999
Organisational immunity in social insects
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
View
| Files available
| DOI
N. Stroeymeyt, B.E. Casillas Perez, S. Cremer, Current Opinion in Insect Science 5 (2014) 1–15.
2013 | Published | Journal Article | IST-REx-ID: 10396 |
Stimfit: A fast visualization and analysis environment for cellular neurophysiology
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A. Schlögl, P.M. Jonas, C. Schmidt-Hieber, S.J. Guzman, Biomedical Engineering / Biomedizinische Technik 58 (2013).
2013 | Published | Journal Article | IST-REx-ID: 9481 |
Imprinted expression of genes and small RNA is associated with localized hypomethylation of the maternal genome in rice endosperm
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J.A. Rodrigues, R. Ruan, T. Nishimura, M.K. Sharma, R. Sharma, P.C. Ronald, R.L. Fischer, D. Zilberman, Proceedings of the National Academy of Sciences 110 (2013) 7934–7939.
2013 | Published | Journal Article | IST-REx-ID: 9520 |
A conversation across generations: Soma-germ cell crosstalk in plants
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
X. Feng, D. Zilberman, H. Dickinson, Developmental Cell 24 (2013) 215–225.
2013 | Research Data Reference | IST-REx-ID: 9749
Forgiver triumphs in alternating prisoner's dilemma
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
[Published Version]
View
| Files available
| DOI
B. Zagorsky, J. Reiter, K. Chatterjee, M. Nowak, (2013).
2013 | Research Data Reference | IST-REx-ID: 9751 |
Data from: Altruism can evolve when relatedness is low: evidence from bacteria committing suicide upon phage infection
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Refardt, T. Bergmiller, R. Kümmerli, (2013).
2013 | Research Data Reference | IST-REx-ID: 9754 |
Data from: Likelihood-based inference of population history from low coverage de novo genome assemblies
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Hearn, G. Stone, N.H. Barton, K. Lohse, L. Bunnefeld, (2013).
2013 | Published | Journal Article | IST-REx-ID: 9459 |
The Arabidopsis nucleosome remodeler DDM1 allows DNA methyltransferases to access H1-containing heterochromatin
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Zemach, M.Y. Kim, P.-H. Hsieh, D. Coleman-Derr, L. Eshed-Williams, K. Thao, S.L. Harmer, D. Zilberman, Cell 153 (2013) 193–205.
2013 | Published | Conference Paper | IST-REx-ID: 1374 |
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Published | Conference Paper | IST-REx-ID: 1376
Distributed synthesis for LTL fragments
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, A. Pavlogiannis, in:, 13th International Conference on Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 18–25.
2013 | Published | Conference Paper | IST-REx-ID: 1385 |
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Published | Conference Paper | IST-REx-ID: 1387 |
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 | Published | Thesis | IST-REx-ID: 1405 |
Analysis of dynamic message passing programs
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
D. Zufferey, Analysis of Dynamic Message Passing Programs, Institute of Science and Technology Austria, 2013.
2013 | Published | Journal Article | IST-REx-ID: 10895 |
Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.