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.

1608 Publications


2003 | Journal Article | IST-REx-ID: 4169
Montero, J., Kilian, B., Chan, J., Bayliss, P., & Heisenberg, C.-P. J. (2003). Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(03)00505-0
View | DOI | PubMed | Europe PMC
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, H., & Üngör, A. (2003). Relaxed scheduling in dynamic skin triangulation. In Proceedings of the Japanese Conference on Discrete and Computational Geometry (Vol. 2866, pp. 135–151). Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-540-44400-8_14
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
Cheng, H., & Edelsbrunner, H. (2003). Area and perimeter derivatives of a union of disks. In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann (Vol. 2598, pp. 88–97). Springer. https://doi.org/10.1007/3-540-36477-3_7
View | DOI
 

2002 | Journal Article | IST-REx-ID: 11124 | OA
Bilbao-Cortés, D., Hetzer, M., Längst, G., Becker, P. B., & Mattaj, I. W. (2002). Ran binds to chromatin by two distinct mechanisms. Current Biology. Elsevier BV. https://doi.org/10.1016/s0960-9822(02)00927-2
[Published Version] View | DOI | Download Published Version (ext.) | 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
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer. https://doi.org/10.1007/3-540-45465-9_55
View | DOI
 

2002 | 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 | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, T. A., Kirsch, C., Majumdar, R., & Matic, S. (2002). Time-safety checking for embedded programs. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 76–92). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_7
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, C., Sanvido, M., Henzinger, T. A., & Pree, W. (2002). A Giotto-based helicopter control system. In Proceedings of the 2nd International Conference on Embedded Software (Vol. 2491, pp. 46–60). Grenoble, France: ACM. https://doi.org/10.1007/3-540-45828-X_5
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, M., Kupferman, O., & Henzinger, T. A. (2002). Trading probability for fairness. In Proceedings of the 16th International Workshop on Computer Science Logic (Vol. 2471, pp. 292–305). Edinburgh, Scotland: Springer. https://doi.org/10.1007/3-540-45793-3_20
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4259 | OA
Orive, M., & Barton, N. H. (2002). Associations between cytoplasmic and nuclear loci in hybridizing populations. Genetics. Genetics Society of America. https://doi.org/10.1093/genetics/162.3.1469
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3800 | OA
Bartos, M., Vida, I., Frotscher, M., Meyer, A., Monyer, H., Geiger, J., & Jonas, P. M. (2002). Fast synaptic inhibition promotes synchronized gamma oscillations in hippocampal interneuron networks. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.192233099
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 3799 | OA
Lien, C., Martina, M., Schultz, J., Ehmke, H., & Jonas, P. M. (2002). Gating, modulation and subunit composition of voltage-gated K(+) channels in dendritic inhibitory interneurones of rat hippocampus. Journal of Physiology. Wiley-Blackwell. https://doi.org/10.1113/jphysiol.2001.013066
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2002 | 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 | Journal Article | IST-REx-ID: 2988
Grebe, M., Friml, J., Swarup, R., Ljung, K., Sandberg, G., Terlou, M., … Scheres, B. (2002). Cell polarity signaling in Arabidopsis involves a BFA sensitive auxin influx pathway. Current Biology. Cell Press. https://doi.org/10.1016/S0960-9822(02)00654-1
View | DOI | PubMed | Europe PMC
 

2002 | 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 | Conference Paper | IST-REx-ID: 2927
Kolmogorov, V., & Zabih, R. (2002). Multi-camera scene reconstruction via graph cuts. In Proceedings of the 7th European Conference on Computer Vision (pp. 65–81). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-47977-5_5
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2694
Erdös, L. (2002). Scaling limits of Schrödinger quantum mechanics. In Dynamics of Dissipation (pp. 487–506). Springer. https://doi.org/10.1007/3-540-46122-1_19
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi, M., Shigemoto, R., & Mugnaini, E. (2002). Differential expression of calretinin and metabotropic glutamate receptor mGluR1α defines subsets of unipolar brush cells in mouse cerebellum. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/cne.10344
View | DOI | PubMed | Europe PMC
 

2002 | 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 | Journal Article | IST-REx-ID: 2420
Wagner, U. (2002). On the number of corner cuts. Advances in Applied Mathematics. ACM. https://doi.org/10.1016/S0196-8858(02)00014-3
View | DOI
 

2002 | 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 | Journal Article | IST-REx-ID: 871 | OA
Kondrashov, F., Rogozin, I., Wolf, Y., & Koonin, E. (2002). Selection in the evolution of gene duplications . Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2002-3-2-research0008
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 11892
Henzinger, M. H., & King, V. (2001). Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539797327209
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 11914
Bharat, K., Chang, B.-W., Henzinger, M. H., & Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICDM.2001.989500
View | DOI
 

