Report (716)
11761.
Report
Top down parsing of macro grammars (preliminary report). Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1976)
11762.
Report
Dynamic Binary Search. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1976)
11763.
Report
An improved lower bound on the formula complexity of context-free recognition. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1976)
11764.
Report
Dynamic Binary Search Trees: Extended Abstracts. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1976)
11765.
Report
Untere Schranken für den Platzbedarf bei der kontext-freien Analyse. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1975)
11766.
Report
Bracket-Languages are Recognizable in Logarithmic Space. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1975)
Journal (3)
11767.
Journal
Minimum Cuts in Directed Graphs via √n Max-Flows.
11768.
Journal
Computing and Testing Small Vertex Connectivity in Near-Linear Time and Queries.
11769.
Journal
Stackelberg Pricing is Hard to Approximate within 2--Epsilon.
Other (40)
11770.
Other
Casting Shadows In Real Time, (2009)
11771.
Other
Polynomials, CGAL - Computational Geometry Algorithms Library, release 3.4, (2009)
11772.
Other
Reasoning in Complex Theories and Applications. Advanced Lecture, ESSLLI 2009, (2009)
11773.
Other
Method and system for building a phylogeny from genetic sequences and using the same for recommendation of vaccine strain candidates for the influenza virus, (2008)
11774.
Other
Interaktive Visualisierung eines hoch komplexen Boeing 777 Modells, Informatik Spektrum 27, p. 394 - 394 (2004)
11775.
Other
Identification of rat brahma (rBRM), a subunit of SWI/SNF chromatin remodeling complex: Involvement in the differentiation of retinal stem cells/progenitors, (2003)
11776.
Other
The formation of a β-Peptide/DPC-micelle complex studied by MD simulations, (2001)
11777.
Other
An experimental study of priority queues in external memory, (2001)
11778.
Other
Docking of Ligands into Artificial Receptors, (2001)
11779.
Other
Quantifier Elimination for Second-Order Predicate Logic, (2001)
11780.
Other
Surface Topography Quantification using Computational Geometry, (2001)