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.
7085 Publications
2003 |Published| Conference Paper | IST-REx-ID: 3997
A multi-resolution data structure for two-dimensional Morse-Smale functions
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, Proceedings of the 14th IEEE Conference on Visualization , IEEE, 2003, pp. 139–146.
View
| DOI
P. Bremer, H. Edelsbrunner, B. Hamann, V. Pascucci, in:, Proceedings of the 14th IEEE Conference on Visualization , IEEE, 2003, pp. 139–146.
2003 |Published| Journal Article | IST-REx-ID: 4168
Adhesive crosstalk in gastrulation
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
View
| DOI
| PubMed | Europe PMC
J. Montero, C.-P.J. Heisenberg, Developmental Cell 5 (2003) 190–191.
2003 |Published| Book Chapter | IST-REx-ID: 3991
Area and perimeter derivatives of a union of disks
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
View
| DOI
H. Cheng, H. Edelsbrunner, in:, Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, Springer, 2003, pp. 88–97.
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 |
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 |
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 |
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 |
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 |
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.