Burkhardt Renz

Publikationen und Vorträge

2021

 » Burkhardt Renz: Digitalisierung im Standesamt. Die Entwicklung digitaler Verfahren im und für das Standesamt in den letzten 30 Jahren. in: StAZ Das Standesamt 74. Jahrgang Nr. 7 Juli 2021 S.193 – 202
Leicht gekürzte Fassung des Beitrags aus der Festschrift »Die deutschen Standesbeamten und ihr Verband«
Burkhardt Renz: Die Hard in Electrum. THM, Juni 2021
Portable Document Format, 728 KB, Stand 28.06.2021
Burkhardt Renz: Kombinatorische Logik interaktiv: Skifahren mit der Logic Workbench. Präsentation THM, Juni 2021
Portable Document Format, 2973 KB, Stand 30.06.2021
Burkhardt Renz: Kombinatorische Logik interaktiv: Skifahren mit der Logic Workbench. Quellcode zur Präsentation THM, Juni 2021
Clojure, 7 KB, Stand 29.06.2021

2020

 » Burkhardt Renz: Digitalisierung im Standesamt. in: Bundesverband der Deutschen Standesbeamtinnen und Standesbeamten e.V. (Hrsg.): Die deutschen Standesbeamten und ihr Verband: Rückblick auf 100 Jahre Verbandsgeschichte, Frankfurt am Main, Berlin, 2020
Claudia Fritsch, Richard Abt, Burkhardt Renz: The Benefits of a Feature Model in Banking. SPLC 2020
Die hier verlinkte Version ist nur für den persönlichen Gebrauch bestimmt.
Portable Document Format, 1459 KB, Stand 21.10.2020
Claudia Fritsch, Richard Abt, Burkhardt Renz: Generating Documents from Partial Configurations. Anhang zum Paper SPLC 2020
Portable Document Format, 290 KB, Stand 15.09.2020
Burkhardt Renz: Die Türme von Hanoi in TLA+. THM, Mai 2020
Portable Document Format, 594 KB, Stand 6.05.2020

2019

Burkhardt Renz: Natürliches Schließen in Coq. Tutorial, THM, Januar 2019
Portable Document Format, 423 KB, Stand 29.01.2020

2015

Burkhardt Renz: 3 times Sudoku – Logic and Constraints in Clojure. :clojureD, Berlin, Januar 2015
Portable Document Format, 3900 KB, Stand 25.05.2018

2014

Burkhardt Renz: eBC eBooks Collection Toolbox. Technischer Bericht Nr. 5 des Instituts für SoftwareArchitektur
Portable Document Format, 342 KB, Stand 25.05.2018
Burkhardt Renz: (Fast) 12 Jahre Register-Schnittstelle – Ein Fazit. Vortrag bei der Informationsveranstaltung des Verlags für Standesamtswesen für die Referentinnen und Referenten für Personenstandswesen bei den Innenministerien der Länder und des Bundes
Portable Document Format, 4207 KB, Stand 25.05.2018

2010

Burkhardt Renz und Nils Asmussen: Kurze Einführung in Alloy. 2010 - 2019, Technische Hochschule Mittelhessen
Portable Document Format, 416 KB, Stand 25.10.2020

2008

Burkhardt Renz: Lösungen mit dem MNI Proposition Analyzer MPA - Logeleien, Kartenfärbung, Sudoku, Variabilitätsmodelle. Technischer Bericht Fachhochschule Gießen-Friedberg University of Applied Sciences
Portable Document Format, 2370 KB, Stand 25.05.2018

2006

Bodo A. Igler, Burkhardt Renz: Softwareanalyse: Einsatzgebiete, Werkzeuge und Beispiele. Workshop Verlag für Standesamtswesen 17. August 2006. (Fassung ohne Animation)
Portable Document Format, 561 KB, Stand 25.05.2018

2005

Burkhardt Renz: Das elektronische Personenstandsbuch: Technische Möglichkeiten und Visionen. Vortrag Deutscher Standesbeamtentag Göttingen 11. November 2005.
Portable Document Format, 2320 KB, Stand 25.05.2018
Burkhardt Renz: Überlegungen zum Curriculum der Informatik an Hochschule und Schule. Referat Geschwister-Scholl-Schule Rodgau-Hainhausen 4. 10. 2005
Portable Document Format, 513 KB, Stand 25.05.2018
Burkhardt Renz: Das elektronische Personenstandsbuch: ein Konzept. Technischer Bericht Fachhochschule Gießen-Friedberg März 2005
Portable Document Format, 238 KB, Stand 25.05.2018
Sebastian Süß, Ingo Graser, Burkhardt Renz: Der ePb-Server: Spezifikation der Schnittstelle. Technischer Bericht Fachhochschule Gießen-Friedberg März 2005
Portable Document Format, 548 KB, Stand 25.05.2018
Burkhardt Renz: Namensrecht und objektorientierte Analyse mit UML: Fragen über Fragen. Fachhochschule Gießen-Friedberg 2005
Portable Document Format, 532 KB, Stand 25.05.2018
Claudia Fritsch and Burkhardt Renz: Four Mechanisms for Adaptable Systems – A Meta-Level Approach to Building a Software Product Line. in: Software Process Improvement and Practice Volume 10, 103 - 124, John Wiley & Sons 2005.
Die elektronische Version ist nur für den persönlichen Gebrauch bestimmt. Copyright hat John Wiley & Sons, Ltd. Weiterverbreitung ist nicht gestattet.
Portable Document Format, 375 KB, Stand 25.05.2018

2004

Claudia Fritsch and Burkhardt Renz: Four Mechanisms for Adaptable Systems – A Meta-Level Approach to Building a Software Product Line. in: Software Product Lines, Third International Conference, SPLC 2004 Boston, MA, USA, August/September 2004 Proceedings LNCS 3154 Springer 2004.
Die elektronische Version ist nur für den persönlichen Gebrauch bestimmt. Copyright hat der Springer-Verlag. Weiterverbreitung ist nicht gestattet.
Portable Document Format, 1676 KB, Stand 25.05.2018
Burkhardt Renz: Publizieren von Modulkatalogen. in: Tagungsbericht des Workshops Leistungspunkte und Modulmanagement L&M 2004 Leipzig 23./24.3.2004
Portable Document Format, 96 KB, Stand 25.05.2018

2002

Burkhardt Renz: Das elektronische Personenstandsbuch: Überlegungen zu Anforderungen und Systemarchitektur. Vortrag Verlag für Standesamtswesen Berlin Dezember 2002.
Portable Document Format, 411 KB, Stand 25.05.2018
Burkhardt Renz: Entwicklung von Softwaresystemen mit der PAC- und Metalevel-Architektur. Vortrag Bosch GmbH CM-DI Frankfurt Mai 2002
Portable Document Format, 235 KB, Stand 25.05.2018

2001

Burkhardt Renz: Die kleine XML-Apotheke: Einführendes zum Thema XML, XSL und Datenbanken. Januar 2001
Portable Document Format, 2635 KB, Stand 25.05.2018

1999

Burkhardt Renz: Information und Struktur: Einführung in XML. Vortrag FH Darmstadt Dezember 1999 (Version ohne Animation)
Portable Document Format, 126 KB, Stand 25.05.2018
Burkhardt Renz: Softwareentwicklung mit Komponenten. Vortrag FH Gießen Oktober 1999 (Version ohne Animation)
Portable Document Format, 132 KB, Stand 25.05.2018

Arbeiten vor 1990

Burkhardt Renz: Geometric invariants and HNN-extensions. in: Group Theory: Proceedings of the 1987 Singapore Conference, Berlin, New York 1989, 465 - 484. (Copyright by Walter de Gruyter – for personal use only)
Portable Document Format, 10624 KB, Stand 25.05.2018
Burkhardt Renz: Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen. Dissertation, Frankfurt am Main 1988, neu gesetzt mit TeX 2020.
Portable Document Format, 1233 KB, Stand 5.08.2020
Robert Bieri, Burkhardt Renz: Valuations on free resolutions and higher geometric invariants of groups. Comment. Math. Helvetici 63 (1988), 464 - 497. (Copyright by Birkhäuser – for personal use only)
Portable Document Format, 2868 KB, Stand 25.05.2018
Robert Bieri, Burkhardt Renz: Invariants géométriques supérieurs d'un groupe discret. in: C. R. Acad. Sc. Paris, t.303, Série I, no 10, 1986, 435 - 437.
Portable Document Format, 705 KB, Stand 25.05.2018
Burkhardt Renz: Permutationsgruppen vom Rang 3 und die Konstruktion der sporadischen einfachen Gruppe von Suzuki. Diplomarbeit, Tübingen 1982.
Portable Document Format, 3433 KB, Stand 25.05.2018