Kagaris, D.; Pantziou, G. E.; Tragoudas, S.; Zaroliagis, C.: Quickest Paths: Parallelization and Dynamization. In: Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), pp. 39 - 44 (Eds. El-Rewini, H.; Shriver, B. D.). 28th Annual Hawaii International Conference on System Sciences , Wailea, Hawaii, USA, January 03, 1995 - January 06, 1995. IEEE, Los Alamitos (1995)

Kaufmann, M.; Sibeyn, J. F.: Solving Cheap Graph Problems on Meshes. In: Mathematical Foundations of Computer Science 1995, pp. 412 - 422 (Eds. Hájek, P.; Wiedermann, J.). 20th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, August 28, 1995 - September 01, 1995. Springer, Berlin (1995)

Kaufmann, M.; Sibeyn, J. F.; Suel, T.: Beyond the Worst-Case Bisection Bound: Fast Ranking and Counting on Meshes. In: Algorithms - ESA'95: 3rd Annual European Symposium, pp. 75 - 88 (Ed. Spirakis, P.). Untitled Event, Corfu, Greece, September 25, 1995 - September 27, 1995. Springer, Berlin, Germany (1995)

Krishna Rao, M. R. K.: Graph Reducibility of Term Rewriting Systems. In: Mathematical Foundations of Computer Science 1995, pp. 371 - 381 (Eds. Wiedermann, J.; Hájek, P.). 20th International Symposium on Mathematical Foundations of Computer Science, Prague, Czech Republic, August 28, 1995 - September 01, 1995. Springer, Berlin, Germany (1995)

Krishna Rao, M. R. K.: Incremental Learning of Logic Programs. In: Algorithmic Learning Theory, pp. 95 - 109 (Eds. Jantke, K. P. J.; Shinohara, T.; Zeugmann, T.). 6th International Workshop on Algorithmic Learning Theory, Fukuoka, Japan, October 18, 1995 - October 20, 1995. Springer, Berlin (1995)

Krishna Rao, M. R. K.: Semi-completeness of Hierarchical and Super-hierarchical Combinations of Term Rewriting Systems. In: TAPSOFT '95: Theory and Practice of Software Development, pp. 756 - 771 (Eds. Mosses, P. D.; Nielsen, M.; Schwartzbach, M. I.). 6th International Joint Conference on Theory and Practice of Software Development, Århus, Denmark, May 22, 1995 - May 26, 1995. Springer, Berlin, Germany (1995)

Krishna Rao, M. R. K.; Shyamasundar, R. K.: Unification‐free Execution of Well‐moded Prolog Programs. In: Static Analysis, pp. 243 - 260 (Ed. Mycroft, A.). Second International Symposium on Static Analysis, Glasgow, Scotland, September 25, 1995 - September 27, 1995. Springer, Berlin (1995)

Madden, P.: Program improvement by proof planning. In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11). Untitled Event, University of Wales, Swansea, Wales, 1995. (1995)

Madden, P.; Green, I.: A General Technique for Automatically Optimizing Programs through the Use of Proof Plans. In: Integrating Symbolic Mathematical Computation and Artificial Intelligence, pp. 64 - 79 (Eds. Calmet, J.; Campbell, J. A.). Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence , Cambridge, UK, August 03, 1994 - August 05, 1994. Springer, Berlin, Germany (1995)

Matthews, S.: Implementing FS0 in Isabelle: Adding Structure at the Metalevel. In: Proceedings of the First Isabelle Users Workshop, pp. 20 - 239 (Ed. Paulson, L. C.). First Isabelle Users Workshop, Cambridge, UK, September 18, 1995 - September 19, 1995. University of Cambridge, Cambridge (1995)

Mehlhorn, K.: Experiences with the Implementation of Geometric Algorithms. In: Algorithms and Data Structures, p. 518 - 518 (Eds. Akl, S. G.; Dehne, F.; Sack, J.-R.; Santoro, N.). 4th International Workshop on Algorithms and Data Structures, Kingston, Canada, August 16, 1995 - August 18, 1995. Springer, Berlin, Germany (1995)

Mehlhorn, K.; Priebe, V.: On the All-Pairs Shortest Path Algorithm of Moffat and Takaoka. In: Algorithms - ESA '95, pp. 185 - 198. Third Annual European Symposium on Algorithms, Corfu, Greece, September 25, 1995 - September 27, 1995. Springer, Berlin, Germany (1995)

Meyer, U.; Sibeyn, J. F.: Simulating the Simulator: Deterministic PRAM Simulation on a Mesh Simulator. In: Eurosim '95, pp. 285 - 290 (Eds. Breitenecker, F.; Husinsky, I.). 1995 EUROSIM Conference, Vienna, Austria, September 11, 1995 - September 15, 1995. Elsevier, Amsterdam (1995)

Mutzel, P.: A Polyhedral Approach to Planar Augmentation and Related Problems. In: Algorithms - ESA '95, pp. 494 - 507 (Ed. Spirakis, P.). 3rd Annual European Symposium on Algorithms, Corfu, Greece, September 25, 1995 - September 27, 1995. Springer, Berlin, Germany (1995)

Naor, M.; Schulman, L. J.; Srinivasan, A.: Splitters and Near-optimal Derandomization. In: Proceedings of the 36th IEEE Annual Symposium on Foundations of Computer Science, pp. 182 - 191. 36th IEEE Annual Symposium on Foundations of Computer Science, Milwaukee, WI, USA , October 23, 1995 - October 25, 1995. IEEE explore, Piscataway, NJ (1995)

Ohlbach, H. J.; Schmidt, R. A.; Hustadt, U.: Symbolic Arithmetical Reasoning with Qualified Number Restrictions. In: Proceedings of International Workshop on Description Logics 1995, pp. 89 - 95 (Eds. Borgida, A.; Lenzerini, M.; Nardi, D.; Nebel, B.). International Workshop on Description Logics 1995, Rome, Italy, June 02, 1995 - June 03, 1995. Dipartimento di Informatica e Sistemistica, Univ. degli studia di Roma, Rome (1995)

Papatriantafilou, M.; Tsigas, P.: Wait-Free Consensus in "In-Phase'' Multiprocessor Systems. In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, pp. 312 - 319. Seventh IEEE Symposium on Parallel and Distributed Processing, San Antonio, TX, USA, October 25, 1995 - October 28, 1995. IEEE, Los Alamitos (1995)

Podelski, A.; Smolka, G.: Situated Simplification. In: Principles and Practice of Constraint Programming - CP '95, pp. 328 - 344 (Eds. Montanari, U.; Rossi, F.). First International Conference on Principles and Practice of Constraint Programming, Cassis, France, September 19, 1995 - September 22, 1995. Springer, Berlin, Germany (1995)

Podelski, A.; Smolka, G.: Situated Simplification. In: Logic Programming, p. 826 (Ed. Sterling, L.). 12th International Conference on Logic Programming , Tokyo, Japan, June 13, 1995 - June 16, 1995. MIT Press, Cambridge, MA, USA (1995)

Podelski, A.; Smolka, G.: Operational Semantics of Constraint Logic Programs with Coroutining. In: Logic Programming, pp. 449 - 463 (Ed. Sterling, L.). 12th International Conference on Logic Programming , Tokyo, Japan, June 13, 1995 - June 16, 1995. MIT Press, Cambridge, MA, USA (1995)