
Prof. Dr. Hans Jürgen Schneider
Emeritus
Adresse
Martensstraße 391058 Erlangen
Kontakt
- E-Mail: hans.juergen.schneider@fau.de
2010
- , :
 Graph transformation by computational category theory
 In: Graph Transformations and Model-Driven Engineering – Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, Berlin/Heidelberg: Springer-verlag, 2010, S. 33-58 (Lecture Notes Computer Science, Bd.5765)
 ISBN: 978-3-642-17321-9
 DOI: 10.1007/978-3-642-17322-6_3
 URL: https://www2.cs.fau.de/staff/schneider/gtbook/fmn-final.pdf
 BibTeX: Download
2007
- :
 Relabeling and the independence theorem in the double-pushout approach to graph transformations
 In: Bulletin of the European Association for Theoretical Computer Science, EATCS 91 (2007), S. 208-223
 ISSN: 0252–9742
 URL: http://www2.informatik.uni-erlangen.de/publication/download/parindep.pdf
 BibTeX: Download
2005
- :
 Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
 In: Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (Hrsg.): Formal Methods in Software and Systems Modeling – Essays Dedicated to Hartmut Ehrig, Berlin Heidelberg: Springer-verlag, 2005, S. 134-149
 ISBN: 3-540-24936-2
 DOI: 10.1007/978-3-540-31847-7_8
 URL: http://www2.informatik.uni-erlangen.de/publication/download/hebook.pdf
 BibTeX: Download
2004
- :
 Introducing the Parallel Random Access Machine Together with FORTRAN 90/95
 In: Bulletin of the European Association for Theoretical Computer Science, EATCS 82 (2004), S. 299-314
 ISSN: 0252–9742
 URL: http://www2.informatik.uni-erlangen.de/publication/download/PRAM-FTN.pdf
 BibTeX: Download
2001
- :
 Computability in an Introductory Course on Programming
 In: Bulletin of the European Association for Theoretical Computer Science, EATCS 73 (2001), S. 153-164
 ISSN: 0252–9742
 URL: http://www2.informatik.uni-erlangen.de/publication/download/comput.pdf
 BibTeX: Download
2000
- :
 Graph transformations – Where they come from and where they should go
 Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000) (Berlin, 25.03.2000 – 27.03.2000)
 In: Ehrig, Hartmut ; Taentzer, Gabi (Hrsg.): Proc. Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin: 2000
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_appligraph2000.pdf
 BibTeX: Download
- :
 The joy of teaching theoretical computer science or Teaching Theoretical Computer Science to Would-Be Hackers
 In: Bulletin of the European Association for Theoretical Computer Science, EATCS 70 (2000), S. 165-166
 ISSN: 0252–9742
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_beatcs2000.pdf
 BibTeX: Download
1999
- :
 Describing systems of processes by means of high-level replacement
 In: Ehrig, Hartmut ; Montanari, H. ; Kreowski, Hans-Jörg ; Rozenberg, Grzegorz (Hrsg.): Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, S. 401-450 (Concurrency, Parallelism, and Distribution, Bd.3)
 ISBN: 978-981-02-4021-9
 DOI: 10.1142/9789812814951_0007
 URL: http://www2.informatik.uni-erlangen.de/publication/download/handbook.pdf
 BibTeX: Download
- ,  (Hrsg.):
 Special Issue on Categorical Approaches to Computing by Graph Transformation
 Dordrecht, The Netherlands: 1999
 (Applied Categorical Structures, Bd. 7)
 BibTeX: Download
1998
- :
 Describing Systems of Processes by the Double-Pushout Approach: Jungles as Distributed Data Structures
 6th International Workshop on Theory and Application of Graph Transformations (TAGT’98) (Paderborn, 16.11.1998 – 20.11.1998)
 In: Hartmut Ehrig, Grzegorz Rozenberg (Hrsg.): Theory and Application of Graph Transformations – 6th International Workshop (TAGT’98) 1998
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_TAGT98.pdf
 BibTeX: Download
