Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Book chapter

Search results

  • Book chapter

    Longitudinal research in information systems

    Nielsen, P. A., 12 Aug 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. (eds.). Springer, p. 41-56 (Human–Computer Interaction).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Longitudinal Studies in HCI Research: A Review of CHI Publications from 1982-2019

    Kjærup, M., Skov, M. B., Nielsen, P. A., Kjeldskov, J., Gerken, J. & Reiterer, H., 2021, Advances in Longitudinal HCI Research . Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (eds.). Springer, p. 11-39 28 p. (Human–Computer Interaction Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    376 Downloads (Pure)

  • Making AI Work: Designing and Evaluating AI Systems in Healthcare

    van Berkel, N., 2023, AI in Clinical Medicine: A Practical Guide for Healthcare Professionals. Byrne, M. F., Parsa, N., Greenhill, A., Chahal, D., Ahmad, O. & Bagci, U. (eds.). Wiley-Blackwell, p. 448-458 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Making Sense of Project Management

    Kjærgaard, A., Kautz, K. & Nielsen, P. A., 2008, Software processes and knowledge: beyond conventional software process improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 71-88

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Managerial and Organizational Assumptions in the CMM's

    Rose, J., Aaen, I. & Nielsen, P. A., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 9-28 19 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Managing the ERP Journey

    Jensen, P. K. & Rose, J., 2003, Organizing for Networked Information Technologies: Cases in Process Integration and Transformation . Damsgaard, J., Hørlück, J., Kræmmergaard, P. & Rose, J. (eds.). Aalborg Universitetsforlag, p. 58-74 17 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Communication

  • Mapping social networks in software process improvement: An action research study

    Tjørnehøj, G. & Nielsen, P. A., 2005, Business Agility and Information Technology Diffusion. Baskerville, R. L., Mathiassen, L., PriesHeje, J. & DeGross, J. I. (eds.). Springer, Vol. 180. p. 73-90 18 p. (International Federation for Information Processing).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    3 Citations (Scopus)

  • Mapping SPI Ideas and Practices

    Aaen, I., Arent, J., Mathiassen, L. & Ngwenyama, O., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • MCC’2017: The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Springer, p. 181-209 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11090 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    9 Citations (Scopus)

  • Means of Coordination

    Andersen, P. B., Carstensen, P. & Nielsen, M., 2002, Coordination and Communication Using Signs. Liu, K. (ed.) : Clarke, R. J. (ed.) : Andersen, P. B. (ed.) : Stamper, R. K. (ed.) (ed.). Kluwer: Kluwer Academic Publishers, (Studies in organisational semiotics; No. 2).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Measure

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Medical Information Retrieval Enhanced with User’s Query Expanded with Tag-Neighbors

    Durao, F., Bayyapu, K. R., Xu, G., Dolog, P. & Lage, R. G., 2013, Handbook of Medical and Healthcare Technologies. Furht, B. & Agarwal, A. (eds.). Springer Publishing Company, p. 17-40

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    1 Citation (Scopus)

  • Mini Project Programming Exams

    Nørmark, K., Thomsen, L. L. & Torp, K., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (eds.). Berlin Heidelberg: Springer, p. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; No. 4821).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    6 Citations (Scopus)

  • MIRABEL DW: Managing Complex Energy Data in a Smart Grid

    Siksnys, L., Thomsen, C. & Pedersen, T. B., 17 Jul 2015, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012. Hameurlain, A., Küng, J., Wagner, R., Cuzzocrea, A. & Dayal, U. (eds.). Springer, p. 48-72 (Lecture Notes in Computer Science, Vol. 9260).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Mobile Computing

    Kjeldskov, J., 2013, The Encyclopedia of Human-Computer Interaction. Soegaard, M. & Dam, R. F. (eds.). The Interaction Design Foundation

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    359 Downloads (Pure)

  • Mobile Technologies for Parent/Child Relationships

    Yarosh, S., Davis, H., Modlitba, P., Skov, M. B. & Vetere, F., 2009, Mobile Technology for Children: Designing for Interaction and Learning. Druin, A. (ed.). Morgan Kaufmann, p. 289-310 21 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    6 Citations (Scopus)

  • Modal I/O Automata for Interface and Product Line Theories

    Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (ed.). IEEE Computer Society Press, p. 64-79 16 p. (Lecture Notes in Computer Science; No. 4421).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    203 Citations (Scopus)
    469 Downloads (Pure)

  • Modallogik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • ModelarDB: Integrated Model-Based Management of Time Series from Edge to Cloud

    Jensen, S. K., Thomsen, C. & Pedersen, T. B., 9 Feb 2023, Transactions on Large-Scale Data- and Knowledge-Centered Systems LIII. Hameurlain, A. & Tjoa, A. M. (eds.). Springer, p. 1-33 33 p. (Transactions on Large-Scale Data- and Knowledge-Centered Systems). (Lecture Notes in Computer Science, Vol. 13840).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    21 Downloads (Pure)

  • Model-based Framework for Schedulability Analysis Using Uppaal 4.1

    David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (eds.). 1 ed. CRC Press, p. 93-119 32 p. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Model-based vercation, optimization, synthesis and performance evaluation of real-time systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Thrane, C., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. 235-273 39 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Model Checking Feature Interactions

    Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer, p. 307-325 (Communications in Computer and Information Science, Vol. 586).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Model Checking Real-Time Systems

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, p. 1001-1046 46 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    25 Citations (Scopus)

  • Modeling and Analysis of Component Faults and Reliability

    Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., May 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (eds.). CRC Press, p. 45-60 (Computational Science Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Modeling Moving Machines

    Andersen, P. B. & Nowack, P., 2004, Virtual Applications : Applications with Virtual Inhabited 3d Worlds. Lars Qvortrup & Peter Bøgh Andersen (Eds.) (ed.). London: IEEE Computer Society Press

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Modelling with Relational Calculus of Object and Component Systems - rCOS

    Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (eds.). Berlin/Heidelberg: Springer, p. 116-145 (Lecture Notes in Computer Science; No. 5153).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    11 Citations (Scopus)

  • Models for Embedded Real-Time Systems

    Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (eds.). Wiley, p. 1-38 38 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 1-37 37 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Model-Theoretic Expressivity Analysis

    Jaeger, M., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (eds.). Berlin/Heidelberg: Springer, p. 325-339 (Lecture Notes In Artificial Intelligence; No. 4911).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    12 Citations (Scopus)

  • Modification

    Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Montague-semantik

    Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (ed.). Aalborg: Aalborg Universitet

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Monte Carlo methods for preference learning

    Viappiani, P., 1 Jan 2012, Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers. Hamadi, Y. & Schoenauer, M. (eds.). Springer Publishing Company, p. 503-508 6 p. (Lecture Notes in Computer Science, Vol. 7219).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    3 Citations (Scopus)

  • Multi-currency Influence Diagrams

    Nielsen, S. H., Nielsen, T. D. & Jensen, F. V., 2007, Advances in Probabilistic Graphical Models. Lucas, P., Gamez, J. & Salmeron, A. (eds.). Springer, Vol. 213. p. 275-294 (Studies in Fuzziness and Soft Computing, Vol. 213).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    File
    3 Citations (Scopus)
    499 Downloads (Pure)

  • Multidimensional Databases

    Pedersen, T. B. & Jensen, C. S., 2005, Industrial Information Technology Handbook. Zurawski, R. (ed.). CRC Press

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Multidimensional Modeling

    Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Multimedia Systems Development Methodologies: Experiences and Requirement

    Eriksen, L. B., Skov, M. & Stage, J., 2000, Narrative and Interactive Learning Environments. Leeds University, p. 75-82

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Multiple Image Segmentation

    Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (eds.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science, Vol. 9443).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • MUNIN: an expert EMG assistant

    Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (ed.). Pergamon Press, p. 255-277

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • NEER: An Unsupervised Method for Named Entity Evolution Recognition

    Tahmasebi, N., Gossen, G., Kanhabua, N., Holzmann, H. & Risse, T., 2012, Proceedings the 24th International Conference on Computational Linguistics. ACL, p. 2553-2568 16 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    30 Citations (Scopus)

  • New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    511 Downloads (Pure)

  • News from Product to Service

    Eriksen, L. B., Ihlström, C. & Palmer, J., 2000, Planet Internet. Braa, K. : Sørensen, C. : Dahlbom, B. (eds.) (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Now

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowitz, T. & Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Now in TSQL2

    Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowits, T. & Jensen, C. S., 1994, The TSQL2 Language Specification. p. 12

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • On the Relationship between LTL Normal Forms and Büchi Automata

    Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    5 Citations (Scopus)

  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    12 Citations (Scopus)

  • Optimal Bounds for Multiweighted and Parametrised Energy Games

    Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Vol. 8051. p. 244-255 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    27 Citations (Scopus)

  • Optimal Operation of Residential Heating Systems in Electricity Markets Leveraging Joint Power‐Heat Flexibility

    Golmohamadi, H., 11 Nov 2022, Coordinated Operation and Planning of Modern Heat and Electricity Incorporated Networks. Daneshvar, M., Mohammadi-Ivatloo, B. & Zare, K. (eds.). Wiley-IEEE press, p. 289-318 30 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Organizational Intranets: Cultivating Information Technology for the People by the People

    Scheepers, R. & Rose, J., 2001, Managing Internet and Intranet Technologies in Organizations : Challenges and Opportunities. Dasgupta, S. (ed.). Hershey: Idea Group Publishing

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Personalized route recommendation using big trajectory data

    Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 543-554 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    153 Citations (Scopus)

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 283-305 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13560 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review