Fast priority queues for parallel branch-and- bound Sanders, P. 1995. In: Parallel algorithms for irregularly structured problems. IRREGULAR ’95. Ed.: A. Ferreira. Berlin 1995. S. 379-393. (Lecture notes in computer science. 980.)
Better algorithms for parallel backtracking Sanders, P. 1995. In: Parallel algorithms for irregularly structered problems. IRREGULAR ’95. Ed.: A. Ferreira. Berlin 1995. S. 333-347. (Lecture notes in computer science. 980.)
Centrin in vertebrate retinal cells Wolfrum, U.; Salisbury, J. L. 1995. Eur. j. of cell biol., Suppl. vol. 1995. S. 195, Abstract Nr. 602. (=ECBO Meeting, Heidelberg 1995.)
Locating sensitive regions by learning from simulation data Huber, K.-P.; Szczerbicka, H.; Barton, R. 1995. In: Proceedings. 1st Symposium on Theory and Applications of Sensitivity Analysis of Model Output in Computer Simulation, SAMO, Belgirate, Italy 1995. Ed.: Saltelli. S. 107-109
Extraction of soft rules from RecBF networks Berthold, M. R.; Huber, K.-P. 1995. In: Proceedings. International Symposium on Intelligent Data Analysis, Baden-Baden 1995. Ed.: G.E. Lasker. Vol. 1. Canada : IIAS 1995. S. 11-15
Spezifikation und Verifikation systolischer Felder mit Logik höherer Ordnung Schneider, K.; Kropf, T.; Thiessenhusen, T. 1995. In: Tagungsband des 3. GI/ITG-Workshops Anwendung Formaler Methoden beim Entwurf von Hardwaresystemen, Passau 1995. Hrsg.: W. Grass. Aachen 1995. S. 71-78. (Berichte aus der Informatik.)
Deep embedding VHDL Reetz, R. 1995. In: Higher order logic theorem proving and its applications. 8th International Workshop, Aspen Grove, UT 1995. Ed.: E.T. Schubert. Berlin 1995. S. 277-292. (Lecture notes in computer science. 971.)
Symbol checking for real-time circuits and specifications Froessl, J.; Gerlach, J.; Kropf, T. 1995. In: Proceedings. ACM International Workshop of Timing Issues in the Specification and Synthesis of Digital Systems, Seattle, Wash. 1995. S. 5-16
Removal of organic micropollutants by activated carbon Haist-Gulde, B.; Baldauf, G.; Brauch, H.-J. 1995. In: Water pollution. Pt. B. Quality and treatment of drinking water. Berlin 1995. S. 103-128. (The handbook of environmental chemistry. Vol. 5, Pt. B.)