2001 | Journal Article | IST-REx-ID: 8524
Kaloshin, V., & Rodnianski, I. (2001). Diophantine properties of elements of SO(3). Geometric And Functional Analysis. Springer Nature. https://doi.org/10.1007/s00039-001-8222-8
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 566–581). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 536–550). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems. In Proceedings of the 12th International Conference on on Concurrency Theory (Vol. 2154, pp. 351–365). Aalborg, Denmark: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, R., De Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C., … Wang, B. (2001). jMocha: A model-checking tool that exploits design structure. In Proceedings of the 23rd International Conference on Software Engineering (pp. 835–836). IEEE. https://doi.org/10.1109/ICSE.2001.919196
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, T. A., Minea, M., & Prabhu, V. (2001). Assume-guarantee reasoning for hierarchical hybrid systems. In Proceedings of the 4th International Workshop on Hybrid Systems (Vol. 2034, pp. 275–290). Rome, Italy: Springer. https://doi.org/10.1007/3-540-45351-2_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, T. A., Horowitz, B., & Kirsch, C. (2001). Giotto: A time-triggered language for embedded programming. In Proceedings of the 1st International Workshop on Embedded Software (Vol. 2211, pp. 166–184). Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7_12
View | DOI
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, T. A. (Ed.). (2001). EMSOFT: Embedded Software (Vol. 2211). Presented at the EMSOFT 2001: Embedded Software, Tahoe City, CA, USA: ACM. https://doi.org/10.1007/3-540-45449-7
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation. In Proceedings of the 12th annual ACM-SIAM symposium on Discrete algorithms (pp. 47–56). Washington, DC, USA : SIAM.
View | Download None (ext.)
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, H., Dey, T., Edelsbrunner, H., & Sullivan, J. (2001). Dynamic skin triangulation. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-001-0007-1
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3928 | OA
Sixt, M. K., Hallmann, R., Wendler, O., Scharffetter Kochanek, K., & Sorokin, L. (2001). Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M010898200
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2984 | OA
Swarup, R., Friml, J., Marchant, A., Ljung, K., Sandberg, G., Palme, K., & Bennett, M. (2001). Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.210501
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2611
Ruocco, I., Cuello, A., Shigemoto, R., & Ribeiro Da Silva, A. (2001). Sympathectomies lead to transient substance P-immunoreactive sensory fibre plasticity in the rat skin. Neuroscience. Elsevier. https://doi.org/10.1016/S0306-4522(01)00158-0
View | DOI | PubMed | Europe PMC
 

2001 | Journal Article | IST-REx-ID: 2348 | OA
Hainzl, C., & Seiringer, R. (2001). A discrete density matrix theory for atoms in strong magnetic fields. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s002200100373
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Journal Article | IST-REx-ID: 2341 | OA
Baumgartner, B., & Seiringer, R. (2001). Atoms with bosonic "electrons" in strong magnetic fields. Annales Henri Poincare. Birkhäuser. https://doi.org/10.1007/PL00001032
View | DOI | Download None (ext.) | arXiv
 

2001 | Conference Paper | IST-REx-ID: 2340 | OA
Seiringer, R. (2001). Bosons in a trap: Asymptotic exactness of the Gross-Pitaevskii ground state energy formula. In M. Demuth & B. Schultze (Eds.) (Vol. 126, pp. 307–314). Presented at the PDE: Partial Differential Equations and Spectral Theory, Clausthal, Germany: Birkhäuser. https://doi.org/10.1007/978-3-0348-8231-6
View | DOI | Download None (ext.) | arXiv
 

2000 | Conference Paper | IST-REx-ID: 11802
Henzinger, M. H. (2000). Web information retrieval - an algorithmic perspective. In 8th Annual European Symposium on Algorithms (Vol. 1879, pp. 1–8). Saarbrücken, Germany: Springer Nature. https://doi.org/10.1007/3-540-45253-2_1
View | DOI
 

