Uffe H. Engberg

Uffe H. Engberg

  • Universitetsbyen 81, 1872, 277

    8000 Aarhus C

    Denmark

19862002

Research activity per year

Filter
Article in proceedings

Search results

  • 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. (eds.). Springer LNCS, p. 111-132 (Lecture Notes in Computer Science; No. 1019).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    1 Citation (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. (eds.). Springer LNCS, p. 442-452 (Lecture Notes in Computer Science, Vol. 711).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › 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. (eds.). Springer LNCS, p. 176-229 (Lecture Notes in Computer Science, Vol. 803).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › 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. (eds.). Springer LNCS, p. 89-108 (Lecture Notes in Computer Science, Vol. 560).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    6 Citations (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. (ed.). Springer, p. 147-161 (Lecture Notes in Computer Science, Vol. 431).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › 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. (eds.). Springer, p. 523-548 (Lecture Notes in Computer Science, Vol. 354).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    39 Citations (Scopus)