- :
 Foundations of Parallel Algorithms
 31 (1998)
 ISSN: 1611-4205
 BibTeX: Download
 (Techreport)
1997
- , :
 Special Issue: Graph Grammar Based Specifications
 In: International Journal of Software Engineering & Knowledge Engineering 7 (1997), S. 397-524
 ISSN: 0218-1940
 DOI: 10.1142/S0218194097000230
 URL: http://www.worldscientific.com/toc/ijseke/07/04
 BibTeX: Download
1996
- :
 On outward and inward productions in the categorical graph-grammar approach and Delta-grammars
 In: Mathematical Structures in Computer Science 6 (1996), S. 527-543
 ISSN: 0960-1295
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_MSCS1996.pdf
 BibTeX: Download
1995
- :
 A note on outward and inward productions in the categorical graph-grammar approach and delta-grammars
 In: Electronic Notes in Theoretical Computer Science – (1995), S. 238-245
 ISSN: 1571-0661
 DOI: 10.1016/S1571-0661(05)80202-6
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_ENTCS1995.pdf
 BibTeX: Download
- :
 Parallele Programmiersprachen
 In: Waldschmidt, Klaus (Hrsg.): Parallelrechner: Architekturen – Systeme – Werkzeuge, Stuttgart: Teubner, 1995, S. 411-470
 ISBN: 978-3519021353
 URL: https://www2.cs.fau.de//publication/download/schneider_ParSprachen.pdf
 BibTeX: Download
1994
- ,  (Hrsg.):
 Graph Transformations in Computer Science
 Berlin Heidelberg: 1994
 (Lecture Notes Computer Science, Bd. 776)
 ISBN: 978-3-540-57787-4
 DOI: 10.1007/3-540-57787-4
 BibTeX: Download
1993
- :
 On categorical graph grammars integrating structural transformations and operations on labels
 In: Theoretical Computer Science (1993), S. 257-274
 ISSN: 0304-3975
 DOI: 10.1016/0304-3975(93)90070-A
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_TCS1993.pdf
 BibTeX: Download
- :
 Programmiersprachen – Werkzeug und Objekt der Informatik
 (1993)
 URL: https://www2.cs.fau.de/publication/download/schneider_Werkzeug.pdf
 BibTeX: Download
 (Techreport)
1992
- :
 Graphgrammatiken – Festschrift zur 20-Jahrfeier des Lehrstuhls für Programmiersprachen
 (1992)
 BibTeX: Download
 (Techreport)
1991
- :
 Objektorientierte Softwaretechnik
 Prozeßrechensysteme ’91 – Automatisierungs- und Leitsysteme in den neunziger Jahren (Berlin, 25.02.1991 – 27.02.1991)
 In: Hommel, Günter (Hrsg.): Prozeßrechensysteme ’91 – Automatisierungs- und Leitsysteme in den neunziger Jahren 1991
 DOI: 10.1007/978-3-642-76501-8
 BibTeX: Download
1990
- :
 Describing distributed systems by categorical graph grammars
 15th International Workshop on Graph-theoretic Concepts in Computer Science (WG’89) (Castle Rolduc, 14.06.1989 – 16.06.1989)
 In: Manfred Nagl (Hrsg.): Graph-Theoretic Concepts in Computer Science – 15th International Workshop (WG ’89), Berlin Heidelberg: 1990
 DOI: 10.1007/3-540-52292-1_9
 BibTeX: Download
- :
 Verschiedene Beiträge
 In: Krückeberg, F. ; Spaniol, Otto (Hrsg.): VDI-Lexikon Informatik und Kommunikationstechnik, Berlin Heidelberg: Springer, 1990
 ISBN: 978-3540632498
 BibTeX: Download
1989
- :
 A description of the Rendezvous concept by hypergraph grammars
 (1989)
 URL: https://www2.cs.fau.de/publication/download/schneider_Rendez-vous_1989.pdf
 BibTeX: Download
 (Techreport)
- :
 Heraklit – A language supporting evolution of distributed programs
 (1989)
 URL: https://www2.cs.fau.de/publication/download/schneider_Heraklit_1989.pdf
 BibTeX: Download
 (Techreport)
