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.
1635 Publications
2000 |Published| Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation.” In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:299–314. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_21.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.” In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, 1770:13–34. Springer, 2000. https://doi.org/10.1007/3-540-46541-3_2.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “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, 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.” In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:145–59. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_15.
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 4197
Heisenberg, Carl-Philipp J, Masazumi Tada, Gerd Rauch, Leonor Saúde, Miguel Concha, Robert Geisler, Derek Stemple, James Smith, and Stephen Wilson. “Silberblick/Wnt11 Mediates Convergent Extension Movements during Zebrafish Gastrulation.” Nature. Nature Publishing Group, 2000. https://doi.org/10.1038/35011068.
View
| DOI
| PubMed | Europe PMC
2000 |Published| Journal Article | IST-REx-ID: 4010
Cheng, Siu, Tamal Dey, Herbert Edelsbrunner, Michael Facello, and Shang Teng. “Sliver Exudation.” Journal of the ACM. ACM, 2000. https://doi.org/10.1145/355483.355487.
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 4004
Edelsbrunner, Herbert, and Daniel Grayson. “Edgewise Subdivision of a Simplex.” Discrete & Computational Geometry. Springer, 2000. https://doi.org/10.1007/s004540010063.
View
| DOI
2000 |Published| Conference Paper | IST-REx-ID: 3555
Edelsbrunner, Herbert, Xiang Li, Gary Miller, Andreas Stathopoulos, Dafna Talmor, Shang Teng, Alper Üngör, and Noel Walkington. “Smoothing and Cleaning up Slivers.” In Proceedings of the 32nd Annual ACM Symposium on Theory of Computing, 273–77. ACM, 2000. https://doi.org/10.1145/335305.335338.
View
| DOI
2000 |Published| Journal Article | IST-REx-ID: 3492
Geiger, Jörg, and Peter M Jonas. “Dynamic Control of Presynaptic Ca(2+) Inflow by Fast-Inactivating K+ Channels in Hippocampal Mossy Fiber Boutons.” Neuron. Elsevier, 2000. https://doi.org/10.1016/S0896-6273(00)00164-1.
View
| DOI
| PubMed | Europe PMC
2000 |Published| Book Chapter | IST-REx-ID: 2710
Erdös, László. “The Kernel of Dirac Operators on S3 and R3.” In Differential Equations and Mathematical Physics, 16:111–19. American Mathematical Society, 2000. https://doi.org/10.1090/amsip/016.
[Preprint]
View
| DOI
| arXiv
2000 |Published| Journal Article | IST-REx-ID: 12925
Fürst, Johannes, Martin Jakab, Matthias König, Markus Ritter, Martin Gschwentner, Jakob Rudzki, Johann G Danzl, et al. “Structure and Function of the Ion Channel ICln.” Cellular Physiology and Biochemistry. S. Karger AG, 2000. https://doi.org/10.1159/000016374.
View
| DOI
| PubMed | Europe PMC
2000 |Published| Journal Article | IST-REx-ID: 1455 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel, Tamás, Endre Makai, and András Szücs. “Inscribing Cubes and Covering by Rhombic Dodecahedra via Equivariant Topology.” Mathematika. University College London, 2000. https://doi.org/10.1112/S0025579300015965.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |Published| Journal Article | IST-REx-ID: 13437
Macogonkosza, Mieczysław, Jacek Przyborowski, Rafal Klajn, and Andrzej Kwast. “Simple Synthesis of 2-Substituted Tetrahydrofuran-3-Carbonitriles.” Synlett. Georg Thieme Verlag, 2000. https://doi.org/10.1055/s-2000-8670.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 2597
Bushell, Trevor, Chong Lee, Ryuichi Shigemoto, and Richard Miller. “Modulation of Synaptic Transmission and Differential Localisation of MGlus in Cultured Hippocampal Autapses.” Neuropharmacology. Elsevier, 1999. https://doi.org/10.1016/S0028-3908(99)00103-3.
View
| DOI
| PubMed | Europe PMC
1999 |Published| Conference Paper | IST-REx-ID: 2711
Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation.” In Proceedings of the 7th QMath Conference, 108:233–42. World Scientific Publishing, 1999. https://doi.org/10.1007/978-3-0348-8745-8_20.
View
| DOI
1999 |Published| Journal Article | IST-REx-ID: 2864
Witters, Erwin, Koen Vanhoutte, Walter Dewitte, Ivana Macháčková, Eva Benková, Walter Van Dongen, Eddy Esmans, and Henri Van Onckelen. “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, 1999. https://doi.org/10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G.
View
| DOI
1999 |Published| Book (Editor) | IST-REx-ID: 3137
Jonas, Peter M, and Hannah Monyer, eds. Ionotropic Glutamate Receptors in the CNS. 1st ed. Vol. 141. Berlin ; Heidelberg: Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1.
View
| DOI
| Download None (ext.)
1999 |Published| Book Chapter | IST-REx-ID: 3456
Monyer, Hannah, Peter M Jonas, and Jean Rossier. “Molecular Determinants Controlling Functional Properties of AMPARs and NMDARs in the Mammalian CNS.” In Ionotropic Glutamate Receptors in the CNS, edited by Peter M Jonas and Hannah Monyer, 141:309–39. Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1_9.
View
| DOI
1999 |Published| Book Chapter | IST-REx-ID: 3457
Geiger, Jörg, Arnd Roth, Birol Taskin, and Peter M Jonas. “Glutamate-Mediated Synaptic Excitation of Cortical Interneurons.” In Ionotropic Glutamate Receptors in the CNS, edited by Hannah Monyer and Peter M Jonas, 141:363–98. Springer, 1999. https://doi.org/10.1007/978-3-662-08022-1_11.
View
| DOI
1999 |Published| Conference Paper | IST-REx-ID: 4484
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.” In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999. https://doi.org/10.1007/3-540-48683-6_27.
View
| DOI