Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Article in proceeding

    Low Power Web: Legacy Design and the Path to Sustainable Net Futures

    Willis, M., Hanna, J., Encinas, E. & Auger, J., Apr 2020, CHI EA '20: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-14 3381829

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Loyalty-based Task Assignment in Spatial Crowdsourcing

    Lai, T., Zhao, Y., Qian, W. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, p. 1014–1023

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • LSQB: A large-scale subgraph query benchmark

    Mhedhbi, A., Lissandrini, M., Kuiper, L., Waudby, J. & Szárnyas, G., 20 Jun 2021, GRADES-NDA '21: Proceedings of the 4th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems and Network Data Analytics, GRADES-NDA 2021. Kalavri, V. & Yakovets, N. (eds.). New York: Association for Computing Machinery, p. 8:1-8:11 11 p. 8. (Proceedings of the 4th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems and Network Data Analytics, GRADES-NDA 2021).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    7 Citations (Scopus)
    49 Downloads (Pure)

  • Lumen: A Case Study of Designing for Sustainable Energy Communities through Ambient Feedback

    Hansen, A. H., Jensen, R. H., Stausgaard Jensen, L., Guldager, E. K., Winkel Sigsgaard, A., Dalgaard Moroder, F., Raptis, D., Siksnys, L., Pedersen, T. B. & Skov, M. B., 3 Dec 2020, Proceedings of the 32nd Australian Conference on Human-Computer-Interaction. Association for Computing Machinery, p. 724-729 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    7 Citations (Scopus)
    211 Downloads (Pure)

  • Lumpability for Uncertain Continuous-Time Markov Chains

    Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Springer, p. 391-409 (Lecture Notes in Computer Science, Vol. 12846).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Machine Agency as Perceived Autonomy

    Rose, J. & Truex, D., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (ed.). 41 ed. Kluwer Academic Publishers

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Machine Learning Platform for Extreme Scale Computing on Compressed IoT Data

    Tirupathi, S., Salwala, D., Zizzo, G., Rawat, A., Purcell, M., Jensen, S. K., Thomsen, C., Ho, N., Cuza, C. E. M., Brusokas, J., Pedersen, T. B., Alexiou, G., Giannopoulos, G., Gidarakos, P., Kalimeris, A., Maroulis, S., Papastefanatos, G., Psarros, I., Stamatopoulos, V. & Terrovitis, M., 20 Dec 2022, 2022 IEEE International Conference on Big Data (Big Data). Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (eds.). IEEE Communications Society, p. 3179-3185 7 p. 10020540

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • MAIME: A Maintenance Manager for ETL Processes

    Butkevicius, D., Freiberger, P. D., Halberg, F. M., Hansen, J. B., Jensen, S., Tarp, M., Huang, H. X. & Thomsen, C., 15 Mar 2017, Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017). CEUR Workshop Proceedings, 10 p. 8. (CEUR Workshop Proceedings, Vol. 1810).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    147 Downloads (Pure)

  • Main-Memory Operation Buffering for Efficient R-Tree Update

    Jensen, C. S., Saltenis, S. & Biveinis, L., 2007, Proceedings of the Thirtythird International Conference on Very Large Data Bases. p. 591-602

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    39 Citations (Scopus)

  • Maintaining Program Understanding - issues, tools, and future directions

    Vestdam, T. & Nørmark, K., 2004, Proceedings of the 11th Nordic Workshop on Programming and Software Development Tools and Techniques: TUCS General Publication. 34 ed. Turku Center for Computer Science, p. 195-208 14 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Maintenance 4.0 world of integrated information

    Jantunen, E., Di Orio, G., Hegedűs, C., Varga, P., Moldován, I., Larrinaga, F., Krawczyk-Becker, M., Albano, M. & Maló, P., 26 Apr 2019, Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability. Springer Publishing Company, p. 67-78 12 p. (Proceedings of the I-ESA Conferences, Vol. 9).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Make or Buy: A Taxonomy of Intranet Implementation Strategies

    Karlsbjerg, J. & Damsgaard, J., 2001, Proceedings of the 9th European Conference on Information Systems, "Global Co-Operation in the New Millennium", Bled, Slovenia, June, 2001.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Make or Buy: a Taxonomy of Intranet Implementation Strategies

    Karlsbjerg, J., Olsen, C. & Damsgaard, J., 2000, Proceedings of the 23rd Information Systems Research Seminar in Scandinavia, Uddevalla, Sweden. p. 1573-1588

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Making Conversations Persistent Through Computer Mediation: Coordination in a Safety-Critical Domain

    Kjeldskov, J. & Stage, J., 2006, Proceedings of the 39th Annual Hawaii International Conference on System Sciences, 2006. HICSS '06.. IEEE Computer Society Press, Vol. 3. 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    279 Downloads (Pure)

  • Making sense of project management: A case of knowledge management in software development

    Kjærgaard, A., Kautz, K. & Nielsen, P. A., 2007, Proceedings of ECIS 15. European Conference of Information Systems

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Making Sensitivity Analysis Computationally Efficient

    Kjærulff, U. B. & Gaag, L. C. V. D., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (ed.). Academic Press, p. 317-325

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Making SPI Happen: The IDEAL Distribution of Effort

    Börjesson, A. & Mathiassen, L., 2002, Bødker, Keld (ed.) ...[et al.].

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Making SPI Happen - The IDEAL Distribution of Effort

    Börjesson, A. & Mathiassen, L., 2003, 36th Annual Hawaii International Conference on System Sciences (HICSS´03). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    13 Citations (Scopus)

  • Making SPI Happen - The Roads to Process Implementation

    Börjesson, A. & Mathiassen, L., 2003, The Twenty-sixth Information Systems Research Seminar in Scandinavia 2003.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Making use of social media data in public health

    Denecke, K., Dolog, P. & Smrz, P., 2012, Proceedings of the 21st international conference companion on World Wide Web. Association for Computing Machinery, p. 243-246 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    16 Citations (Scopus)

  • Management of Multiply Represented Geographic Entities

    Friis-Christensen, A., Skogan, D., Jensen, C. S., Skagenstein, G. & Tryfona, N., 2002, Nascimento, Mario A.: Özsu, M. Tamer : Zaïane, Osmar R. (ed.). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 150-159

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    12 Citations (Scopus)

  • Managing Again Data in Temporal Databases and Data Warehouses - Vacuuming and Persistent Views

    Skyt, J., 2000, Proceedings of the EDBT 2000 Ph.D. Workshop, March 2000, Konstanz, Germany. p. 39-42

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Managing Aging Data Using Persistent Views (extended abstract)

    Skyt, J. & Jensen, C. S., 2000, Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-9, 2000 : Proceedings: Lecture Notes in Computer Science. Etzion, O. : Scheuermann, P. (eds.) (ed.). 1901 ed. IEEE Computer Society Press, p. 132-137

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • Managing Big Data Analytics Projects: The Challenges of Realizing Value

    Jensen, M. H., Nielsen, P. A. & Persson, J. S., 2019, Proceedings of the 27th European Conference on Information Systems (ECIS). Association for Informations Systems, AIS, (Proceedings / European Conference on Information Systems (ECIS)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    476 Downloads (Pure)

  • Managing Big Multidimensional Data

    Pedersen, T. B., 31 Jan 2015, Extraction et Gestion des Connaissances: Revue des Nouvelles Technologies de l'Information. Hermann, p. 3-6

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Managing complex multidimensional data

    Pedersen, T. B., 30 Jan 2013, Business Intelligence: Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures. Aufaure, M-A. & Zimányi, E. (eds.). Berlin: Springer Publishing Company, p. 1-28 28 p. (Lecture Notes in Business Information Processing, Vol. 138).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Managing ERP systems after going live

    Jensen, P. K. & Koch, C., 2002, Proceedings of the 9th International EurOMA Conference on Operations Management and the New Economy. Christiansen, H. B. J. (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Managing Networked Software Development

    Jeenicke, M., Nielsen, P. A., Vainio, L. & Vogelsang, L., 2003, Proceedings of the 26th IRIS, Helsinki, Finland, August 2003.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Managing Risks in Software Process Improvement

    Iversen, J. H., Mathiassen, L. & Nielsen, P. A., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (ed.). Copenhagen Business School Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Map Matching for Intelligent Speed Adaptation

    Tradisauskas, N., Juhl, J., Lahrmann, H. & Jensen, C. S., 2007, Proceedings from the 6th European Congress on Intelligent Transport Systems and Services, Time to Intelligent Move, 18 th -20 th June 2007 in Aalborg. Lahrmann, H. (ed.). ERTICO, 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1619 Downloads (Pure)

  • Mapping Social Networks in SPI

    Nielsen, P. A. & Tjørnehøj, G., 2005, Proceedings IFIP 8.6 Conference: Business Agility and IT Diffusion. IFIP TC 8.6 International Working Conference. Baskerville, R., Mathiassen, L. & Pries-Heje, J. (eds.). Springer

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Mastering operational limitations of LEO satellites - The GOMX3 approach

    Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B., Jongerden, M., Larsen, K. G. & Wognsen, E. R., 2016, 67th International Astronautical Congress, IAC 2016. The International Astronautical Federation, (Proceedings of the International Astronautical Congress, IAC).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Matching Semantically Described Web Services Using Ontologies

    Christensen, K., Thomsen, L. L. & Højgaard Olesen, T., 2006, Information Technology And Control. Kaunas Technologija Universiteta, p. 267-275 9 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Maximal Prime Subgraph Decomposition of Bayesian Networks

    Olesen, K. G. & Madsen, A. L., 2001, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2001). AAAI Press

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • mctau: Bridging the Gap between Modest and UPPAAL

    Bogdoll, J., David, A., Harmanns, A. & Hermanns, H., 2012, Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Donaldson, A. & Parker, D. (eds.). Berlin: Springer, Vol. 7385. p. 227-233 7 p. (Lecture Notes in Computer Science (LNCS), Vol. 7385).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Measuring and Comparing Energy Flexibilities

    Valsomatzis, E., Hose, K., Pedersen, T. B. & Siksnys, L., 2015, Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT). Fischer, P. M., Alonso, G., Arenas, M. & Geerts, F. (eds.). CEUR Workshop Proceedings, Vol. 1330. p. 78-85 8 p. (CEUR Workshop Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    10 Citations (Scopus)
    229 Downloads (Pure)

  • Mediated intimacy in families: understanding the relation between children and parents

    Dalsggaard, T., Skov, M. B., Stougaard, M. & Thomassen, B., 2006, Proceeding of the 2006 conference on Interaction Design and Children. Association for Computing Machinery, p. 145-152 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    56 Citations (Scopus)
    2038 Downloads (Pure)

  • Mediating Intimacy: Designing Technologies to Support Strong-Tie Relationships

    Vetere, F., Gibbs, M., Kjeldskov, J., Howard, S., Pedell, S., Mecoles, K. & Mueller, F., 2005, Conference on Human Factors in Computing Systems. Association for Computing Machinery

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    1445 Downloads (Pure)

  • Mediating Intimacy: Digital Kisses and Cut and Paste Hugs

    Howard, S., Vetere, F., Gibbs, M., Kjeldskov, J., Pedell, S., Mecoles, K. & Bunyan, M., 2004, People and computers XVIII: Design for life. Proceedings of HCI 2004. Fincher, S., Markopoulos, P., Moore, D. & Ruddle, R. (eds.). BCS-HCI

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    358 Downloads (Pure)

  • Medical Models and Bayesian Networks

    Olesen, K. G., 1999, Prognostic Models in Medicine : Artificial Intelligence and Decision Analytic Approaches. Abu-Hanna, A. & Lucas, P. (eds.). <Forlag uden navn>, 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Medium for Children’s Creativity: A Case Study of Artifact’s Influence

    Borum, N., Kristensen, K., Petersson, E. & Brooks, A. L., 20 Jun 2014, Universal Access in Human-Computer Interaction. Universal Access to Information and Knowledge Lecture Notes in Computer Science Volume 8514, 2014, pp 233-244: 8th International Conference, UAHCI 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part II. Stephanidis, C. & Antona, M. (eds.). Springer VS, p. 233-244 12 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Memory Efficient Data Structures for Explicit Verification of Timed Systems

    Taankvist, J. H., Srba, J., Larsen, K. G., Sørensen, M. G. & Jensen, P. G., 2014, NASA Formal Methods. Badger, J. M. & Rozier, K. Y. (eds.). Springer Publishing Company, Vol. 8430. p. 307-312 6 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Memory-Efficient Tactics for Randomized LTL Model Checking

    Larsen, K., Peled, D. & Sedwards, S., 2017, Verified Software: Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Revised Selected Papers. Wies, T. & Paskevich, A. (eds.). Physica-Verlag, p. 152-169 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10712 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Mental Models of Loudspeaker Directivity

    Nielsen, S., Larsen, L. B., Stec, K. & Simon, A., Sept 2019, Proceedings of the 14th International Audio Mostly Conference: A Journey in Sound, AM 2019. Nottingham, United Kingdom: Association for Computing Machinery, p. 260-263 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Merging {DBMs} Efficiently

    David, A., 2005, 17th Nordic Workshop on Programming Theory, NWPT'05. DIKU, University of Copenhagen, p. 54-56 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Message from program chairs

    Chakraborty, D., Lu, H. & Venkatasubramanian, N., 2012, Proceedings - 2012 IEEE 13th International Conference on Mobile Data Management, MDM 2012. p. xiii - xiv

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Message from the General Co-chairs

    Jensen, C. S., Xie, X. & Zadorozhny, V. I., 11 Sept 2015, 2015 16th IEEE International Conference on Mobile Data Management . IEEE, Vol. 1. p. xi-xii (I E E E International Conference on Mobile Data Management. Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication

  • Metadata Modeling in a Global Computing Environment

    Pfoser, D., Pitoura, E. & Tryfona, N., 2002, 19th ACM International Symposium on Advances in Geographical Information Systems, McLean, VA, November 8-9, 2002.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    14 Citations (Scopus)

  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, Proceedings of the 40th International Conference on Machine Learning. Krause, A. & Brunskill, E. (eds.). p. 18471–18481 762. (The Proceedings of Machine Learning Research, Vol. 202).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Downloads (Pure)

  • METAMOC; Modular Execution Time Analysis using Model Checking

    Dalsgaard, A. E., Olesen, M. C., Toft, M., Hansen, R. R. & Larsen, K. G., 2010, Proceedings of the 10th International Workshop on Worst-Case Execution-Time Analysis (WCET2010).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    48 Citations (Scopus)