1988
- ,  (Hrsg.):
 Graph-Theoretic Concepts in Computer Science – International Workshop WG ’87
 Berlin Heidelberg: 1988
 (Lecture Notes in Computer Science, Bd. 314)
 DOI: 10.1007/3-540-19422-3
 BibTeX: Download
- :
 Objektorientierte Strukturierung verteilter Software und statische Typprüfung
 Prozeßrechensysteme ’88 – Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik (Stuttgart, 02.03.1988 – 03.03.1988)
 In: Lauber, Rudolf (Hrsg.): Prozeßrechensysteme ’88 – Automatisierungstechnik, Leittechnik, Informations- und Kommunikationstechnik, Berlin Heidelberg: 1988
 DOI: 10.1007/978-3-642-73445-8_45
 BibTeX: Download
- :
 Physikalische Maßeinheiten und das Typkonzept moderner Programmiersprachen
 In: Informatik-Spektrum 11 (1988), S. 256-263
 ISSN: 0170-6012
 BibTeX: Download
- :
 Tasks as first class objects in a hierarchy of task types
 In: Universität Erlangen (Hrsg.): Interner Bericht, 1988
 URL: https://www2.cs.fau.de/publication/download/schneider_FirstClass_1988.pdf
 BibTeX: Download
 (Techreport)
1987
- , :
 Chancen und Herausforderungen von Ada, Stellungsnahme zu Schwärtzel et al.
 In: Informatik-Spektrum 10 (1987), S. 164-165
 ISSN: 0170-6012
 BibTeX: Download
1986
- :
 Programmverifikation
 In: Computer-Magazin (1986), S. 50-55
 ISSN: 0343-2572
 BibTeX: Download
- :
 Verschiedene Beiträge
 In: Schneider, Hans Jochen (Hrsg.): Lexikon der Informatik und Datenverarbeitung, München Wien: R. Oldenbourg Verlag, 1986
 ISBN: 9783486226621
 BibTeX: Download
1985
- :
 Programming Language Concept for Structuring Control Software in Correspondece to the Technical Process
 8th ACM International Computing Symposium (Florence, Italy, 27.03.1985 – 29.03.1985)
 In: Bucci, G. ; Valle, G. (Hrsg.): Proceedings of the 8th ACM International Computing Symposium, Amsterdam: 1985
 BibTeX: Download
- , , :
 Programmiersprachen mit Mengenkonzept für unkonventionelle Hardware
 (1985), S. 88
 BibTeX: Download
 (Techreport)
1984
- :
 Problem Oriented Programming Languages (translated into English by Valerie H. Cottrell & Wendy J. Pitkin)
 Chichester, New York: Wiley, John & Sons, 1984
 ISBN: 978-0471901112
 BibTeX: Download
- :
 Programmiersprachen und Programmierumgebungen
 28. Jahrestagung der GMDS (Heidelberg, 26.09.1983 – 28.09.1983)
 In: C. O. Köhler, P. Tautu, G. Wagner, K. Schlaefer (Hrsg.): Beitrag der Informationsverarbeitung zum Fortschritt der Medizin – 28. Jahrestagung der GMDS, Berlin Heidelberg: 1984
 DOI: 10.1007/978-3-642-82158-5_8
 BibTeX: Download
- :
 Some Remarks Concerning the Complexity of Sorting and Searching in an Orthogonal Memory
 10th International Workshop on Graphtheoretic Concepts in Computer Science (WG ’84) (Berlin, 13.06.1984 – 15.06.1984)
 In: Pape, U. (Hrsg.): Proceedings of the 10th International Workshop on Graphtheoretic Concepts in Computer Science (WG’84), Linz, Austria: 1984
 BibTeX: Download
- :
 Vorteile höherer Programmiersprachen in der Leittechnik
 PEARL in der Leittechnik (Hannover)
 In: Tagungsband PEARL in der Leittechnik 1984
 BibTeX: Download
