BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Portugal
1 × Spain
1 × Sweden
Collaborated with:
M.Müller-Olm ∅ B.v.Karger C.Ulke R.Behnke E.Meyer P.Schneider
Talks about:
relview (2) program (2) relat (2) auxiliari (1) algorithm (1) realtion (1) approxim (1) variabl (1) generic (1) develop (1)

Person: Rudolf Berghammer

DBLP DBLP: Berghammer:Rudolf

Contributed to:

LOPSTR 20032003
LOPSTR 20022002
FASE 19981998
TACAS 19961996

Wrote 4 papers:

LOPSTR-2003-BerghammerM #algorithm #approximate #development #using #verification
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables (RB, MMO), pp. 59–74.
LOPSTR-2002-Berghammer #set
A Generic Program for Minimal Subsets with Applications (RB), pp. 144–157.
FASE-1998-BehnkeBMS #named #programming #relational
RELVIEW — A System for Calculating With Relations and Relational Programming (RB, RB, EM, PS), pp. 318–321.
TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net
Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.