Linear phase-portrait approximations for nonlinear hybrid systems
T.A. Henzinger, H. Wong Toi, in:, R. Alur, T.A. Henzinger, E. Sontag (Eds.), Hybrid Systems III: Verification and Control, Springer, 1996, pp. 377–388.
LibreCat: https://research-explorer.ista.ac.at/record/4426
DOI: 10.1007/BFb0020961

Using HyTech to synthesize control parameters for a steam boiler
T.A. Henzinger, H. Wong Toi, in:, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, Springer, 1996, pp. 265–282.
LibreCat: https://research-explorer.ista.ac.at/record/4427
DOI: 10.1007/BFb0027241

State equivalences for rectangular hybrid automata
T.A. Henzinger, P. Kopke, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 530–545.
LibreCat: https://research-explorer.ista.ac.at/record/4443
DOI: 10.1007/3-540-61604-7_74

A space-efficient on-the-fly algorithm for real-time model checking
T.A. Henzinger, O. Kupferman, M. Vardi, in:, 7th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996, pp. 514–529.
LibreCat: https://research-explorer.ista.ac.at/record/4495
DOI: 10.1007/3-540-61604-7_73

The theory of hybrid automata
T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 278–292.
LibreCat: https://research-explorer.ista.ac.at/record/4519
DOI: 10.1109/LICS.1996.561342 

 8th International Conference on Computer Aided Verification
T.A. Henzinger, R. Alur, eds.,  8th International Conference on Computer Aided Verification, Springer, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4585
DOI: 10.1007/3-540-61474-5

Reactive modules
R. Alur, T.A. Henzinger, in:, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, IEEE, 1996, pp. 207–218.
LibreCat: https://research-explorer.ista.ac.at/record/4588
DOI: 10.1109/LICS.1996.561320

Automatic symbolic verification of embedded systems
R. Alur, T.A. Henzinger, P. Ho, IEEE Transactions on Software Engineering 22 (1996) 181–201.
LibreCat: https://research-explorer.ista.ac.at/record/4611
DOI: 10.1109/32.489079

The benefits of relaxing punctuality
R. Alur, T. Feder, T.A. Henzinger, Journal of the ACM 43 (1996) 116–146.
LibreCat: https://research-explorer.ista.ac.at/record/4610
DOI: 10.1145/227595.227602

Hybrid Systems III: Verification and Control
R. Alur, T.A. Henzinger, E.D. Sontag, eds., Hybrid Systems III: Verification and Control, Springer, Berlinf; Heidelberg, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4612
DOI: 10.1007/BFb0020931

Evolution of sex determination in Caenorhabditis: Unusually high divergence of tra-1 and its functional consequences
M. de Bono, J. Hodgkin, Genetics 144 (1996) 587–595.
LibreCat: https://research-explorer.ista.ac.at/record/6161
PMID: 8889522

Fully dynamic biconnectivity in graphs
M.H. Henzinger, Algorithmica 13 (1995) 503–538.
LibreCat: https://research-explorer.ista.ac.at/record/11677
DOI: 10.1007/bf01189067

Fully dynamic biconnectivity and transitive closure
M.H. Henzinger, V. King, in:, Proceedings of IEEE 36th Annual Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 1995, pp. 664–672.
LibreCat: https://research-explorer.ista.ac.at/record/11684
DOI: 10.1109/SFCS.1995.492668

Approximating minimum cuts under insertions
M.H. Henzinger, in:, 22nd International Colloquium on Automata, Languages and Programming, Springer Nature, 1995, pp. 280–291.
LibreCat: https://research-explorer.ista.ac.at/record/11806
DOI: 10.1007/3-540-60084-1_81

Certificates and fast algorithms for biconnectivity in fully-dynamic graphs
M.H. Henzinger, H. Poutré, in:, 3rd Annual European Symposium on Algorithms, Springer Nature, 1995, pp. 171–184.
LibreCat: https://research-explorer.ista.ac.at/record/11805
DOI: 10.1007/3-540-60313-1_142

Average case analysis of dynamic graph algorithms
D. Alberts, M.H. Henzinger, in:, 6th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 1995, pp. 312–321.
LibreCat: https://research-explorer.ista.ac.at/record/11928

Cyclic reactions catalysed by detergent-dispersed and reconstituted transhydrogenase from beef heart mitochondria; implications for the mechanism of proton translocation
L.A. Sazanov, B. Jackson, Biochimica et Biophysica Acta - Bioenergetics 1231 (1995) 304–312.
LibreCat: https://research-explorer.ista.ac.at/record/1943
DOI: 10.1016/0005-2728(95)00096-2
PMID: 7578218

Auxin transport
D. Morris, J. Friml, E. Zaeímalová, in:, P. Davies (Ed.), Plant Hormones: Biosynthesis, Signal Transduction, Action!, Kluwer, 1995, pp. 451–484.
LibreCat: https://research-explorer.ista.ac.at/record/2465
DOI: 10.1007/978-1-4020-2686-7_21

Distributions of the mRNAs for L-2-amino-4-phosphonobutyrate-sensitive metabotropic glutamate receptors, mGlu and mGlu, in the rat brain
H. Ohishi, C. Akazawa, R. Shigemoto, S. Nakanishi, N. Mizuno, Journal of Comparative Neurology 360 (1995) 555–570.
LibreCat: https://research-explorer.ista.ac.at/record/2491
DOI: 10.1002/cne.903600402
PMID: 8801249

Specific deficit of the ON response in visual transmission by targeted disruption of the mGIu gene
M. Masu, H. Iwakabe, Y. Tagawa, T. Miyoshi, M. Yamashita, Y. Fukuda, H. Sasaki, K. Hiroi, Y. Nakamura, R. Shigemoto, M. Takada, K. Nakamura, K. Nakao, M. Katsuki, S. Nakanishi, Cell 80 (1995) 757–765.
LibreCat: https://research-explorer.ista.ac.at/record/2559
DOI: 10.1016/0092-8674(95)90354-2
PMID: 7889569