1983
-  (Hrsg.):
 Proceedings of the International Computing Symposium (ICS’83)
 Nürnberg: 1983
 ISBN: 978-3519024323
 BibTeX: Download
- :
 Programmiersprachen und Programmierumgebungen – Mit Anwendungen im Ingenieurbereich
 Datenverarbeitung in der Konstruktion ’83
 In: Datenverarbeitung in der Konstruktion ’83 1983
 BibTeX: Download
-  (Hrsg.):
 Tagungsband PEARL-Tagung
 1983
 BibTeX: Download
- :
 Verschiedene Beiträge
 In: Schneider, Hans Jochen (Hrsg.): Lexikon der Informatik und Datenverarbeitung, München: Oldenbourg, 1983
 ISBN: 9783486226621
 BibTeX: Download
1982
- ,  (Hrsg.):
 Proceedings 8th Workshop on Graph-Theoretic Concepts in Computer Science (WG’82)
 München: 1982
 BibTeX: Download
1981
- ,  (Hrsg.):
 Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten
 Wien: 1981
 (Computing Supplementum, Bd. 3)
 ISBN: 978-3-211-81606-6
 DOI: 10.1007/978-3-7091-8596-4
 BibTeX: Download
- :
 Algebraic Specifications of the Software Controlling a Parcels Distribution Machine
 In: Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten, Wien: Springer, 1981, S. 173-180 (Computing Supplementum, Bd.3)
 ISBN: 978-3-211-81606-6
 DOI: 10.1007/978-3-7091-8596-4_12
 BibTeX: Download
- :
 Problemorientierte Programmiersprachen
 Stuttgart: Teubner, 1981
 ISBN: 3-519-02456-X
 BibTeX: Download
- :
 Set-Theoretic Concepts in Programming Languages and their Implementation
 Graph-Theoretic Concepts in Computer Science (WG ’80) (Bad Honnef, 15.06.1980 – 18.06.1980)
 In: Hartmut Noltemeier (Hrsg.): Graphtheoretic Concepts in Computer Science – Proceedings of the International Workshop WG 80, Berlin Heidelberg: 1981
 DOI: 10.1007/3-540-10291-4_4
 BibTeX: Download
1980
- :
 Comparison of interactive languages
 SEAS Anniversary Meeting 1980 (Beito, Norway)
 In: SHARE European Association (Hrsg.): Proceedings of SEAS Anniversary Meeting 1980 1980
 BibTeX: Download
-  (Hrsg.):
 Portable Software, Tagung 1/1980 des German Chapter of the ACM
 Stuttgart: 1980
 (Berichte des German Chapter of the ACM)
 ISBN: 3-519-02423-3
 BibTeX: Download
- :
 Wie findet ein Computer Informationen?
 In: Umschau in Wissenschaft und Technik 80 (1980), S. 483-486
 ISSN: 0041-6347
 BibTeX: Download
1979
- ,  (Hrsg.):
 Workshop WG 78 on Graphtheoretic Concepts in Computer Science
 München: 1979
 ISBN: 3-446-12748-8
 BibTeX: Download
- :
 Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage
 (1979)
 BibTeX: Download
 (Techreport)
- :
 Verschiedene Beiträge
 In: Schriever, K.-H. ; Schuh, F. (Hrsg.): Enzyklopädie Naturwissenschaft und Technik, München: Moderne Industrie, 1979
 BibTeX: Download
- ,  (Hrsg.):
 Proceedings 4th Workshop on Graph-Theoretic Concepts in Computer Science
 München: 1979
 BibTeX: Download
1978
- :
 Implementation of graph-grammars using a pseudo-associative memory
 3. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science) (Linz, 17.06.1977 – 19.06.1977)
 In: Mühlbacher, Jörg (Hrsg.): Datenstrukturen, Graphen, Algorithmen : Ergebnisse des Workshops WG 77, München: 1978
 BibTeX: Download
- :
 Programmentwicklung als konstruktive Aufgabe
 (1978)
 URL: https://www2.cs.fau.de/publication/download/schneider_Entwicklung_1978.pdf
 BibTeX: Download
 (Techreport)
