Publications

Sort by: Date | Author | Title

Ehn, P. & Kyng, M. (1984). A tool perspective on design of interactive computer support for skilled workers. In M. Sääksjärvi (Ed.), Proceedings from the seventh Scandinavian Research Seminar on Systemeering (pp. 211-242). Helsinki School of Economics.

Bødker, S. & Kammersgaard, J. (1984). Interaktionsbegreber.

Bødker, S. & Hammerskov, J. (1984). ISAC - A Case Study of Systems Description Tools. In M. Sääksjärvi (Ed.), Proceedings from the Seventh Scandinavian Research Seminar on Systemeering (pp. 201-210)

Bødker, S. & Hammerskov, J. (1984). ISAC - A Case Study of Systems Despription Tools. Department of Computer Science, Aarhus University.

Kyng, M. (1983). DESIGN OF ALTERNATIVES/ALTERNATIVE DESIGN. In U. Briefs, C. Ciborra & L. Schneider (Eds.), Systems Design For, With, and by the Users: Proceedings of the IFIP WG 9.1 Working Conference on Systems Design For, With, and by the Users, Riva Del Sole, Italy, 20-24 September 1982 (pp. 391-394). North-Holland Publ Co.

Hansen, N. D. & Madsen, K. H. (1983). Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets. In A. Pagnoni & G. Rosenberg (Eds.), Applications and Theory of Petri Nets (pp. 132-148). Springer.

Bærentsen, K. B., Kvorning, J. & Skov, L. (1983). Investigation of A Routine Work Situation in a Conventional Power Plant, Under Normal Operational Conditions. In L. P. Goodstein & J. Rasmussen (Eds.), Proceedings of the Third European Annual Conference on Human Decision Making and Manual Control (pp. 155-166). Risø National Labaratory.

Kyng, M. (1983). Specification and Verification of Networks in a Petri Net Based Language. In A. Pagnoni & G. Rozenberg (Eds.), Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets (pp. 181-198). Springer.

Ehn, P., Kyng, M. & Sundblad, Y. (1983). The UTOPIA Project. In Systems design for with and by the Users: Proceedings of the IFIP WG 9.1 Working Conference North-Holland.

Jensen, K. & Kyng, M. (1982). Petri Nets and Semantics of System Descriptions. In C. Girault & W. Reisig (Eds.), Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets (pp. 64 - 71). Springer.

Kyng, M. & Mathiassen, L. (1982). Systems development and trade union activities. Department of Computer Science, Aarhus University.

Kyng, M. & Mathiassen, L. (1982). Systesm development and trade union activities. In N. Björn-Andersen (Ed.), Information Society, for richer, for poorer - Selected conference papers (pp. 247-260). Elsevier.

Jensen, K. & Kyng, M. (1980). Epsilon. A System Description Language. Department of Computer Science, Aarhus University.

Kyng, M. & Mathiassen, L. (1979). A "new systems development": Trade union and research activities. In A. Sandberg (Ed.), Computers Dividing Man and Work: Recent Scandinavian Research on Planning and Computers from a Trade Union Perspective (pp. 54-74). Arbetslivcentrum.

Jensen, K., Kyng, M. & Madsen, O. L. (1979). A Petri Net Definition of a System Description Language. In G. Kahn (Ed.), Semantics of Concurrent Computation (pp. 348 - 368). Springer. https://doi.org/10.1007/BFb0022479

Jensen, K., Kyng, M. & Madsen, O. L. (1979). Delta Semantics Defined By Petri Nets. Aarhus Universitetsforlag.

Andersen, N. E. & Kyng, M. (1978). Construction of system descriptions in SIMULA and DELTA.

Kyng, M. (1976). Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula.

Kyng, M. & Pedersen, B. M. (1974). Description of a model of a single helix pomatia brain neuron and an associated neurophysiological experiment.

Kyng, M. (Ed.) (1974). EDB-rapporten: studier i datateknikkens udvikling og indflydelse på det danske samfund. Danske Studerendes Fællesråd, Studenterrådets Tryk.

Displaying results 2201 to 2220 out of 2220

Revised 17.04.2023