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.
4251 Publications
2016 | Research Data Reference | IST-REx-ID: 9866
ZIP-archived directory containing all data and computer programs
M.P. Zagórski, Z. Burda, B. Wacław, (2016).
View
| Files available
| DOI
M.P. Zagórski, Z. Burda, B. Wacław, (2016).
2016 | Journal Article | IST-REx-ID: 9456 | 
Mechanism for DNA transposons to generate introns on genomic scales
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
J.T. Huff, D. Zilberman, S.W. Roy, Nature 538 (2016) 533–536.
2016 | Journal Article | IST-REx-ID: 9477 |
DNA demethylation is initiated in the central cells of Arabidopsis and rice
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
K. Park, M.Y. Kim, M. Vickers, J.-S. Park, Y. Hyun, T. Okamoto, D. Zilberman, R.L. Fischer, X. Feng, Y. Choi, S. Scholten, Proceedings of the National Academy of Sciences 113 (2016) 15138–15143.
2016 | Journal Article | IST-REx-ID: 9473 |
Arabidopsis male sexual lineage exhibits more robust maintenance of CG methylation than somatic tissues
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.-H. Hsieh, S. He, T. Buttress, H. Gao, M. Couchman, R.L. Fischer, D. Zilberman, X. Feng, Proceedings of the National Academy of Sciences 113 (2016) 15132–15137.
2016 | Conference Paper | IST-REx-ID: 948
Neurons equipped with intrinsic plasticity learn stimulus intensity statistics
T. Monk, C. Savin, J. Lücke, in:, Neural Information Processing Systems, 2016, pp. 4285–4293.
View
| Download None (ext.)
T. Monk, C. Savin, J. Lücke, in:, Neural Information Processing Systems, 2016, pp. 4285–4293.
2016 | Journal Article | IST-REx-ID: 1262 |
Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
View
| Files available
| DOI
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, Proceedings of the Royal Society of London Series B Biological Sciences 283 (2016).
2016 | Research Data Reference | IST-REx-ID: 9704 |
Data from: Elevated virulence of an emerging viral genotype as a driver of honeybee loss
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
View
| Files available
| DOI
| Download Published Version (ext.)
D. Mcmahon, M. Natsopoulou, V. Doublet, M. Fürst, S. Weging, M. Brown, A. Gogol Döring, R. Paxton, (2016).
2016 | Journal Article | IST-REx-ID: 1322 |
Asymmetric power boosts extortion in an economic experiment
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
View
| Files available
| DOI
C. Hilbe, K. Hagel, M. Milinski, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1270 |
Beyond the French flag model: Exploiting spatial and gene regulatory interactions for positional information
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
View
| Files available
| DOI
P. Hillenbrand, U. Gerland, G. Tkačik, PLoS One 11 (2016).
2016 | Journal Article | IST-REx-ID: 1250 |
Genetic manipulation of glycogen allocation affects replicative lifespan in E coli
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
View
| Files available
| DOI
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, PLoS Genetics 12 (2016).
2016 | Research Data Reference | IST-REx-ID: 9870
Computation of positional information in an Ising model
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
View
| Files available
| DOI
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
2016 | Research Data Reference | IST-REx-ID: 9873
Quantification of the growth rate reduction as a consequence of age-specific mortality
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, (2016).
View
| Files available
| DOI
A. Boehm, M. Arnoldini, T. Bergmiller, T. Röösli, C. Bigosch, M. Ackermann, (2016).
2016 | Research Data Reference | IST-REx-ID: 9869
Error bound on an estimator of position
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
View
| Files available
| DOI
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
2016 | Research Data Reference | IST-REx-ID: 9871
Computation of positional information in a discrete morphogen field
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
View
| Files available
| DOI
P. Hillenbrand, U. Gerland, G. Tkačik, (2016).
2016 | Research Data Reference | IST-REx-ID: 9868
Experimental data
C. Hilbe, K. Hagel, M. Milinski, (2016).
View
| Files available
| DOI
C. Hilbe, K. Hagel, M. Milinski, (2016).
2016 | Journal Article | IST-REx-ID: 1183 |
Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
View
| Files available
| DOI
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
2016 | Journal Article | IST-REx-ID: 1321 |
Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
View
| Files available
| DOI
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
2016 | Journal Article | IST-REx-ID: 1100 |
Optogenetic control of nodal signaling reveals a temporal pattern of nodal signaling regulating cell fate specification during gastrulation
K. Sako, S. Pradhan, V. Barone, Á. Inglés Prieto, P. Mueller, V. Ruprecht, D. Capek, S. Galande, H.L. Janovjak, C.-P.J. Heisenberg, Cell Reports 16 (2016) 866–877.
View
| Files available
| DOI
K. Sako, S. Pradhan, V. Barone, Á. Inglés Prieto, P. Mueller, V. Ruprecht, D. Capek, S. Galande, H.L. Janovjak, C.-P.J. Heisenberg, Cell Reports 16 (2016) 866–877.
2016 | Conference Paper | IST-REx-ID: 1437 |
Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
2016 | Conference Paper | IST-REx-ID: 1386 |
Termination analysis of probabilistic programs through Positivstellensatz's
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
2015 | Journal Article | IST-REx-ID: 10794 |
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).
View
| Files available
| DOI
F. Parise, J. Lygeros, J. Ruess, Frontiers in Environmental Science 3 (2015).
2015 | Conference Paper | IST-REx-ID: 10796
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.
View
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, in:, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SIAM, 2015, pp. 1018–1029.
2015 | Journal Article | IST-REx-ID: 1383 |
V-ATPase activity in the TGN/EE is required for exocytosis and recycling in Arabidopsis
L. Yu, S. Scholl, A. Doering, Z. Yi, N. Irani, S. Di Rubbo, L. Neumetzler, P. Krishnamoorthy, I. Van Houtte, E. Mylle, V. Bischoff, S. Vernhettes, J. Winne, J. Friml, Y. Stierhof, K. Schumacher, S. Persson, E. Russinova, Nature Plants 1 (2015).
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
L. Yu, S. Scholl, A. Doering, Z. Yi, N. Irani, S. Di Rubbo, L. Neumetzler, P. Krishnamoorthy, I. Van Houtte, E. Mylle, V. Bischoff, S. Vernhettes, J. Winne, J. Friml, Y. Stierhof, K. Schumacher, S. Persson, E. Russinova, Nature Plants 1 (2015).
2015 | Thesis | IST-REx-ID: 1401 |
Learning with attributes for object recognition: Parametric and non-parametrics views
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, IST Austria, 2015.
View
| Files available
| DOI
| Download Published Version (ext.)
V. Sharmanska, Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views, IST Austria, 2015.
2015 | Conference Paper | IST-REx-ID: 1425 |
Lifelong learning with non-i.i.d. tasks
A. Pentina, C. Lampert, in:, Neural Information Processing Systems, 2015, pp. 1540–1548.
View
| Download None (ext.)
A. Pentina, C. Lampert, in:, Neural Information Processing Systems, 2015, pp. 1540–1548.
2015 | Conference Paper | IST-REx-ID: 1424 |
Statistical topological data analysis-A kernel perspective
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems, 2015, pp. 3070–3078.
View
| Download Submitted Version (ext.)
R. Kwitt, S. Huber, M. Niethammer, W. Lin, U. Bauer, in:, Neural Information Processing Systems, 2015, pp. 3070–3078.
2015 | Conference Paper | IST-REx-ID: 1430 |
First steps towards a runtime comparison of natural and artificial evolution
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
View
| DOI
| Download Preprint (ext.)
T. Paixao, D. Sudholt, J. Heredia, B. Trubenova, in:, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, 2015, pp. 1455–1462.
2015 | Conference Paper | IST-REx-ID: 1474 |
Policy privacy in cryptographic access control
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
View
| DOI
| Download Submitted Version (ext.)
A. Ferrara, G. Fuchsbauer, B. Liu, B. Warinschi, in:, IEEE, 2015, pp. 46–60.
2015 | Conference Paper | IST-REx-ID: 1483 |
A stable multi-scale kernel for topological machine learning
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
View
| DOI
| Download Preprint (ext.)
J. Reininghaus, S. Huber, U. Bauer, R. Kwitt, in:, IEEE, 2015, pp. 4741–4748.
2015 | Conference Paper | IST-REx-ID: 1498 |
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
C. Dragoi, T.A. Henzinger, D. Zufferey, 32 (2015) 90–102.
2015 | Journal Article | IST-REx-ID: 1497 |
Allelome.PRO, a pipeline to define allele-specific genomic features from high-throughput sequencing data
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
View
| Files available
| DOI
D. Andergassen, C. Dotter, T. Kulinski, P. Guenzl, P. Bammer, D. Barlow, F. Pauler, Q. Hudson, Nucleic Acids Research 43 (2015).
2015 | Conference Paper | IST-REx-ID: 1499 |
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
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
2015 | Conference Paper | IST-REx-ID: 1495 |
Relaxed disk packing
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
View
| Download Submitted Version (ext.)
H. Edelsbrunner, M. Iglesias Ham, V. Kurlin, in:, Proceedings of the 27th Canadian Conference on Computational Geometry, Queen’s University, 2015, pp. 128–135.
2015 | Conference Paper | IST-REx-ID: 1502 |
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
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
2015 | Journal Article | IST-REx-ID: 1501 |
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.)
K. Chatterjee, M. Chmelik, P. Daca, Formal Methods in System Design 47 (2015) 230–264.
2015 | Conference Paper | IST-REx-ID: 1510 |
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
P. Franek, M. Krcál, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 842–856.
2015 | Journal Article | IST-REx-ID: 1509 |
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
J. Michalko, M. Lukacisinova, M.T. Bollenbach, J. Friml, F1000 Research 4 (2015).
2015 | Journal Article | IST-REx-ID: 1505 |
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.)
Z. Bao, G. Pan, W. Zhou, Annals of Statistics 43 (2015) 382–421.
2015 | Journal Article | IST-REx-ID: 1508 |
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.)
L. Erdös, H. Yau, Journal of the European Mathematical Society 17 (2015) 1927–2036.
2015 | Journal Article | IST-REx-ID: 1506 |
The logarithmic law of random determinant
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
View
| DOI
| Download Preprint (ext.)
Z. Bao, G. Pan, W. Zhou, Bernoulli 21 (2015) 1600–1628.
2015 | Journal Article | IST-REx-ID: 1513 |
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
A. Pal, B. Vicoso, Genome Biology and Evolution 7 (2015) 3259–3268.
2015 | Journal Article | IST-REx-ID: 1517 |
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
M. Erbar, J. Maas, M. Renger, Electronic Communications in Probability 20 (2015).
2015 | Journal Article | IST-REx-ID: 1519 |
The interpretation of selection coefficients
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.
View
| Files available
| DOI
N.H. Barton, M. Servedio, Evolution 69 (2015) 1101–1112.
2015 | Journal Article | IST-REx-ID: 1525 |
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
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.
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
G. Bharaj, S. Coros, B. Thomaszewski, J. Tompkin, B. Bickel, H. Pfister, in:, ACM, 2015, pp. 93–100.
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
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, U. Ludewig, Functional Plant Biology 42 (2015) 239–251.
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
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.
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
V. Bierbaum, S. Klumpp, Physical Biology 12 (2015).
2015 | Journal Article | IST-REx-ID: 1539 |
Minimal moment equations for stochastic models of biochemical reaction networks with partially finite state space
J. Ruess, Journal of Chemical Physics 143 (2015).
View
| Files available
| DOI
J. Ruess, Journal of Chemical Physics 143 (2015).
2015 | Journal Article | IST-REx-ID: 1534 |
Transcriptional regulation of PIN genes by FOUR LIPS and MYB88 during Arabidopsis root gravitropism
H. Wang, K. Yang, J. Zou, L. Zhu, Z. Xie, M. Morita, M. Tasaka, J. Friml, E. Grotewold, T. Beeckman, S. Vanneste, F. Sack, J. Le, Nature Communications 6 (2015).
View
| Files available
| DOI
H. Wang, K. Yang, J. Zou, L. Zhu, Z. Xie, M. Morita, M. Tasaka, J. Friml, E. Grotewold, T. Beeckman, S. Vanneste, F. Sack, J. Le, Nature Communications 6 (2015).