Department of Computer Science

Aarhus University Seal
 Department of Computer Science PURE-Test test

test

Sort by: Date | Author | Title

Engberg, U. H. & Nielsen, M. (1986). A Calculus of Communicating Systems with Label Passing. Aarhus Universitetsforlag. Daimi Report Series (DAIMI PB) No. 208 http://www.daimi.au.dk/PB/208/PB-208.pdf
Nielsen, M., Engberg, U. H. & Larsen, K. S. (1988). Fully abstract models for a process language with refinement. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (pp. 523-548). Springer. https://doi.org/10.1007/BFb0013034
Engberg, U. H. (1990). Partial Orders and Fully Abstract Models for Concurrency.
Engberg, U. H. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. In A. Arnold (Ed.), CAAP '90: 15th Colloquium on Trees in Algebra and Programming (pp. 147-161). Springer.
Engberg, U. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. Daimi Report Series (DAIMI PB), 19(301). https://doi.org/10.7146/dpb.v19i301.6682
Engberg, U. H. (1990). True Concurrency can be Traced. Daimi Report Series (DAIMI PB) No. PB-308
Aceto, L. & Engberg, U. H. (1991). Failures Semantics for a Simple Process Language with Refinement. In S. Biswas & K. V. Nori (Eds.), FSTTCS '91: Foundations of Software Technology and Theoretical Computer Science, 11th Conference (pp. 89-108). Springer LNCS.
Engberg, U. H., Nielsen, M. & Winskel, G. (Eds.) (1991). Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21-24). Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 392
Engberg, U. H. & Winskel, G. (1993). Completeness Results for Linear Logic on Petri Nets. In A. M. Borzyszkowski & S. Sokolowski (Eds.), MFCS '93: Mathematical Foundations of Computer Science 1993, 18th               International Symposium (pp. 442-452). Springer LNCS.
Engberg, U. H. & Winskel, G. (1993). Completeness Results for Linear Logic on Petri Nets. Daimi Report No. PB-435
Engberg, U. H. & Winskel, G. (1993). Linear Logic on Petri Nets. In J. W. de Bakker, W. P. de Roever & G. Rozenberg (Eds.), REX School/Symposium: A Decade of Concurrency, Reflections and Perspectives (pp. 176-229). Springer LNCS.
Engberg, U. H. & Winskel, G. (1994). Linear Logic on Petri Nets. (RS-94-3 in Report Series ed.) BRICS.
Engberg, U. H. & Larsen, K. S. (1995). Efficient Simplification of Bisimulation Formulas. In E. Brinksma, R. Cleaveland, K. G. Larsen, T. Margaria & B. Steffen (Eds.), TACAS '95: Tools and Algorithms for Construction and Analysis of Systems, First International Workshop (pp. 111-132). Springer LNCS.
Engberg, U. H. & Winskel, G. (1997). Completeness Results for Linear Logic on Petri Nets. Annals of Pure and Applied Logic, 86(2), 101-135.
Jühne, J., Jensen, A. T. & Grønbæk, K. (1998). Ariadne: A Java-based guided tour system for the World Wide Web. Computer Networks, 30(1-7), 131-139. https://doi.org/10.1016/S0169-7552(98)00124-X
Engberg, U. H. & Nielsen, M. (2000). A Calculus of Communicating Systems with Label Passing – Ten Years After. In G. D. Plotkin, C. Stirling & M. Tofte (Eds.), Proof, Language, and Interaction: Essays in Honour of Robin Milner (pp. 599-622). MIT Press.
Nielsen, M. & Engberg, U. H. (Eds.) (2002). 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. Springer. Lecture Notes in Computer Science Vol. 2303 https://doi.org/10.1007/3-540-45931-6
Stoltenberg, M., Juhl, S. & Danscher, G. (2007). Bismuth ions are metabolized into AMG traceable bismuth-sulphur quantum dots. A Bi-207 study in rat kidney and liver. European Journal of Histochemistry, 51(1), 53-57.
Styrup, J. & Flarup, E. O. (2008). Architectural styles for heteogeneous multicore processors: an emperical study using the cell broadband engine architecture and architectural prototyping. Aarhus Universitet, Datalogisk Institut.
Eskildsen, A. (2014). Musical improvisation and the system of art. Semikolon (Aarhus C), 14(26), 57-64. Article 6. http://egerninc.dk/semikolon/pdf/semikolon26.pdf
Stadel, C. & Hansen, T. R. (2022, Mar 10). minansøgning.au.dk.
Revised 01.09.2025