ACM Press

Local database

Publisher

1 - 19 out of 19Page size: 25
RSS feed of this list
Sort by: Publication year
  1. 2004
  2. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2004

  3. 2003
  4. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2003

  5. 2000
  6. Published

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

    In: 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-review › Article in proceedings – Annual report year: 2000

  7. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 2000

  8. 1999
  9. Published

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

    In: 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-review › Article in proceedings – Annual report year: 1999

  10. 1998
  11. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1998

  12. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1998

  13. 1997
  14. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1997

  15. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1997

  16. Published

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

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

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1997

  17. 1996
  18. Published

    Design and Management of Networked Information Systems.. / Havn, Erling; Bansler, Jørgen P.

    In: Proceedings of the 1996 ACM SIGCPR/SIGMIS Conference. New York : ACM Press, 1996. p. 381-385.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1996

  19. Published

    Noise-Tolerant Learning near the Information-Theoretic Bound. / Cesa-Bianchi, N.; Dichterman, E.; Fischer, Paul; Simon, H.- U.

    In: Proc. 28th Annual ACM Symposium on Theory of Computing (STOC'96). ACM Press, 1996. p. 141-150.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1996

  20. 1994
  21. Published

    Higher-Order Concurrent Programs with Finite Communication Topology. / Nielson, Hanne Riis; Nielson, Flemming.

    In: ACM Conference on Principles of Programming Languages. ACM Press, 1994. p. 84-97.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1994

  22. 1992
  23. Published

    Bounded Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Proc. POPL'92. ACM Press, 1992. p. 71-82.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1992

  24. Published

    Finiteness Conditions for Fixed Point Iteration. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Proc. Lisp and Functional Programming (LFP). ACM Press, 1992. p. 96-108.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1992

  25. Published

    SIGIR '92. Proceedings. / Belkin, N. (Editor); Ingwersen, P. (Editor); Pejtersen, Annelise Mark (Editor).

    New York : ACM Press, 1992. 353 p. (SIGIR Forum Special Issue, 1992).

    Publication: Research - peer-review › Book – Annual report year: 1992

  26. 1991
  27. Published

    A Systematic Kernel Development. / Søgaard-Andersen, Jørgen F.; Rump, Camilla Østerberg; Løvengreen, Hans Henrik.

    In: ACM Software Engineering Notes. Vol. Vol. 16, No. 5. ACM Press, 1991. p. 55-65.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1991

  28. 1990
  29. Published

    Context Information for Lazy Code Generation. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Proc. LISP and Functional Programming. ACM Press, 1990. p. 251-263.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1990

  30. 1989
  31. Published

    Transformations on Higher-order Functions. / Nielson, Hanne Riis; Nielson, Flemming.

    In: Proc. FPCA'89. ACM Press, 1989. p. 129-143.

    Publication: Research - peer-review › Article in proceedings – Annual report year: 1989

Anker Engelunds Vej 1Building 101A2800 Kgs. LyngbyTel +45 45 25 25 25VAT 30 06 09 46EAN