2000 | Journal Article | IST-REx-ID: 11893
Henzinger, M. H. (2000). Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539794263907
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, L., Henzinger, T. A., & Mang, F. (2000). The control of synchronous systems. In Proceedings of the 11th International Conference on Concurrency Theory (Vol. 1877, pp. 458–473). University Park, PA, USA: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44618-4_33
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, T. A. (2000). Masaccio: A formal model for embedded components. In Proceedings of the 1st International Conference on Theoretical Computer Science (Vol. 1872, pp. 549–563). Sendai, Japan: Springer. https://doi.org/10.1007/3-540-44929-9_38
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, T. A., Majumdar, R., Mang, F., & Raskin, J. (2000). Abstract interpretation of game properties. In Proceedings of the 7th International Symposium on Static Analysis (Vol. 1824, pp. 220–239). Santa Barbara, CA, USA: Springer. https://doi.org/10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, T. A., Horowitz, B., Majumdar, R., & Wong Toi, H. (2000). Beyond HyTech: Hybrid systems analysis using interval numerical methods. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 130–144). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_14
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan & R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer. https://doi.org/10.1007/978-3-642-59615-5
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, T. A., & Rajamani, S. (2000). Fair bisimulation. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 299–314). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, T. A., & Majumdar, R. (2000). A classification of symbolic transition systems. In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science (Vol. 1770, pp. 13–34). Lille, France: Springer. https://doi.org/10.1007/3-540-46541-3_2
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, T. A., & Majumdar, R. (2000). Symbolic model checking for rectangular hybrid systems. In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 1785, pp. 142–156). Berlin, Germany: Springer. https://doi.org/10.1007/3-540-46419-0_11
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, T. A., & Raskin, J. (2000). Robust undecidability of timed and hybrid systems. In Proceedings of the 3rd International Workshop on Hybrid Systems (Vol. 1790, pp. 145–159). Pittsburgh, PA, USA: Springer. https://doi.org/10.1007/3-540-46430-1_15
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4197
Heisenberg, C.-P. J., Tada, M., Rauch, G., Saúde, L., Concha, M., Geisler, R., … Wilson, S. (2000). Silberblick/Wnt11 mediates convergent extension movements during zebrafish gastrulation. Nature. Nature Publishing Group. https://doi.org/10.1038/35011068
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 4010
Cheng, S., Dey, T., Edelsbrunner, H., Facello, M., & Teng, S. (2000). Sliver exudation. Journal of the ACM. ACM. https://doi.org/10.1145/355483.355487
View | DOI
 

2000 | Journal Article | IST-REx-ID: 4004
Edelsbrunner, H., & Grayson, D. (2000). Edgewise subdivision of a simplex. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s004540010063
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 3555
Edelsbrunner, H., Li, X., Miller, G., Stathopoulos, A., Talmor, D., Teng, S., … Walkington, N. (2000). Smoothing and cleaning up slivers. In Proceedings of the 32nd annual ACM symposium on Theory of computing (pp. 273–277). Portland, OR, USA: ACM. https://doi.org/10.1145/335305.335338
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3492
Geiger, J., & Jonas, P. M. (2000). Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)00164-1
View | DOI | PubMed | Europe PMC
 

2000 | Book Chapter | IST-REx-ID: 2710
Erdös, L. (2000). The kernel of Dirac operators on S3 and R3. In Differential Equations and Mathematical Physics (Vol. 16, pp. 111–119). American Mathematical Society. https://doi.org/10.1090/amsip/016
[Preprint] View | DOI | arXiv
 

2000 | Journal Article | IST-REx-ID: 12925
Fürst, J., Jakab, M., König, M., Ritter, M., Gschwentner, M., Rudzki, J., … Paulmichl, M. (2000). Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. S. Karger AG. https://doi.org/10.1159/000016374
View | DOI | PubMed | Europe PMC
 

2000 | Journal Article | IST-REx-ID: 1455 | OA
Hausel, T., Makai, E., & Szücs, A. (2000). Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. University College London. https://doi.org/10.1112/S0025579300015965
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2000 | Journal Article | IST-REx-ID: 13437
Macogonkosza, M., Przyborowski, J., Klajn, R., & Kwast, A. (2000). Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. Georg Thieme Verlag. https://doi.org/10.1055/s-2000-8670
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2597
Bushell, T., Lee, C., Shigemoto, R., & Miller, R. (1999). Modulation of synaptic transmission and differential localisation of mGlus in cultured hippocampal autapses. Neuropharmacology. Elsevier. https://doi.org/10.1016/S0028-3908(99)00103-3
View | DOI | PubMed | Europe PMC
 

1999 | Conference Paper | IST-REx-ID: 2711
Erdös, L. (1999). Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation. In Proceedings of the 7th QMath Conference (Vol. 108, pp. 233–242). Prague, Czech Republik: World Scientific Publishing. https://doi.org/10.1007/978-3-0348-8745-8_20
View | DOI
 

