Pub­li­ca­ti­o­ns

1. Gerd Neu­ge­bauer. Hamiltonsche Graphen. Diplomarbeit, Universität Heidel­berg, 1985.

2. Gerd Neu­ge­bauer. Syn­the­sis of Sort­ing Al­go­rithms with the LOPS-Ap­proach. Tech­ni­cal Re­port ATP-56-II-86, Technische Universität München, 1986.

3. Bertram Frohn­höfer and Gerd Neu­ge­bauer. ESPRIT Pro­ject 973 ALPES – Ad­van­ced Lo­gi­cal Pro­gram­ming En­vi­ron­ments. In W. Brauer and W. Wahlster, edi­tors, Wissensbasierte Systeme – 2. In­tern. GI Kongress, num­ber 155 in FB Informatik, pa­ges 388–394. Springer, 1987.

4. Gerd Neu­ge­bauer. User’s Ma­nu­al for XPRTS. Tech­ni­cal Re­port ATP-78-X-87, Technische Universität München, 1987.

5. Chris­toph Kreitz, Gerd Neu­ge­bauer, and Bertram Frohn­höfer. Lo­gic Ori­en­ted Pro­gram Syn­the­sis. Tech­ni­cal Re­port FKI-90-88, Technische Universität München, April 1988.

6. Gerd Neu­ge­bauer, Bertram Frohn­höfer, and Chris­toph Kreitz. XPRTS – An Im­ple­men­ta­ti­on Tool for Pro­gram Syn­the­sis. In D. Metzing, edi­tor, GWAI’89, pa­ges 348–357, Ber­lin, 1989. Springer.

7. Gerd Neu­ge­bauer. Lemma Usage in Con­nect­i­on Me­thod Theo­rem Pro­ving. Bericht AIDA-91-08, FG Intellektik, Technische Hochschule Darm­stadt, 1991.

8. Sascha Rangoonwala and Gerd Neu­ge­bauer. Dis­tri­bu­ted Failure Pro­duc­tion: Se­quen­ti­al Theo­rem Pro­ving on a Pa­ra­llel Ma­schine. In Laveen N. Kanal and Chri­sti­an B. Suttner, edi­tors, In­for­mal Pro­cee­dings of PPAI-91, Inter­natio­nal Work­shop on Pa­ra­llel Pro­ces­sing for AI, pa­ges 169–177, Au­gust 1991.

9. Gerd Neu­ge­bauer. From Horn Clau­ses to First Or­der Lo­gic: A Grace­ful Ascent. Bericht AIDA-92-21, FG Intellektik, Technische Hochschule Darm­stadt, Oc­to­ber 1992.

10. Gerd Neu­ge­bauer. The IO-Graph Me­thod: Al­go­rithm De­sign and Im­ple­men­ta­ti­on. Bericht AIDA-92-05, FG Intellektik, Technische Hochschule Darm­stadt, April 1992.

11. Gerd Neu­ge­bauer. Pragmatische Programmsynthese, volume DISKI-18. In­fix-Verlag, Sankt Augustin, 1992.

12. Gerd Neu­ge­bauer. The LOPS Ap­proach: A Trans­for­ma­ti­o­nal Point of View. In K.K. Lau and T. Cle­ment, edi­tors, Lo­gic Pro­gram Syn­the­sis and Trans­for­ma­tion, Work­shops in Com­pu­ting, pa­ges 80–81. Springer-Verlag, 1993.

13. Gerd Neu­ge­bauer. Reach­abi­li­ty Ana­ly­sis for the Ex­ten­sion Pro­ce­du­re – A To­po­lo­gi­cal Re­sult. In LOPSTR’93, April 1993.

14. Gerd Neu­ge­bauer. BIBTOOL – Ma­ni­pu­la­tion von Bib­TeX-Dateien. Die TeX­ni­sche Ko­mö­die, 4/94, 4–11, Feb­rua­ry 1994.

15. Gerd Neu­ge­bauer and Uwe Petermann. In­te­gra­ting Theo­ries into ProCom. In Work­shop at CADE’94, 1994.

16. Gerd Neu­ge­bauer and Torsten Schaub. A Pool-Based Con­nect­i­on Cal­cu­lus. In C. Borsahin, U. Halici, K. Oflazar, and N. Yalabik, edi­tors, Pro­cee­dings of Third Tur­kish Sym­po­si­um on Ar­ti­fi­ci­al In­tel­li­gen­ce and Neu­ral Net­works, pa­ges 297–306. Middle East Tech­ni­cal Uni­ver­si­ty Press, 1994.

17. Gerd Neu­ge­bauer. Eine Klasse für die »TeXnische Komödie«. Die TeX­ni­sche Ko­mö­die, 4/95, 6–15, March 1995.