1977
-  (Hrsg.):
 GI – 7. Jahrestagung
 Berlin Heidelberg: 1977
 (Informatik-Fachberichte, Bd. 10)
 ISBN: 978-3-540-08425-9
 DOI: 10.1007/978-3-642-48908-2
 BibTeX: Download
- :
 Graph grammars
 International Conference on Fundamentals of Computation Theory (FCT 1977) (Poznan-Kórnik, 19.09.1977 – 12.09.1977)
 In: Karpinski, Marek (Hrsg.): Proceedings of the International Conference on Fundamentals of Computation Theory (FCT 1977), Berlin Heidelberg: 1977
 DOI: 10.1007/3-540-08442-8_99
 BibTeX: Download
1976
- :
 Conceptual data base description using graph-grammars
 Workshops WG 76 ; 2. Fachtagung über Graphentheoretische Konzepte der Informatik (Graphtheoretic Concepts in Computer Science) (Göttingen, 16.06.1976 – 18.06.1976)
 In: Noltemeier, H. (Hrsg.): Graphen, Algorithmen, Datenstrukturen – Ergebnisse des Workshops WG 76 ; 2. Fachtagung über Graphentheoretische Konzepte der Informatik, München: 1976
 BibTeX: Download
- :
 Informatik, (Arbeitsberichte zur Hochschulplanung)
 In: Beiträge zur Hochschulforschung Ad Acta (1976), S. 82-88
 ISSN: 0171-645X
 BibTeX: Download
- , :
 Grammars on partial graphs
 In: Acta Informatica 6 (1976), S. 297-316
 ISSN: 0001-5903
 DOI: 10.1007/BF00288659
 BibTeX: Download
- , , :
 A general purpose array with a broad spectrum of applications
 Computer Architecture – Workshop of the Gesellschaft für Informatik (Erlangen, 22.03.1975 – 23.03.1975)
 In: Händler, Wolfgang (Hrsg.): Informatik-Fachberichte – Computer Architecture, Workshop of the Gesellschaft für Informatik, Berlin Heidelberg: 1976
 DOI: 10.1007/978-3-642-66400-7
 BibTeX: Download
- Schneider, Hans Jürgen ; Nagl, Manfred (Hrsg.):
 Programmiersprachen – 4. Fachtagung der GI
 Berlin Heidelberg: 1976
 (Informatik-Fachberichte, Bd. 1)
 ISBN: 978-3-540-07619-3
 DOI: 10.1007/978-3-642-66319-2
 BibTeX: Download
- ,  (Hrsg.):
 Programmiersprachen
 Berlin: 1976
 (Infomatik-Fachberichte, Bd. 1)
 BibTeX: Download
1975
- :
 Compiler – Aufbau und Wirkungsweise
 Berlin, New York: De Gruyter, 1975
 ISBN: 3-11-002058-0
 BibTeX: Download
- :
 Syntax-Directed Description of Incremental Compilers
 GI – 4. Jahrestagung (Berlin, 09.10.1974 – 12.10.1974)
 In: Siefkes, Dirk (Hrsg.): GI – 4. Jahrestagung, Berlin Heidelberg: 1975
 DOI: 10.1007/978-3-662-40087-6
 BibTeX: Download
1973
- , , :
 Graph-grammars: An algebraic approach
 14th Annual Symposium on Switching and Automata Theory (SWAT 1973) (Iowa, 15.10.1973 – 17.10.1973)
 In: IEEE Conference Record of 14th Annual Symposium on Switching and Automata Theory (SWAT 1973) 1973
 DOI: 10.1109/SWAT.1973.11
 URL: http://www2.informatik.uni-erlangen.de/publication/download/schneider_EPS1973.pdf
 BibTeX: Download
- , , :
 Kategorielle Konstruktionen in der Theorie der Graph-Grammatiken
 6 (1973), S. 30-55
 BibTeX: Download
 (Techreport)
