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.

626 Publications


2012 |Published| Journal Article | IST-REx-ID: 347 | OA
Ibáñez M, Zamani R, Lalonde A, Cadavid D, Li W, Shavel A, Arbiol J, Morante J, Gorsse S, Snyder GJ, Cabot A. 2012. Cu 2ZnGeSe 4 nanocrystals: Synthesis and thermoelectric properties. Journal of the American Chemical Society. 134(9), 4060–4063.
View | DOI | Download None (ext.)
 

2012 |Published| Journal Article | IST-REx-ID: 493 | OA
Tangermann M, Müller K, Aertsen A, Birbaumer N, Braun C, Brunner C, Leeb R, Mehring C, Miller K, Müller Putz G, Nolte G, Pfurtscheller G, Preissl H, Schalk G, Schlögl A, Vidaurre C, Waldert S, Blankertz B. 2012. Review of the BCI competition IV. Frontiers in Neuroscience. 6, 55.
[Published Version] View | Files available | DOI
 

2012 |Published| Conference Paper | IST-REx-ID: 3165 | OA
Chatterjee K, Henzinger MH. 2012. An O(n2) time algorithm for alternating Büchi games. Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms. SODA: Symposium on Discrete Algorithms, 1386–1399.
View | Files available | DOI | Download None (ext.) | arXiv
 

2012 |Published| Conference Paper | IST-REx-ID: 2956
Chatterjee K, Velner Y. 2012. Mean payoff pushdown games. Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 6280438.
View | Files available | DOI
 

2012 |Published| Technical Report | IST-REx-ID: 5377 | OA
Chatterjee K, Velner Y. 2012. Mean-payoff pushdown games, IST Austria, 33p.
[Published Version] View | Files available | DOI
 

2012 |Published| Journal Article | IST-REx-ID: 7308
Ottakam Thotiyl MM, Freunberger SA, Peng Z, Bruce PG. 2012. The carbon electrode in nonaqueous Li–O2 cells. Journal of the American Chemical Society. 135(1), 494–500.
View | DOI
 

2012 |Published| Journal Article | IST-REx-ID: 8463
Asami S, Szekely K, Schanda P, Meier BH, Reif B. 2012. Optimal degree of protonation for 1H detection of aliphatic sites in randomly deuterated proteins as a function of the MAS frequency. Journal of Biomolecular NMR. 54(2), 155–168.
View | DOI
 

2012 |Published| Journal Article | IST-REx-ID: 8504
Kaloshin V, KOZLOVSKI OS. 2012. A Cr unimodal map with an arbitrary fast growth of the number of periodic points. Ergodic Theory and Dynamical Systems. 32(1), 159–165.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 1052 | OA
Vexiau R, Bouloufa N, Aymar M, Danzl JG, Mark M, Nägerl H, Dulieu O. 2011. Optimal trapping wavelengths of Cs 2 molecules in an optical lattice. European Physical Journal D. 65(1–2), 243–250.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2011 |Published| Conference Paper | IST-REx-ID: 11864
Dütting P, Henzinger MH, Weber I. 2011. An expressive mechanism for auctions on the web. Proceedings of the 20th international conference on World wide web. WWW: International Conference on World Wide Web, 127–136.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 2200 | OA
Lemeshko M, Mustafa M, Kais S, Friedrich B. 2011. Supersymmetry identifies molecular Stark states whose eigenproperties can be obtained analytically. New Journal of Physics. 13.
View | DOI | Download (ext.)
 

2011 |Published| Journal Article | IST-REx-ID: 2436
Matoušek J, Tancer M, Wagner U. 2011. Hardness of embedding simplicial complexes in Rd. Journal of the European Mathematical Society. 13(2), 259–295.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3090
Mravec J, Petrášek J, Li N, Boeren S, Karlova R, Kitakura S, Pařezová M, Naramoto S, Nodzyński T, Dhonukshe P, Bednarek S, Zažímalová E, De Vries S, Friml J. 2011. Cell plate restricted association of DRP1A and PIN proteins is required for cell polarity establishment in arabidopsis. Current Biology. 21(12), 1055–1060.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3396 | OA
Stockinger P, Heisenberg C-PJ, Maître J-L. 2011. Defective neuroepithelial cell cohesion affects tangential branchiomotor neuron migration in the zebrafish neural tube. Development. 138(21), 4673–4683.
[Published Version] View | Files available | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3315 | OA
Chatterjee K, Henzinger TA, Prabhu V. 2011. Timed parity games: Complexity and robustness. Logical Methods in Computer Science. 7(4).
[Published Version] View | Files available | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3086
Furutani M, Sakamoto N, Yoshida S, Kajiwara T, Robert H, Friml J, Tasaka M. 2011. Polar localized NPH3-like proteins regulate polarity and endocytosis of PIN-FORMED auxin efflux carriers. Development. 138(10), 2069–2078.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3084
Feraru E, Feraru M, Kleine Vehn J, Martinière A, Mouille G, Vanneste S, Vernhettes S, Runions J, Friml J. 2011. PIN polarity maintenance by the cell wall in Arabidopsis. Current Biology. 21(4), 338–343.
View | DOI
 

2011 |Published| Journal Article | IST-REx-ID: 3101 | OA
Zwiewka M, Feraru E, Möller B, Hwang I, Feraru M, Kleine Vehn J, Weijers D, Friml J. 2011. The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. 21(12), 1711–1722.
View | DOI | Download (ext.)
 

2011 |Published| Journal Article | IST-REx-ID: 3138
Sullivan D, Csicsvari JL, Mizuseki K, Montgomery S, Diba K, Buzsáki G. 2011. Relationships between hippocampal sharp waves ripples and fast gamma oscillation Influence of dentate and entorhinal cortical activity. Journal of Neuroscience. 31(23), 8605–8616.
View | DOI
 

2011 |Published| Conference Paper | IST-REx-ID: 3342 | OA
Chatterjee K, Henzinger MH, Joglekar M, Nisarg S. 2011. Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. CAV: Computer Aided Verification, LNCS, vol. 6806, 260–276.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

eissn%3D978-94-009-0435-4

Search

Filter Publications