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

    Active diagnosis of hybrid systems - A model predictive approach

    Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 2009, IEEE International Conference on Control and Automation. IEEE, p. 465-470 5 p.

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

    Open Access
    File
    6 Citations (Scopus)
    590 Downloads (Pure)

  • Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

    Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 Jul 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, p. 52-57

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

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

  • Active Fault Detection and Isolation for Hybrid Systems

    Gholami, M., Schiøler, H., Bak, T. & Tabatabaeipour, S. M., 2009, ICSE 2009 Twentieth International Conference on Systems Engineering. IEEE Press, 6 p.

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

  • Active Involvement of Software Developers in Usability Engineering: Two Small-Scale Case Studies

    Bornoe, N. & Stage, J., 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O'Neill, J. & Winckler, M. (eds.). Springer, p. 159-168 10 p. (Lecture Notes in Computer Science, Vol. 10516).

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

    8 Citations (Scopus)

  • Active Learning of Markov Decision Processes for System Verification

    Chen, Y. & Nielsen, T. D., 12 Dec 2012, International Conference on Machine Learning and Applications (ICMLA). p. 289-294

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

    File
    19 Citations (Scopus)
    666 Downloads (Pure)

  • Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (eds.). IEEE, p. 1203-1208 6 p. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

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

    10 Citations (Scopus)

  • Actively building private recommender networks for evolving reliable relationships

    Assent, I., 2009, Proc. International Workshop on Modeling, Managing and Mining of Evolving Social Networks (M3SN), in conjunction with IEEE International Conference on Data Engineering (ICDE 2009). IEEE, p. 1611-1614

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

    4 Citations (Scopus)

  • Activity-Driven Influence Maximization in Social Networks

    Kumar, R., Saleem, M. A., Calders, T., Xie, X. & Pedersen, T. B., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III. Springer, p. 345-348 (Lecture Notes in Computer Science, Vol. 10536).

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

    1 Citation (Scopus)

  • Actors' Competences and Methods? A Case Study of Successful Information Systems Development

    Nielsen, P. A. & Omland, H. O., 2008, NOKOBIT 2008. TAPIR Akademisk Forlag, p. 339 352 p.

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

  • Actors’ Competencies or Methods? A Case Study of Successful Information Systems Development

    Omland, H. O. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (eds.). Monash University Press, p. 215 224 p.

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

  • Adaptable Query Optimization and Evaluation in Temporal Middleware

    Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2001, Proceedings of the 2001 ACM SIGMOD International Conference on the Management of Data, Santa Barbara, CA, USA, May 21-24, 2001: Sigmod Record. Vol.30, 2 ed. p. 127-138

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

  • Adaptable Value-Set Analysis for Low-Level Code

    Brauer, J., Hansen, R. R., Kowalewski, S., Larsen, K. G. & Olesen, M. C., Jul 2012, 6th International Workshop on Systems Software Verification (SSV 2011). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 24. 12 p.

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

  • Adaptation of AI Explanations to Users' Roles

    Delaunay, J., Galárraga, L., Largouët, C. & van Berkel, N., 2023, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems - Workshop on Human-Centered Explainable AI. p. 1-7 7 p.

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

  • Adapting an AI planning heuristic for directed model checking

    Kupferschmid, S., Hoffmann, J., Dierks, H. & Behrmann, G., 2006, Model Checking Software, Proceedings. p. 35-52

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

    40 Citations (Scopus)

  • Adapting Bayes Network Structures to Non-stationary Domains

    Nielsen, S. H. & Nielsen, T. D., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. p. 223-230 8 p.

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

    6 Citations (Scopus)

  • Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World

    Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Roßnagel, H., Schunck, C. H. & Mödersheim, S. (eds.). Gesellschaft für Informatik e. V., p. 107-118 (Lecture Notes in Informatics, Vol. 312).

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

    Open Access
    7 Citations (Scopus)

  • Adaptive Security Policies

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 280-294 15 p. (Lecture Notes in Computer Science, Vol. 12477).

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

    Open Access
    File
    1 Citation (Scopus)
    20 Downloads (Pure)

  • Adaptive Top-k Overlap Set Similarity Joins

    Yang, Z., Zheng, B., Li, G., Xi, Z., Zhou, X. & Jensen, C. S., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, p. 1081-1092 12 p. 9101864. (Proceedings of the International Conference on Data Engineering).

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

    12 Citations (Scopus)

  • Adaptive Travel-Time Estimation: A Case for Custom Predicate Selection

    Waury, R., Jensen, C. S. & Torp, K., 13 Jul 2018, Proceedings - 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, p. 96-105 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    5 Citations (Scopus)

  • Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices

    Frazzetto, D., Neupane, B., Pedersen, T. B. & Nielsen, T. D., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 1-11 11 p.

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

    10 Citations (Scopus)

  • A Data and Query Model for Dynamic Playlist Generation

    Jensen, C. A., Mungure, E. M., Pedersen, T. B. & Sørensen, K., 2007, Proceedings of the 2007 IEEE 23rd International Conference on Data Engineering Workshops. IEEE Press, 10 p.

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

    7 Citations (Scopus)

  • A Data Model for Determining Weather's Impact on Travel Time

    Andersen, O. & Torp, K., 2016, Database and Expert Systems Applications: 27th International Conference, DEXA 2016, Porto, Portugal, September 5-8, 2016, Proceedings, Part II. Hartman, S. & Ma, H. (eds.). Springer Publishing Company, Vol. 9828. p. 437-444 8 p. (Lecture Notes in Computer Science, Vol. 9829).

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

    5 Citations (Scopus)

  • A Data Warehouse Solution for Analyzing RFID-Based Baggage Tracking Data

    Ahmed, T., Pedersen, T. B. & Lu, H., Jun 2013, IEEE 14th International Conference on Mobile Data Management. IEEE Computer Society Press, Vol. 1. p. 283-292 10 p.

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

    Open Access
    File
    16 Citations (Scopus)
    901 Downloads (Pure)

  • Adding symmetry reduction to UPPAAL

    Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

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

  • Additive Pattern Databases for Decoupled Search

    Sievers, S., Gnad, D. & Torralba, A., 17 Jul 2022, Proceedings of the Fifteenth International Symposium on Combinatorial Search . 1 ed. The AAAI Press, Vol. 15. p. 180-189 9 p.

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

  • A Decentralized Architecture for Sharing and Querying Semantic Data

    Aebeloe, C., Montoya, G. & Hose, K., 25 May 2019, The Semantic Web. Fernández, M., Zaveri, A., Hitzler, P., Haller, A., Janowicz, K., Hammar, K., Gray, A. J. G. & Lopez, V. (eds.). Portorož, Slovenia: Springer, Vol. 11503. p. 3-18 16 p. (Lecture Notes in Computer Science).

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

    File
    10 Citations (Scopus)
    191 Downloads (Pure)

  • A decidable recursive logic forweighted transition systems

    Larsen, K. G., Mardare, R. & Xue, B., 1 Jan 2014, Theoretical Aspects of Computing – ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Springer, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

    3 Citations (Scopus)

  • A Decidable Recursive Logic for Weighted Transition Systems

    Xue, B., Larsen, K. G. & Mardare, R. I., 2014, Theoretical Aspects of Computing – ICTAC 2014: 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). Springer Publishing Company, Vol. 8687. p. 460-476 17 p. (Lecture Notes in Computer Science).

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

  • A Decision Support System to Predict Acute Fish Toxicity

    Madsen, A. L., Moe, S. J., Braunbeck, T., Connors, K. A., Embry, M., Schirmer, K., Scholz, S., Wolf, R. & Lillicrap, A. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models. Salmerón, A. & Rumi, R. (eds.). PMLR Press, p. 253-264 12 p. (The Proceedings of Machine Learning Research, Vol. 186).

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

    Open Access
    File
    10 Downloads (Pure)

  • A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

    Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1998, Proceedings of Workshop on Intelligent Data Analysis in Medicine and Pharmacology, IDAMAP-98: a Workshop at ECAI-98, Brighton, UK. p. 48-53

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

  • A decision theoretic approach to empirical treatment of bacteraemia originating from the urinary tract

    Andreassen, S., Leibovici, L., Schønheyder, H. C., Kristensen, B., Riekehr, C., Kjær, A. G. & Olesen, K. G., 1999, Proceedings of Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM 99, 20-24 June 1999, Aalborg, Denmark. Horn, W., Shahar, Y., Lindberg, G., Andreassen, S. & Wyatt, J. (eds.). Springer, p. 197-206 (Lecture Notes in Artificial Intelligence , subseries of Lecture Notes in Computer Science; No. 1620).

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

    5 Citations (Scopus)

  • A Decomposition Algorithm for Learning Bayesian Network Structures from Data

    Zeng, Y. & Cordero Hernandez, J., 2008, Advances in Knowledge Discovery and Data Mining: 12th Pacific-Asia Conference, PAKDD 2008 Osaka, Japan, May 20-23, 2008 Proceedings. Springer, p. 441-453 12 p. (Lecture Notes in Computer Science; No. 5012).

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

    6 Citations (Scopus)

  • A Demonstration of Interpretability Methods for Graph Neural Networks

    B. Mobaraki, E. & Khan, A., 18 Jun 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (eds.). Association for Computing Machinery, 9

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

    10 Downloads (Pure)

  • A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

    Wu, D. & Jensen, C. S., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management. Association for Computing Machinery, p. 2095-2100

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

    10 Citations (Scopus)

  • Adequacy and Complete Axiomatization for Timed Modal Logic

    Jaziri, S., Larsen, K. G., Mardare, R. I. & Xue, B., 2014, Electronic Notes in Theoretical Computer Science: Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXX). Jacobs, B., Silva, A. & Staton, S. (eds.). Ithaca, New York: Elsevier, Vol. 308. p. 183-210 28 p. (Electronic Notes in Theoretical Computer Science, Vol. 308).

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

    Open Access
    5 Citations (Scopus)

  • A Diagram-Centric Modeling Tool for Systems of Systems

    Harbo, S. K. R., Voldby, E. P., Madsen, J. & Albano, M., 23 Oct 2022, Proceedings of the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery, p. 51-55 5 p.

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

    2 Citations (Scopus)

  • A Distributed Pi-Calculus with anonymous moves

    Hüttel, H., Godskesen, J. C. & Kühnrich, M., 2006, Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Háskólinn í Reykjavík

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

  • Adoption of UX evaluation in practice: An action research study in a software organization

    Bang, K., Kanstrup, M. A., Kjems, A. & Stage, J., 1 Jan 2017, Human-Computer Interaction - INTERACT 2017: 16th IFIP TC 13 International Conference, Proceedings, Part IV. Bernhaupt, R., Winckler, M., O'Neill, J., Dalvi, G., Joshi, A. & Balkrishan, D. K. (eds.). Springer, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10516 LNCS).

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

    5 Citations (Scopus)

  • Advanced Implementation Techniques for Scientific Data Warehouses

    Pedersen, T. B. & Jensen, C. S., 2000, Proceedings of the First European Lab Workshop on Management and Integration of Biochemical Data, Heidelberg, Germany, September 2000.

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

  • Advanced Tracking of Vehicles

    Jensen, C. S., Li, K-J., Pakalnis, S. & Saltenis, S., 2005, Proceedings of the Fifth European Congress and Exhibition on Intelligent Transport Systems. 12 p.

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

  • Adversarial Autoencoder for Unsupervised Time Series Anomaly Detection and Interpretation

    Chen, X., Deng, L., Zhao, Y. & Zheng, K., 27 Feb 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, p. 267-275 9 p.

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

    1 Citation (Scopus)

  • A dynamic representation of physical exercises on inflatable membranes: Making walking fun again!

    Shalawadi, S., Hornecker, E. & Echtler, F., 2020, CEUR Workshop Proceedings 2020. Vol. 2801. 8 p. (CEUR Workshop Proceedings).

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

    Open Access
    File
    28 Downloads (Pure)

  • Aesthetic, Functional and Conceptual Provocation in Research Through Design

    Raptis, D., Jensen, R. H., Kjeldskov, J. & Skov, M., 2017, DIS '17, Proceedings of the 2017 Conference on Designing Interactive Systems. Association for Computing Machinery, p. 29-41

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

    File
    35 Citations (Scopus)
    738 Downloads (Pure)

  • A finite equational base for CCS with left merge and communication merge

    Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2006, Automata, Languages and Programming, Pt 2. p. 492-503

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

    3 Citations (Scopus)

  • A Foundation for Efficient Indoor Distance-Aware Query Processing

    Lu, H., Cao, X. & Jensen, C. S., 2012, The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, p. 438-449 12 p.

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

    67 Citations (Scopus)

  • A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking

    Brunel, J., Doligez, D., Hansen, R. R., Lawall, J. & Mulle, G., 2009, Proceedings of the ACM Symposium on Principles of Programming Languages (POPL'09). Association for Computing Machinery, p. 114-126 13 p.

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

    33 Citations (Scopus)

  • A Framework for Conceptual Modeling of Geographic Data Quality

    Friis-Christensen, A., Christensen, J. V. & Jensen, C. S., 2004, Proceedings of the Eleventh International Symposium on Spatial Data Handling. Springer, p. 605-616

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

  • A Framework for Constraint-Based Spatial Data Mining

    Tryfona, N., 2000, Proceedings of the International Workshop on Emerging Technologies for Geo-Based Applications. p. 309-328

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

  • A framework for generic object recognition with Bayesian networks

    Jianming, L., Jensen, F. V. & Christensen, H. I., 1996, Proceedings of the First International Symposium of Soft Computing for Pattern Recognition, Reading, 1996, United Kingdom.

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

  • A framework for job management in the NorduGrid ARC middleware

    Jensen, H. T., Kleist, J. & Ryge Leth, J., 2005, Advances in Grid Computing - EGC 2005. Sloot, P. M. A., Hoekstra, A. G., Priol, T., Reinefeld, A. & Bubak, M. (eds.). IEEE Computer Society Press, p. 861-871 (Lecture Notes in Computer Science; No. 3470).

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

    1 Downloads (Pure)