Publication Lieb-Schultz-Mattis in Higher Dimensions Matthew Hastings Physical Review B | January 2004
Publication TulaFale: A security tool for web services Karthik Bhargavan, Cédric Fournet, Andy Gordon, Riccardo Pucella Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 | January 2004 Lecture Notes in Computer Science ISBN: 978-3-540-22942-1 (Print) 978-3-540-30101-1 (Online)
Publication Simple Relational Correctness Proofs for Static Analyses and Program Transformations Nick Benton Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’04) | January 2004
Publication A Lightweight Approach for Experimenting with Tangible Interaction Metaphors Christian Sandor, Gudrun Klinker Proceedings of the International Workshop on Multi-user and Ubiquitous User Interfaces (MU3I 2004) (Part of the International Conference on Intelligent User Interfaces 2004) | January 2004
Publication Towards a Tool Environment for Model-Based Testing with AsmL Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes FATES 2003 | January 2004 Project Project Project
Publication Evaluating an Opinion Annotation Scheme Using a New Multi-Perspective Question and Answer Corpus Veselin Stoyanov, Claire Cardie, Diane Litman, Janyce Wiebe Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2004
Publication A Sentimental Education: Sentiment Analysis using Subjectivity Summarization based on Minimum Cuts Bo Pang, Lillian Lee Proceedings of ACL-04, 42nd Meeting of the Association for Computational Linguistics | January 2004 Proceedings of ACL-04, 42nd Meeting of the Association for Computational Linguistics
Publication Generating more-positive or more-negative text Diana Zaiu Inkpen, Olga Feiguina, Graeme Hirst Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2004 Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications
Publication The Fugue Protocol Checker: Is Your Software Baroque? Robert DeLIne, Manuel Fahndrich MSR-TR-2004-07 | January 2004
Publication Formalization of Generics for the .NET Common Language Runtime Dachuan Yu, Andrew Kennedy, Don Syme POPL ’04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004 POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ISBN: 1-58113-729-X
