Günter Hotz - RankMe

68 papers A* 4A 2B 6C 1Journal 32Unranked 12

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	New Invariants for the Graph Isomorphism Problem CoRR Alexander Gamkrelidze, Günter Hotz, Levan Varamashvili
2012	J	`jnl`	Representation Theorems for Analytic Machines and Computability of Analytic Functions. Theory Comput. Syst. Tobias Gärtner, Günter Hotz
2011	—	`book`	Ausgezeichnete Informatikdissertationen 2010 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2010	—	`book`	Ausgezeichnete Informatikdissertationen 2008 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2010	—	`book`	Ausgezeichnete Informatikdissertationen 2009 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2009	C	`conf`	Computability of Analytic Functions with Analytic Machines. CiE Tobias Gärtner, Günter Hotz
2009	—	`conf`	Kolmogorov-Complexity Based on Infinite Computations. Efficient Algorithms Günter Hotz
2008	—	`book`	Ausgezeichnete Informatikdissertationen 2007 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner
2008	J	`jnl`	Über "Über den Plankalkül" von Konrad Zuse. it Inf. Technol. Günter Hotz
2006	—	`book`	Ausgezeichnete Informatikdissertationen 2005 Ausgezeichnete Informatikdissertationen Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Dorothea Wagner
2004	J	`jnl`	A remark on nondecidabilities of the initial value problem of ODEs Electron. Colloquium Comput. Complex. Günter Hotz
2002	—	`book`	Ausgezeichnete Informatikdissertationen 2002 Ausgezeichnete Informatikdissertationen Heinz Beilner, Herbert Fiedler, Markus Gross, Oliver Günther, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner
2001	—	`book`	Ausgezeichnete Informatikdissertationen 2001 Ausgezeichnete Informatikdissertationen Heinz Beilner, Herbert Fiedler, Oliver Günther, Steffen Hölldobler, Günter Hotz, Peter Liggesmeyer, Klaus-Peter Löhr, Rüdiger Reischuk, Dorothea Wagner
2001	A	`conf`	Planarity Testing of Graphs on Base of a Spring Model. GD Günter Hotz, Steffen Lohse
2001	J	`jnl`	Recursive analytic functions of a complex variable Electron. Colloquium Comput. Complex. Tobias Gärtner, Günter Hotz
2000	—	`book`	Ausgezeichnete Informatikdissertationen 1999 Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner
2000	—	`book`	Ausgezeichnete Informatikdissertationen 2000 Ausgezeichnete Informatikdissertationen Herbert Fiedler, Werner Grass, Oliver Günther, Steffen Hölldobler, Günter Hotz, Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner
1999	J	`jnl`	Analytic Machines. Theor. Comput. Sci. Thomas Chadzelek, Günter Hotz
1999	B	`conf`	Calculation of contact forces. VRST Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken
1999	A*	`conf`	SiLVIA - A Simulation Library for Virtual Reality Applications. VR Günter Hotz, Andreas Kerzmann, Christian Lennerz, Rainer Schmid, Elmar Schömer, Thomas Warken
1998	—	`book`	Ausgezeichnete Informatikdissertationen 1996 Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, Immo O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr
1997	B	`conf`	Diagnosis of Tank Ballast Systems. IDA Björn Schieffer, Günter Hotz
1997	—	`conf`	Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries. ED&TC Christoph Scholl, S. Melchior, Günter Hotz, Paul Molitor
1997	J	`jnl`	On Using Semi-Dyck Sets to Analyse Coupled-Context-Free Languages. Fundam. Informaticae Günter Hotz, Gisela Pitsch
1997	—	`conf`	On the Arrangement Complexity of Uniform Trees. Foundations of Computer Science: Potential - Theory - Cognition Günter Hotz, Hongzhong Wu
1996	J	`jnl`	On Parsing Coupled-Context-Free Languages. Theor. Comput. Sci. Günter Hotz, Gisela Pitsch
1995	B	`conf`	A New Approach to Analyse Coupled-Context-Free Languages. MFCS Günter Hotz, Gisela Pitsch
1995	J	`jnl`	Analytic Machines Electron. Colloquium Comput. Complex. Günter Hotz, Gero Vierke, Björn Schieffer
1994	A	`conf`	A Hierarchical Environment for Interactive Test Engineering. ITC Thomas Burch, Joachim Hartmann, Günter Hotz, M. Krallmann, U. Nikolaus, Sudhakar M. Reddy, Uwe Sparmann
1994	A*	`conf`	Fast Uniform Analysis of Coupled-Context-Free Languages. ICALP Günter Hotz, Gisela Pitsch
1994	J	`jnl`	Zum 25jährigen Jubiläum. Inform. Spektrum Günter Hotz
1993	J	`jnl`	Search Trees and Search Graphs for Markov Sources. J. Inf. Process. Cybern. Günter Hotz
1990	—	`conf`	A graphical system for hierarchical specifications and checkups of VLSI circuits. EURO-DAC Bernd Becker, Thomas Burch, Günter Hotz, D. Kiel, Reiner Kolla, Paul Molitor, Hans-Georg Osthof, Gisela Pitsch, Uwe Sparmann
1990	—	`book`	Einführung in die Informatik. Günter Hotz
1990	—	`conf`	TAGs by interpreting Context Free Tree Languages. TAG+ Yonggang Guan, Günter Hotz
1989	J	`jnl`	The Power of the Greibach Normal Form. J. Inf. Process. Cybern. Günter Hotz, Thomas Kretschmer
1988	—	`conf`	Anwendungen und Portierungen der Programmiersprache Comskee. Innovative Informations-Infrastrukturen Günter Hotz, Thomas Burch, W. Dorndorf, J. Messerchmidt, M. Ries, T. Schäfer
1987	A*	`conf`	Hierarchical Design Based on a Calculus of Nets. DAC Bernd Becker, Günter Hotz, Reiner Kolla, Paul Molitor, Hans-Georg Osthof
1987	J	`jnl`	On the Optimal Layout of Planar Graphs with Fixed Boundary. SIAM J. Comput. Bernd Becker, Günter Hotz
1986	J	`jnl`	A Representation Theorem of Infinite Dimensional Algebras and Applications to Language Theory. J. Comput. Syst. Sci. Günter Hotz
1986	J	`jnl`	Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil I. Inform. Forsch. Entwickl. Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor
1986	J	`jnl`	Ein logisch-topologischer Kalkül zur Konstruktion integrierter Schaltkreise, Teil II. Inform. Forsch. Entwickl. Günter Hotz, Bernd Becker, Reiner Kolla, Paul Molitor
1986	—	`conf`	On Network Algebras and Recursive Equations. Graph-Grammars and Their Application to Computer Science Günter Hotz, Reiner Kolla, Paul Molitor
1984	B	`conf`	Outline of an Algebraic Language Theory. MFCS Günter Hotz
1984	—	`conf`	Über die logisch-topologische Entwurfsebene bei der Konstruktion großer integrierter Schaltkreise. GI Jahrestagung (Fachgespräche) Günter Hotz
1981	—	`conf`	Ein rein automatentheoretischer Aufbau der Theorie der kontext-freien Sprachen. Theoretical Computer Science Günter Hotz
1981	J	`jnl`	k-dimensionale syntaktische Monoide. J. Inf. Process. Cybern. Günter Hotz
1980	J	`jnl`	Eine neue Invariante für Kontextfreie Sprachen. Theor. Comput. Sci. Günter Hotz
1980	J	`jnl`	Konrad Zuse: Forschung und Entwicklung. Inform. Spektrum Günter Hotz
1980	J	`jnl`	Verschränkte Homomorphismen Formaler Sprachen. RAIRO Theor. Informatics Appl. Günter Hotz
1979	J	`jnl`	LL(k)- und LR(k)-Invarianz von kontexfreien Grammatiken unter einer Transformation auf Greibach-Normalform. J. Inf. Process. Cybern. Günter Hotz, Rockford J. Ross
1979	B	`conf`	Necessary decidable conditions for the word and equivalence problem of formal languages. FCT Günter Hotz
1979	J	`jnl`	Über die Darstellbarkeit des syntaktischen Monoïdes kontextfreier Sprachen. RAIRO Theor. Informatics Appl. Günter Hotz
1978	J	`jnl`	Normal-form transformations of context-free grammars. Acta Cybern. Günter Hotz
1977	B	`conf`	Network Complexity. FCT Günter Hotz, Manfred Stadl
1977	J	`jnl`	Space-Komplexität von klammerfreien Ausdrücken mit Typen. J. Inf. Process. Cybern. Günter Hotz
1976	J	`jnl`	Schranken für Balanced Trees bei ausgewogenen Verteilungen. Theor. Comput. Sci. Günter Hotz
1974	—	`conf`	Axiomatisierung bei Programmiersprachen und ihre Grenzen. Programming Methodology Günter Hotz
1974	A*	`conf`	Komplexitätsmaße für Ausdrücke. ICALP Günter Hotz
1974	J	`jnl`	Sequentielle Analyse kontextfreier Sprachen. Acta Informatica Günter Hotz
1974	—	`conf`	Strukturelle Verwandtschaften von semi-Thue-Systemen. Category Theory Applied to Computation and Control Günter Hotz
1969	J	`jnl`	Übertragung automatentheoretischer Sätze auf Chomsky-Sprachen. Computing Günter Hotz
1968	J	`jnl`	Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen. J. Inf. Process. Cybern. Günter Hotz
1967	J	`jnl`	Quasilineare Automaten. Computing Günter Hotz
1966	J	`jnl`	Eindeutigkeit und Mehrdeutigkeit formaler Sprachen. J. Inf. Process. Cybern. Günter Hotz
1965	J	`jnl`	Eine Algebraisierung des Syntheseproblems von Schaltkreisen I. J. Inf. Process. Cybern. Günter Hotz
1965	J	`jnl`	Eine Algebraisierung des Syntheseproblems von Schaltkreisen II. J. Inf. Process. Cybern. Günter Hotz
1962	—	`conf`	Digital Filters with Threshold Elements. IFIP Congress Günter Hotz