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.




4031 Publications

2015 | Conference Paper | IST-REx-ID: 1498 | OA
The need for language support for fault-tolerant distributed systems
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1499 | OA
Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1501 | OA
CEGAR for compositional analysis of qualitative properties in Markov decision processes
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
View | Files available | DOI | Download Preprint (ext.)
 
2015 | Conference Paper | IST-REx-ID: 1502 | OA
Complete composition operators for IOCO-testing theory
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1505 | OA
Universality for the largest eigenvalue of sample covariance matrices with general population
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1506 | OA
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1508 | OA
Gap universality of generalized Wigner and β ensembles
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 1509 | OA
Embryo-lethal phenotypes in early abp1 mutants are due to disruption of the neighboring BSM gene
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1510 | OA
On computability and triviality of well groups
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1511 | OA
On generalized Heawood inequalities for manifolds: A Van Kampen–Flores-type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 476–490.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1512 | OA
Bounding Helly numbers via Betti numbers
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, U. Wagner, in:, ACM, 2015, pp. 507–521.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1513 | OA
The X chromosome of hemipteran insects: Conservation, dosage compensation and sex-biased expression
A. Pal, B. Vicoso, Genome Biology and Evolution 7 (2015) 3259–3268.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1517 | OA
From large deviations to Wasserstein gradient flows in multiple dimensions
M. Erbar, J. Maas, M. Renger, Electronic Communications in Probability 20 (2015).
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1519 | OA
The interpretation of selection coefficients
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1520
Computational design of walking automata
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.
View | DOI
 
2015 | Journal Article | IST-REx-ID: 1525 | OA
Arbeitsgruppe „Nationale Strategie“ des Open Access Network Austria OANA
B. Bauer, G. Blechl, C. Bock, P. Danowski, A. Ferus, A. Graschopf, T. König, K. Mayer, F. Reckling, K. Rieck, P. Seitz, H. Stöger, E. Welzig, VÖB Mitteilungen 68 (2015) 580–607.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1530
Impact of the cell division cycle on gene circuits
V. Bierbaum, S. Klumpp, Physical Biology 12 (2015).
View | DOI
 
2015 | 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.
View | Files available | DOI
 
2015 | 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.
View | DOI | Download Preprint (ext.)
 
2015 | 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.
View | DOI | Download Preprint (ext.)
 
2015 | 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.
View | DOI | Download Preprint (ext.)
 
2015 | 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.
View | DOI | Download Preprint (ext.)
 
2015 | 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.
View | Files available | DOI
 
2015 | 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.
View | DOI | Download Preprint (ext.)
 
2015 | 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.
View | DOI | Download Preprint (ext.)
 
2015 | 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.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 2085 | OA
Collective excitations of Bose gases in the mean-field regime
P. Nam, R. Seiringer, Archive for Rational Mechanics and Analysis 215 (2015) 381–417.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2166 | OA
The Altshuler-Shklovskii formulas for random band matrices I: the unimodular case
L. Erdös, A. Knowles, Communications in Mathematical Physics 333 (2015) 1365–1416.
View | DOI | Download Preprint (ext.)
 
2015 | Journal Article | IST-REx-ID: 2271 | OA
The power of linear programming for general-valued CSPs
V. Kolmogorov, J. Thapper, S. Živný, SIAM Journal on Computing 44 (2015) 1–36.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Journal Article | IST-REx-ID: 9532 | OA
Evolution and function of genomic imprinting in plants
J.A. Rodrigues, D. Zilberman, Genes and Development 29 (2015) 2517–2531.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9711
Excel file containing the raw data for all figures
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9712
Other fitness models for comparison & for interacting TFBSs
M. Tugrul, T. Paixao, N.H. Barton, G. Tkačik, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9714
An exploration of the universe of polyglutamine structures - submission to PLOS journals
À. Gómez Sicilia, M.K. Sikora, M. Cieplak, M. Carrión Vázquez, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9715
Mathematical inference of the results
B. Trubenova, S. Novak, R. Hager, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9718
Supporting information text
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9737
Root traits computed by DynamicRoots for the maize root shown in fig 2
O. Symonova, C. Topp, H. Edelsbrunner, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9765
Gene ontology enrichment analysis for the most sensitive gene deletion strains for all drugs
G. Chevereau, M. Lukacisinova, T. Batur, A. Guvenek, D.H. Ayhan, E. Toprak, M.T. Bollenbach, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9772
Description of the agent based simulations
B. Trubenova, S. Novak, R. Hager, (2015).
View | Files available | DOI
 
2015 | Research Data Reference | IST-REx-ID: 9773
Evolutionary simulation code
T. Friedlander, A.E. Mayo, T. Tlusty, U. Alon, (2015).
View | Files available | DOI
 
2015 | Conference Paper | IST-REx-ID: 1651 | OA
Anonymous transferable e-cash
F. Baldimtsi, M. Chase, G. Fuchsbauer, M. Kohlweiss, in:, Public-Key Cryptography - PKC 2015, Springer, 2015, pp. 101–124.
View | DOI | Download Published Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1532
Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2015) 239–251.
View | DOI | PubMed | Europe PMC
 
2015 | Preprint | IST-REx-ID: 8183 | OA
Eliminating higher-multiplicity intersections, III. Codimension 2
S. Avvakumov, I. Mabillard, A. Skopenkov, U. Wagner, ArXiv (n.d.).
View | Files available | Download Preprint (ext.) | arXiv
 
2015 | Conference Paper | IST-REx-ID: 1672 | OA
Incoercible multi-party computation and universally composable receipt-free voting
J.F. Alwen, R. Ostrovsky, H. Zhou, V. Zikas, in:, Advances in Cryptology - CRYPTO 2015, Springer, 2015, pp. 763–780.
View | Files available | DOI
 
2015 | Journal Article | IST-REx-ID: 1851 | OA View | Files available | DOI | PubMed | Europe PMC
 
2015 | Book Chapter | IST-REx-ID: 1531
Visualizing symmetric indefinite 2D tensor fields using The Heat Kernel Signature
V. Zobel, J. Reininghaus, I. Hotz, in:, I. Hotz, T. Schultz (Eds.), Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, 1st ed., Springer, 2015, pp. 257–267.
View | DOI
 
2015 | Conference Paper | IST-REx-ID: 1661 | OA
Improved algorithms for one-pair and k-pair Streett objectives
K. Chatterjee, M.H. Henzinger, V. Loitzenbauer, in:, Proceedings - Symposium on Logic in Computer Science, IEEE, 2015.
View | Files available | DOI | Download Submitted Version (ext.)
 
2015 | Journal Article | IST-REx-ID: 1855 | OA
A sting in the spit: Widespread cross-infection of multiple RNA viruses across wild and managed bees
D. Mcmahon, M. Fürst, J. Caspar, P. Theodorou, M. Brown, R. Paxton, Journal of Animal Ecology 84 (2015) 615–624.
View | Files available | DOI | PubMed | Europe PMC
 
2015 | Journal Article | IST-REx-ID: 1830 | OA
Opposing effects of allogrooming on disease transmission in ant societies
F. Theis, L.V. Ugelvig, C. Marr, S. Cremer, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 370 (2015).
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2015 | Research Data Reference | IST-REx-ID: 9719 | OA
Data from: Adaptation to parasites and costs of parasite resistance in mutator and non-mutator bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, (2015).
View | Files available | DOI | Download Published Version (ext.)
 
2015 | Research Data Reference | IST-REx-ID: 9721 | OA View | Files available | DOI | Download Published Version (ext.)
 

Search

Filter Publications