Research output per year
Research output per year
Organization profile
Organisation profile
Our research combines basic research in Computer Science with innovative applications. The construction of reliable, intelligent, and resource-efficient systems requires basic research in the mathematical and logic foundations of databases, algorithms, programming tools and languages. At the same time, this insight combined with a range of external collaborations provides an ideal starting point for creating novel technologies that fit the needs of the modern society – and inspires and helps defining goals for our basic research.
Our research activities combine the following main directions:
- Computer Science basic research:
Analysis of programming languages and program properties, AI and decision support tools, logic, databases and data science.
- Innovative applications in a variety of areas:
Interaction design, artistic and informative installations, virtual and augmented reality, and robots.
Analysis and application of big data: social networks, health data, bioinformatics, ...
Applications of logic in psychology.
Program analysis, e.g., for energy consumption and correctness properties.
Publication network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Troels Andreasen
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems
- Centre for Big Data
Person: VIP
-
A Framework to Support Continuous Range Queries over Multi-Attribute Trajectories
Xu, J., Bao, Z. & Lu, H., 1 Feb 2023, In: IEEE Transactions on Knowledge and Data Engineering. 35, 2, p. 1119 - 1133 15 p.Research output: Contribution to journal › Journal article › Research › peer-review
File -
An Axiom System for Hybrid Logic with Propositional Quantifiers
Blackburn, P. R., Braüner, T. & Kofod, J. L., 2023, (Accepted/In press) Proceedings of 29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023). Springer, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces
Cosma, V. P., Hildebrandt, T. T., Gyldenkærne, C. H. & Slaats, T., 2023, Process Mining Workshops - ICPM 2022 International Workshops, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 127-139 13 p. (Lecture Notes in Business Information Processing, Vol. 468 LNBIP).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile
-
Effects-driven improvement of bio-production processes with AI (2022-2023)
Simonsen, J. & Gyldenkærne, C.
15/03/2022 → 30/06/2023
Project: Research
-
Stowage Algorithms and AI for Energy Efficient Liner Shipping
Reinhardt, L. & Sivertsen, A. V. T.
01/03/2022 → 28/02/2025
Project: Research
-
Activities
-
Ph.D. defence: Formally Correct Deduction Methods for Computational Logic (Asta Halkjær From) (Event)
Torben Braüner (Member)
21 Apr 2023Activity: Membership › Membership in review committee
-
Seminar on Artificial Intelligence
Nicolas Padfield (Speaker), Mads Hobye (Speaker), Henning Christiansen (Speaker), Matthew J. Spaniol (Speaker), Niels Jensen (Speaker) & Abdul Halim Bin Abdul Rahman (Speaker)
10 Feb 2023Activity: Talk or presentation › Lecture and oral contribution
-
ESSLLI 2023 workshop on First-order Modal and Temporal Logics: State of the art and perspectives (Event)
Torben Braüner (Member)
7 Aug 2023 → 11 Aug 2023Activity: Membership › Membership in committee, council, board
Press/Media
-
Dansk internetteknologi vil barbere op til 10 procent af landets elforbrug: Men der er mange fugle på taget
17/05/2023
1 item of Media coverage
Press/Media: Press / Media
-
Får pris for effektivisering af godstransport: Jeg er meget stolt
28/02/2023 → 17/03/2023
3 items of Media coverage
Press/Media: Press / Media
-
PRM / Hjemmesider sviner - webbureau tager kampen op med RUC
16/12/2022
1 item of Media coverage
Press/Media: Press / Media
Prizes
-
Best Vision Paper Award
Xu, Jianqiu (Recipient), Lu, Hua (Recipient) & Güting, Ralf Hartmut (Recipient), 20 Aug 2019
Prize: Prizes, scholarships, distinctions
Datasets
-
The Project of Efficient and Error-bounded Spatiotemporal Quantile Monitoring in Edge Computing Environments
Li, H. (Creator), Yi, L. (Creator), Tang, B. (Creator), Lu, H. (Creator) & Jensen, C. S. (Creator), Zenodo, 25 May 2022
DOI: 10.5281/zenodo.7053904, https://zenodo.org/record/7053904
Dataset