1999 | Journal Article | IST-REx-ID: 2864
Witters, E., Vanhoutte, K., Dewitte, W., Macháčková, I., Benková, E., Van Dongen, W., … Van Onckelen, H. (1999). Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry. Phytochemical Analysis. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G
View | DOI
 

1999 | Book (Editor) | IST-REx-ID: 3137
Jonas, P. M., & Monyer, H. (Eds.). (1999). Ionotropic Glutamate Receptors in the CNS (1st ed., Vol. 141). Berlin ; Heidelberg: Springer. https://doi.org/10.1007/978-3-662-08022-1
View | DOI | Download None (ext.)
 

1999 | Book Chapter | IST-REx-ID: 3456
Monyer, H., Jonas, P. M., & Rossier, J. (1999). Molecular determinants controlling functional properties of AMPARs and NMDARs in the mammalian CNS. In P. M. Jonas & H. Monyer (Eds.), Ionotropic Glutamate Receptors in the CNS (Vol. 141, pp. 309–339). Springer. https://doi.org/10.1007/978-3-662-08022-1_9
View | DOI
 

1999 | Book Chapter | IST-REx-ID: 3457
Geiger, J., Roth, A., Taskin, B., & Jonas, P. M. (1999). Glutamate-mediated synaptic excitation of cortical interneurons. In H. Monyer & P. M. Jonas (Eds.), Ionotropic Glutamate Receptors in the CNS (Vol. 141, pp. 363–398). Springer. https://doi.org/10.1007/978-3-662-08022-1_11
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4484
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Verifying sequential consistency on shared-memory multiprocessor systems. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 301–315). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_27
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4485
Henzinger, T. A., Horowitz, B., & Majumdar, R. (1999). Rectangular hybrid games. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 320–335). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_23
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4487
Henzinger, T. A., Qadeer, S., & Rajamani, S. (1999). Assume-guarantee refinement between different time scales. In Proceedings of the 11th International Conference on Computer Aided Verification (Vol. 1633, pp. 208–221). Trento, Italy: Springer. https://doi.org/10.1007/3-540-48683-6_20
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4601
Alur, R., Henzinger, T. A., & Kupferman, O. (1999). Alternating-time temporal logic. In Proceedings of the International Symposium on Compositionality (Vol. 1536, pp. 23–60). Bad Malente, Germany: Springer. https://doi.org/10.1007/3-540-49213-5_2
View | DOI
 

1999 | Conference Paper | IST-REx-ID: 4602
Alur, R., De Alfaro, L., Henzinger, T. A., & Mang, F. (1999). Automating modular verification. In Proceedings of the 10th International Conference on Concurrency Theory (Vol. 1664, pp. 82–97). Eindhoven, The Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-48320-9_8
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 11682
Agarwal, P. K., EppsteinL. J. Guibas, D., & Henzinger, M. H. (1998). Parametric and kinetic minimum spanning trees. In Proceedings of the 39th Annual Symposium on Foundations of Computer Science (pp. 596–605). Palo Alto, CA, United States. https://doi.org/10.1109/SFCS.1998.743510
View | DOI
 

1998 | Journal Article | IST-REx-ID: 2584
Kinoshita, A., Shigemoto, R., Ohishi, H., Van Der Putten, H., & Mizuno, N. (1998). Immunohistochemical localization of metabotropic glutamate receptors, mGluR7a and mGluR7b, in the central nervous system of the adult rat and mouse: A light and electron microscopic study. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980413)393:3<332::AID-CNE6>3.0.CO;2-2
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 2585
Wada, E., Shigemoto, R., Kinoshita, A., Ohishi, H., & Mizuno, N. (1998). Metabotropic glutamate receptor subtypes in axon terminals of projection fibers from the main and accessory olfactory bulbs: A light and electron microscopic immunohistochemical study in the rat. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19980420)393:4<493::AID-CNE8>3.0.CO;2-W
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 2590
Jaarsma, D., Diño, M., Ohishi, H., Shigemoto, R., & Mugnaini, E. (1998). Metabotropic glutamate receptors are associated with non-synaptic appendages of unipolar brush cells in rat cerebellar cortex and cochlear nuclear complex. Journal of Neurocytology. Kluwer. https://doi.org/10.1023/A:1006982023657
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, J. L., Hirase, H., Czurkó, A., & Buzsáki, G. (1998). Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. Elsevier. https://doi.org/10.1016/S0896-6273(00)80525-5
View | DOI | PubMed | Europe PMC
 

