Person:1158951

Available identifiers

zbMath Open mahr.berndDBLP14/3375WikidataQ21708159 ScholiaQ21708159MaRDI QIDQ1158951

List of research outcomes

Publication	Date of Publication	Type
Applications of type theory	2022-11-02	Paper
A decade of TAPSOFT	2022-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q3084837	2011-03-25	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4437808	2003-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4436364	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4430285	2003-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q2719333	2001-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4790384	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4790385	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4231110	1999-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4013986	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3995131	1992-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q3221381	1985-01-01	Paper
Characterizing specification languages which admit initial semantics	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219105	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3682637	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673087	1983-01-01	Paper
Algebraic implementation of abstract data types	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3315043	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3956380	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4741699	1982-01-01	Paper
Complexity of algebraic implementations for abstract data types	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3902512	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3944007	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3885176	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3907092	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3896501	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4182781	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167581	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3880807	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4133136	1976-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernd Mahr