ACM Press

Local database

Publisher

  1. Published

    Generating Web-based Systems from Specifications. / Jensen, Tue Becker; Tolstrup, Terkel K.; Hansen, Michael Reichhardt.

    The 19th ACM Symposium on Applied Computing (SAC 2004). ACM Press, 2004.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2004

  2. Published

    Using Interval Logics for Temporal Analysis of Security Protocols. / Hansen, Michael Reichhardt; Sharp, Robin; Backes et a., Michael (Editor).

    First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, 2003. p. 24-31.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2003

  3. Published

    Measuring usability: Are effectiveness, efficiency, and satisfaction really correlated?. / Frøkjær, E.; Hertzum, M.; Hornbæk, K.

    Conference proceedings. ed. / T. Turner; G. Szwillus; M. Czerwinski; F. Paternò; S. Pemberton. New York, NY : ACM Press, 2000. p. 345-352.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2000

  4. Published

    Shape analysis for Mobile Ambients. / Nielson, Hanne Riis; Nielson, Flemming.

    POPL'00 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. ACM Press, 2000. p. 142-154.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2000

  5. Published

    Supporting shop floor intelligence : A CSCW approach to production planning and control in flexible manufacturing. / Carstensen, Peter; Schmidt, Kjeld; Wiil, Uffe Kock.

    GROUP'99: International Conference on Supporting Group Work, Phoenix, Arizona, 14-17 November 1999. New York : ACM Press, 1999. p. 111-120.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1999

  6. Published

    Octree-based Volume Sculpting. / Bærentzen, Jakob Andreas.

    Proceedings Visualization '98. New York : ACM Press, 1998.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1998

  7. Published

    Interactive Information Visualization in Neuroimaging. / Nielsen, Finn Årup; Hansen, Lars Kai.

    Workshop on New Paradigms in Information Visualization and Manipulation (NPIV'97). New York : ACM Press, 1998. p. 62-65.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1998

  8. Published

    Systematic realisation of control flow analyses for CML. / Gasser, K.L.S.; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the second ACM SIGPLAN international conference on Functional programming. ACM Press, 1997. p. 38-51.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1997

  9. Published

    A Prescriptive Framework for Designing Multi-Level Lambda-Calculi. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. PEPM'97. ACM Press, 1997. p. 193-202.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1997

  10. Published

    Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. POPL'97. ACM Press, 1997. p. 332-345.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1997

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word