en
Please note that IST Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5625 Publications
2014 | Conference Paper | IST-REx-ID: 2063
K. Chatterjee, M. Chmelik, and P. Daca, “CEGAR for qualitative analysis of probabilistic systems,” presented at the CAV: Computer Aided Verification, Vienna, Austria, 2014, vol. 8559, pp. 473–490.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 535 
K. Chatterjee, M. Henzinger, S. Krinninger, and D. Nanongkai, “Polynomial time algorithms for energy games with special weight structures,” Algorithmica, vol. 70, no. 3, pp. 457–492, 2014.
View
| DOI
| Download (ext.)
2014 | Technical Report | IST-REx-ID: 5416
T. A. Henzinger and J. Otop, Model measuring for hybrid systems. IST Austria, 2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 7361
T. Lebar et al., “A bistable genetic switch based on designable DNA-binding domains,” Nature Communications, vol. 5, no. 1, p. 5007, 2014.
View
| DOI
| PubMed | Europe PMC
2014 | Conference Paper | IST-REx-ID: 2905
H. Edelsbrunner and D. Morozovy, “Persistent homology: Theory and practice,” presented at the ECM: European Congress of Mathematics, Kraków, Poland, 2014, pp. 31–50.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 2157
J. Matoušek, E. Sedgwick, M. Tancer, and U. Wagner, “Embeddability in the 3 sphere is decidable,” in Proceedings of the Annual Symposium on Computational Geometry, Kyoto, Japan, 2014, pp. 78–84.
View
| Files available
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1926
C. Sadel, “Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips,” Mathematical Physics, Analysis and Geometry, vol. 17, no. 3–4, pp. 409–440, 2014.
View
| DOI
| Download (ext.)
| arXiv
2014 | Technical Report | IST-REx-ID: 5411
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 1899
S. Williams, L. Ratliff, M. P. Postiglione, J. Knoblich, and E. Fuchs, “Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN,” Nature Cell Biology, vol. 16, no. 8, pp. 758–769, 2014.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2014 | Technical Report | IST-REx-ID: 5423
K. Chatterjee, A. Kössler, A. Pavlogiannis, and U. Schmid, A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria, 2014.
View
| Files available
| DOI
2014 | Journal Article | IST-REx-ID: 2253
A. Bailly et al., “Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth,” Plant Journal, vol. 77, no. 1, pp. 108–118, 2014.
View
| DOI
| Download (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 | Journal Article | IST-REx-ID: 1629
P. Guerrero, S. Jeschke, M. Wimmer, and P. Wonka, “Edit propagation using geometric relationship functions,” ACM Transactions on Graphics, vol. 33, no. 2, 2014.
View
| Files available
| DOI
2014 | Conference Paper | IST-REx-ID: 1643
G. Fuchsbauer, “Constrained Verifiable Random Functions ,” in SCN 2014, Amalfi, Italy, 2014, vol. 8642, pp. 95–114.
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1876
N. Dolbilin, H. Edelsbrunner, A. Glazyrin, and O. Musin, “Functionals on triangulations of delaunay sets,” Moscow Mathematical Journal, vol. 14, no. 3, pp. 491–504, 2014.
View
| Download (ext.)
2014 | Book Chapter | IST-REx-ID: 1888
S. Cremer, “Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt Bayerische Akademie der Wissenschaften,” in Soziale Insekten in einer sich wandelnden Welt, vol. 43, Pfeil, 2014, pp. 65–72.
View