Search results for "Informatik"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Uwe Hinsberger, Reiner Kolla	Performance Optimization of Combinational Circuits.	Informatik	1992	DBLP DOI BibTeX RDF
1	Martin Dietzfelbinger, Friedhelm Meyer auf der Heide	Dynamic Hashing in Real Time.	Informatik	1992	DBLP DOI BibTeX RDF
1	Paul Molitor	A Hierarchy Preserving Hierarchical Bottom-Up 2-layer Wiring Algorithm with Respect to Via Minimization.	Informatik	1992	DBLP DOI BibTeX RDF
1	Bernd Becker 0001	Synthesis for Testability: Binary Decision Diagrams.	Informatik	1992	DBLP DOI BibTeX RDF
1	Volker Claus	Complexity Measures on Permutations.	Informatik	1992	DBLP DOI BibTeX RDF
1	Gert Smolka	Residuation and Guarded Rules for Constraint Logic Programming.	Informatik	1992	DBLP DOI BibTeX RDF
1	Hans-Georg Osthof	Eine O(e log e) - Heuristik für ein Flußproblem.	Informatik	1992	DBLP DOI BibTeX RDF
1	Otto Spaniol	Laudatio zum 60. Geburtstag von Prof. Dr. Günter Hotz.	Informatik	1992	DBLP DOI BibTeX RDF
1	Jürgen Seilen	Durch kinematische Szenen erzeugte topologische Räume.	Informatik	1992	DBLP DOI BibTeX RDF
1	Rolf Klein, Kurt Mehlhorn, Stefan Meiser	Randomized Incremental Construction of Abstract Voronoi Diagrams.	Informatik	1992	DBLP DOI BibTeX RDF
1	Johannes Buchmann 0001, Stephan Düllmann	Distributed Class Group Computation.	Informatik	1992	DBLP DOI BibTeX RDF
1	Wolffried Stucky, Andreas Oberweis	Zur Beherrschbarkeit des Entwicklungsprozesses komplexer Software-Systeme.	Informatik	1992	DBLP DOI BibTeX RDF
1	Ferri Abolhassan, Reinhard Drefenstedt, Jörg Keller 0001, Wolfgang J. Paul, Dieter Scheerer	On the Physical Design of PRAMs.	Informatik	1992	DBLP DOI BibTeX RDF
1	Harald Ganzinger, Jürgen Stuber	Inductive Theorem Proving by Consistency for First-Order Clauses.	Informatik	1992	DBLP DOI BibTeX RDF
1	Hans Ulrich Simon	Bemerkungen zum Schätzen von Bayesschen Diskriminantenfunktionen.	Informatik	1992	DBLP DOI BibTeX RDF
1	Wolfgang Wahlster	An Intelligent Multimodal Interface.	Informatik	1992	DBLP DOI BibTeX RDF
1	Thomas Kretschmer	An Algebraic Characterization of Context-Free Languages.	Informatik	1992	DBLP DOI BibTeX RDF
1	Rainer Kemp	On the Stack Size of a Class of Backtrack Trees.	Informatik	1992	DBLP DOI BibTeX RDF
1	Hans-Peter Blatt	Verteilung der Nullstellen von Polynomen auf Jordanbögen.	Informatik	1992	DBLP DOI BibTeX RDF
1	Eberhard Bertsch	Ähnlichkeit von Grammatiken - Ansätze und Erfahrungen.	Informatik	1992	DBLP DOI BibTeX RDF
1	Dung T. Huynh	Complexity of Closeness, Sparseness and Segment Equivalence for Context-Free and Regular Languages.	Informatik	1992	DBLP DOI BibTeX RDF
1	Juraj Hromkovic, Burkhard Monien	The Bisection Problem for Graphs of Degree 4 (Configuring Transputer Systems).	Informatik	1992	DBLP DOI BibTeX RDF
1	Uwe Sparmann	Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations.	Informatik	1992	DBLP DOI BibTeX RDF
1	Claus-Peter Schnorr	Computation of the Boolean Matrix-Vector, AND/OR-Produkt in Average Time O(m + nlnn).	Informatik	1992	DBLP DOI BibTeX RDF
1	Michael J. Fischer, Sophia A. Paleologou	Decision Making in the Presence of Noise.	Informatik	1992	DBLP DOI BibTeX RDF
1	Otto Spaniol, Werner Kremer, Andreas Fasbender	TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze.	Informatik	1992	DBLP DOI BibTeX RDF
1	Bala Kalyanasundaram, Georg Schnitger	Communication Complexity and Lower Bounds for Sequential Computation.	Informatik	1992	DBLP DOI BibTeX RDF
1	Bernd Halstenberg, Rüdiger Reischuk	Über den Nutzen von Orakelfragen bei nichtdeterministischen Kommunikationsprotokollen.	Informatik	1992	DBLP DOI BibTeX RDF
1	Friedemann Mattern	Über die relativistische Struktur logischer Zeit in verteilten Systemen.	Informatik	1992	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Helmut Seidl, Reinhard Wilhelm	Baumautomaten zur Codeselektion.	Informatik	1992	DBLP DOI BibTeX RDF

Publications at "Informatik"( http://dblp.L3S.de/Venues/Informatik )