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.




3387 Publications

2014 | Conference Paper | IST-REx-ID: 1393 | OA
A. Gordon, T. A. Henzinger, A. Nori, and S. Rajamani, “Probabilistic programming,” in Proceedings of the on Future of Software Engineering, Hyderabad, India, 2014, pp. 167–181.
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
M. Konrad, “Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus,” IST Austria, 2014.
View
 
2014 | Thesis | IST-REx-ID: 1402
P. Marhavá, “Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana,” IST Austria, 2014.
View
 
2014 | Thesis | IST-REx-ID: 1403
M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.
View
 
2014 | Conference Paper | IST-REx-ID: 1507 | OA
L. Erdös, “Random matrices, log-gases and Hölder regularity,” presented at the ICM: International Congress of Mathematicians, Seoul, Korea, 2014, vol. 3, pp. 214–236.
View | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1516 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “On the BCS gap equation for superfluid fermionic gases,” in Proceedings of the QMath12 Conference, Berlin, Germany, 2014, pp. 127–137.
View | DOI | Download Preprint (ext.) | arXiv
 
2014 | Journal Article | IST-REx-ID: 1532
H. Yang, J. Von Der Fecht Bartenbach, J. Friml, J. Lohmann, B. Neuhäuser, and U. Ludewig, “Auxin-modulated root growth inhibition in Arabidopsis thaliana seedlings with ammonium as the sole nitrogen source,” Functional Plant Biology, vol. 42, no. 3. CSIRO, pp. 239–251, 2014.
View | DOI
 
2014 | Journal Article | IST-REx-ID: 1629 | OA
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2. ACM, 2014.
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1643 | OA
G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
View | DOI | Download Submitted Version (ext.)
 

Filters and Search Terms

type<>research_data

Search

Filter Publications