Billede af Uffe H. Engberg

Uffe H. Engberg

  • Universitetsbyen 81, 1872, 277

    8000 Aarhus C

    Danmark

19862002

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 1995

    Efficient Simplification of Bisimulation Formulas

    Engberg, U. H. & Larsen, K. S., 1995, TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop. Brinksma, E., Cleaveland, R., Larsen, K. G., Margaria, T. & Steffen, B. (red.). Springer LNCS, s. 111-132 (Lecture Notes in Computer Science; Nr. 1019).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    1 Citationer (Scopus)
  • 1993

    Completeness Results for Linear Logic on Petri Nets

    Engberg, U. H. & Winskel, G., 1993, MFCS '93: Mathematical Foundations of Computer Science 1993, 18th               International Symposium. Borzyszkowski, A. M. & Sokolowski, S. (red.). Springer LNCS, s. 442-452 (Lecture Notes in Computer Science, Bind 711).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • Linear Logic on Petri Nets

    Engberg, U. H. & Winskel, G., 1993, REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives. de Bakker, J. W., de Roever, W. P. & Rozenberg, G. (red.). Springer LNCS, s. 176-229 (Lecture Notes in Computer Science, Bind 803).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 1991

    Failures Semantics for a Simple Process Language with Refinement

    Aceto, L. & Engberg, U. H., 1991, FSTTCS '91: Foundations of Software Technology and Theoretical Computer Science, 11th Conference. Biswas, S. & Nori, K. V. (red.). Springer LNCS, s. 89-108 (Lecture Notes in Computer Science, Bind 560).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    6 Citationer (Scopus)
  • 1990

    Petri Nets as Models of Linear Logic

    Engberg, U. H. & Winskel, G., 1990, CAAP '90: 15th Colloquium on Trees in Algebra and Programming. Arnold, A. (red.). Springer, s. 147-161 (Lecture Notes in Computer Science, Bind 431).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

  • 1988

    Fully abstract models for a process language with refinement

    Nielsen, M., Engberg, U. H. & Larsen, K. S., 1988, REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop. de Bakker, J. W., de Roever, W. P. & Rozenberg, G. (red.). Springer, s. 523-548 (Lecture Notes in Computer Science, Bind 354).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

    39 Citationer (Scopus)