18. Gerd Neu­ge­bauer. Kurioses aus dem Fundus. Die TeX­ni­sche Ko­mö­die, 2/95, 41–43, Sep­tem­ber 1995.

19. Gerd Neu­ge­bauer. Setzen russischer Textteile mit LaTeX. Die TeX­ni­sche Ko­mö­die, 2/95, 11–20, Sep­tem­ber 1995.

20. Gerd Neu­ge­bauer. Wie verfasst man wissenschaftliche Arbeiten? Die TeX­ni­sche Ko­mö­die, 3/95, 52–53, De­cem­ber 1995.

21. Gerd Neu­ge­bauer and Uwe Petermann. Spe­ci­fi­ca­tion of In­fe­ren­ce Rules and Their Au­to­ma­tic Trans­la­tion. In Peter Baumgartner, Reiner Hähnle, and Joachim Posegga, edi­tors, Theo­rem Pro­ving with Ana­ly­ti­cal Ta­bleaux and Re­la­ted Me­thods, num­ber 918 in LNAI, pa­ges 185–200. Springer, Sep­tem­ber 1995.

22. Gerd Neu­ge­bauer. Das unentdeckte Land. Die TeX­ni­sche Ko­mö­die, 3/96, 36–56, De­cem­ber 1996.

23. Gerd Neu­ge­bauer. Tafel-Fett. Die TeX­ni­sche Ko­mö­die, 2/96, 44–53, Au­gust 1996.

24. Gerd Neu­ge­bauer. Von »krakelig« bis »wie gemalt«. Die TeX­ni­sche Ko­mö­die, 1/95, 25–42, June 1996.

25. Gerd Neu­ge­bauer. Genealogisches. Die TeX­ni­sche Ko­mö­die, 4/96, 41–53, Feb­rua­ry 1997.

26. Gerd Neu­ge­bauer. GLUE: Using He­te­ro­ge­ne­ous Sources of In­for­ma­tion in a Lo­gi­cal Pro­gram­ming Sys­tem. In Inter­natio­nal Work­shop “In­tel­li­gent In­for­ma­tion In­te­gra­tion”, 1997.

27. Gerd Neu­ge­bauer. Vor Gebrauch schütteln. Die TeX­ni­sche Ko­mö­die, 3/97, 26–36, Oc­to­ber 1997.

28. Gerd Neu­ge­bauer. Überflüssiges? – Klammern um Makroargumente. Die TeX­ni­sche Ko­mö­die, 2/97, 9–12, July 1997.

29. Gerd Neu­ge­bauer and Do­ro­thea Schäfer. GLUE: Open­ing the World to Theo­rem Pro­vers. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, edi­tors, Lo­gic Pro­gram­ming and Non-Mo­no­to­nic Rea­so­ning, volume 1265 of LNAI, pa­ges 410–419. Springer, 1997.

30. Gerd Neu­ge­bauer. »LaTeX-Tips« von J. Kenneth Shultis. Die TeX­ni­sche Ko­mö­die, 1/99, 40–42, Feb­rua­ry 1999.

31. Gerd Neu­ge­bauer. »TeX-Tools« von Klaus Braune. Die TeX­ni­sche Ko­mö­die, 4/99, 60–63, No­vem­ber 1999.

32. Gerd Neu­ge­bauer. Die Entstehung der Mitgliedszeitschrift. Die TeX­ni­sche Ko­mö­die, 4/00, 50–52, No­vem­ber 2000.

33. Gerd Neu­ge­bauer. In Reih und Glied. Die TeX­ni­sche Ko­mö­die, 2/00, 21–34, July 2000.

34. Gerd Neu­ge­bauer. Umbruch in schmalen Spalten. Die TeX­ni­sche Ko­mö­die, 3/00, 52–54, Sep­tem­ber 2000.

35. Gerd Neu­ge­bauer. Quicktipp: Illustrationen für LaTeX erstellen. Die TeX­ni­sche Ko­mö­die, 2/02, 46–48, June 2002.

36. Gerd Neu­ge­bauer. Mini­mal? – Vom Testen eines Textsatzsystems. Die TeX­ni­sche Ko­mö­die, 3/06, 34–43, July 2006.

37. Gerd Neu­ge­bauer. Con­ven­ti­o­nal Sco­ping of Re­gis­ters – An Ex­pe­ri­ment in εχTeX. In BachoTeX 2007. GUST, 2007.

38. Gerd Neu­ge­bauer. Spielereien mit TeX-Logos in HTML. Die TeX­ni­sche Ko­mö­die, 1/09, 66–72, Feb­rua­ry 2009.