| 2005 | ||
|---|---|---|
| j5 | Martin von Mohrenschildt: Predictive Traces in Hybrid Systems. International Journal of Software Engineering and Knowledge Engineering 15(2): 289-298 (2005) | |
| c2 | Martin von Mohrenschildt: A hybrid controller for a nonholonomic car-like robot. ICINCO 2005: 282-288 | |
| 2003 | ||
| j4 | William M. Farmer, Martin von Mohrenschildt: An Overview of a Formal Framework for Managing Mathematics. Ann. Math. Artif. Intell. 38(1-3): 165-191 (2003) | |
| 2001 | ||
| j3 | Martin von Mohrenschildt: Symbolic Verification of Hybrid Systems: An Algebraic Approach. Eur. J. Control 7(5): 541-556 (2001) | |
| 2000 | ||
| j2 | Martin von Mohrenschildt: Algebraic Composition of Function Tables. Formal Asp. Comput. 12(1): 41-51 (2000) | |
| 1998 | ||
| j1 | Martin von Mohrenschildt: A Normal Form for Function Rings of Piecewise Functions. J. Symb. Comput. 26(5): 607-619 (1998) | |
| 1997 | ||
| c1 | David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich: Integration of the Signum, Piecewise and Related Functions. ISSAC 1997: 324-330 | |
| 1 | William M. Farmer | |
| 2 | David J. Jeffrey | |
| 3 | George Labahn | |
| 4 | Albert D. Rich |
Data released under the ODC-BY 1.0 license — See also our legal information page