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.

7642 Publications


1994 | Book Chapter | IST-REx-ID: 4590
Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.” In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World Scientific Publishing, 1994. https://doi.org/10.1142/9789812831583_0001.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4503
Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.” Information and Computation. Elsevier, 1994. https://doi.org/10.1006/inco.1994.1045.
View | DOI | Download None (ext.)
 

1994 | Conference Paper | IST-REx-ID: 4586
Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.” In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994. https://doi.org/10.1109/LICS.1994.316087 .
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4591
Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.” Journal of the ACM. ACM, 1994. https://doi.org/10.1145/174644.174651.
View | DOI | Download None (ext.)
 

1994 | Journal Article | IST-REx-ID: 4179 | OA
Leingärtner, Axel, Carl-Philipp J Heisenberg, Roland Kolbeck, Hans Thoenen, and Dan Lindholm. “Brain-Derived Neurotrophic Factor Increases Neurotrophin-3 Expression in Cerebellar Granule Neurons.” Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology, 1994. https://doi.org/10.1016/s0021-9258(17)42186-7.
View | DOI | Download None (ext.)
 

Search

Filter Publications