Ver­öf­fent­lich­ungen

1. Gerd Neu­ge­bauer. Ha­mil­ton­sche Gra­phen. Dip­lom­ar­beit, Uni­ver­si­tät Hei­del­berg, 1985.

2. Gerd Neu­ge­bauer. Synthesis of Sorting Algorithms with the LOPS-Approach. Tech­ni­scher Be­richt ATP-56-II-86, Tech­ni­sche Uni­ver­si­tät Mün­chen, 1986.

3. Bert­ram Frohn­höfer und Gerd Neu­ge­bauer. ESPRIT Project 973 ALPES – Advanced Logical Pro­gram­ming Environments. In W. Brauer und W. Wahlster, Her­aus­ge­ber, Wis­sens­ba­sier­te Sys­te­me – 2. In­tern. GI Kon­gress, Num­mer 155 in FB In­for­ma­tik, Sei­ten 388–394. Springer, 1987.

4. Gerd Neu­ge­bauer. User’s Ma­nu­al for XPRTS. Tech­ni­scher Be­richt ATP-78-X-87, Tech­ni­sche Uni­ver­si­tät Mün­chen, 1987.

5. Chris­toph Kreitz, Gerd Neu­ge­bauer und Bert­ram Frohn­höfer. Logic Oriented Program Synthesis. Tech­ni­scher Be­richt FKI-90-88, Tech­ni­sche Uni­ver­si­tät Mün­chen, April 1988.

6. Gerd Neu­ge­bauer, Bert­ram Frohn­höfer und Chris­toph Kreitz. XPRTS – An Im­ple­men­ta­tion Tool for Program Synthesis. In D. Metzing, Her­aus­ge­ber, GWAI’89, Sei­ten 348–357, Ber­lin, 1989. Springer.

7. Gerd Neu­ge­bauer. Lemma Usage in Connection Method Theorem Proving. Be­richt AIDA-91-08, FG In­tel­lek­tik, Tech­ni­sche Hoch­schu­le Darm­stadt, 1991.

8. Sascha Rangoonwala und Gerd Neu­ge­bauer. Distributed Failure Production: Sequential Theorem Proving on a Parallel Maschine. In Laveen N. Kanal und Chris­ti­an B. Suttner, Her­aus­ge­ber, Informal Proceedings of PPAI-91, International Workshop on Parallel Processing for AI, Sei­ten 169–177, Au­gust 1991.

9. Gerd Neu­ge­bauer. From Horn Clauses to First Order Logic: A Graceful Ascent. Be­richt AIDA-92-21, FG In­tel­lek­tik, Tech­ni­sche Hoch­schu­le Darm­stadt, Ok­to­ber 1992.

10. Gerd Neu­ge­bauer. The IO-Graph Method: Algorithm De­sign and Im­ple­men­ta­tion. Be­richt AIDA-92-05, FG In­tel­lek­tik, Tech­ni­sche Hoch­schu­le Darm­stadt, April 1992.

11. Gerd Neu­ge­bauer. Prag­ma­ti­sche Pro­gramm­syn­the­se, Band DISKI-18. In­fix-Ver­lag, Sankt Au­gus­tin, 1992.

12. Gerd Neu­ge­bauer. The LOPS Approach: A Transformational Point of View. In K.K. Lau und T. Clement, Her­aus­ge­ber, Logic Program Synthesis and Trans­for­ma­ti­on, Workshops in Computing, Sei­ten 80–81. Springer-Ver­lag, 1993.

13. Gerd Neu­ge­bauer. Reachability Analysis for the Extension Procedure – A Topological Result. In LOPSTR’93, April 1993.

14. Gerd Neu­ge­bauer. BIBTOOL – Ma­ni­pu­la­ti­on von Bib­TeX-Da­teien. Die TeX­ni­sche Ko­mö­die, 4/94, 4–11, 1994.

15. Gerd Neu­ge­bauer und Uwe Petermann. Integrating Theories into ProCom. In Workshop at CADE’94, 1994.

16. Gerd Neu­ge­bauer und Tor­sten Schaub. A Pool-Based Connection Calculus. In C. Borsahin, U. Halici, K. Oflazar und N. Yalabik, Her­aus­ge­ber, Proceedings of Third Turkish Symposium on Artificial Intelligence and Neural Networks, Sei­ten 297–306. Middle East Technical University Press, 1994.

17. Gerd Neu­ge­bauer. Eine Klas­se für die »TeXnische Ko­mö­die«. Die TeX­ni­sche Ko­mö­die, 4/95, 6–15, März 1995.

18. Gerd Neu­ge­bauer. Ku­ri­o­ses aus dem Fun­dus. Die TeX­ni­sche Ko­mö­die, 2/95, 41–43, Sep­tem­ber 1995.

19. Gerd Neu­ge­bauer. Setzen rus­si­scher Text­tei­le mit LaTeX. Die TeX­ni­sche Ko­mö­die, 2/95, 11–20, Sep­tem­ber 1995.

20. Gerd Neu­ge­bauer. Wie ver­fasst man wissen­schaft­li­che Ar­bei­ten? Die TeX­ni­sche Ko­mö­die, 3/95, 52–53, De­zem­ber 1995.

21. Gerd Neu­ge­bauer und Uwe Petermann. Specification of Inference Rules and Their Automatic Translation. In Pe­ter Baumgartner, Reiner Hähnle und Joachim Posegga, Her­aus­ge­ber, Theorem Proving with Analytical Tableaux and Related Methods, Num­mer 918 in LNAI, Sei­ten 185–200. Springer, Sep­tem­ber 1995.

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

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

24. Gerd Neu­ge­bauer. Von »kra­ke­lig« bis »wie ge­malt«. Die TeX­ni­sche Ko­mö­die, 1/95, 25–42, Juni 1996.

25. Gerd Neu­ge­bauer. Ge­nea­lo­gi­sches. Die TeX­ni­sche Ko­mö­die, 4/96, 41–53, 1997.

26. Gerd Neu­ge­bauer. GLUE: Using Heterogeneous Sources of In­for­ma­ti­on in a Logical Pro­gram­ming Sys­tem. In International Workshop “Intelligent In­for­ma­ti­on In­te­gra­ti­on”, 1997.

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

28. Gerd Neu­ge­bauer. Über­flüs­si­ges? – Klam­mern um Makro­ar­gu­men­te. Die TeX­ni­sche Ko­mö­die, 2/97, 9–12, Juli 1997.

29. Gerd Neu­ge­bauer und Do­ro­thea Schä­fer. GLUE: Opening the World to Theorem Provers. In Jür­gen Dix, Ul­rich Furbach und Anil Nerode, Her­aus­ge­ber, Logic Pro­gram­ming and Non-Monotonic Reasoning, Band 1265 aus LNAI, Sei­ten 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, 1999.

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

32. Gerd Neu­ge­bauer. Die Ent­ste­hung der Mit­glieds­zeit­schrift. 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, Juli 2000.

34. Gerd Neu­ge­bauer. Um­bruch in schma­len Spal­ten. Die TeX­ni­sche Ko­mö­die, 3/00, 52–54, Sep­tem­ber 2000.

35. Gerd Neu­ge­bauer. Quick­tipp: Il­lu­stra­ti­o­nen für LaTeX er­stel­len. Die TeX­ni­sche Ko­mö­die, 2/02, 46–48, Juni 2002.

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

37. Gerd Neu­ge­bauer. Conventional Scoping of Registers – An Ex­pe­ri­ment in εχTeX. In BachoTeX 2007. GUST, 2007.

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