Sibeyn, J. F.: Power and Limitations of Optical Reconfigurable Arrays. In: Proceedings of the 6th International Colloquium on Structural Information and Communication Complexity (SIROCCO 6), pp. 249 - 263 (Eds. Gavoille, C.; Bermond, J.-C.; Raspaud, A.). Untitled Event, Lacanau-Océan, France, July 01, 1999. Carleton Scientific, Waterloo, Canada (1999)

Sibeyn, J. F.: Ultimate Parallel List Ranking? In: Proceedings of the 6th International Conference on High Performance Computing (HiPC-99), pp. 197 - 201 (Eds. Banerjee, P.; Prasanna, V. K.; Sinha, B. F.). Untitled Event, Calcutta, December 17, 1999 - December 20, 1999. Springer, Berlin (1999)

Sofronie-Stokkermans, V.: On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results. In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), pp. 157 - 171 (Ed. Ganzinger, H.). Untitled Event, Trento, Italy, 1999. Springer, Berlin, Germany (1999)

Sofronie-Stokkermans, V.: Priestley representation for distributive lattices with operators and applications to automated theorem proving. In: Dualities, Interpretability and Ordered Structures, pp. 43 - 54 (Eds. Vaz de Carvalho, J.; Ferreirim, I.). Untitled Event, Lisbon, Portugal, July 08, 2003 - July 12, 2003. Centro de 'Algebra da Universidade de Lisboa, Lisbon (1999)

Sofronie-Stokkermans, V.: Representation Theorems and Automated Theorem Proving in Non-Classical Logics. In: Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic (ISMVL-99), pp. 242 - 247. Untitled Event, Freiburg im Breisgau, Germany, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (1999)

Sofronie-Stokkermans, V.: Resolution-based Theorem Proving for Non-classical Logics based on Distributive Lattices with Operators. In: Volume of Abstracts / 11th International Congress of Logic, Methodology and Philosophy of Science, p. 481 - 481 (Eds. Cachro, J.; Kijania-Placek, K.). 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, Poland, August 20, 1999 - August 26, 1999. The Faculty of Philosophy, Jagellonian University, Cracow, Poland (1999)

Sofronie-Stokkermans, V.; Stokkermans, K.: Modeling Interaction by Sheaves and Geometric Logic. In: Proceedings of the 12th International Symposium Fundamentals of Computation Theory (FCT-99), pp. 512 - 523 (Eds. Ciobanu, G.; Paun, G.). Untitled Event, Iasi, Romania, 1999. Springer, Berlin, Germany (1999)

Solis-Oba, R.; Jansen, K.; Sviridenko, M.: A linear time approximation scheme for the job shop scheduling problem. In: Proceedings of the 3rd International Workshop on Randomization and Approximation Techniques in Computer Science, and 2nd International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (RANDOM-APPROX-99), pp. 177 - 188 (Eds. Hochbaum, D.; Jansen, K.; Rolim, J. D. P.; Sinclair, A.). Untitled Event, Berkeley, U.S.A., 1999. Springer, Berlin (1999)

Solis-Oba, R.; Jansen, K.; Sviridenko, M.: Makespan minimization in job shops: a polynomial time approximation scheme. In: Proceedings of the 31st Annual ACM Symposium on Theory of Computing (STOC-99), pp. 394 - 399. Untitled Event, Atlanta, USA, 1999. ACM, New York, USA (1999)

Stamminger, M.; Daubert, K.; Seidel, H.-P.: Photon Tracing with RenderMan Light Source Shaders. In: Proceedings of the 4th Conference on Vision, Modeling, and Visualization (VMV-99), pp. 277 - 284 (Eds. Girod, B.; Niemann, H.; Seidel, H.-P.). Untitled Event, Erlangen, Germany, November 17, 1999 - November 19, 1999. infix, Sankt Augustin, Germany (1999)

Stamminger, M.; Scheel, A.; Granier, X.; Perez-Cazorla, F.; Drettakis, G.; Sillion, F.: Efficient Glossy Global Illumination with Interactive Viewing. In: Graphics Interface '99 (GI-99), pp. 50 - 57 (Eds. MacKenzie, I. S.; Stewart, J.). Untitled Event, Kingston, Canada, 1999. Morgan Kaufmann, San Francisco, USA (1999)

Stuber, J.: Theory path orderings. In: Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), pp. 148 - 162 (Eds. Narendran, P.; Rusinowitch, M.). Untitled Event, Trento, Italy, 1999. Springer, Berlin, Germany (1999)

Subramanian, C. R.: A Generalization of Janson inequalities and its application to finding shortest paths. In: Proceedings of the 10th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA-99), pp. 795 - 804. Untitled Event, Baltimore, USA, 1999. ACM, New York, USA (1999)

Talbot, J.-M.; Niehren, J.; Müller, M.: Entailment of Atomic Set Constraints is PSPACE-Complete. In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), pp. 285 - 294 (Ed. Longo, G.). Untitled Event, Trento, Italy, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (1999)

Tzakova, M.: Tableau Calculi for Hybrid Logics. In: Proceedings of the International Conference TABLEAUX'99 - Automated Reasoning with Analytic Tableaux and Related Methods, pp. 278 - 292 (Ed. Murray, N. V.). Untitled Event, Saratoga Springs, NY, USA, 1999. Springer, Berlin, Germany (1999)

van der Torre, L. W. N.: Defeasible Goals. In: Proceedings of the 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU-99), pp. 374 - 385 (Eds. Hunter, A.; Parsons, S.). Untitled Event, London, 1999. Springer, Berlin, Germany (1999)

van der Torre, L. W. N.; Tan, Y.-H.: An Update Semantics for Defeasible Obligations. In: Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI-99), pp. 631 - 638 (Eds. Laskey, K. B.; Prade, H.). Untitled Event, Stockholm, Sweden, 1999. Morgan Kaufmann, San Francisco, USA (1999)

van der Torre, L. W. N.; Tan, Y.-H.: Rights, Duties and Commitments Between Agents. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-99), pp. 1239 - 1244. Untitled Event, Stockholm, Sweden, 1999. Morgan Kaufmann, San Francisco, USA (1999)

Vorobyov, S.: Subtyping Functional+Nonempty Record Types. In: Proceedings of the 12th International Workshop on Computer Science Logic (CSL-98), Annual Conference on the EACSL, pp. 285 - 297 (Eds. Gottlob, G.; Grandjean, E.; Seyr, K.). Untitled Event, Brno, Czech Republic, 1999. Springer, Berlin, Germany (1999)

Vorsatz, J.; Kobbelt, L.: Robust Multi-Band Detail Encoding for Triangular Meshes of Arbitrary Connectivity. In: Proceedings of the 4th Conference on Vision, Modeling, and Visualization (VMV-99), pp. 245 - 252 (Eds. Girod, B.; Niemann, H.; Seidel, H.-P.). Untitled Event, Erlangen,Germany, 1999. infix, Sankt Augustin, Germany (1999)