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.




3039 Publications

2014 | Working Paper | IST-REx-ID: 7038 | OA
Huszár K, Rolinek M. Playful Math - An Introduction to Mathematical Games. IST Austria
View | Files available
 
2014 | Journal Article | IST-REx-ID: 1375 | OA
Chatterjee K, Henzinger M, Krinninger S, Loitzenbauer V, Raskin M. Approximating the minimum cycle mean. Theoretical Computer Science. 2014;547(C):104-116. doi:10.1016/j.tcs.2014.06.031
View | DOI | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1392 | OA
Dragoi C, Henzinger TA, Veith H, Widder J, Zufferey D. A logic-based framework for verifying consensus algorithms. In: Vol 8318. Springer; 2014:161-181. doi:10.1007/978-3-642-54013-4_10
View | Files available | DOI
 
2014 | Conference Paper | IST-REx-ID: 1393 | OA
Gordon A, Henzinger TA, Nori A, Rajamani S. Probabilistic programming. In: Proceedings of the on Future of Software Engineering. ACM; 2014:167-181. doi:10.1145/2593882.2593900
View | DOI | Download Published Version (ext.)
 
2014 | Thesis | IST-REx-ID: 1395
Konrad M. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. 2014.
View
 
2014 | Thesis | IST-REx-ID: 1402
Marhavá P. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. 2014.
View
 
2014 | Thesis | IST-REx-ID: 1403
Behrndt M. Forces driving epithelial spreading in zebrafish epiboly. 2014.
View | Files available
 
2014 | Thesis | IST-REx-ID: 1404
Stock M. Evolution of a fungal pathogen towards individual versus social immunity in ants. 2014.
View
 
2014 | Conference Paper | IST-REx-ID: 1507 | OA
Erdös L. Random matrices, log-gases and Hölder regularity. In: Vol 3. Kyung Moon SA Co. Ltd.; 2014:214-236.
View | Download Submitted Version (ext.)
 
2014 | Conference Paper | IST-REx-ID: 1516 | OA
Bräunlich G, Hainzl C, Seiringer R. On the BCS gap equation for superfluid fermionic gases. In: Proceedings of the QMath12 Conference. World Scientific Publishing; 2014:127-137. doi:10.1142/9789814618144_0007
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications