K. Becker

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Semantics for positive/negative conditional rewrite systems Conditional Term Rewriting Systems	2023-03-09	Paper
Proving ground confluence and inductive validity in constructor based equational specifications Lecture Notes in Computer Science	2022-11-02	Paper
MEGAFLOW for AIRBUS-D — Applications and Requirements MEGAFLOW - Numerical Flow Simulation for Aircraft Design	2008-03-27	Paper
Flow simulation and shape optimization for aircraft design Journal of Computational and Applied Mathematics	2007-05-11	Paper
MEGAFLOW: Parallel complete aircraft CFD Parallel Computing	2001-08-20	Paper
scientific article; zbMATH DE number 1361227 (Why is no real title available?)	2001-01-18	Paper
The MEGAFLOW project Aerospace Science and Technology	2000-09-14	Paper
scientific article; zbMATH DE number 1414324 (Why is no real title available?)	2000-03-16	Paper
A framework for operational equational specifications with pre-defined structures Journal of Symbolic Computation	2000-01-12	Paper
scientific article; zbMATH DE number 986191 (Why is no real title available?)	1997-03-02	Paper
Spin waves and static susceptibility in the weakly doped <i>t‐J</i> model Annalen der Physik	1997-02-16	Paper
scientific article; zbMATH DE number 775076 (Why is no real title available?)	1995-07-17	Paper
scientific article; zbMATH DE number 671941 (Why is no real title available?)	1994-10-26	Paper
scientific article; zbMATH DE number 4166822 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4049270 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3963433 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3915876 (Why is no real title available?)	1984-01-01	Paper

Research outcomes over time

This page was built for person: K. Becker