1998 | Book Chapter | IST-REx-ID: 3570
Axen, U., & Edelsbrunner, H. (1998). Auditory Morse analysis of triangulated manifolds. In Mathematical Visualization (pp. 223–236). Springer. https://doi.org/10.1007/978-3-662-03567-2_17
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3629
Maccallum, C., Nürnberger, B., Barton, N. H., & Szymura, J. (1998). Habitat preference in the Bombina hybrid zone in Croatia. Evolution. Wiley-Blackwell. https://doi.org/10.1111/j.1558-5646.1998.tb05156.x
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 4017 | OA
Liang, J., Edelsbrunner, H., & Woodward, C. (1998). Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design. Protein Science. Wiley-Blackwell. https://doi.org/10.1002/pro.5560070905
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 4410
Preußig, J., Kowalewski, S., Wong Toi, H., & Henzinger, T. A. (1998). An algorithm for the approximative analysis of rectangular automata. In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (Vol. 1486, pp. 228–240). Lyngby, Denmark: Springer. https://doi.org/10.1007/BFb0055350
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, T. A., & Rusu, V. (1998). Reachability verification for hybrid automata. In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control (Vol. 1386, pp. 190–204). Berkely, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3_40
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, T. A. (Ed.). (1998). HSCC: Hybrid Systems—Computation and Control (Vol. 1386). Presented at the HSCC: Hybrid Systems: Computation and Control, Berkeley, CA, United States of America: Springer. https://doi.org/10.1007/3-540-64358-3
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). An assume-guarantee rule for checking simulation. In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design (Vol. 1522, pp. 421–432). Palo Alto, CA, United States of America: Springer. https://doi.org/10.1007/3-540-49519-3_27
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, T. A. (1998). It’s about time: Real-time logics reviewed. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 439–454). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055640
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. (1998). Alternating refinement relations. In Proceedings of the 9th Interantional Conference on Concurrency Theory (Vol. 1466, pp. 163–178). Nice, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/BFb0055622
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (1998). Concurrent reachability games. In Proceedings 39th Annual Symposium on Foundations of Computer Science (pp. 564–575). Palo Alto, CA, United States of America: IEEE. https://doi.org/10.1109/SFCS.1998.743507 
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11666
Anderson, J. M., Berc, L. M., Dean, J., Ghemawat, S., Henzinger, M. H., Leung, S.-T. A., … Weihl, W. E. (1997). Continuous profiling: Where have all the cycles gone? ACM Transactions on Computer Systems. Association for Computing Machinery. https://doi.org/10.1145/265924.265925
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11767 | OA
Henzinger, M. H., Klein, P., Rao, S., & Subramanian, S. (1997). Faster shortest-path algorithms for planar graphs. Journal of Computer and System Sciences. Elsevier. https://doi.org/10.1006/jcss.1997.1493
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Conference Paper | IST-REx-ID: 11803
Henzinger, M. H., & King, V. (1997). Maintaining minimum spanning trees in dynamic graphs. In 24th International Colloquium on Automata, Languages and Programming (Vol. 1256, pp. 594–604). Bologna, Italy: Springer Nature. https://doi.org/10.1007/3-540-63165-8_214
View | DOI
 

1997 | Journal Article | IST-REx-ID: 11849 | OA
Anderson, J. M., Berc, L. M., Dean, J., Ghemawat, S., Henzinger, M. H., Leung, S.-T. A., … Weihl, W. E. (1997). Continuous profiling: Where have all the cycles gone? ACM SIGOPS Operating Systems Review. Association for Computing Machinery. https://doi.org/10.1145/269005.266637
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

1997 | Journal Article | IST-REx-ID: 2493
Acsády, L., Katona, I., Gulyás, A., Shigemoto, R., & Freund, T. (1997). Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2578
Seybold, V., Grković, I., Portbury, A., Ding, Y., Shigemoto, R., Mizuno, N., … Southwell, B. (1997). Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. Wiley-Blackwell. https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2580
Luján, R., Roberts, J., Shigemoto, R., Ohishi, H., & Somogyi, P. (1997). Differential plasma membrane distribution of metabotropic glutamate receptors mGluR1α, mGluR2 and mGluR5, relative to neurotransmitter release sites. Journal of Chemical Neuroanatomy. Elsevier. https://doi.org/10.1016/S0891-0618(97)00051-3
View | DOI | PubMed | Europe PMC
 

1997 | Journal Article | IST-REx-ID: 2579
Mann, P., Southwell, B., Ding, Y., Shigemoto, R., Mizuno, N., & Furness, J. (1997). Localisation of neurokinin 3 (NK3) receptor immunoreactivity in the rat gastrointestinal tract. Cell and Tissue Research. Springer. https://doi.org/10.1007/s004410050846
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications