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.
9311 Publications
2002 |Published| Journal Article | IST-REx-ID: 12659 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Modelling mountainous water systems between learning and speculating looking for challenges
P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.
[Published Version]
View
| DOI
| Download Published Version (ext.)
P. Burlando, F. Pellicciotti, U. Strasser, Hydrology Research 33 (2002) 47–74.
2002 |Published| Conference Paper | IST-REx-ID: 1738
Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
View
| DOI
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
2002 |Published| Journal Article | IST-REx-ID: 1739
Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells
T. Stergiopoulos, I. Arabatzis, G. Katsaros, P. Falaras, Nano Letters 2 (2002) 1259–1261.
View
| DOI
T. Stergiopoulos, I. Arabatzis, G. Katsaros, P. Falaras, Nano Letters 2 (2002) 1259–1261.
2002 |Published| Conference Paper | IST-REx-ID: 2339
Symmetry breaking in a model of a rotating Bose gas
R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.
View
| DOI
R. Seiringer, in:, R. Weder, P. Exner, B. Grébert (Eds.), World Scientific Publishing, 2002, pp. 281–286.
2002 |Published| Journal Article | IST-REx-ID: 2351 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gross-Pitaevskii theory of the rotating Bose gas
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
View
| DOI
| Download (ext.)
R. Seiringer, Communications in Mathematical Physics 229 (2002) 491–509.
2002 |Published| Journal Article | IST-REx-ID: 2349 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Proof of Bose-Einstein condensation for dilute trapped gases
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, Physical Review Letters 88 (2002) 1704091–1704094.
2002 |Published| Journal Article | IST-REx-ID: 2352 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
General decomposition of radial functions on ℝn and applications to N-body quantum systems
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.
View
| DOI
| Download (ext.)
C. Hainzl, R. Seiringer, Letters in Mathematical Physics 61 (2002) 75–84.
2002 |Published| Journal Article | IST-REx-ID: 2617 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cell type dependence and variability in the short-term plasticity of EPSCs in identified mouse hippocampal interneurones
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210.
View
| DOI
| Download (ext.)
A. Losonczy, L. Zhang, R. Shigemoto, P. Somogyi, Z. Nusser, Journal of Physiology 542 (2002) 193–210.
2002 |Published| Conference Paper | IST-REx-ID: 2708
Two dimensional Pauli operator via scalar potential
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
View
| DOI
L. Erdös, in:, World Scientific Publishing, 2002, pp. 129–133.
2002 |Published| Journal Article | IST-REx-ID: 2991
Polar auxin transport - Old questions and new concepts?
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
View
| DOI
J. Friml, K. Palme, Plant Molecular Biology 49 (2002) 273–284.
2002 | Patent | IST-REx-ID: 3508 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Methods of generating three-dimensional digital models of objects by wrapping point cloud data points
H. Edelsbrunner, P. Fu, (2002).
[Published Version]
View
| Download Published Version (ext.)
H. Edelsbrunner, P. Fu, (2002).
2002 |Published| Conference Paper | IST-REx-ID: 3448
Implementation of shape grammar for plan analysis
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
View
S. Mallick, K. Chatterjee, A. Merchant, P. Dasgupta, in:, Elsevier, 2002.
2002 |Published| Thesis | IST-REx-ID: 4414
Games in open systems verification and synthesis
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
View
F. Mang, Games in Open Systems Verification and Synthesis, University of California, Berkeley, 2002.
2002 |Published| Journal Article | IST-REx-ID: 6158
Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
View
| DOI
| PubMed | Europe PMC
J.C. Coates, M. de Bono, Nature 419 (2002) 925–929.
2002 |Published| Journal Article | IST-REx-ID: 6159
Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
View
| DOI
| PubMed | Europe PMC
M. de Bono, D.M. Tobin, M.W. Davis, L. Avery, C.I. Bargmann, Nature 419 (2002) 899–903.
2002 |Published| Conference Paper | IST-REx-ID: 4631
Timed interfaces
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
View
| DOI
L. De Alfaro, T.A. Henzinger, M. Stoelinga, in:, Proceedings of the 2nd International Conference on Embedded Software, ACM, 2002, pp. 108–122.
2002 |Published| Conference Paper | IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
2002 |Published| Conference Paper | IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
View
| DOI
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
2002 |Published| Journal Article | IST-REx-ID: 4595
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
2002 |Published| Conference Paper | IST-REx-ID: 4471
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.
View
| DOI
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.