Edit Profile (opens in new tab) Terlouw, J. C. Co-Author Distance Author ID: terlouw.j-c Published as: Terlouw, J. C. Documents Indexed: 3 Publications since 1981 Co-Authors: 3 Co-Authors with 1 Joint Publication 67 Co-Co-Authors Co-Authors 0 single-authored 2 Bergstra, Jan A. 1 Bosgra, Okko H. 1 Smit, S. G. 1 Steinbuch, Maarten Serials 1 Acta Informatica 1 IEE Proceedings. Part D. Control Theory and Applications Fields 2 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Systems theory; control (93-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ Uncertainty modelling and structured singular-value computation applied to an electromechanical system. Zbl 0760.93010 Steinbuch, M.; Terlouw, J. C.; Bosgra, O. H.; Smit, S. G. 2 1992 A characterization of program equivalence in terms of Hoare’s logic. Zbl 0474.68018 Bergstra, J. A.; Terlouw, J. 2 1981 Uncertainty modelling and structured singular-value computation applied to an electromechanical system. Zbl 0760.93010 Steinbuch, M.; Terlouw, J. C.; Bosgra, O. H.; Smit, S. G. 2 1992 A characterization of program equivalence in terms of Hoare’s logic. Zbl 0474.68018 Bergstra, J. A.; Terlouw, J. 2 1981 Cited by 5 Authors 1 Cockburn, Juan C. 1 Leandro, Carlos 1 Monteiro, Luís 1 Morton, Blaise G. 1 Pita, Hélder Cited in 1 Serial 1 Automatica Cited in 2 Fields 1 Computer science (68-XX) 1 Systems theory; control (93-XX) Citations by Year