Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • Longitudinal research in information systems

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Springer, s. 11-39 28 s. (Human–Computer Interaction Series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    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. (red.). Wiley-Blackwell, s. 448-458 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Aalborg: Software Innovation Publisher, s. 71-88

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Aalborg: Software Innovation Publisher, s. 9-28 19 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Aalborg Universitetsforlag, s. 58-74 17 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling

  • 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. (red.). Springer, Bind 180. s. 73-90 18 s. (International Federation for Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    3 Citationer (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.) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    9 Citationer (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.) (red.). Kluwer: Kluwer Academic Publishers, (Studies in organisational semiotics; Nr. 2).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Measure

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems,. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Springer Publishing Company, s. 17-40

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    1 Citationer (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. (red.). Berlin Heidelberg: Springer, s. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    6 Citationer (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. (red.). Springer, s. 48-72 (Lecture Notes in Computer Science, Bind 9260).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Mobile Computing

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    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. (red.). Morgan Kaufmann, s. 289-310 21 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    6 Citationer (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. (red.). IEEE Computer Society Press, s. 64-79 16 s. (Lecture Notes in Computer Science; Nr. 4421).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    203 Citationer (Scopus)
    469 Downloads (Pure)

  • Modallogik

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Springer, s. 1-33 33 s. (Transactions on Large-Scale Data- and Knowledge-Centered Systems). (Lecture Notes in Computer Science, Bind 13840).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    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. (red.). 1 udg. CRC Press, s. 93-119 32 s. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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, Bind 34. s. 235-273 39 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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, s. 1001-1046 46 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    25 Citationer (Scopus)

  • Modeling and Analysis of Component Faults and Reliability

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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.) (red.). London: IEEE Computer Society Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Berlin/Heidelberg: Springer, s. 116-145 (Lecture Notes in Computer Science; Nr. 5153).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    11 Citationer (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. (red.). Wiley, s. 1-38 38 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Wiley, s. 1-37 37 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Berlin/Heidelberg: Springer, s. 325-339 (Lecture Notes In Artificial Intelligence; Nr. 4911).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    12 Citationer (Scopus)

  • Modification

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Montague-semantik

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Springer Publishing Company, s. 503-508 6 s. (Lecture Notes in Computer Science, Bind 7219).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    3 Citationer (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. (red.). Springer, Bind 213. s. 275-294 (Studies in Fuzziness and Soft Computing, Bind 213).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    Fil
    3 Citationer (Scopus)
    499 Downloads (Pure)

  • Multidimensional Databases

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Multidimensional Modeling

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Multimedia Systems Development Methodologies: Experiences and Requirement

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Springer, s. 3-18 16 s. (Lecture Notes in Computer Science, Bind 9443).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Pergamon Press, s. 255-277

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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, s. 2553-2568 16 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    30 Citationer (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. (red.). Springer, s. 175-192 18 s. (Lecture Notes in Computer Science, Bind 7137).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (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.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Now

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Now in TSQL2

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. Bind 8051. s. 256-270 (Lecture Notes in Computer Science, Bind 8051).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    5 Citationer (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. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    12 Citationer (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, Bind 8051. s. 244-255 (Lecture Notes in Computer Science, Bind 8051).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    27 Citationer (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. (red.). Wiley-IEEE press, s. 289-318 30 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Hershey: Idea Group Publishing

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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, s. 543-554 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    153 Citationer (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. (red.). Springer, s. 283-305 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13560 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review