Dissertations & Habilitations

Habilitations

  1. Veldema, R.: Improved DSM Efficiency, Flexibility, and Correctness. Erlangen, FAU, Habilitation thesis, 2010. - 144 pages (BibTeX)
  2. Kókai, G.: Erfolge und Probleme evolutionäre Algorithmen, induktiver logischer Programmierung und ihrer Kombination. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Habilitation thesis, 2003. - 449 pages (BibTeX)
  3. Philippsen, M.: Leistungsaspekte Paralleller Objektorientierter Programmiersprachen. Karlsruhe, Universität, Habilitation thesis, 2001. (BibTeX)
  4. Minas, M.: Spezifikation und Generierung graphischer Diagrammeditoren. Erlangen, Universität, Habilitation thesis, 2001. (BibTeX)
  5. Fritzke, B.: Vektorbasierte Neuronale Netze. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Habilitation thesis, 1998. (BibTeX)
  6. Göttler, H.: Graphgrammatiken in der Softwaretechnik (Theorie und Anwendungen). Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Habilitation thesis, 1987. (BibTeX)
  7. Nagl, M.: Graph-Grammatiken - Theorie, Anwendungen, Implementierungen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Habilitation thesis, 1978. (BibTeX)

Dissertations

  1. Lautenschlager, F.: Effiziente Speicherung von Zeitreihen mit Betriebsdaten aus Software-Systemen zur Analyse von Laufzeitanomalien. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2019. - 228 pages (BibTeX)
  2. Tausch, N.: Eine domänenspezifische Sprache zur Analyse von Software-Verfolgbarkeitsinformationen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2017. - 271 pages (BibTeX)
  3. Ellner, R.: Modellierung und effiziente Ausführung von Softwareentwicklungsprozessen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2017. (BibTeX)
  4. Kempf, S.: Compiler and Runtime Techniques to Identify and Optimize Atomic Blocks in Parallel Programs. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2014. - 161 pages (BibTeX)
  5. Mutschler, C.: Latency Minimization of Order-Preserving Distributed Event-Based Systems. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2014. - 229 pages (BibTeX)
  6. Edelhäußer, T.: Dynamische probabilistische Bewegungsmodelle mittels Verhaltensmodellierung. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2012. - 203 pages (BibTeX)
  7. Adersberger, J.: Modellbasierte Extraktion, Repräsentation und Analyse von Traceability-Informationen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2012. - 295 pages (BibTeX)
  8. Zvada, S.: Attribute Grammar Based Genetic Programming. Erlangen, FAU, Dissertation thesis, 2010. - 213 pages (BibTeX)
  9. Dreweke, A.: Graphbasierte Prozedurale Abstraktion. Erlangen, Friedrich-Alexander-Universität, Dissertation thesis, 2010. - 201 pages (BibTeX)
  10. Schell, D.: Dynamische Programm-Code-Verwaltung und -Optimierung für eingebettete Systeme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2009. - 189 pages (BibTeX)
  11. Otto, S.: Ein agentenbasierter evolutionärer Adaptions- und Optimierungsansatz für verteilte Systeme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2009. - 209 pages (BibTeX)
  12. Klemm, M.: Reparallelization and Migration of OpenMP Applications in Grid Environments. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2009. - 272 pages (BibTeX)
  13. Hardung, B.: Optimisation of the Allocation of Functions in Vehicle Networks. Erlangen, Universität, Dissertation thesis, 2006. - 186 pages (BibTeX)
  14. Barthelmann, V.: Advanced Compiling Techniques to reduce RAM Usage of Static Operating Systems. Erlangen, Universität, Dissertation thesis, 2004. - 145 pages (BibTeX)
  15. Schulze, M.: Ein sprachunabhängiger Ansatz zur Entwicklung deklarativer, robuster LA-Grammatiken mit einer exemplarischen Anwendung auf das Deutsche und das Englische. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2004. (BibTeX)
  16. Dormeyer, R.: Syntaxanalyse auf Basis der Dependenzgrammatik. Erlangen, Universität, Dissertation thesis, 2004. - 200 pages (BibTeX)
  17. Gröbner, M.: Ein Modell zur Beschreibung und Lösung von Zeitplanungsproblemen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2003. - 198 pages (BibTeX)
  18. Billing, G.: Integrierte Hardware- und Softwareplanung flexibler Fertigungssysteme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2002. - 196 pages (BibTeX)
  19. Haworth, B.: Structural Coverage Criteria for Testing Object-Oriented Software. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2002. - 143 pages (BibTeX)
  20. Hodek, R.: Synchronisation von Dateibäumen mit Hilfe von Graphtransformationssystemen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2001. - 128 pages (BibTeX)
  21. Volle, V.: Verteilte Konfigurationsverwaltung im Kontext des Software Engineering Prozesses. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 2001. (BibTeX)
  22. Fischer, I.: Describing Neural Networks with Graph Transformations. Erlangen, Universität, Dissertation thesis, 1999. - 200 pages (BibTeX)
  23. Kókai, G.: Debugging und maschinelles Lernen von PROLOG-Programmen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1998. (BibTeX)
  24. Nilson, J.: N-GUIDE - Ein System zur Erstellung grafischer Benutzeroberflächen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1998. (BibTeX)
  25. Heidenreich, G.: Ein generisches Organisationsschema der Konfigurationsverwaltung im Software-Engineering. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1996. (BibTeX)
  26. Jacob, C.: MathEvolvica - Simulierte Evolution von Entwicklungsprogrammen der Natur. Erlangen, Universität, Dissertation thesis, 1995. (BibTeX)
  27. Keil, M.: Modell zur Repräsentation verbaler Phraseologismen - Konzept und Implementierung eines Werkzeugs zum Einsatz in der Phraseologieforschung, Phraseographie und maschinellen Sprachverarbeitung. Erlangen, Modell zur Repräsentation verbaler Phraseologismen - Konzept und Implementierung eines Werkzeugs zum Einsatz in der Phraseologieforschung, Phraseographie und maschinellen Sprachverarbeitung, Dissertation thesis, 1995. (BibTeX)
  28. Viehstaedt, G.: A Generator for Diagram Editors. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1994. (BibTeX)
  29. Philippsen, M.: Optimierungstechniken zur Übersetzung Paralleler Programmiersprachen. Karlsruhe, Universität, Dissertation thesis, 1994. (BibTeX)
  30. Schorr, R.: Ausnahmebehandlung in verteilten Programmiersprachen - Sprach- und Verifikationskonzepte. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1993. (BibTeX)
  31. Hasbargen, T.: Ein Inferenzmechanismus zum beispielhaften Lernen natürlicher Sprache. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1993. (BibTeX)
  32. Elsharkawi, A.: Knowledge Representation Techniques Using Neural Networks for Robotic Fine-Manipulation. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1993. (BibTeX)
  33. Zanzinger, M.: ROSE - Konzeption und Implementierung einer Programmierumgebung für rechnerorganisierte Software-Entwicklung. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1992. (BibTeX)
  34. Schied, G.: Über Graphgrammatiken, eine Spezifikationsmethode für Programmiersprachen und verteilte Systeme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1992. (BibTeX)
  35. Minas, M.: Überwachung technischer Prozesse mit Zeitconstraintnetzen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1992. - 201 pages (BibTeX)
  36. Fritzke, B.: Wachsende Zellstrukturen - ein selbstorganisierendes neuronales Netzwerkmodell. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1992. (BibTeX)
  37. Hindel, B.: Graphische Beschreibung von objektorientierten Programmen. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Dissertation thesis, 1991. (BibTeX)
  38. Kips, D.: Ein operationelles Modell zur Syntax- und Semantikspezifikation. Erlangen-Nürnberg, Friedrich-Alexander-Universität, Dissertation thesis, 1990. (BibTeX)
  39. Barthelmann, K.: Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1990. (BibTeX)
  40. Schiedermeier, C.: Verteilte Termersetzung als Berechnungsmodell für objektorientierte Systeme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1990. (BibTeX)
  41. Roderus, H.: Beschreibung und Analyse kontextfreier Sprachen unter durchgängiger Verwendung von Graphen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1989. (BibTeX)
  42. Weingärtner, J.: Eine relationale PROLOG-Semantik. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1989. (BibTeX)
  43. Geus, L.: Konzepte für Robotersprachen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1989. (BibTeX)
  44. Tsakpinis, A.: Werkzeuge zur Optimierung von logischen Programmen - Erkenntnisse aus einem Vergleich mit attributierten Grammatiken. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1989. (BibTeX)
  45. Andres, C.: Ein graphentheoretischer Ansatz zur rechnergestützten parallelen Komposition von Prozessen für verteilte Echtzeitsysteme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1988. (BibTeX)
  46. Schiedermeier, R.: Entwurf einer interpretierenden Programmierumgebung für mehrere Sprachen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1987. (BibTeX)
  47. Schiedermeier, G.: Eine Programmierumgebung für verteiltes PEARL - Codeerzeugung mittels Programmsynthese. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1986. (BibTeX)
  48. Gall, R.: Formale Beschreibung des inkrementellen Programmierens-Im-Großen mit Graphgrammatiken. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1983. (BibTeX)
  49. Reitenspieß, M.: Sprachkonstrukte zur Spezifikation und korrekten Implementation von Schutzproblemen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1983. (BibTeX)
  50. Grosch, J.: Eine Programmiersprache mit mengentheoretischen Konstrukten und deren effiziente Implementierung. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1982. (BibTeX)
  51. Messerer, M.: Ein neuer Ansatz zur Parallelisierung von Compilern. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1982. (BibTeX)
  52. Pelz, K.: Portable Codegenerierung in Übersetzern für Prozessprogrammiersprachen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1982. (BibTeX)
  53. Lindstedt, W.: Ein Verfahren zur Erstellung portabler algorithmischer Laufzeitprogramme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1981. (BibTeX)
  54. Altmann, W.: Beschreibung von Programmoduln zum Entwurf zuverlässiger Softwaresysteme. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1978. (BibTeX)
  55. Weber, D.: Datengraphen und deren Transformation - Ein Konzept zur Spezifikation von Datentypen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1978. (BibTeX)
  56. Stöth, G.: Höhere Programmiersprachen für Kleinrechner - Anforderungen, Entwicklungskriterien, Compileraspekte. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1978. (BibTeX)
  57. Solymosi, A.: Synthese von analysierenden Automaten auf Grund von formalen Grammatiken. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1978. (BibTeX)
  58. Brügmann, H.: EBIDIS - Strukturierte Bildprogrammierung im Dialog. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1977. (BibTeX)
  59. Göttler, H.: Zweistufige Graphmanipulationssysteme für die Semantik von Programmiersprachen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1977. (BibTeX)
  60. Weicker, R.: Turingmaschinen mit assoziativem Speicherzugriff. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1975. (BibTeX)
  61. Nagl, M.: Formale Sprachen von markierten Graphen. Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dissertation thesis, 1974. (BibTeX)
  62. Schneider, H.: Ein formales Verfahren zur maschinellen Sprachanalyse. Hannover, Technische Universität, Dissertation thesis, 1965. (BibTeX)
watermark seal