| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7580958 (Why is no real title available?) | 2022-09-01 | Paper |
Undecidability through Fourier series
Annals of Pure and Applied Logic | 2016-05-02 | Paper |
Recursive analysis of singular ordinary differential equations
Annals of Pure and Applied Logic | 2011-09-12 | Paper |
| Space almost periodic solutions of reaction diffusion equations | 2009-02-12 | Paper |
| Undecidable propositions by ODE's | 2007-07-20 | Paper |
Equilibrium solutions of the Bénard equations with an exterior force
Advances in Differential Equations | 2006-09-22 | Paper |
| Bifurcation of traveling waves related to the Bénard equations with an exterior forces | 2006-02-13 | Paper |
Fast decaying solutions of the Navier-Stokes equation and asymptotic properties
Journal of Mathematical Fluid Mechanics | 2006-01-31 | Paper |
Stability of the magnetic Couette-Taylor flow
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 2005-05-31 | Paper |
Equilibrium solutions of the Bénard equations with an exterior force.
Differential and Integral Equations | 2003-11-17 | Paper |
scientific article; zbMATH DE number 1909821 (Why is no real title available?)
Minds and Machines | 2003-05-14 | Paper |
scientific article; zbMATH DE number 1909822 (Why is no real title available?)
Minds and Machines | 2003-05-14 | Paper |
| scientific article; zbMATH DE number 1887468 (Why is no real title available?) | 2003-03-25 | Paper |
Large solutions of the magnetic Bénard problem on the infinite layer
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2003-03-14 | Paper |
Stability by magnetic fields in the magnetic Bénard problem
Analysis (München) | 2002-11-11 | Paper |
On properties of some Stokes-operators of Couette–Taylor
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 2002-10-07 | Paper |
| scientific article; zbMATH DE number 1569270 (Why is no real title available?) | 2001-08-30 | Paper |
Loss of stability in the magnetic Bénard problem
NoDEA. Nonlinear Differential Equations and Applications | 2001-05-15 | Paper |
Solutions of evolution equations of slow exponential decay'
Analysis | 2001-02-01 | Paper |
Linearized instability in the magnetic Bénard problem
Journal of Mathematical Fluid Mechanics | 2000-09-26 | Paper |
| scientific article; zbMATH DE number 1330211 (Why is no real title available?) | 2000-09-13 | Paper |
| scientific article; zbMATH DE number 1241422 (Why is no real title available?) | 2000-05-14 | Paper |
On the asymptotics of solutions of parabolic equations on unbounded domains
Nonlinear Analysis: Theory, Methods & Applications | 2000-03-15 | Paper |
Stability properties of parabolic equations in unbounded domains
Archiv der Mathematik | 1999-04-15 | Paper |
| scientific article; zbMATH DE number 1274909 (Why is no real title available?) | 1999-04-13 | Paper |
Stability properties of the Boussinesq equations
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1998-05-13 | Paper |
THE PRINCIPLE OF LINEARIZED INSTABILITY FOR SPACE-PERIODIC EQUILIBRIA OF NAVIER-STOKES ON AN INFINITE PLATE
Analysis | 1996-08-15 | Paper |
\({\mathcal L}^ 2\)-perturbations of space-periodic equilibria of Navier-Stokes
Zeitschrift für Analysis und ihre Anwendungen | 1996-08-15 | Paper |
| scientific article; zbMATH DE number 811845 (Why is no real title available?) | 1996-05-19 | Paper |
| scientific article; zbMATH DE number 837080 (Why is no real title available?) | 1996-02-13 | Paper |
\({\mathfrak L}^ 2\)-perturbations of periodic equilibria of reaction diffusion systems
NoDEA. Nonlinear Differential Equations and Applications | 1995-11-01 | Paper |
The principle of linearized instability for a class of evolution equations
Differential and Integral Equations | 1994-08-18 | Paper |
Bounded solutions of parabolic equations in unbounded domains
Nonlinear Analysis: Theory, Methods & Applications | 1994-05-05 | Paper |
Decay properties of periodic, radially symmetric solutions of Sine‐Gordon‐type equations
Mathematical Methods in the Applied Sciences | 1993-09-05 | Paper |
| scientific article; zbMATH DE number 55132 (Why is no real title available?) | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 4194312 (Why is no real title available?) | 1991-01-01 | Paper |
Center manifolds of infinite dimensions. I: Main results and applications
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1991-01-01 | Paper |
Center manifolds of infinite dimensions. II: Proofs of the main results
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1991-01-01 | Paper |
Smooth manifolds for semilinear wave equations on \({\mathbb{R}}^ 2:\) On the existence of almost-periodic breathers
Journal of Differential Equations | 1989-01-01 | Paper |
A class of singular boundary value problems
Nonlinear Analysis: Theory, Methods & Applications | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4067472 (Why is no real title available?) | 1988-01-01 | Paper |
Instable solutions of nonlinear parabolic equations in \(R^ 3\)
Journal of Differential Equations | 1987-01-01 | Paper |
Stability properties of space periodic standing waves
Zeitschrift für Analysis und ihre Anwendungen | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049057 (Why is no real title available?) | 1987-01-01 | Paper |
On the location of the maxima in nonlinear Dirichlet problems
Expositiones Mathematicae | 1986-01-01 | Paper |
Complex Boolean networks obtained by diagonalization
Theoretical Computer Science | 1985-01-01 | Paper |
Lower bound results on lengths of second-order formulas
Annals of Pure and Applied Logic | 1985-01-01 | Paper |
| Complexity of Subcases of Presburger Arithmetic | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3873293 (Why is no real title available?) | 1984-01-01 | Paper |
COMPLETE SECOND ORDER SPECTRA
Mathematical Logic Quarterly | 1984-01-01 | Paper |
Stability Properties of Flows with Pure Point Spectrum
Journal of the London Mathematical Society | 1982-01-01 | Paper |
Conditional expectations of stationary processes
Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete | 1981-01-01 | Paper |
Hilbertraum-Approximation und Jacobi-Matrizen
ZAMP. Zeitschrift für angewandte Mathematik und Physik | 1979-01-01 | Paper |
Entropy and nonlinear prediction
Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete | 1979-01-01 | Paper |
Predicting the future of functions on flows
Mathematical Systems Theory | 1979-01-01 | Paper |
Fourier analysis on dynamical systems
Journal of Differential Equations | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594374 (Why is no real title available?) | 1978-01-01 | Paper |
On Certain Nonlinear Eigenvalue Problems
Mathematische Nachrichten | 1977-01-01 | Paper |
A New Realizability Notion for Intuitionistic Analysis
Mathematical Logic Quarterly | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3521953 (Why is no real title available?) | 1975-01-01 | Paper |
On the spectra of certain semi-groups
Mathematische Annalen | 1974-01-01 | Paper |
Disjunctive properties of intuitionistic systems
Archiv für Mathematische Logik und Grundlagenforschung | 1974-01-01 | Paper |
Erratum
Annals of Mathematical Logic | 1974-01-01 | Paper |
On barinduction of higher types for decidable predicates
Annals of Mathematical Logic | 1973-01-01 | Paper |
Induction and transfinite induction in intuitionistic systems
Annals of Mathematical Logic | 1972-01-01 | Paper |
A Formally Constructive Model for Barrecursion of Higher Types
Mathematical Logic Quarterly | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3335898 (Why is no real title available?) | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3335898 (Why is no real title available?) | 1971-01-01 | Paper |
Proof theory and intuitionistic systems
Lecture Notes in Mathematics | 1971-01-01 | Paper |
A model of intuitionistic analysis
Commentarii Mathematici Helvetici | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3328132 (Why is no real title available?) | 1970-01-01 | Paper |
Some applications of Gentzens second consistency proof
Mathematische Annalen | 1969-01-01 | Paper |
| On the Metamathematics of Rings and Integral Domains | 1969-01-01 | Paper |
On a Family of Models of Zermelo‐Fraenkel Set Theory
Mathematical Logic Quarterly | 1966-01-01 | Paper |
A Characterization of Δ 2 -Sets
Transactions of the American Mathematical Society | 1965-01-01 | Paper |
Eine Anwendung der unendlichwertigen Logik auf topologische Räume
Fundamenta Mathematicae | 1964-01-01 | Paper |
Zwei Unentscheidbare Probleme Der Analysis
Mathematical Logic Quarterly | 1963-01-01 | Paper |
Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
Journal of Symbolic Logic | 1963-01-01 | Paper |
Approximation von Funktionen durch Linearkombinationen von Eigenfunktionen Sturm-Liouvillescher Differentialgleichungen
Commentarii Mathematici Helvetici | 1962-01-01 | Paper |
