Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Østerby, O. (1985). Step Change Strategies for Multistep Methods. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 196

Jensen, K. (1985). The Design of a Program Package for an Introductory Petri Net Course. In G. Rozenberg, H. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984 (Vol. 188, pp. 259-266). Springer. https://doi.org/10.1007/3-540-15204-0_15

Huber, P., Jensen, A. M., Jepsen, L. O. & Jensen, K. (1985). Towards Reachability Trees for High-level Petri Nets. In G. Rozenberg, H. J. Genrich & G. Roucairol (Eds.), Advances in Petri Nets 1984, Proceedings (pp. 215-233). Springer. https://doi.org/10.1007/3-540-15204-0_13

Bødker, S. (1985). UTOPIA and the Design of User Interfaces. In Precedings of the Working Conference on Development and Use of Computer-based Systems and Tools (pp. 109-124). Department of Computer Science, Aarhus University.

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.

Nielsen, M. & Thiagarajan, P. S. (1984). Degrees of non-determinism and concurrency: A Petri net view. In M. Joseph & R. Shyamasundar (Eds.), Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984 Proceedings (pp. 89-117). Springer. https://doi.org/10.1007/3-540-13883-8_66

Jerrum, M. & Skyum, S. (1984). Families of Fixed Degree Graphs for Processor Interconnection. I E E E Transactions on Computers, C-33(2), 190-194. https://doi.org/10.1109/TC.1984.1676410

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.

Gear, C. W. & Østerby, O. (1984). Solving Ordinary Differential Equations with Discontinuities. A C M Transactions on Mathematical Software, 10(1), 23-44. https://doi.org/10.1145/356068.356071

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1983). Abstraction Mechanisms in the BETA Programming Language. In Tenth ACM Symposium on Principles of Programming Languages (pp. 285-298). Association for Computing Machinery. https://doi.org/10.1145/567067.567094

Skyum, S. (1983). A measure in which Boolean negation is exponentially powerful. Information Processing Letters, 17(3), 125-128. https://doi.org/10.1016/0020-0190(83)90051-0

Østerby, O. & Zlatev, Z. (1983). Direct Methods for Sparces Matrices. Springer. Lecture Notes in Computer Science No. 157

Watt, D. A. & Madsen, O. L. (1983). Extended Attribute Grammars. The Computer Journal. http://comjnl.oxfordjournals.org/content/26/2/142.full.pdf

Valiant, L. G., Skyum, S., Berkowitz, S. & Rackoff, C. (1983). Fast Parallel Computation of Polynomials Using Few Processors. S I A M Journal on Computing, 12(4), 641-644. https://doi.org/10.1137/0212043

Madsen, O. L., Kristensen, B. B. & Nygaard, K. (1983). From SIMULA 67 to BETA. Paper presented at SIMULA 67 User's Conference, Paris, France.

Jensen, K. (1983). High-level Petri Nets. 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, Varenna, Italy, September 27-30, 1982 (Vol. 66, pp. 166-180). Springer.

Madsen, O. L. (1983). Programmeringssprog - Syntaks, Semantik og Implementation.

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.

Nielsen, M. & Schmidt, E. M. (Eds.) (1982). Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July 12-16, 1982. Springer. Lecture Notes in Computer Science Vol. 140 https://doi.org/10.1007/BFb0012751

Mehlhorn, K. & Schmidt, E. M. (1982). Las Vegas is better than determinism in VLSI and distributed computing. In STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing (pp. 330-337). Association for Computing Machinery. https://doi.org/10.1145/800070.802208

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.

Kristensen, B. B., Madsen, O. L., Møller-Pedersen, B. & Nygaard, K. (1982). Syntax Directed Program Modularization. In P. Degano & E. Sandewall (Eds.), Integrated interactive computing systems: European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982 North-Holland.

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.

Engelfriet, J. & Skyum, S. (1982). The copying power of one-state tree transducers. Journal of Computer and System Sciences, 25(3), 418-435. https://doi.org/10.1016/0022-0000(82)90019-8

Skyum, S. & Valiant, L. (1981). A complexity theory based on Boolean algebra. In 22nd Annual Symposium on Foundations of Computer Science, 1981. SFCS '81. (pp. 244-253). IEEE Computer Society Press. https://doi.org/10.1109/SFCS.1981.3

