R. Studer

Available identifiers

zbMath Open studer.rudiWikidataQ92692 ScholiaQ92692MaRDI QIDQ1239603

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4739553	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4484197	2003-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2781908	2002-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q2736444	2001-10-23	Paper
How to structure and access XML documents with ontologies	2001-08-20	Paper
A state space analysis of propose-and-revise	1999-05-24	Paper
Knowledge engineering: Principles and methods	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4027728	1993-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q3200598	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4720779	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3745333	1986-01-01	Paper
The use of Hoare's method of program verification for the Quicksort algorithm	1977-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: R. Studer