K. Becker

From MaRDI portal
Person:880194

Available identifiers

zbMath Open becker.klaus-wMaRDI QIDQ880194

List of research outcomes





PublicationDate of PublicationType
Semantics for positive/negative conditional rewrite systems2023-03-09Paper
Proving ground confluence and inductive validity in constructor based equational specifications2022-11-02Paper
MEGAFLOW for AIRBUS-D — Applications and Requirements2008-03-27Paper
Flow simulation and shape optimization for aircraft design2007-05-11Paper
MEGAFLOW: Parallel complete aircraft CFD2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q42701802001-01-18Paper
The MEGAFLOW project2000-09-14Paper
https://portal.mardi4nfdi.de/entity/Q49426612000-03-16Paper
A framework for operational equational specifications with pre-defined structures2000-01-12Paper
https://portal.mardi4nfdi.de/entity/Q31226421997-03-02Paper
Spin waves and static susceptibility in the weakly doped t‐J model1997-02-16Paper
https://portal.mardi4nfdi.de/entity/Q48395641995-07-17Paper
https://portal.mardi4nfdi.de/entity/Q43103101994-10-26Paper
https://portal.mardi4nfdi.de/entity/Q34931911989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37861651988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37312651986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36912861984-01-01Paper

Research outcomes over time

This page was built for person: K. Becker

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:880194&oldid=7446707"
Powered by MediaWiki