Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Search results

  • Article in proceeding

    A Compositional Proof of a Real-Time Mutual Exclusion Protocol

    Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P. & Yi, W., 1997, TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. Bidoit, Michel : Dauchet, Max (eds.) (ed.). 1214 ed. IEEE Computer Society Press

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

    17 Citations (Scopus)

  • A Computational Scheme for Reasoning in Dynamic Probabilistic Networks

    Kjærulff, U., 1992, Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, p. 121-129

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

  • A Consensus Glossary of Temporal Database Concepts: February 1998 Version

    Jensen, C. S. & Dyreson, C. E., 1998, Temporal Databases. Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1998: Lecture Notes in Computer Science. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (ed.). 1399 ed. IEEE Computer Society Press, p. 367-405

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

    218 Citations (Scopus)

  • A Coock's Tour of Equational Axiomatizations for Prefix Iteration

    Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1378 ed. IEEE Computer Society Press, p. 20-34

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

  • A Correlated Time Series Forecast System

    Abildgaard, N. C., Bang, C. W., Hansen, J., Jacobsen, T. L., Knudsen, T. H., Lisby, N. O., Guo, C. & Yang, B., Jun 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE, p. 242-243 2 p. 9162204. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2020-June).

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

  • A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

    Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 Jan 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Vol. 9539. p. 66-85 20 p. (Lecture Notes in Computer Science, Vol. 9539).

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

    6 Citations (Scopus)

  • A COTS Framework for Sensor Fusion Using Dynamic Bayesian Networks in Livestock Production

    Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Philip, T. (ed.). Denmark., p. 41-48 7 p.

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

  • Acquisition and Transformation of Likelihoods to Conditional Probabilities for Bayesian Networks

    Skaanning, C., Jensen, F. V., Kjærulff, U. B. & Madsen, A. L., 1999, AAAI Spring Symposium, Standford, USA, 1999.

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

  • Action Design Research Shaping University-Industry Collaborations for Wicked Problems

    Schouten, B., Klerks, G., Hollander, M. D. & Hansen, N. B., 2020, OzCHI '20: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, p. 36-44

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

    2 Citations (Scopus)

  • Action Investment Energy Games

    Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (eds.). Netherlands: Springer Publishing Company, Vol. 7721. p. 155-167 13 p. (Lecture Notes in Computer Science, Vol. 7721).

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

    2 Citations (Scopus)

  • Actions speak louder than words: Proving bisimilarity for context-free processes

    Huttel, H. & Stirling, C., Jul 1991, Proceedings - Symposium on Logic in Computer Science. IEEE, p. 376-386 11 p. (Proceedings - Symposium on Logic in Computer Science).

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

    54 Citations (Scopus)

  • ActiveAnno3D - An Active Learning Framework for Multi-Modal 3D Object Detection

    Ghita, A., Antoniussen, B., Zimmer, W., Greer, R., Creß, C., Møgelmose, A., Trivedi, M. & Knoll, A. C., 2 Jun 2024, (Accepted/In press) 35th IEEE Intelligent Vehicles Symposium (IV) 2024.

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

  • Active Collaborative Learning: Supporting Software Developers in Creating Redesign Proposals

    Bruun, A., Jensen, J. J., Skov, M. B. & Stage, J., 2014, Human-Centered Software Engineering. Vol. 8742. p. 1-18 18 p. (Lecture Notes in Computer Science).

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

    6 Citations (Scopus)

  • 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