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.

8920 Publications


2002 | Published | Conference Paper | IST-REx-ID: 2421
Ambühl, C., & Wagner, U. (2002). On the Clique problem in intersection graphs of ellipses. In Proceedings of the 13th International Symposium on Algorithms and Computation (Vol. 2518, pp. 489–500). Vancouver, Canada: Springer. https://doi.org/10.1007/3-540-36136-7_43
View | DOI
 

2002 | Published | 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 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Published | 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
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View | DOI
 

2002 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 1451 | OA
Hausel, T., & Sturmfels, B. (2002). Toric hyperkähler varieties. Documenta Mathematica. Deutsche Mathematiker Vereinigung. https://doi.org/10.4171/DM/130
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2002 | Published | Journal Article | IST-REx-ID: 13438 | OA
Fürst, J., Ritter, M., Rudzki, J., Danzl, J. G., Gschwentner, M., Scandella, E., … Paulmichl, M. (2002). ICln Ion channel splice variants in Caenorhabditis elegans. Journal of Biological Chemistry. Elsevier. https://doi.org/10.1074/jbc.m107372200
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 12659 | OA
Burlando, P., Pellicciotti, F., & Strasser, U. (2002). Modelling mountainous water systems between learning and speculating looking for challenges. Hydrology Research. IWA Publishing. https://doi.org/10.2166/nh.2002.0004
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Journal Article | IST-REx-ID: 3421
Mueller, D., Janovjak, H. L., Lehto, T., Kuerschner, L., & Anderson, K. (2002). Observing structure, function and assembly of single proteins by AFM. Progress in Biophysics and Molecular Biology. Elsevier. https://doi.org/10.1016/S0079-6107(02)00009-3
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3422
Müller, P., Janovjak, H. L., Miserez, A., & Dobbie, Z. (2002). Processing of gene expression data generated by quantitative real-time RT-PCR. Biotechniques. Informa Healthcare.
View | PubMed | Europe PMC
 

2002 | Published | Conference Paper | IST-REx-ID: 3423
Bauer, W., Bollenbach, M. T., Kleine Berkenbusch, M., & Harreis, H. (2002). The percolation interpretation of the nuclear fragmentation phase transition. In Proceedings of the 18th Winter Workshop on Nuclear Dynamics (pp. 111–118). Nassau, Bahamas: EP Systema.
View
 

2002 | Published | Conference Paper | IST-REx-ID: 3424
Bollenbach, M. T., & Bauer, W. (2002). 3d supernovae collapse calculations (Vol. 644, pp. 219–232). Presented at the CRIS: Catania Relativistic Ion Studies , Catania, Italy: American Institute of Physics. https://doi.org/10.1063/1.1523196
View | DOI
 

2002 | Published | 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 | Published | Journal Article | IST-REx-ID: 3497
Geiger, J., Bischofberger, J., Vida, I., Fröbe, U., Pfitzinger, S., Weber, H., … Jonas, P. M. (2002). Patch-clamp recording in brain slices with improved slicer technology. Pflugers Archiv : European Journal of Physiology. Springer. https://doi.org/10.1007/s00424-001-0735-3
View | DOI | PubMed | Europe PMC
 

2002 | Patent | IST-REx-ID: 3508 | OA
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 | Published | Journal Article | IST-REx-ID: 3533
Buzsáki, G., Csicsvari, J. L., Dragoi, G., Harris, K., Henze, D., & Hirase, H. (2002). Homeostatic maintenance of neuronal excitability by burst discharges in vivo. Cerebral Cortex. Oxford University Press. https://doi.org/10.1093/cercor/12.9.893
View | DOI | PubMed | Europe PMC
 

2002 | Published | Journal Article | IST-REx-ID: 3621 | OA
Kirkpatrick, M., Johnson, T., & Barton, N. H. (2002). General models of multilocus evolution. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/161.4.1727
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed