Please note that ISTA 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.

2033 Publications


2013 | Published | Journal Article | IST-REx-ID: 251
De La Bretèche, R., & Browning, T. D. (2013). Counter examples to the Hasse principle among certain coflasque tori. Journal de Theorie Des Nombres de Bordeaux. Universite de Bordeaux I. https://doi.org/10.5802/jtnb.857
View | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2517 | OA
Almagor, S., Boker, U., & Kupferman, O. (2013). Formalizing and reasoning about quality. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_3
[Submitted Version] View | Files available | DOI
 

2013 | Published | Conference Paper | IST-REx-ID: 2518 | OA
Kolmogorov, V. (2013). The power of linear programming for finite-valued CSPs: A constructive characterization (Vol. 7965, pp. 625–636). Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39206-1_53
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2013 | Published | Journal Article | IST-REx-ID: 17684 | OA
Prieto, J., Jimenez, R., & Haiman, Z. (2013). Gas infall into atomic cooling haloes: On the formation of protogalactic discs and supermassive black holes at z > 10. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stt1730
[Published Version] View | DOI | Download Published Version (ext.)
 

2013 | Published | Journal Article | IST-REx-ID: 7775
Schoenholz, S. S., Goodrich, C. P., Kogan, O., Liu, A. J., & Nagel, S. R. (2013). Stability of jammed packings II: The transverse length scale. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c3sm51096d
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 812
Koestler, S., Steffen, A., Nemethova, M., Winterhoff, M., Luo, N., Holleboom, J., … Rottner, K. (2013). Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. American Society for Biology. https://doi.org/10.1091/mbc.E12-12-0857
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 501 | OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy. Oxford University Press. https://doi.org/10.1644/12-MAMM-A-169.1
[Published Version] View | Files available | DOI | WoS
 

2013 | Published | Journal Article | IST-REx-ID: 502
Blazy, O., Fuchsbauer, G., Pointcheval, D., & Vergnaud, D. (2013). Short blind signatures. Journal of Computer Security. IOS Press. https://doi.org/10.3233/JCS-130477
View | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 507 | OA
Kim, S., Xu, Z., Song, K., Kim, D., Kang, H., Reichardt, I., … Hwang, I. (2013). Adaptor protein complex 2-mediated endocytosis is crucial for male reproductive organ development in arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114264
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 511 | OA
Pěnčík, A., Simonovik, B., Petersson, S., Henyková, E., Simon, S., Greenham, K., … Ljung, K. (2013). Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.113.114421
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2013 | Published | Journal Article | IST-REx-ID: 528
Robert, H., Grones, P., Stepanova, A., Robles, L., Lokerse, A., Alonso, J., … Friml, J. (2013). Local auxin sources orient the apical basal axis in arabidopsis embryos. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2013.09.039
View | DOI | WoS
 

2013 | Published | Technical Report | IST-REx-ID: 5403 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). Qualitative analysis of concurrent mean-payoff games. IST Austria. https://doi.org/10.15479/AT:IST-2013-126-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5404 | OA
Chatterjee, K., & Ibsen-Jensen, R. (2013). The complexity of ergodic games. IST Austria. https://doi.org/10.15479/AT:IST-2013-127-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Technical Report | IST-REx-ID: 5406 | OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
[Published Version] View | Files available | DOI
 

2013 | Published | Book Chapter | IST-REx-ID: 5747 | OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Published | Journal Article | IST-REx-ID: 6370
Lin, T.-C., Cole, J. M., Higginbotham, A. P., Edwards, A. J., Piltz, R. O., Pérez-Moreno, J., … Kwon, O.-P. (2013). Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. American Chemical Society (ACS). https://doi.org/10.1021/jp400648q
View | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 11751
Lukas, K. C., Joshi, G., Modic, K. A., Ren, Z. F., & Opeil, C. P. (2012). Thermoelectric properties of Ho-doped Bi0.88Sb0.12. Journal of Materials Science. Springer Nature. https://doi.org/10.1007/s10853-012-6463-6
[Preprint] View | DOI | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 11794 | OA
Dütting, P., Henzinger, M., & Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In 8th International Workshop on Internet and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-35311-6_4
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Conference Paper | IST-REx-ID: 11795
Colini-Baldeschi, R., Henzinger, M., Leonardi, S., & Starnberger, M. (2012). On multiple keyword sponsored search auctions with budgets. In 39th International Colloquium on Automata, Languages, and Programming (Vol. 7392, pp. 1–12). Warwick, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-31585-5_1
View | Files available | DOI
 

2012 | Published | Journal Article | IST-REx-ID: 2689
Parajuli, L., Nakajima, C., Kulik, Á., Matsui, K., Schneider, T., Shigemoto, R., & Fukazawa, Y. (2012). Quantitative regional and ultra structural localization of the Ca v2 3 subunit of R type calcium channel in mouse brain. Journal of Neuroscience. Society for Neuroscience. https://doi.org/10.1523/JNEUROSCI.1142-12.2012
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed