Hans Jürgen Schneider
Prof. em. Dr. Hans Jürgen Schneider
Projekte
Es wurden leider keine Projekte gefunden.
Aktuelle Lehrveranstaltungen
Keine passenden Datensätze gefunden.
Publikationen
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
:
Special Issue on Categorical Approaches to Computing by Graph Transformation
Dordrecht, The Netherlands: 1999
(Applied Categorical Structures, Bd. 7)
BibTeX: Download
, (Hrsg.):
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
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
, (Hrsg.):
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
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
, (Hrsg.):
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
Proceedings of the International Computing Symposium (ICS'83)
Nürnberg: 1983
ISBN: 978-3519024323
BibTeX: Download
(Hrsg.):
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
(Hrsg.):
Verschiedene Beiträge
In: Schneider, Hans Jochen (Hrsg.): 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
, (Hrsg.):
1981
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
, (Hrsg.):
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
:
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
(Hrsg.):
Wie findet ein Computer Informationen?
In: Umschau in Wissenschaft und Technik 80 (1980), S. 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
, (Hrsg.):
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
:
Proceedings 4th Workshop on Graph-Theoretic Concepts in Computer Science
München: 1979
BibTeX: Download
, (Hrsg.):
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
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
(Hrsg.):
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
Programmiersprachen
Berlin: 1976
(Infomatik-Fachberichte, Bd. 1)
BibTeX: Download
, (Hrsg.):
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
Kategorielle Konstruktionen in der Theorie der Graph-Grammatiken
6 (1973), S. 30-55
BibTeX: Download
(Techreport)
, , :
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
, , :
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
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
:
Programmierung numerischer Probleme
1 (1967)
BibTeX: Download
(Techreport)
:
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)
: