Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • A Stage Model of Intranet Technology Implementation and Management

    Damsgaard, J. & Scheepers, R., 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, p. 100-116

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

  • ASTEP: Aau's spatio-temporal data analytics platform

    Beuchert, M., Jensen, S. H., Sheikh-Omar, O. A., Svendsen, M. B. & Yang, B., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 278-279 2 p.

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

    6 Citations (Scopus)

  • A Structured Methodology to Support Interoperable Geographic Applications: the Case of the Greek Cadastral System

    Tryfona, N. & Kavouras, M., 1998, Association og Geographic Information Laboratories in Europe : Proceedings.

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

  • A Structure Editor with Type-Safe Copy/Paste

    Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 Aug 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

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

  • A study of cooperative thinking

    Ciancarini, P., Missiroli, M. & Russo, D., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers. Bruel, J-M., Capozucca, A., Mazzara, M., Naumchev, A., Sadovykh, A. & Meyer, B. (eds.). Springer VS, p. 279-292 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12271 LNCS).

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

  • A Study of Extensive LoRaWAN Downlink Communication in a Mobility Scenario

    Thomassen, M. S. E., Winkler, K. S., Magrin, D. & Albano, M., 14 Nov 2022, Proceedings of MobiQuitous 2022. EAI - European Alliance for Innovation, p. 455-468 14 p.

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

  • A Suite of WWW-Based Tools for Advanced Course Management

    Nørmark, K., 2000, ITiCSE 2000 : Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education : July 11-13, 2000, Helsinki, Finland: SIGCSE Bulletin. Joyce, D. (ed,) (ed.). Vol.32, 3 ed. Association for Computing Machinery, p. 65-68

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

    1 Citation (Scopus)

  • A Supervised Skyline-Based Algorithm for Spatial Entity Linkage

    Isaj, S., Kaffes, V., Pedersen, T. B. & Giannopoulos, G., Mar 2022, Proceedings of the 25th International Conference on Extending Database Technology (EDBT). OpenProceedings.org, p. 220-233 (Advances in Database Technology, Vol. 25).

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

    Open Access
    File
    21 Downloads (Pure)

  • A survey of open source tools for business intelligence

    Thomsen, C. & Pedersen, T. B., 2005, Data Warehousing and Knowledge Discovery, Proceedings. Springer, p. 74-84

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

    23 Citations (Scopus)

  • A Systematic Assessment of National Artificial Intelligence Policies: Perspectives from the Nordics and Beyond

    van Berkel, N., Papachristos, L., Giachanou, A., Hosio, S. & Skov, M. B., 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Tallinn, Estonia: Association for Computing Machinery, 12 p. 10

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

    6 Citations (Scopus)

  • A Tale of Two Airports: a Comparison of Electronic Infrastructures in the Air Cargo Industry in the Netherlands and Hong Kong SAR

    Christiansen, E. & Damsgaard, J., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. p. 512-523

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

  • A Task-Based Theory of Information Services

    Mathiassen, L. & Sørensen, C., 2002, Bødker, Keld (ed.) ...[et al.].

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

  • A Test Bed for Exploring Novel Concepts in Mobile Service Delivery

    Jensen, C. S., Su, J., Nicklas, D. & Becker, C., 2008, A Test Bed for Exploring Novel Concepts in Mobile Service Delivery. IEEE, p. 218-220 2 p.

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

  • A testbed for the exploration of novel concepts in mobile service delivery

    Wind, R., Jensen, C. S., Pedersen, K. H. & Torp, K., 1 Dec 2007, Proceedings - 8th International Conference on Mobile Data Management, MDM 2007. p. 218-220 3 p. 4417148. (Proceedings - IEEE International Conference on Mobile Data Management).

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

    6 Citations (Scopus)

  • A Test Suite for Safety-Critical Java using JML

    Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    5 Citations (Scopus)

  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 203-211 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

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

    1 Citation (Scopus)

  • A Theory of Testing for ACP

    Aceto, L. & Ingolfsdottir, A., 1991, Proceedings of CONCUR'91, Lecture Notes in Computer Science. Baten, J.C.M. : Groote, J.F. (eds.) (ed.). Springer, p. 527 -

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

    6 Citations (Scopus)

  • A time-aware path-based publish/subscribe framework

    Jia, M., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 Jan 2018, Database Systems for Advanced Applications : 23rd International Conference, DASFAA 2018, Proceedings. Springer, p. 511-528 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10827 LNCS).

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

    2 Citations (Scopus)

  • A Tool Architecture for the Next Generation of Uppaal

    Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

    12 Citations (Scopus)

  • A Toolchain for Home Automation Controller Development

    Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (eds.). IEEE Computer Society Press, p. 122-129 8 p. (Euromicro Conference. Proceedings).

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

    7 Citations (Scopus)

  • A topic-oriented syntactic component extraction model for social media

    Xu, Y., Luo, T., Xu, G. & Pan, R., 1 Jan 2012, Human Centric Technology and Service in Smart Space: HumanCom 2012. Park, J. J., Jin, Q., Yeo, M. S-S. & Hu, B. (eds.). Springer Publishing Company, Vol. 182. p. 221-229 9 p. (Lecture Notes in Electrical Engineering, Vol. 182).

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

  • Attack Tree Generation by Policy Invalidation

    Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia, S. (eds.). Springer, p. 249-259 (Lecture Notes in Computer Science; No. 9311).

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

    17 Citations (Scopus)

  • Attribute Clustering Based on Heuristic Tree Partition

    Cordero Hernandez, J. & Zeng, Y., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (eds.). p. 73-80 8 p.

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

  • A Tutorial on UPPAAL

    Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (ed.). 3185 ed. Springer, p. 200-237

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

    1157 Citations (Scopus)

  • A Two-Way Path Between Formal and Informal Design of Embedded Systems

    Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer, p. 65-92 (Lecture Notes in Computer Science, Vol. 10134).

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

    4 Citations (Scopus)

  • A type-safe structure editor calculus

    Godiksen, C., Herrmann, T., Hüttel, H., Lauridsen, M. K. & Owliaie, I., 18 Jan 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, p. 1-13 13 p. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

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

    2 Citations (Scopus)

  • Augmenting Automated Kinship Verification with Targeted Human Input

    Hettiachchi, D., van Berkel, N., Hosio, S., Lopez, M. B., Kostakos, V. & Goncalves, J., 2020, Proceedings of the Pacific Asia Conference on Information Systems. Association for Information Systems, p. 141:1-141:14 14 p.

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

    1 Citation (Scopus)

  • Augmenting the City: The Design of a Context-Aware Mobile Web Site

    Kjeldskov, J. & Paay, J., 2005, Designing for User eXperience, DUX 2005. Association for Computing Machinery, 7 p.

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

    File
    59 Downloads (Pure)

  • Augmenting the City with Fiction: Fictional Requirements for Mobile Guides

    Kjeldskov, J. & Paay, J., 2007, Proceedings of HCI in Mobile Guides, Mobile HCI 2007. Cheverst, K. (ed.). University of Lancaster, p. 1-6

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

    Open Access
    File
    495 Downloads (Pure)

  • A Unified Model for Stable and Temporal Topic Detection from Social Media Data

    Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, p. 661-672 (Proceedings of the International Conference on Data Engineering).

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

    70 Citations (Scopus)

  • A Unit-Test Framework for Database Applications

    Christensen, C. A., Gundersborg, S., Linde, K. D. & Torp, K., 2006, 10th International Database Engineeringand Applications Symposium (IDEAS 2006). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 11-20

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

    5 Citations (Scopus)

  • Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

    Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). Springer, p. 151-173 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13182 LNCS).

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

    1 Citation (Scopus)

  • Automata Learning through Counterexample Guided Abstraction Refinement

    Aarts, F., Heidarian, F., Kuppens, H., Olsen, P. & Vaandrager, F., 2012, FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 10-27 18 p. (Lecture Notes in Computer Science, Vol. 7436).

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

    45 Citations (Scopus)

  • Automated Distributed Simulation in Ptolemy II

    Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (ed.). ACTA Press, p. 139-144

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

    4 Citations (Scopus)

  • Automated Modeling of Real-Time Implementation

    Jensen, P. K., 1998, Doctoral Symposium : Proceedings of the 13th IEEE Automated Software Engineering, October 1998, Hawaii, USA..

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

  • Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus

    Zaitoun, A., Sagi, T. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 1127-1137 11 p.

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

    Open Access
    File
    2 Citations (Scopus)
    38 Downloads (Pure)

  • Automated Test Generation Timed Automata

    Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (ed.). 2031 ed. IEEE Computer Society Press, p. 343-357

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

  • Automated Test Generation Timed Automata: Tool and Case Study

    Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

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

  • Automatic Abstraction Refinement for Timed Automata

    Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, p. 114-129 15 p. (Lecture Notes in Computer Science; No. 4763).

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

    46 Citations (Scopus)

  • Automatically Detecting Opportunities for Web Service Descriptions Improvement.

    Rodriguez, J. M., Crasso, M., Zunino, A. & Campo, M., 2010, I3E. p. 139-150 12 p.

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

    40 Citations (Scopus)

  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 Nov 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, p. 1831-1838 8 p.

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

  • Automatic Generation of Natural Language Explanations

    Da Costa, F. S., Ouyang, S., Dolog, P. & Lawlor, A., 8 Mar 2018, Proceedings of the 23rd International Conference on Intelligent User Interfaces. Association for Computing Machinery, 57

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

    54 Citations (Scopus)

  • Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 May 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 ed. Palo Alto: AAAI Press, Vol. 31. p. 376-384 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    12 Citations (Scopus)

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 109-117 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

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

  • Automatic Synthesis of Transiently Correct Network Updates via Petri Games

    Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (eds.). Springer, p. 118-137 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12734 LNCS).

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

    1 Citation (Scopus)

  • Automatic Verification of Real-Time Systems Using Epsilon

    Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (ed.). Chapman & Hall, p. 232-330

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

  • Autonomous Agents for Initiating Communication in Internet Community Chat Rooms

    Skov, M., 2001, Proceedings of the 3rd International Bi-Conference Workshop on Agent-Oriented Information Systems. ICue Publishing, p. 13-21

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

  • Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

    Ghorbani, A., Cassee, N., Robinson, D., Alami, A., Ernst, N. A., Serebrenik, A. & Wąsowski, A., 14 May 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. Melbourne: IEEE, p. 1405-1417 13 p.

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

    2 Citations (Scopus)
    2 Downloads (Pure)

  • AutoSTL: Automated Spatio-Temporal Multi-Task Learning

    Zhang, Z., Zhao, X., Miao, H., Zhang, C., Zhao, H. & Zhang, J., 16 Apr 2023, The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23). AAAI Press, p. 4902-4910 9 p.

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

    3 Downloads (Pure)

  • Available Anytime Anywhere: Investigating Mobile Volunteer Responders for Out of Hospital Cardiac Arrest

    Kjærup, M., Elsborg, M., Skov, M. B. & Bruun, A. R., 2021, CHI '21 Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 13 p. 647

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

    Open Access
    File
    73 Downloads (Pure)