119:
For instance, in 2019 he was coauthor of "Cryptomorphic topological structures: a computational relation algebraic approach". This work relates the classical neighborhood system approach to
402:
343:
131:. The article notes the contributions of RelView experiments with finite topologies, for instance for a set with seven elements, 9,535,241 topologies are tested. (see § 9).
422:
81:
at TU München where he obtained his award-winning Ph.D. in 1984. From 1988 on, he worked as an assistant to
Gunther Schmidt at the Faculty for Computer Science of the
447:
85:, where he finally got his habilitation in 1990. Since 1993 he is a professor for Computer-aided Program Development at the Department of Computer Science at the
397:
442:
452:
82:
300:
280:
260:
206:
198:
172:
427:
407:
412:
244:
236:
228:
432:
311:
Berghammer, R.; Möller, B.; Winter, M. (eds.), "Festschrift in Honour of
Gunther Schmidt on the Occasion of his 75th Birthday",
417:
185:
366:
342:, Michael Winter (2019) "Cryptomorphic topological structures: a computational relation algebraic approach",
437:
105:
128:
108:, or Formal Methods of Programming, Semantics, Relational Methods in Computer Science. He developed the
77:. After obtaining his diploma in 1979, he started working as an assistant mainly to Gunther Schmidt and
70:
392:
155:
every year. Furthermore he is an enthusiastic sailor owning a own sailing vessel in the baltic sea.
86:
78:
62:
57:, Kelheim, from 1966 until 1970. He began studying Mathematics and Computer Science in 1973 at
296:
276:
256:
240:
232:
202:
194:
181:
168:
113:
54:
347:
38:
370:
339:
220:
74:
140:
66:
386:
58:
34:
97:
For many years he has served as head of the steering committee of the international
124:
351:
148:
50:
376:
151:
and other noted summits. He is an active climber spending several days in the
17:
127:
contact relations. The formulation of one approach to another is done with
120:
253:
RelMiCS '7 – Relational and Kleene-Algebraic
Methods in Computer Science
144:
98:
231:#570, Proc. 17th Intern. Workshop WG '91, Richterheim Fischbachau,
191:
Mathematik für
Informatiker: Grundlegende Begriffe und Strukturen
152:
273:
RelMiCS '10 – Relations and Kleene-Algebra in
Computer Science
293:
RAMiCS '11 – Relations and Kleene
Algebra in Computer Science
271:
Berghammer, R.; Möller, B.; Struth, G., eds. (2008-03-28),
251:
Berghammer, R.; Möller, B.; Struth, G., eds. (2004-06-01),
291:
Berghammer, R.; Jaoua, A.; Möller, B., eds. (2009-10-05),
344:
Journal of
Logical and Algebraic Methods in Programming
313:
Journal of
Logical and Algebraic Methods in Programming
295:, Lecture Notes in Computer Science, vol. 5827,
275:, Lecture Notes in Computer Science, vol. 4988,
255:, Lecture Notes in Computer Science, vol. 3051,
373:
with access to a full list of publications and talks
178:Ordnungen, Verbände und Relationen mit Anwendungen
112:system for the manipulation and visualisation of
403:Academic staff of Bundeswehr University Munich
33:(born 1952 in Oberndorf, Germany) is a German
101:conference series (formerly termed RelMiCS).
8:
225:Graph-Theoretic Concepts in Computer Science
123:to closure operators, kernel operators, and
104:Rudolf Berghammer is known for his work in
423:Academic staff of the University of Kiel
331:
448:Technical University of Munich alumni
7:
371:Christian Albrechts Universität Kiel
398:21st-century German mathematicians
83:Universität der Bundeswehr München
25:
229:Lecture Notes in Computer Science
443:Programming language researchers
165:Semantik von Programmiersprachen
453:Theoretical computer scientists
49:Rudolf Berghammer worked as an
1:
61:. His academic teachers were
116:and relational programming.
367:Prof. Dr. Rudolf Berghammer
352:10.1016/j.jlamp.2018.09.004
469:
428:German computer scientists
408:Computer science educators
143:. In his youth he climbed
413:Computer science writers
433:German textbook writers
167:, Logos Verlag, 2001,
139:One of his hobbies is
106:relational mathematics
418:Formal methods people
129:calculus of relations
27:German mathematician
87:University of Kiel
79:Friedrich L. Bauer
71:Gottfried Tinhofer
63:Friedrich L. Bauer
377:Rudolf Berghammer
302:978-3-642-04638-4
282:978-3-540-78912-3
262:978-3-540-22145-6
207:978-3-658-06288-0
199:978-3-658-06287-3
173:978-3-89722-830-6
55:Farbwerke Hoechst
31:Rudolf Berghammer
16:(Redirected from
460:
379:at researchr.org
354:
336:
320:
305:
285:
265:
39:computer science
21:
468:
467:
463:
462:
461:
459:
458:
457:
383:
382:
363:
358:
357:
340:Gunther Schmidt
338:R. Berghammer,
337:
333:
328:
310:
303:
290:
283:
270:
263:
250:
221:Gunther Schmidt
216:
161:
137:
95:
75:Gunther Schmidt
47:
28:
23:
22:
15:
12:
11:
5:
466:
464:
456:
455:
450:
445:
440:
435:
430:
425:
420:
415:
410:
405:
400:
395:
385:
384:
381:
380:
374:
362:
361:External links
359:
356:
355:
330:
329:
327:
324:
323:
322:
307:
301:
287:
281:
267:
261:
247:
215:
212:
211:
210:
188:
175:
160:
157:
141:mountaineering
136:
133:
94:
91:
67:Klaus Samelson
46:
43:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
465:
454:
451:
449:
446:
444:
441:
439:
438:Living people
436:
434:
431:
429:
426:
424:
421:
419:
416:
414:
411:
409:
406:
404:
401:
399:
396:
394:
391:
390:
388:
378:
375:
372:
368:
365:
364:
360:
353:
349:
346:102: 17–45,
345:
341:
335:
332:
325:
318:
314:
308:
304:
298:
294:
288:
284:
278:
274:
268:
264:
258:
254:
248:
246:
245:0-387-55121-2
242:
238:
237:3-540-55121-2
234:
230:
226:
222:
218:
217:
213:
208:
204:
200:
196:
192:
189:
187:
183:
179:
176:
174:
170:
166:
163:
162:
159:Written books
158:
156:
154:
150:
146:
142:
134:
132:
130:
126:
122:
117:
115:
111:
107:
102:
100:
92:
90:
88:
84:
80:
76:
72:
68:
64:
60:
56:
52:
44:
42:
40:
37:who works in
36:
35:mathematician
32:
19:
18:R. Berghammer
334:
316:
312:
292:
272:
252:
224:
219:1991: (with
193:, Springer,
190:
180:, Springer,
177:
164:
138:
118:
109:
103:
96:
48:
30:
29:
393:1952 births
214:Editorships
149:Piz Bernina
51:electrician
387:Categories
326:References
186:3658006196
59:TU München
114:relations
135:Personal
121:topology
209:(eBook)
110:RelView
53:at the
309:2014:
299:
289:2009:
279:
269:2008:
259:
249:2003:
243:
235:
205:
197:
184:
171:
145:Ortler
125:Aumann
99:RAMiCS
73:, and
297:ISBN
277:ISBN
257:ISBN
241:ISBN
233:ISBN
203:ISBN
195:ISBN
182:ISBN
169:ISBN
153:alps
93:Work
45:Life
369:at
348:doi
319:(2)
223:)
147:or
389::
317:83
315:,
239:,
227:,
201:,
89:.
69:,
65:,
41:.
350::
321:.
306:.
286:.
266:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.