Hans Jürgen Schneider
Prof. em. Dr. Hans Jürgen Schneider
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, p. 33-58 (Lecture Notes Computer Science, Vol.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), p. 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 (ed.): Formal Methods in Software and Systems Modeling - Essays Dedicated to Hartmut Ehrig, Berlin Heidelberg: Springer-verlag, 2005, p. 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), p. 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), p. 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 (ed.): 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), p. 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 (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, Singapur: World Scientific Publisher, 1999, p. 401-450 (Concurrency, Parallelism, and Distribution, Vol.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
:
Special Issue on Categorical Approaches to Computing by Graph Transformation
Dordrecht, The Netherlands: 1999
(Applied Categorical Structures, Vol. 7)
BibTeX: Download
, (ed.):
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 (ed.): 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), p. 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), p. 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), p. 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 (ed.): Parallelrechner: Architekturen - Systeme - Werkzeuge, Stuttgart: Teubner, 1995, p. 411-470
ISBN: 978-3519021353
URL: https://www2.cs.fau.de//publication/download/schneider_ParSprachen.pdf
BibTeX: Download
:
1994
Graph Transformations in Computer Science
Berlin Heidelberg: 1994
(Lecture Notes Computer Science, Vol. 776)
ISBN: 978-3-540-57787-4
DOI: 10.1007/3-540-57787-4
BibTeX: Download
, (ed.):
1993
On categorical graph grammars integrating structural transformations and operations on labels
In: Theoretical Computer Science (1993), p. 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 (ed.): 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 (ed.): 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 (ed.): 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
Graph-Theoretic Concepts in Computer Science - International Workshop WG '87
Berlin Heidelberg: 1988
(Lecture Notes in Computer Science, Vol. 314)
DOI: 10.1007/3-540-19422-3
BibTeX: Download
, (ed.):
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 (ed.): 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), p. 256-263
ISSN: 0170-6012
BibTeX: Download
:
Tasks as first class objects in a hierarchy of task types
In: Universität Erlangen (ed.): 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), p. 164-165
ISSN: 0170-6012
BibTeX: Download
, :
1986
Programmverifikation
In: Computer-Magazin (1986), p. 50-55
ISSN: 0343-2572
BibTeX: Download
:
Verschiedene Beiträge
In: Schneider, Hans Jochen (ed.): 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. (ed.): Proceedings of the 8th ACM International Computing Symposium, Amsterdam: 1985
BibTeX: Download
:
Programmiersprachen mit Mengenkonzept für unkonventionelle Hardware
(1985), p. 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 (ed.): 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. (ed.): 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
Proceedings of the International Computing Symposium (ICS'83)
Nürnberg: 1983
ISBN: 978-3519024323
BibTeX: Download
(ed.):
Programmiersprachen und Programmierumgebungen - Mit Anwendungen im Ingenieurbereich
Datenverarbeitung in der Konstruktion '83
In: Datenverarbeitung in der Konstruktion '83 1983
BibTeX: Download
:
Tagungsband PEARL-Tagung
1983
BibTeX: Download
(ed.):
Verschiedene Beiträge
In: Schneider, Hans Jochen (ed.): Lexikon der Informatik und Datenverarbeitung, München: Oldenbourg, 1983
ISBN: 9783486226621
BibTeX: Download
:
1982
Proceedings 8th Workshop on Graph-Theoretic Concepts in Computer Science (WG'82)
München: 1982
BibTeX: Download
, (ed.):
1981
Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten
Wien: 1981
(Computing Supplementum, Vol. 3)
ISBN: 978-3-211-81606-6
DOI: 10.1007/978-3-7091-8596-4
BibTeX: Download
, (ed.):
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, p. 173-180 (Computing Supplementum, Vol.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 (ed.): 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 (ed.): Proceedings of SEAS Anniversary Meeting 1980 1980
BibTeX: Download
:
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
(ed.):
Wie findet ein Computer Informationen?
In: Umschau in Wissenschaft und Technik 80 (1980), p. 483-486
ISSN: 0041-6347
BibTeX: Download
:
1979
Workshop WG 78 on Graphtheoretic Concepts in Computer Science
München: 1979
ISBN: 3-446-12748-8
BibTeX: Download
, (ed.):
Axiomatische Spezifikation der Software zur Steuerung einer Paketverteilungsanlage
(1979)
BibTeX: Download
(Techreport)
:
Verschiedene Beiträge
In: Schriever, K.-H. ; Schuh, F. (ed.): Enzyklopädie Naturwissenschaft und Technik, München: Moderne Industrie, 1979
BibTeX: Download
:
Proceedings 4th Workshop on Graph-Theoretic Concepts in Computer Science
München: 1979
BibTeX: Download
, (ed.):
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 (ed.): 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
GI - 7. Jahrestagung
Berlin Heidelberg: 1977
(Informatik-Fachberichte, Vol. 10)
ISBN: 978-3-540-08425-9
DOI: 10.1007/978-3-642-48908-2
BibTeX: Download
(ed.):
Graph grammars
International Conference on Fundamentals of Computation Theory (FCT 1977) (Poznan-Kórnik, 19.09.1977 - 12.09.1977)
In: Karpinski, Marek (ed.): 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. (ed.): 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), p. 82-88
ISSN: 0171-645X
BibTeX: Download
:
Grammars on partial graphs
In: Acta Informatica 6 (1976), p. 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 (ed.): 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 (ed.):
Programmiersprachen - 4. Fachtagung der GI
Berlin Heidelberg: 1976
(Informatik-Fachberichte, Vol. 1)
ISBN: 978-3-540-07619-3
DOI: 10.1007/978-3-642-66319-2
BibTeX: Download
Programmiersprachen
Berlin: 1976
(Infomatik-Fachberichte, Vol. 1)
BibTeX: Download
, (ed.):
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 (ed.): 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), p. 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 (ed.): 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 (ed.): 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 (ed.): 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), p. 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 (ed.): 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), p. 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 (ed.): 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), p. 135-144
BibTeX: Download
(Techreport)
: