Publikationer pr. år
Publikationer pr. år
Personlig profil
Emneord
- Programmeringssprog og formelle modeller
- Semantik af programmeringssprog
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Uffe H. Engberg er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
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. (Redaktør) & Engberg, U. H. (Redaktør), 2002, Berlin: Springer. 434 s. (Lecture Notes in Computer Science, Bind 2303).Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning
-
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. (red.). MIT Press, s. 599-622Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning
-
Completeness Results for Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1997, I: Annals of Pure and Applied Logic. 86, 2, s. 101-135 35 s.Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › 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. (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
-
Linear Logic on Petri Nets
Engberg, U. H. & Winskel, G., 1994, RS-94-3 in Report Series udg. University of Aarhus: BRICS. 54 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
-
Technische Universität München
Engberg, U. H. (Gæsteforsker)
1 jan. 1988 → 1 okt. 1988Aktivitet: Besøg på en ekstern institution - typer › Besøg ved en ekstern, akademisk institution
-
European Association for Theoretical Computer Science (EATCS) (Ekstern organisation)
Uffe Henrik Engberg (Medlem)
1 jan. 1988 → 13 jul. 2008Aktivitet: Medlemsskab - typer › Medlem af bestyrelse og direktion