Basin, D.; Klarlund, N.: Hardware Verification using Monadic Second‐order Logic. In: Computer Aided Verification, S. 31 - 41 (Hg. Wolper, P.). 7th International Conference on Computer Aided Verification, Liège, Belgium, 03. Juli 1995 - 05. Juli 1995. Springer, Berlin (1995)

Beidler, C. D.; Grieger, G.; Harmeyer, E.; Kißlinger, J.; Karulin, N.; Maurer, W.; Nührenberg, J.; Rau, F.; Sapper, J.; Wobig, H. et al.; W7-AS Team, Max Planck Institute for Plasma Physics, Max Planck Society; W7-X ECRH Team, Max Planck Institute for Plasma Physics, Max Planck Society: Helias Reactor Studies. In: Proceedings of the 10th International Conference on Stellarators, S. 119 - 122 (Hg. Ascasibar, E.; Aradna, D.). 10th International Conference on Stellarators, Madrid, 22. Mai 1995 - 26. Mai 1995. (1995)

Beidler, C. D.; Kick, M.; Baldzuhn, J.; Geiger, J.; Kislyakov, A. I.; Kißlinger, J.; Kühner, G.; Maaßberg, H.; Ohlendorf, W.; Penningsfeld, F.-P. et al.; Rust, N.; W7-AS Team, Max Planck Institute for Plasma Physics, Max Planck Society; W7-X ECRH Team, Max Planck Institute for Plasma Physics, Max Planck Society: Ion Confinement in "Transport Optimized" Configurations of the Stellarator W7-AS. In: Proceedings of the 10th International Conference on Stellarators, Bd. 1, S. 330 - 333 (Hg. Ascasibar, E.; Aradna, D.). 10th International Conference on Stellarators, Madrid, 22. Mai 1995 - 26. Mai 1995. (1995)

Beikert, G.; Keen, B.E.; Wolle, B.; Stott, P.E.; Jauch, Z.; Winter, J.; et al.: Refined Numerical Modelling of Fusion Product Measurements. Proc. 22nd EPS Conf.on Controlled Fusion and Plasma Physics, Geneva Bournemouth, 03. Juli 1995 - 07. Juli 1995. ECA 19C, 3, S. 201 - 204 (1995)

Berthomé, P.; Duboux, T.; Hagerup, T.; Newman, I.; Schuster, A.: Self-Simulation for the Passive Optical Star Model. In: Algorithms - ESA '95, S. 369 - 380 (Hg. Spirakis, P.). 3rd Annual European Symposium on Algorithms, Corfu, Greece, 25. September 1995 - 27. September 1995. Springer, Berlin (1995)

Bodlaender, H. L.; Hagerup, T.: Parallel Algorithms with Optimal Speedup for Bounded Treewidth. In: Automata, Languages, and Programming, S. 268 - 279 (Hg. Fülöp, Z.; Gecseg, F.). ICALP 1995, Szeged, Hungary, 10. Juli 1995 - 14. Juli 1995. Springer, Berlin (1995)

Bohmeyer, W.; Keen, B.E.; Behrendt, H.; Stott, P.E.; Fussmann, G.; Winter, J.; Grote, H.; Kornejew, P.; Meyer, H.; Naujoks, D. et al.; Reiner, H.D.; et al.: Investigation of Chemical Sputtering in the Plasmagenerator PSI-1: First Experimental Results and Modelling. Proc. 22nd EPS Conf.on Controlled Fusion and Plasma Physics, Geneva Bournemouth, 03. Juli 1995 - 07. Juli 1995. ECA 19C, 2, S. 297 - 300 (1995)

Bradford, P. G.; Choppela, V.; Rawlins, G. J.E.: Lower Bounds for the Matrix Chain Ordering Problem. In: LATIN '95: Theoretical Informatics, S. 112 - 130 (Hg. Baeza-Yates, R.; Goles, E.; Poblete, P. V.). 2nd Latin American Symposium on Theoretical Informatics, Valparaiso, Chile, 03. April 1995 - 07. April 1995. Springer, Berlin (1995)

Branas, B.; Hirsch, M.; Luna de la, E.; Estrada, T.; Geist, T.; Hartfuss, H. J.; Sanchez, J.; Zhuravlev, V.: AM and carrier phase reflectometry results in W7-AS. In: Proceedings of the 10th International Conference on Stellarators, S. 224 - 227 (Hg. Ascasibar, E.; Aradna, D.). 10th International Conference on Stellarators, Madrid, 22. Mai 1995 - 26. Mai 1995. (1995)

Branas, B.; Keen, B.E.; Hirsch, M.; Stott, P.E.; Zhuralev, V.; Winter, J.; Geist, T.; Hartfuss, H.-J.; et al.: Turbulence Studies in W7-AS by AM and Carrier Phase Reflectometry. Proc. 22nd EPS Conf.on Controlled Fusion and Plasma Physics, Geneva Bournemouth, 03. Juli 1995 - 07. Juli 1995. ECA 19C, 4, S. 161 - 164 (1995)

Burhenn, R.; Keen, B.E.; Hacker, H.; Stott, P.E.; Ledl, L.; Winter, J.; Unger, E.; Baldzuhn, J.; Hofmann, J.V.; Weller, A. et al.; W7-AS-Team; NI-Group; et al.: Transport Studies of Injected Impurities in the Stellarator Wendelstein 7-AS. Proc. 22nd EPS Conf.on Controlled Fusion and Plasma Physics, Geneva Bournemouth, 03. Juli 1995 - 07. Juli 1995. ECA 19C, 3, S. 145 - 148 (1995)

Chaudhuri, S.; Dubhashi, D.: (Probabilistic) Recurrence Relations Revisited. In: LATIN' 95: Theoretical Informatics, S. 207 - 219 (Hg. Baeza-Yates, R.; Goles, E.; Poblete, P. V.). Second Latin American Symposium, Valparaiso, Chile, 03. April 1995 - 07. April 1995. Springer, Berlin (1995)

Chiang, Y.-F.; Goodrich, M. T.; Grove, E.; Tamassia, R.; Vengroff, D. E.; Vitter, J. S.: External-Memory Graph Algorithms. In: Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, S. 139 - 149. 6th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, California, USA, 22. Januar 1995 - 24. Januar 1995. SIAM, Philadelphia, PA (1995)

Cotton, W. R.; Stevens, B.; Nebuda, S.: A question of balance - Simulating microphysics and dynamics. In: Conference on Cloud Physics, 75th Meeting of the American Meteorological Society, S. 484 - 486. Conference on Cloud Physics, Dallas, Texas, 15. Januar 1995 - 20. Januar 1995. (1995)

Cutler, A.; Chen, H.-C.: Phonological similarity effects in Cantonese word recognition. In: Proceedings of the Thirteenth International Congress of Phonetic Sciences: Vol. 1, S. 106 - 109 (Hg. Elenius, K.; Branderud, P.). The Thirteenth International Congress of Phonetic Sciences, Stockholm, 13. August 1995 - 19. August 1995. Stockholm University, Stockholm (1995)

Danzmann, K.; Lück, H.; Rüdiger, A.; Schilling, R.; Schrempel, M.; Winkler, W.; Hough, J.; Newton, G. P.; Robertson, N. A.; Robertson, D. I. et al.; Ward, H.; Campbell, A. M.; Logan, J. E.; Strain, K. A.; Bennett, J. R. J.; Kose, V.; Kühne, M.; Schutz, B. F.; Nicholson, D.; Shuttleworth, J. R.; Welling, H.; Aufmuth, P.; Rinkleff, R.-H.; Tünnermann, A.; Willke, B.: GEO 600. A 600 m Laser Interferometric Gravitational Wave Antenna. In: Gravitational wave experiments: proceedings of the first Edoardo Amaldi Conference (Hg. Coccia, E.; Pizella, G.). Edoardo Amaldi Conference on Gravitational Wave Experiments, Vila Tuscolana (Frascati), Rome, Italy, 14. Juni 1994 - 17. Juni 1994. (1995)

Das, J.; Keen, B.E.; Grigull, P.; Stott, P.E.; Herre, G.; Winter, J.; Hofmann, J.V.; Sardei, F.; W7-AS-Team; ECRH-Group et al.; NBI-Group: Topological Aspects of Island Divertors in W7-AS. Proc. 22nd EPS Conf.on Controlled Fusion and Plasma Physics, Geneva Bournemouth, 03. Juli 1995 - 07. Juli 1995. ECA 19C, 4, S. 313 - 316 (1995)

Davies, S.J.; Keen, B.E.; Erents, S.K.; Stott, P.E.; Guo, H.Y.; Winter, J.; McCormick, K.; et al.: The Behaviour of Divertor and Scrape-Off Layer Parameters in JET. Proc. 22nd EPS Conf.on Controlled Fusion and Plasma Physics, Geneva Bournemouth, 03. Juli 1995 - 07. Juli 1995. ECA 19C, 3, S. 257 - 260 (1995)

Djidjev, H. N.; Pantziou, G. E.; Zaroliagis, C.: Fast Algorithms for Maintaining Shortest Paths in Outerplanar and Planar Digraphs. In: Fundamentals of Computation Theory, S. 191 - 200 (Hg. Reichel, H.). 10th International Conference on Fundamentals of Computation Theory, Dresden, Germany, 22. August 1995 - 25. August 1995. Springer, Berlin (1995)

Djidjev, H. N.; Pantziou, G. E.; Zaroliagis, C.: On-line and Dynamic Algorithms for Shortest Path Problems. In: STACS 95, S. 193 - 204 (Hg. Mayr, E. W.; Puech, C.). 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, 02. März 1995 - 04. März 1995. Springer, Berlin (1995)