test

Sort by: Date | Author | Title

Engberg, U. H. & Nielsen, M. (1986). A Calculus of Communicating Systems with Label Passing. Aarhus Universitetsforlag. 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. H. & Winskel, G. (1990). Petri Nets as Models of Linear Logic. Daimi Report No. PB-301

Engberg, U. H. (1990). True Concurrency can be Traced. Daimi Report 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 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.

Bianchi, M., Guan, D., Strózecka, A., Haldan Voetmann, C., Bao, S., Pascual, J. I., Eiguren, A. & Hofmann, P. (2012). Surface states on a topologically nontrivial semimetal: The case of Sb(110). Physical Review B, 85, 155431. https://doi.org/10.1103/PhysRevB.85.155431

Strózecka, A., Eiguren, A., Bianchi, M., Guan, D., Haldan Voetmann, C., Bao, S., Hofmann, P. & Pascual, J. (2012). Unconventional spin texture of a topologically nontrivial semimetal Sb(110). New Journal of Physics, 14, 103026. https://doi.org/10.1088/1367-2630/14/10/103026

Stadel, C. & Hansen, T. R. (2022, Mar 10). minansøgning.au.dk.

Revised 17.04.2023