Please note that IST 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.

5758 Publications


2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A. Henzinger. Concurrent Omega-Regular Games. IEEE, 2000, pp. 141–54, doi:10.1109/LICS.2000.855763.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, et al. The Control of Synchronous Systems. Vol. 1877, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–73, doi:10.1007/3-540-44618-4_33.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, et al. Detecting Errors before Reaching Them. Vol. 1855, Springer, 2000, pp. 186–201, doi:10.1007/10722167_17.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3149
Hwang, Jae, et al. “Interaction of Drosophila Melanogaster Prohormone Convertase 2 and 7B2: Insect Cell Specific Processing and Secretion.” Journal of Biological Chemistry, vol. 275, no. 23, American Society for Biochemistry and Molecular Biology, 2000, pp. 17886–93, doi:10.1074/jbc.M000032200 .
View | DOI
 

2000 | Journal Article | IST-REx-ID: 3489
Kraushaar, Udo, and Peter M. Jonas. “Efficacy and Stability of Quantal GABA Release at a Hippocampal Interneuron-Principal Neuron Synapse.” Journal of Neuroscience, vol. 20, no. 15, Society for Neuroscience, 2000, pp. 5594–607.
View | Download (ext.)
 

Search

Filter Publications