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
2000 |
Published |
Journal Article |
IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4627
De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Proceedings of the 11th International Conference on Concurrency Theory. Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them. In: Proceedings of the 12th International Conference on Computer Aided Verification. Vol 1855. Springer; 2000:186-201. doi:10.1007/10722167_17
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 1455 |
Hausel T, Makai E, Szücs A. Inscribing cubes and covering by rhombic dodecahedra via equivariant topology. Mathematika. 2000;47(1-2):371-397. doi:10.1112/S0025579300015965
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2000 |
Published |
Journal Article |
IST-REx-ID: 13437
Macogonkosza M, Przyborowski J, Klajn R, Kwast A. Simple synthesis of 2-substituted Tetrahydrofuran-3-carbonitriles. Synlett. 2000;2000(12):1773-1774. doi:10.1055/s-2000-8670
View
| DOI
2000 |
Published |
Conference Paper |
IST-REx-ID: 11802
Henzinger MH. Web information retrieval - an algorithmic perspective. In: 8th Annual European Symposium on Algorithms. Vol 1879. Springer Nature; 2000:1–8. doi:10.1007/3-540-45253-2_1
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 11893
Henzinger MH. Improved data structures for fully dynamic biconnectivity. SIAM Journal on Computing. 2000;29(6):1761-1815. doi:10.1137/s0097539794263907
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 12925
Fürst J, Jakab M, König M, et al. Structure and Function of the Ion Channel ICln. Cellular Physiology and Biochemistry. 2000;10(5-6):329-334. doi:10.1159/000016374
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3489 |
Kraushaar U, Jonas PM. Efficacy and stability of quantal GABA release at a hippocampal interneuron-principal neuron synapse. Journal of Neuroscience. 2000;20(15):5594-5607. doi:10.1523/JNEUROSCI.20-15-05594.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3490 |
Normann C, Peckys D, Schulze C, Walden J, Jonas PM, Bischofberger J. Associative long-term depression in the hippocampus is dependent on postsynaptic N-type Ca(2+) channels. Journal of Neuroscience. 2000;20(22):8290-8297. doi:10.1523/JNEUROSCI.20-22-08290.2000
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3491
Martina M, Vida I, Jonas PM. Distal initiation and active propagation of action potentials in interneuron dendrites. Science. 2000;287(5451):295-300. doi:10.1126/science.287.5451.295
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3492
Geiger J, Jonas PM. Dynamic control of presynaptic Ca(2+) inflow by fast-inactivating K+ channels in hippocampal mossy fiber boutons. Neuron. 2000;28(3):927-939. doi:10.1016/S0896-6273(00)00164-1
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3532
Henze D, Borhegyi Z, Csicsvari JL, Mamiya A, Harris K, Buzsáki G. Intracellular features predicted by extracellular recordings in the hippocampus in vivo. Journal of Neurophysiology. 2000;84(1):390-400. doi:10.1152/jn.2000.84.1.390
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Journal Article |
IST-REx-ID: 3542
Csicsvari JL, Hirase H, Mamiya A, Buzsáki G. Ensemble patterns of hippocampal CA3-CA1 neurons during sharp wave-associated population events. Neuron. 2000;28(2):585-594. doi:10.1016/S0896-6273(00)00135-5
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 3548
Harris K, Henze D, Csicsvari JL, Hirase H, Buzsáki G. Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements. Journal of Neurophysiology. 2000;84(1):401-414. doi:10.1152/jn.2000.84.1.401
View
| DOI
| PubMed | Europe PMC
2000 |
Published |
Conference Paper |
IST-REx-ID: 3555
Edelsbrunner H, Li X, Miller G, et al. Smoothing and cleaning up slivers. In: Proceedings of the 32nd Annual ACM Symposium on Theory of Computing. ACM; 2000:273-277. doi:10.1145/335305.335338
View
| DOI
2000 |
Published |
Book Chapter |
IST-REx-ID: 3572
Edelsbrunner H. Spielereien mit Kreisen und Kugeln. Zum Thema Form und Verformung. In: Zur Kunst Des Formalen Denkens. Passagen Verlag; 2000:153-171.
View
2000 |
Published |
Journal Article |
IST-REx-ID: 3583
Edelsbrunner H. Triangulations and meshes in computational geometry. Acta Numerica. 2000;9:133-213. doi:10.1017/S0962492900001331
View
| DOI
2000 |
Published |
Journal Article |
IST-REx-ID: 3623
Barton NH, Patridge L. Measuring fitness by means of balancer chromosomes. Genetical Research. 2000;75(3):297-314. doi:10.1017/S0016672399004346
View
| DOI
| PubMed | Europe PMC