Research output per year
Research output per year
Personal profile
Keywords
- Programming languages and formal models
- Concurrency
- Semantics of programming language
Fingerprint
Dive into the research topics where Uffe H. Engberg is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002.
Nielsen, M. (Editor) & Engberg, U. H. (Editor), 2002, Berlin: Springer. 434 p. (Lecture Notes in Computer Science, Vol. 2303).Research output: Book/anthology/dissertation/report › Anthology › Research
-
A Calculus of Communicating Systems with Label Passing – Ten Years After
Engberg, U. H. & Nielsen, M., 2000, Proof, Language, and Interaction: Essays in Honour of Robin Milner. Plotkin, G. D., Stirling, C. & Tofte, M. (eds.). MIT Press, p. 599-622Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research
-
Completeness Results for Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1997, In: Annals of Pure and Applied Logic. 86, 2, p. 101-135 35 p.Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
-
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
-
Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1994, RS-94-3 in Report Series ed. University of Aarhus: BRICS. 54 p.Research output: Book/anthology/dissertation/report › Report › Research
-
Technical University of Munich
Engberg, U. H. (Visiting researcher)
1 Jan 1988 → 1 Oct 1988Activity: Visiting an external institution types › Visiting an external academic institution
-
European Association for Theoretical Computer Science (EATCS) (External organisation)
Uffe Henrik Engberg (Member)
1 Jan 1988 → 13 Jul 2008Activity: Membership types › Member of board or management