| Publication | Date of Publication | Type |
|---|
From Stack Traces to Lazy Rewriting Sequences
Implementation and Application of Functional Languages | 2016-11-09 | Paper |
Continuations from generalized stack inspection
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
``Little language project modules
Journal of Functional Programming | 2010-03-17 | Paper |
| A bidomain model of human cardiac tissue incorporating a capillary microstructure | 2006-11-16 | Paper |
| scientific article; zbMATH DE number 1990638 (Why is no real title available?) | 2003-10-13 | Paper |
| scientific article; zbMATH DE number 1956543 (Why is no real title available?) | 2003-07-30 | Paper |
DrScheme: a programming environment for Scheme
Journal of Functional Programming | 2002-07-02 | Paper |
| scientific article; zbMATH DE number 1692948 (Why is no real title available?) | 2002-01-21 | Paper |
On solutions of evolution equations with proportional time delay
International Journal of Differential Equations and Applications | 2002-01-07 | Paper |
| scientific article; zbMATH DE number 1522798 (Why is no real title available?) | 2001-12-12 | Paper |
| scientific article; zbMATH DE number 1241731 (Why is no real title available?) | 1999-04-26 | Paper |
| scientific article; zbMATH DE number 1241732 (Why is no real title available?) | 1999-04-26 | Paper |
The inverse problem of electrocardiography: A solution in terms of single- and double-layer sources on the epicardial surface
Mathematical Biosciences | 1999-03-03 | Paper |
A convexity-preserving \(C^ 2\) parametric rational cubic interpolation
Numerische Mathematik | 1993-02-02 | Paper |
Convexity-Preserving Piecewise Rational Cubic Interpolation
SIAM Journal on Numerical Analysis | 1990-01-01 | Paper |
Minimum-time turn trajectories to fly-to points
Optimal Control Applications & Methods | 1990-01-01 | Paper |
A Fast, Accurate Algorithm for the Isometric Mapping of a Developable Surface
SIAM Journal on Mathematical Analysis | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3911148 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3925672 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3710927 (Why is no real title available?) | 1980-01-01 | Paper |
A simple problem in comparative diffusion
Applicable Analysis | 1977-01-01 | Paper |
On the Existence and Uniqueness of Solutions of the Equation
Canadian Mathematical Bulletin | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3559340 (Why is no real title available?) | 1975-01-01 | Paper |
Existence Theorems for a Quasilinear Evolution Equation
SIAM Journal on Applied Mathematics | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3441941 (Why is no real title available?) | 1973-01-01 | Paper |
Existence Theorems for Some Nonlinear Equations of Evolution*: Corrigendum
Canadian Journal of Mathematics | 1971-01-01 | Paper |
Existence Theorems for Some Non-Linear Equations of Evolution
Canadian Journal of Mathematics | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3292190 (Why is no real title available?) | 1970-01-01 | Paper |
Enclosure Theorems for Eigenvalues of Elliptic Operators
Canadian Mathematical Bulletin | 1970-01-01 | Paper |
