Neural trees-using neural nets in a tree classifier structure. - Jan-Erik Strömberg; Jalel Zrida; Alf J. Isaksson (ICASSP, 1991)

Combining Qualitative and Quantitative Knowledge to Generate Models of Physical Systems. - Ulf Söderman; Jan-Erik Strömberg (IJCAI, 1991)

Extraction of diagnostic rules using recursive partitioning systems: A comparison of two approaches. - Ankica Babic; Ewa Krusinska; Jan-Erik Strömberg (Artif. Intell. Medicine, 1992)

From Physical Modelling to Compositional Models of Hybrid Systems. - Simin Nadjm-Tehrani; Jan-Erik Strömberg (FTRTFT, 1994)

Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. - Jan-Erik Strömberg; Simin Nadjm-Tehrani; Jan L. Top (Hybrid Systems, 1995)

Proving Dynamic Properties in an Aerospace Application. - Simin Nadjm-Tehrani; Jan-Erik Strömberg (RTSS, 1995)

Formal Verification of Dynamic Properties in an Aerospace Application. - Simin Nadjm-Tehrani; Jan-Erik Strömberg (Formal Methods Syst. Des., 1999)

Co-simulation of Hybrid Systems: Signal-Simulink. - Stéphane Tudoret; Simin Nadjm-Tehrani; Albert Beneviste; Jan-Erik Strömberg (FTRTFT, 2000)