- :
 A necessary and sufficient condition for Chomsky-productions over partially ordered symbol sets
 GI. Gesellschaft für Informatik e.V. 2. Jahrestagung (Karlsruhe, 02.10.1972 – 04.10.1972)
 In: Deussen, Peter (Hrsg.): GI. Gesellschaft für Informatik e.V. 2. Jahrestagung, Berlin Heidelberg: 1973
 DOI: 10.1007/978-3-642-80732-9
 BibTeX: Download
- :
 Chomsky-languages for multidimensional input-media
 International Computing Symposium (Bonn, 21.05.1973 – 22.05.1973)
 In: International Computing Symposium, Amsterdam: 1973
 BibTeX: Download
- :
 Convex graph-grammars
 (1973)
 BibTeX: Download
 (Techreport)
- :
 Ein Test der Einbettbarkeit markierter Graphen unter Verwendung einer Hash-Codierung
 GI Gesellschaft für Informatik e. V. – 3. Jahrestagung (Hamburg, 08.10.1973 – 10.10.1973)
 In: Brauer, Wilfried (Hrsg.): GI Gesellschaft für Informatik e. V. – 3. Jahrestagung, Berlin Heidelberg: 1973
 DOI: 10.1007/3-540-06473-7_8
 BibTeX: Download
- :
 Fachgespräch über mehrdimensionale formale Sprachen
 6 (1973)
 BibTeX: Download
 (Techreport)
1972
- , :
 Einführung in die Programmierung digitaler Rechenautomaten
 Berlin: De Gruyter, 1972
 ISBN: 3-11-001969-8
 BibTeX: Download
1971
- :
 Chomsky-like systems for partially ordered symbol sets
 (1971)
 BibTeX: Download
 (Techreport)
- :
 Formal systems for structure manipulation
 Mensch-Maschine-Kommunikation,Kongreß (Erlangen)
 In: Händler, Wolfgang, Weizenbaum, Joseph, Bitzer, Donald (Hrsg.): Display Use for Man-Machine Dialog, München: 1971
 BibTeX: Download
1970
- :
 Chomsky-Systeme für partielle Ordnungen
 3 (1970)
 BibTeX: Download
 (Techreport)
- , :
 Programmieren von Datenverarbeitungsanlagen
 De Gruyter, 1970
 BibTeX: Download
1969
- :
 Zur Verwendung boolescher Übergangsmatrizen in Compilern
 In: Elektronische Rechenanlagen mit Computer Praxis 11 (1969), S. 336-337
 ISSN: 0013-5720
 BibTeX: Download
1967
- :
 Programmierung numerischer Probleme
 1 (1967)
 BibTeX: Download
 (Techreport)
- :
 Zur Beschreibung großer kontexfreier Grammatiken
 3. Kolloquium Automatentheorie und formale Sprachen
 In: Händler, Wolfgang ; Peschl, Ernst ; Unger, Heinz (Hrsg.): 3. Kolloquium Automatentheorie und formale Sprachen, Basel/ Schweiz: 1967
 BibTeX: Download
- , :
 Programmieren von Datenverarbeitungsanlagen
 Berlin: De Gruyter, 1967
 BibTeX: Download
1966
- :
 Die Berücksichtigung von Kasus, Genus und anderen Spezifikationen bei formalen Grammatiken natürlicher Sprachen
 In: Elektronische Datenverarbeitung 8 (1966), S. 245-248
 ISSN: 0374-3012
 BibTeX: Download
- :
 Ein formales Verfahren zur Sprachanalyse und seine Anwendungsmöglichkeiten
 Zweites Kolloquium über Syntax natürlicher Sprachen und Datenverarbeitung (Oberwolfach, 28.06.1965 – 29.06.1965)
 In: Detering, Klaus ; Pilch, Herbert (Hrsg.): Syntax und Datenverarbeitung II 1966
 BibTeX: Download
1965
- :
 Ein formales Verfahren zur maschinellen Sprachanalyse (Dissertation, 1965)
 BibTeX: Download
1962
- :
 Die Praxis der Fehlerabschätzung bei Anfangswertproblemen
 X-4- (1962), S. 135-144
 BibTeX: Download
 (Techreport)
