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.




5730 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1424 | OA
Statistical topological data analysis-A kernel perspective
Kwitt, Roland, Statistical topological data analysis-A kernel perspective. 28. 2015
[Submitted Version] View | Download Submitted Version (ext.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1610 | OA
Edit distance for pushdown automata
Chatterjee, Krishnendu, Edit distance for pushdown automata. 42nd International Colloquium 9135 (Part II). 2015
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Technical Report | IST-REx-ID: 5438 | OA
Edit distance for pushdown automata
K. Chatterjee, T.A. Henzinger, R. Ibsen-Jensen, J. Otop, Edit Distance for Pushdown Automata, IST Austria, 2015.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1656 | OA
Nested weighted automata
Chatterjee, Krishnendu, Nested weighted automata. Proceedings - Symposium on Logic in Computer Science 2015-July. 2015
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Technical Report | IST-REx-ID: 5436 | OA
Nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, Nested Weighted Automata, IST Austria, 2015.
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1841 | OA
A new look at reweighted message passing
Kolmogorov, Vladimir, A new look at reweighted message passing. IEEE Transactions on Pattern Analysis and Machine Intelligence 37 (5). 2015
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1835 | OA
Model checking gene regulatory networks
M. Giacobbe, C.C. Guet, A. Gupta, T.A. Henzinger, T. Paixao, T. Petrov, 9035 (2015) 469–483.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2015 | Published | Book Chapter | IST-REx-ID: 1590 | OA
Representing directed trees as straight skeletons
Aichholzer, Oswin, Representing directed trees as straight skeletons. Graph Drawing and Network Visualization 9411. 2015
[Preprint] View | DOI | Download Preprint (ext.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1645
Secret-key cryptography from ideal primitives: A systematic verview
Gazi, Peter, Secret-key cryptography from ideal primitives: A systematic verview. 2015 IEEE Information Theory Workshop. 2015
View | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1619 | OA
Quantifying the determinants of evolutionary dynamics leading to drug resistance
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D. Ayhan, E. Toprak, M.T. Bollenbach, PLoS Biology 13 (2015).
[Published Version] View | Files available | DOI
 
2014 | Published | Journal Article | IST-REx-ID: 3263 | OA
Adaptation to changes in higher-order stimulus statistics in the salamander retina
G. Tkačik, A. Ghosh, E. Schneidman, R. Segev, PLoS One 9 (2014).
[Published Version] View | Files available | DOI
 
2014 | Published | Thesis | IST-REx-ID: 1403
Forces driving epithelial spreading in zebrafish epiboly
M. Behrndt, Forces Driving Epithelial Spreading in Zebrafish Epiboly, IST Austria, 2014.
View | Files available
 
2014 | Published | Thesis | IST-REx-ID: 1395
Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus
M. Konrad, Immune Defences in Ants: Effects of Social Immunisation and a Fungal Ectosymbiont in the Ant Lasius Neglectus, Institute of Science and Technology Austria, 2014.
View
 
2014 | Published | Thesis | IST-REx-ID: 1402
Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana
P. Marhavá, Molecular Mechanisms of Patterning and Subcellular Trafficking in Arabidopsis Thaliana, Institute of Science and Technology Austria, 2014.
View
 
2014 | Published | Thesis | IST-REx-ID: 1404
Evolution of a fungal pathogen towards individual versus social immunity in ants
M. Stock, Evolution of a Fungal Pathogen towards Individual versus Social Immunity in Ants, IST Austria, 2014.
View
 
2014 | Published | Journal Article | IST-REx-ID: 1912 | OA
The notochord breaks bilateral symmetry by controlling cell shapes in the Zebrafish laterality organ
J. Compagnon, V. Barone, S. Rajshekar, R. Kottmeier, K. Pranjic-Ferscha, M. Behrndt, C.-P.J. Heisenberg, Developmental Cell 31 (2014) 774–783.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2014 | Published | Conference Paper | IST-REx-ID: 2167 | OA
Compositional specifications for IOCO testing
P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International Conference on Software Testing, Verification and Validation, IEEE, 2014.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
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
 
2014 | Published | Conference Paper | IST-REx-ID: 2159 | OA
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
 
2014 | Published | Journal Article | IST-REx-ID: 2023 | OA
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
 

Search

Filter Publications

Display / Sort

Export / Embed