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
Chatterjee, K., Chmelik, M., & Daca, P. (2014). CEGAR for qualitative analysis of probabilistic systems (Vol. 8559, pp. 473–490). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_31
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 535   OA
Chatterjee, K., Henzinger, M., Krinninger, S., & Nanongkai, D. (2014). Polynomial time algorithms for energy games with special weight structures. Algorithmica, 70(3), 457–492. https://doi.org/10.1007/s00453-013-9843-7
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 7304
Kwabi, D. G., Ortiz-Vitoriano, N., Freunberger, S. A., Chen, Y., Imanishi, N., Bruce, P. G., & Shao-Horn, Y. (2014). Materials challenges in rechargeable lithium-air batteries. MRS Bulletin, 39(5), 443–452. https://doi.org/10.1557/mrs.2014.87
View | DOI
 

2014 | Journal Article | IST-REx-ID: 7455
Costanzo, T., Benzi, F., Ghigna, P., Pin, S., Spinolo, G., & d’Acapito, F. (2014). Studying the surface reaction between NiO and Al2O3viatotal reflection EXAFS (ReflEXAFS). Journal of Synchrotron Radiation, 21(2), 395–400. https://doi.org/10.1107/s1600577513031299
View | DOI
 

2014 | Technical Report | IST-REx-ID: 5416
Henzinger, T. A., & Otop, J. (2014). Model measuring for hybrid systems. IST Austria. https://doi.org/10.15479/AT:IST-2014-171-v1-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 7361
Lebar, T., Bezeljak, U., Golob, A., Jerala, M., Kadunc, L., Pirš, B., … Jerala, R. (2014). A bistable genetic switch based on designable DNA-binding domains. Nature Communications, 5(1), 5007. https://doi.org/10.1038/ncomms6007
View | DOI | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 7772
Still, T., Goodrich, C. P., Chen, K., Yunker, P. J., Schoenholz, S., Liu, A. J., & Yodh, A. G. (2014). Phonon dispersion and elastic moduli of two-dimensional disordered colloidal packings of soft particles with frictional interactions. Physical Review E, 89(1), 012301. https://doi.org/10.1103/physreve.89.012301
View | DOI
 

2014 | Conference Paper | IST-REx-ID: 2905   OA
Edelsbrunner, H., & Morozovy, D. (2014). Persistent homology: Theory and practice (pp. 31–50). Presented at the ECM: European Congress of Mathematics, Kraków, Poland: European Mathematical Society Publishing House. https://doi.org/10.4171/120-1/3
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2157
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2014). Embeddability in the 3 sphere is decidable. In Proceedings of the Annual Symposium on Computational Geometry (pp. 78–84). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582137
View | Files available | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1926   OA
Sadel, C. (2014). Absolutely continuous spectrum for random Schrödinger operators on the Fibonacci and similar Tree-strips. Mathematical Physics, Analysis and Geometry, 17(3–4), 409–440. https://doi.org/10.1007/s11040-014-9163-4
View | DOI | Download (ext.) | arXiv
 

2014 | Technical Report | IST-REx-ID: 5411
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1899   OA
Williams, S., Ratliff, L., Postiglione, M. P., Knoblich, J., & Fuchs, E. (2014). Par3-mInsc and Gα i3 cooperate to promote oriented epidermal cell divisions through LGN. Nature Cell Biology, 16(8), 758–769. https://doi.org/10.1038/ncb3001
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Technical Report | IST-REx-ID: 5423
Chatterjee, K., Kössler, A., Pavlogiannis, A., & Schmid, U. (2014). A framework for automated competitive analysis of on-line scheduling of firm-deadline tasks. IST Austria. https://doi.org/10.15479/AT:IST-2014-300-v1-1
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2253   OA
Bailly, A., Wang, B., Zwiewka, M., Pollmann, S., Schenck, D., Lüthen, H., … Geisler, M. (2014). Expression of TWISTED DWARF1 lacking its in-plane membrane anchor leads to increased cell elongation and hypermorphic growth. Plant Journal, 77(1), 108–118. https://doi.org/10.1111/tpj.12369
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 118
Altshuler, E., Torres, H., González_Pita, A., Sánchez, C. G., Pérez Penichet, C., Waitukaitis, S. R., & Hidalgo, R. (2014). Settling into dry granular media in different gravities. Geophysical Research Letters, 41(9), 3032–3037. https://doi.org/10.1002/2014GL059229
View | DOI
 

2014 | Thesis | IST-REx-ID: 1395
Konrad, M. (2014). Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. IST Austria.
View
 

2014 | Journal Article | IST-REx-ID: 1629   OA
Guerrero, P., Jeschke, S., Wimmer, M., & Wonka, P. (2014). Edit propagation using geometric relationship functions. ACM Transactions on Graphics, 33(2). https://doi.org/10.1145/2591010
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1643   OA
Fuchsbauer, G. (2014). Constrained Verifiable Random Functions . In M. Abdalla & R. De Prisco (Eds.), SCN 2014 (Vol. 8642, pp. 95–114). Amalfi, Italy: Springer. https://doi.org/10.1007/978-3-319-10879-7_7
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1876   OA
Dolbilin, N., Edelsbrunner, H., Glazyrin, A., & Musin, O. (2014). Functionals on triangulations of delaunay sets. Moscow Mathematical Journal, 14(3), 491–504.
View | Download (ext.)
 

2014 | Book Chapter | IST-REx-ID: 1888
Cremer, S. (2014). Soziale Immunität: Wie sich der Staat gegen Pathogene wehrt  Bayerische Akademie der Wissenschaften. In Soziale Insekten in einer sich wandelnden Welt (Vol. 43, pp. 65–72). Pfeil.
View
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed