Charatonik, W.; McAllester, D.; Niwinski, D.; Podelski, A.; Walukiewicz, I.: The Horn Mu-calculus. In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), pp. 58 - 69 (Ed. Pratt, V.). Untitled Event, Indianapolis, Indiana, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (1998)

Charatonik, W.; Podelski, A.: Co-definite Set Constraints. In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), pp. 211 - 225 (Ed. Nipkow, T.). Untitled Event, Tsukuba, Japan, 1998. Springer, Berlin, Germany (1998)

Charatonik, W.; Podelski, A.: Directional Type Inference for Logic Programs. In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), pp. 278 - 294 (Ed. Levi, G.). Untitled Event, Pisa, Italy, 1998. Springer, Berlin, Germany (1998)

Charatonik, W.; Podelski, A.: Set-Based Analysis of Reactive Infinite-state Systems. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), pp. 358 - 375 (Ed. Steffen, B.). Untitled Event, Lisbon, Portugal, 1998. Springer, Berlin, Germany (1998)

Chaudhuri, S.; Subrahmanyam, K. V.; Wagner, F.; Zaroliagis, C.: Computing Mimicking Networks. In: Proceedings of the 25th International Colloquium on Automata, Languages and Programming (ICALP-98), pp. 556 - 567 (Eds. Larsen, K. G.; Skyum, S.; Winskel, G.). Untitled Event, Aalborg, Denmark, 1998. Springer, Berlin, Germany (1998)

Chong, K. W.; Ramos, E. A.: Improved deterministic parallel padded sorting. In: Proceedings of the 6th Annual European Symposium on Algorithms (ESA-98), pp. 405 - 416 (Eds. Bilardi, G.; Italiano, G. F.; Pietracaprina, A.; Pucci, G.). Untitled Event, Venice, Italy, 1998. Springer, Berlin, Germany (1998)

Crauser, A.; Ferragina, P.; Mehlhorn, K.; Meyer, U.; Ramos, E. A.: Randomized External-Memory Algorithms for some Geometric Problems. In: Proceedings of the 14th International Annual ACM Symposium on Computational Geometry, pp. 259 - 268. Fourteenth Annual Symposium on Computational Geometry, Minneapolis, Minnesota, June 07, 1998 - June 10, 1998. ACM, New York, USA (1998)

Crauser, A.; Mehlhorn, K.; Meyer, U.; Sanders, P.: A Parallelization of Dijkstra's Shortest Path Algorithm. In: Mathematical Foundations of Computer Science 1998, pp. 722 - 731 (Eds. Brim, L.; Gruska, J.; Zlatuška, J.). 23rd International Symposium on the Mathematical Foundations of Computer Science , Brno, Czech Republic, August 24, 1998 - August 28, 1998. Springer, Berlin, Germany (1998)

Crochemore, M.; Gasieniec, L.; Rytter, W.: Constant-space string-matching in sublinear average time. In: Compression and Complexity of SEQUENCES 1997, pp. 230 - 239 (Eds. Carpentieri, B.; De Santis, A.; Vaccaro, U.; Storer, J. A.). Untitled Event, Positano,Italy. -, - (1998)

Crowley, J. L.; Schiele, B.; Wallner, F.: Position Estimation Using Principal Components of Range Data. In: IEEE International Conference on Robotics and Automation, pp. 3121 - 3128. 15th International Conference on Robotics and Automation, Leuven, Belgium, May 16, 1998 - May 20, 1998. IEEE, Piscataway, NJ (1998)

Degtyarev, A.; Gurevich, Y.; Narendran, P.; Veanes, M.; Voronkov, A.: The Decidability of Simultaneous Rigid E-Unification with One Variable. In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), pp. 181 - 195 (Ed. Nipkow, T.). Untitled Event, Tsukuba, Japan, 1998. Springer, Berlin, Germany (1998)

Delzanno, G.: Specification of Term Rewriting in Linear Logic. In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages (Ed. Galmiche, D.). Untitled Event, Lindau, Germany, 1998. Elsevier, Amsterdam, the Netherlands (1998)

Eades, P.; Marks, J.; Mutzel, P.; North, S.: Graph Drawing Contest Report. In: Proceedings of the 6th International Symposium on Graph Drawing (GD-98), pp. 423 - 435 (Ed. Whitesides, S. H.). Untitled Event, Montreal, Canada, 1998. Springer, Berlin, Germany (1998)

Feldmann, A.; Gilbert, A. C.; Willinger, W.: Data Networks as Cascades: Investigating the Multifractal Nature of Internet WAN Traffic. In: Proceedings of the ACM SIGCOMM '98 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, pp. 42 - 55. ACM SIGCOMM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Vancouver, Canada, August 31, 1998 - September 04, 1998. ACM, New York, NY (1998)

Feldmann, A.; Rexford, J.; Cáceres, R.: Reducing Overhead in Flow-Switched Networks: An Empirical Study of Web Traffic. In: Proceedings IEEE INFOCOM'98, pp. 1205 - 1213. Seventeenth Annual Joint Conference of the IEEE Computer and Communications Societies , San Francisco, CA, USA, March 29, 1998 - April 02, 1999. IEEE, Piscataway, NJ (1998)

Fialko, S.; Mutzel, P.: A New Approximation Algorithm for the Planar Augmentation Problem. In: Proceedings of the 9th Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 260 - 269. 9th Annual ACM-SIAM Symposium on Discrete Algorithms, San Francisco, CA, USA, January 25, 1998 - January 27, 1998. ACM Press / SIAM, New York, USA (1998)

Finlayson, G. D.; Schiele, B.; Crowley, J. L.: Using Colour for Image Indexing. In: The Challenge of Image Retrieval. Workshop on Challenge of Image Retrieval, Newcastle, UK, February 05, 1998. (1998)

Finlayson, G. D.; Schiele, B.; Crowley, J. L.: Comprehensive Colour Image Normalization. In: Computer Vision -- ECCV'98, pp. 475 - 490 (Eds. Burkhardt, H.; Neumann, B.). 5th European Conference on Computer Vision, Freiburg, Germany, June 02, 1998 - June 06, 1998. Springer, Berlin (1998)

Firozabadhi, B. S.; van der Torre, L. W. N.: Towards a formal analysis of control systems. In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pp. 317 - 318 (Ed. Prade, H.). Untitled Event, Brighton, England, 1998. Wiley, Chichester, USA (1998)

Fleischer, R.: On the Bahncard problem. In: Proceedings of the 4th International Conference on Computing and Combinatorics (COCOON-98), pp. 65 - 74 (Eds. Hsu, W.-L.; Kao, M.-Y.). Untitled Event, Taipei, Taiwan, R.o.C., 1998. Springer, Berlin, Germany (1998)