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.




6615 Publications

2015 | Published | Conference Paper | IST-REx-ID: 1992 | OA
Succinct representation of concurrent trace sets
A. Gupta, T.A. Henzinger, A. Radhakrishna, R. Samanta, T. Tarrach, in:, ACM, 2015, pp. 433–444.
[Submitted Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1993 | OA
Anti-pathogen protection versus survival costs mediated by an ectosymbiont in an ant host
M. Konrad, A.V. Grasse, S. Tragust, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 282 (2015).
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2015 | Published | Journal Article | IST-REx-ID: 1997 | OA
The three-state toric homogeneous Markov chain model has Markov degree two
P. Noren, Journal of Symbolic Computation 68/Part 2 (2015) 285–296.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 2006 | OA
The monotone secant conjecture in the real Schubert calculus
N. Hein, C. Hillar, A. Martin del Campo Sanchez, F. Sottile, Z. Teitler, Experimental Mathematics 24 (2015) 261–269.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 2008 | OA
Iterative scaling in curved exponential families
A. Klimova, T. Rudas, Scandinavian Journal of Statistics 42 (2015) 832–847.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 2014 | OA
Faithfulness and learning hypergraphs from discrete distributions
A. Klimova, C. Uhler, T. Rudas, Computational Statistics & Data Analysis 87 (2015) 57–72.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 2025 | OA
The yeast Arf-GAP Glo3p is required for the endocytic recycling of cell surface proteins
D. Kawada, H. Kobayashi, T. Tomita, E. Nakata, M. Nagano, D.E. Siekhaus, J. Toshima, J. Toshimaa, Biochimica et Biophysica Acta - Molecular Cell Research 1853 (2015) 144–156.
[Submitted Version] View | Files available | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 2030 | OA
A hybrid MPI-OpenMP parallel implementation for pseudospectral simulations with application to Taylor-Couette flow
L. Shi, M. Rampp, B. Hof, M. Avila, Computers and Fluids 106 (2015) 1–11.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 2034 | OA
Probabilistic opacity for Markov decision processes
B. Bérard, K. Chatterjee, N. Sznajder, Information Processing Letters 115 (2015) 52–59.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 2035 | OA
The persistent homology of a self-map
H. Edelsbrunner, G. Jablonski, M. Mrozek, Foundations of Computational Mathematics 15 (2015) 1213–1244.
[Published Version] View | Files available | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 10794 | OA
Bayesian inference for stochastic individual-based models of ecological systems: a pest control simulation study
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 10796 | OA
The value 1 problem under finite-memory strategies for concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2015 | Published | Conference Paper | IST-REx-ID: 1729 | OA
From non-preemptive to preemptive scheduling using synchronization synthesis
P. Cerny, E. Clarke, T.A. Henzinger, A. Radhakrishna, L. Ryzhyk, R. Samanta, T. Tarrach, 9207 (2015) 180–197.
[Submitted Version] View | Files available | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1730 | OA
Discrete systolic inequalities and decompositions of triangulated surfaces
É. Colin De Verdière, A. Hubard, A.N. de Mesmay, Discrete & Computational Geometry 53 (2015) 587–620.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1731 | OA
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, Information and Computation 245 (2015) 3–16.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1732 | OA
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
K. Chatterjee, M. Chmelik, R. Gupta, A. Kanodia, in:, IEEE, 2015, pp. 325–330.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1734
Recent advances in facial appearance capture
O. Klehm, F. Rousselle, M. Papas, D. Bradley, C. Hery, B. Bickel, W. Jarosz, T. Beeler, Computer Graphics Forum 34 (2015) 709–733.
View | DOI | Download None (ext.) | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1735 | OA
A dimension-reduced pressure solver for liquid simulations
R. Ando, N. Thürey, C. Wojtan, Computer Graphics Forum 34 (2015) 473–480.
[Submitted Version] View | Files available | DOI | WoS
 
2015 | Published | Journal Article | IST-REx-ID: 1789 | OA
Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome
Kuechler A, Zink A, Wieland T, Lüdecke H, Cremer K, Salviati L, Magini P, Najafi K, Zweier C, Czeschik J, Aretz S, Endele S, Tamburrino F, Pinato C, Clementi M, Gundlach J, Maylahn C, Mazzanti L, Wohlleber E, Schwarzmayr T, Kariminejad R, Schlessinger A, Wieczorek D, Strom T, Novarino G, Engels H. 2015. Loss-of-function variants of SETD5 cause intellectual disability and the core phenotype of microdeletion 3p25.3 syndrome. European Journal of Human Genetics. 23(6), 753–760.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2015 | Published | Journal Article | IST-REx-ID: 1792
A Koksma-Hlawka inequality for general discrepancy systems
F. Pausinger, A. Svane, Journal of Complexity 31 (2015) 773–797.
View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed