Publikationen und Vorträge

2024

Burkhardt Renz: Natürliches Schließen in Lean. THM, November 2024 Portable Document Format, 132 KB, Stand 1.11.2024

2023

Burkhardt Renz: Bäume in SQL. THM, Januar 2023 Portable Document Format, 413 KB, Stand 17.10.2023

Burkhardt Renz: Logik und formale Methoden. Vorlesungsskript Technische Hochschule Mittelhessen Portable Document Format, 6274 KB, Stand 17.10.2023

2022

Burkhardt Renz: Erste Begegnung mit Alloy 6. THM, Juni 2023 Portable Document Format, 5579 KB, Stand 17.10.2023

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 17.10.2023

Burkhardt Renz: Kombinatorische Logik interaktiv: Skifahren mit der Logic Workbench. Präsentation THM, Juni 2021 Portable Document Format, 2973 KB, Stand 17.10.2023

Burkhardt Renz: Kombinatorische Logik interaktiv: Skifahren mit der Logic Workbench. Quellcode zur Präsentation THM, Juni 2021 Clojure, 7 KB, Stand 17.10.2023

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 17.10.2023

Claudia Fritsch, Richard Abt, Burkhardt Renz: Generating Documents from Partial Configurations. Anhang zum Paper SPLC 2020 Portable Document Format, 290 KB, Stand 17.10.2023

Burkhardt Renz: Die Türme von Hanoi in TLA+. THM, Mai 2020 Portable Document Format, 594 KB, Stand 17.10.2023

2019

Burkhardt Renz: Natürliches Schließen in Coq. Tutorial, THM, Januar 2019, verbessert März 2024 Portable Document Format, 447 KB, Stand 31.03.2024

2015

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

2014

Burkhardt Renz: eBC eBooks Collection Toolbox. Technischer Bericht Nr. 5 des Instituts für SoftwareArchitektur Portable Document Format, 342 KB, Stand 17.10.2023

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 17.10.2023

2010

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

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 17.10.2023

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 17.10.2023

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 17.10.2023

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 17.10.2023

Burkhardt Renz: Das elektronische Personenstandsbuch: ein Konzept. Technischer Bericht Fachhochschule Gießen-Friedberg März 2005 Portable Document Format, 238 KB, Stand 17.10.2023

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 17.10.2023

Burkhardt Renz: Namensrecht und objektorientierte Analyse mit UML: Fragen über Fragen. Fachhochschule Gießen-Friedberg 2005 Portable Document Format, 532 KB, Stand 17.10.2023

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 17.10.2023

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 17.10.2023

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 17.10.2023

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 17.10.2023

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 17.10.2023

2001

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

1999

Burkhardt Renz: Information und Struktur: Einführung in XML. Vortrag FH Darmstadt Dezember 1999 (Version ohne Animation) Portable Document Format, 126 KB, Stand 17.10.2023

Burkhardt Renz: Softwareentwicklung mit Komponenten. Vortrag FH Gießen Oktober 1999 (Version ohne Animation) Portable Document Format, 132 KB, Stand 17.10.2023

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 17.10.2023

Burkhardt Renz: Geometrische Invarianten und Endlichkeitseigenschaften von Gruppen. Dissertation, Frankfurt am Main 1988, neu gesetzt mit TeX 2020. Portable Document Format, 1233 KB, Stand 17.10.2023

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 17.10.2023

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 17.10.2023

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 17.10.2023