Jensen, K. (1981). Coloured Petri Nets and the Invariant Method. Theoretical Computer Science, 14(3), 317-336. https://doi.org/10.1016/0304-3975(81)90049-9

Kristensen, B. B. & Madsen, O. L. (1981). Diagnostics on LALR(k) conflicts based on a method for LR(k) testing. BIT Numerical Mathematics, 21(3), 270-293. https://doi.org/10.1007/BF01941463

Jacobsen, H., Kyng, M. & Mathiassen, L. (1981). EDB til styring, planlægning og kontrol. AOF' Forlag.

Riis, H. & Skyum, S. (1981). k-visit attribute grammars. Theory of Computing Systems, 15(1), 17-28. https://doi.org/10.1007/BF01786970

Valiant, L. & Skyum, S. (1981). Fast parallel computation of polynomials using few processors. In J. Gruska & M. Chytil (Eds.), Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium Štrbské Pleso, Czechoslovakia August 31 – September 4, 1981 (pp. 132-139). Springer. https://doi.org/10.1007/3-540-10856-4_79

Jensen, K. (1981). How to Find Invariants for Coloured Petri Nets. In J. Gruska & M. Chytil (Eds.), Mathematical Foundations of Computer Science 1981 (Vol. 118, pp. 327-338). Springer. https://doi.org/10.1007/3-540-10856-4_100

Jacobsen, H., Kensing, F., Kyng, M. & Mathiassen, L. (1981). Klubarbejde og EDB: Rapport om edb-udviklingen, dens konsekvenser og fagbevægelsens handlingsmuligheder - fra et projekt under Fagbevægelsens Forskningsråd. Fremad.

Madsen, O. L. & Kristensen, B. B. (1981). Methods for computing LALR(k) lookahead. In ACM Transaction on Programming Languages (1 ed., Vol. 3, pp. 60-82). Association for Computing Machinery. https://doi.org/10.1145/357121.357126

Nielsen, M., Plotkin, G. & Winskel, G. (1981). Petri nets, event structures and domains, part I. Theoretical Computer Science, 13(1), 85-108. https://doi.org/10.1016/0304-3975(81)90112-2

Zlatev, Z. & Østerby, O. (1980). Absolute stability properties of the explicit linear 3-step formulae. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 124

Jensen, K. (1980). A Method to Compare the Descriptive Power of Different Types of Petri Nets. In P. Dembinski (Ed.), Mathematical Foundations of Computer Science 1980 (Vol. 88, pp. 348-361). Springer. https://doi.org/10.1007/BFb0022516

Kristensen, B. B. & Madsen, O. L. (1980). A practical state splitting algorithm for constructing LR-parsers. Aarhus Universitet.

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

Kornerup, P., Kristensen, B. B. & Madsen, O. L. (1980). Interpretation and code generation based on intermediate languages. Software: Practice & Experience, 10(8), 635-658. https://doi.org/10.1002/spe.4380100804

Kyng, M., Dybdal, E., Lundin, J. & Hansen, T. (1980). Klubarbejde og edb på Aalborg værft.

Kyng, M. (1980). Medbestemmelse på ny teknologi.

Kyng, M. (1980). Medbestemmelse på ny teknologi. In O. Hammarström & M. fl. (Eds.), Förhandling eller partssammansatta grupper - om former för lokala partskontakter (pp. 72-83)

Jensen, K. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

Madsen, O. L. (1980). On defining semantics of extended attribute grammars. In N. Jones (Ed.), Semantics directed compiler generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18 (pp. 259-299). Springer.

Schmidt, E. M. (1980). Space-restricted attribute grammars. In J. de Bakker & J. van Leeuwen (Eds.), Automata, Languages and Programming: Seventh Colloquium Noordwijkerhout, the Netherlands July 14–18, 1980 (pp. 436-448). Springer. https://doi.org/10.1007/3-540-10003-2_90

Engelfriet, J., Schmidt, E. M. & van Leeuwen, J. (1980). Stack Machines and Classes of Nonnested Macro Languages. Journal of the ACM, 27(1), 96-117. https://doi.org/10.1145/322169.322178

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.

Displaying results 5901 to 5950 out of 6000

119