Department of Computer Science

Research output

Research output per year 1981 2003 2006 2008 2009 2010 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 2557 Article in proceeding
• 1234 Journal article
• 307 Book chapter
• 304 Conference article in Journal
• 1066 More
  • 277 Book
  • 141 PhD thesis
  • 128 Report
  • 65 Encyclopedia chapter
  • 63 Anthology
  • 59 Editorial
  • 58 Conference abstract in proceeding
  • 50 Paper without publisher/journal
  • 42 Preprint
  • 40 Working paper
  • 27 Preface/Introduction/postscript
  • 27 Poster
  • 17 Other contribution
  • 15 Review article
  • 13 Conference abstract in journal
  • 12 Conference abstract for conference
  • 7 Comment/debate
  • 6 Report chapter
  • 5 Compendium/lecture notes
  • 3 Doctoral thesis
  • 3 Net publication - Internet publication
  • 2 Sound/Visual production (digital)
  • 2 Patent
  • 1 Comment
  • 1 Contribution to newspaper - Feature article
  • 1 Contribution to newspaper - Newspaper article
  • 1 Letter

Research output per year

Research output per year

Search results

• 1994

  Proceedings of the 6th Nordic Workshop on Programming Theory

  Engberg, U. H. (. )., Larsen, K. G. & Mosses, D. (. )., 1994, (B R I C S Notes Series; No. NS-94-6).

  Research output: Book/Report › Book › Research

• Quality Software: Concepts and Tools

  Stage, J. (. )., Nørmark, K. (. ). & Larsen, K. G., 1994, Aalborg : The Software Engineering Programme, Institute of Electronic Systems: Aalborg Universitetsforlag.

  Research output: Book/Report › Book › Research

• The TSQL2 Data Model

  Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2051).

  Research output: Book/Report › Book › Research

• Vacuuming in TSQL2

  Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2049).

  Research output: Book/Report › Book › Research

• Valid-Time Selection and Projection in TSQL2

  Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; No. R94-2052).

  Research output: Book/Report › Book › Research
• 1992

  Computer Aided Verification: 3rd International Workshop, CAV'91

  Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

  Research output: Book/Report › Book › Communication

• Struggling with Quality - a Philosophy for Computer Professionals

  Dahlbom, B. & Mathiassen, L., 1992, Göteborg: Chalmers tekniska högskola.

  Research output: Book/Report › Book › Research

• Testing Probabilistic and Nondeterministic Processes

  Yi, W. & Larsen, K. G., 1992, North-Holland.

  Research output: Book/Report › Book › Research
• 1991

  Developing the Prototype Approach in Rapid Systems Modelling

  Baskerville, R. L. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-35).

  Research output: Book/Report › Book › Research

• Kvalitetsstyring i Systemudvikling

  Bang, S., Mathiassen, L. & al., E., 1991, København: Nyt Teknisk Forlag.

  Research output: Book/Report › Book › Research

• Rapid Systems Modelling: The Soul of a New Methodology

  Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 91-16).

  Research output: Book/Report › Book › Research
• 1990

  Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

  Translated title of the contribution: Design and Implementation based on a Generic Structure for Computer SystemsStage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-20).

  Research output: Book/Report › Book › Research

• Formelle teknikker til specifikation og verifikation af Modula-2 programmer

  Translated title of the contribution: Formal Techniques for Specification and Verification of Modula-2 ProgramsStage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-40).

  Research output: Book/Report › Book › Research

• Learning and Using Methodologies in Information Systems Analysis and Design

  Nielsen, P. A., 1990, : Dept. of Systems and Information Management: Lancaster University.

  Research output: Book/Report › Book › Research

  Open Access

  File
  482 Downloads (Pure)

• Simulation of Object-Oriented Concept and Mechanisms in Scheme

  Nørmark, K., 1990, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1990 : R 90-01).

  Research output: Book/Report › Book › Communication
• 1989

  Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

  Translated title of the contribution: Expierences at the Development of Educational Programs about Land Informations SystemsHöhle, J., Stubkjær, E. & Dresling, A., 1989, 135 p.

  Research output: Book/Report › Book › Communication

• General Programs and Open Points

  Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-3).

  Research output: Book/Report › Book › Communication

• Hooks and Supporting Tools in a LISP Environment

  Nørmark, K., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-4).

  Research output: Book/Report › Book › Communication

• Validation of Concurrent Processes with Emphasis on Testing

  Skou, A., 1989, Aalborg: Institut for Elektroniske Systemer, Aalborg Universitet. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. 1989 : R 89-46).

  Research output: Book/Report › Book › Communication
• 1988

  Computer-assisted Learning for Land Information Systems

  Stubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

  Research output: Book/Report › Book › Communication

• Muir - A Language Development Environment

  Nørmark, K., 1988, Association for Computing Machinery (ACM).

  Research output: Book/Report › Book › Communication
• 1984

  Besparelser eller beskæftigelse - en undersøgelse af danske kommuners anvendelse af EDB og ETB

  Brændgaard, A., Gregersen, B., Lundvall, B.-Å., Olesen, N. M. & Aaen, I., 1984, Aalborg: Aalborg Universitetsforlag. (Serie om Industriel Udvikling; No. 29).

  Research output: Book/Report › Book › Research

• Strukturproblemer, teknologipolitik, sociale innovationer: - et debatoplæg fra MIKE-projektet om mikroelektronik, betalingsbalance og beskæftigelse

  Brændgaard, A., Gregersen, B., Lundvall, B.-Å., Olesen, N. M. & Aaen, I., 1984, Aalborg Universitetsforlag. (Serie om Industriel Udvikling; No. 30).

  Research output: Book/Report › Book › Communication
• 1982

  Mikroelektronikken og beskæftigelse - besæftigelsesmæssie virkninger i landbrug, byggeri, industri og service

  Brændgard, A., Gregersen, B., Lundvall, B.-Å., Olesen, N. M., Thøgersen, J. & Aaen, I., 1982, Aalborg: Aalborg Universitetsforlag. (Serie om Industriel Udvikling; No. 22).

  Research output: Book/Report › Book › Research

• Mikroelektronikken og beskæftigelse - beskæftigelsesmæssige virkninger i landbrug, byggeri, industri og service. Bilagsmateriale

  Brændgaard, A., Gregersen, B., Lundvall, B.-Å., Olesen, N. M., Thøgersen, J. & Aaen, I., 1982, Aalborg: Aalborg Universitetsforlag. (Serie om Industriel Udvikling; No. 23).

  Research output: Book/Report › Book › Research

• Mikroelektronik og Samfundsøkonomi

  Brændgaard, A., Gregersen, B., Lundvall, B.-Å., Olesen, N. M. & Aaen, I., 1982, Aalborg: Aalborg Universitetsforlag. (Serie om Industriel Udvikling; No. 20).

  Research output: Book/Report › Book › Communication
• 1981

  Mikroelektronikken, beskæftigelsen og betalingsbalance

  Brændgaard, A., Gregersen, B., Lundvall, B.-Å., Olesen, N. M. & Aaen, I., 1981, Aalborg Universitetsforlag. (Serie om Industriel Udvikling; No. 15).

  Research output: Book/Report › Book › Research