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.
106 Publications
2002 | Conference Paper | IST-REx-ID: 2708
Erdös, L. (2002). Two dimensional Pauli operator via scalar potential (Vol. 307, pp. 129–133). Presented at the QMath: Mathematical Results in Quantum Physics, World Scientific Publishing. https://doi.org/10.1090/conm/307
View
| DOI
2002 | Journal Article | IST-REx-ID: 2991
Friml, J., & Palme, K. (2002). Polar auxin transport - Old questions and new concepts? Plant Molecular Biology. Springer. https://doi.org/10.1023/A:1015248926412
View
| DOI
2002 | Patent | IST-REx-ID: 3508 | 
Edelsbrunner, H., & Fu, P. (2002). Methods of generating three-dimensional digital models of objects by wrapping point cloud data points.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick, S., Chatterjee, K., Merchant, A., & Dasgupta, P. (2002). Implementation of shape grammar for plan analysis. Presented at the IT-Built: Information Technology For Built Environment, Elsevier.
View
2002 | Thesis | IST-REx-ID: 4414
Mang, F. (2002). Games in open systems verification and synthesis. University of California, Berkeley.
View
2002 | Journal Article | IST-REx-ID: 6158
Coates, J. C., & de Bono, M. (2002). Antagonistic pathways in neurons exposed to body fluid regulate social feeding in Caenorhabditis elegans. Nature. Springer Nature. https://doi.org/10.1038/nature01170
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 6159
de Bono, M., Tobin, D. M., Davis, M. W., Avery, L., & Bargmann, C. I. (2002). Social feeding in Caenorhabditis elegans is induced by neurons that detect aversive stimuli. Nature. Springer Nature. https://doi.org/10.1038/nature01169
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, L., Henzinger, T. A., & Stoelinga, M. (2002). Timed interfaces. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 108–122). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_9
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_34
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View
| DOI