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.




5473 Publications

2016 | Research Data | IST-REx-ID: 5558 | OA [Published Version] View | Files available | DOI
 
2016 | Published | Thesis | IST-REx-ID: 1129 | OA
Quantitative analysis of haptotactic cell migration
J. Schwarz, Quantitative Analysis of Haptotactic Cell Migration, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 
2016 | Published | Thesis | IST-REx-ID: 1131 | OA
Evolution of transcriptional regulatory sequences
M. Tugrul, Evolution of Transcriptional Regulatory Sequences, Institute of Science and Technology Austria, 2016.
[Published Version] View | Files available
 
2016 | Published | Journal Article | IST-REx-ID: 1662 | OA
Approximation and convergence of the intrinsic volume
H. Edelsbrunner, F. Pausinger, Advances in Mathematics 287 (2016) 674–703.
[Published Version] View | Files available | DOI
 
2016 | Research Data | IST-REx-ID: 5554 | OA [Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1438 | OA
Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs
K. Chatterjee, H. Fu, P. Novotný, R. Hasheminezhad, in:, ACM, 2016, pp. 327–342.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Journal Article | IST-REx-ID: 1151 | OA
A noncanonical auxin sensing mechanism is required for organ morphogenesis in arabidopsis
S. Simonini, J. Deb, L. Moubayidin, P. Stephenson, M. Valluru, A. Freire Rios, K. Sorefan, D. Weijers, J. Friml, L. Östergaard, Genes and Development 30 (2016) 2286–2296.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2016 | Published | Conference Paper | IST-REx-ID: 1428 | OA
Superfluidity and BEC in a Model of Interacting Bosons in a Random Potential
M. Könenberg, T. Moser, R. Seiringer, J. Yngvason, in:, Journal of Physics: Conference Series, IOP Publishing, 2016.
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1478 | OA
Decay of correlations and absence of superfluidity in the disordered Tonks-Girardeau gas
R. Seiringer, S. Warzel, New Journal of Physics 18 (2016).
[Published Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1394 | OA [Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1188 | OA
Asymptotic analysis of noisy fitness maximization, applied to metabolism & growth
D. De Martino, D. Masoero, Journal of Statistical Mechanics: Theory and Experiment 2016 (2016).
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Published | Journal Article | IST-REx-ID: 1419
Gutzwiller wave function for finite systems: Superconductivity in the Hubbard model
A. Tomski, J. Kaczmarczyk, Journal of Physics: Condensed Matter 28 (2016).
View | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1183 | OA
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.
[Submitted Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1321 | OA
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.
[Submitted Version] View | Files available | DOI
 
2016 | Published | Journal Article | IST-REx-ID: 1100 | OA
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.
[Published Version] View | Files available | DOI
 
2016 | Published | Conference Paper | IST-REx-ID: 1437 | OA
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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2016 | Published | Conference Paper | IST-REx-ID: 1386 | OA
Termination analysis of probabilistic programs through Positivstellensatz's
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
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
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 | arXiv
 
2015 | Published | 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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Export / Embed