Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2018

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 Mar 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (eds.). EPTCS, Vol. 268. p. 150-168 19 p. (Electronic Proceedings in Theoretical Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

An Algebraic Theory of Markov Processes

Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 679-688 10 p. (Annual Symposium on Logic in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

Analytical metadata modeling for next generation BI systems

Varga, J., Romero, O., Pedersen, T. B. & Thomsen, C., 1 Oct 2018, In : Journal of Systems and Software. 144, p. 240 - 254 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Ivanov, D., Larsen, K. G., Schupp, S. & Srba, J., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 173-189 17 p. (Lecture Notes in Computer Science, Vol. 11024).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

An empirical study of Bayesian network inference with simple propagation

Butz, C. J., Oliveira, J., dos Santos, A. E. & Madsen, A. L., 1 Jan 2018, In : International Journal of Approximate Reasoning. 92, p. 198-211 14 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)

A New Platform for Question-Based Sharing of Supervision Competencies in Problem-Based Learning

Hüttel, H., Gnaur, D., Klostergaard, A. H. & Blegmand, G., 4 Sep 2018, Collaboration and Technology: 24th International Conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings. Rodrigues, A., Fonseca, B. & Preguiça, N. (eds.). Springer, p. 177-184 8 p. (Lecture Notes in Computer Science (LNCS), Vol. 11001).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

Answering provenance-aware queries on RDF data cubes under memory budgets

Galárraga, L., Ahlstrøm, K., Hose, K. & Pedersen, T. B., 1 Jan 2018, The Semantic Web – ISWC 2018 - 17th International Semantic Web Conference, 2018, Proceedings. Suárez-Figueroa, M. C., Presutti, V., Kaffee, L-A., Simperl, E., Sabou, M., Vrandecic, D., Celino, I. & Bontcheva, K. (eds.). Springer, p. 547-565 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11136 LNCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

A Review of Inference Algorithms for Hybrid Bayesian Networks

Salmerón, A., Rumí, R., Langseth, H., Nielsen, T. D. & Madsen, A. L., 1 Aug 2018, In : Journal of Artificial Intelligence Research. 62, p. 799-828 30 p.

Research output: Contribution to journalReview articleResearchpeer-review

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

Assisted Shifting of Electricity Use: A Long-Term Study of Managing Residential Heating

Jensen, R. H., Kjeldskov, J. & Skov, M., Oct 2018, In : ACM Transactions on Computer-Human Interaction. 25, 5, 33 p., 25.

Research output: Contribution to journalJournal articleResearchpeer-review

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

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 proceedingArticle in proceedingResearchpeer-review

3 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 proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

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 proceedingArticle in proceedingResearchpeer-review

8 Citations (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 1 Mar 2018, In : Acta Informatica. 55, 2, p. 91-127 37 p.

Research output: Contribution to journalJournal articleResearchpeer-review

12 Citations (Scopus)

A Walk in the Clouds: Routing through VNFs on Bidirected Networks

Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, p. 11-26 (Lecture Notes in Computer Science, Vol. 10739).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects

Pedersen, M. R., 2018, Aalborg Universitetsforlag. 264 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
19 Downloads (Pure)

Beyond Macrobenchmarks: Microbenchmark-based Graph Database Evaluation

Lissandrini, M., Brugnara, M. & Velegrakis, Y., 2018, In : Proceedings of the VLDB Endowment. 12, 4, p. 390-403

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
116 Downloads (Pure)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)

Building a new Community Around a Platform for Developing PBL Competences

Huttel, H. & Gnaur, D., Nov 2018, Proceedings of the 17th European Conference on e-Learning. Ntalianis, K., Andreatis, A. & Sgouropoulou, C. (eds.). Reading, UK: Academic Conferences and Publishing International, p. 161-169

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Charting the algorithmic complexity of waypoint routing

Amiri, S. A., Foerster, K. T., Jacob, R. & Schmid, S., 1 Jan 2018, In : Computer Communication Review. 48, 1, p. 42-48 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
8 Citations (Scopus)

Child-Computer Interaction, Ubiquitous Technologies, and Big Data

Hourcade, J. P., Antle, A., Anthony, L., Fails, J., Sejer Iversen, O., Rubegni, E., Skov, M., Slovak, P., Walsh, G. & Zeising, A., 2018, In : interactions. 25, 6, p. 78-81

Research output: Contribution to journalJournal articleResearchpeer-review

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

Child-Computer Interaction SIG: Ubiquity and Big Data - A Changing Technology Landscape for Children

Hourcade, J. P., Zeising, A., Iversen, O., Skov, M., Antle, A., Anthony, L., Fails, J. & Walsh, G., 2018, Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 5 p. SIG07

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

Cloud Intelligence

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. 2 ed. Springer Publishing Company, p. 481-482 2 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Collaborative symptoms interpretation for cardiac patients as diagnostic agents

Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 29 Sep 2018, Proceedings of the 10th Nordic Conference on Human-Computer Interaction (NordiCHI '18). Association for Computing Machinery, p. 549-558 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)

Combining a System-Centred and a User-Centred Approach in the Development of Public Self-Service Applications

Billestrup, J., 2018, Aalborg Universitetsforlag. 199 p. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Research output: Book/ReportPh.D. thesis

Open Access
File
125 Downloads (Pure)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 Apr 2018, In : Electronic Notes in Theoretical Computer Science. 336, p. 27-39 13 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

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

Concept for evaluation of techniques for trajectory distance measures

Peixoto, D. A., Su, H., Hung, N. Q. V., Stantic, B., Zheng, B. & Zhou, X., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 276-277 2 p. (IEEE International Conference on Mobile Data Management (MDM)).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Concrete and Abstract Cost Semantics for Spreadsheets

Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., 2018, IT-Universitetet i København. (IT University Technical Report Series, Vol. TR-2018-203).

Research output: Book/ReportReport

Open Access
File
27 Downloads (Pure)

Context-Free Session Types for Applied Pi-Calculus

Aagaard, J., Hüttel, H., Steen Jakobsen, M. & Kettunen, M., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018.. Open Publishing Association, Vol. 276. p. 3-18 16 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
137 Downloads (Pure)

Continuous Spatial Query Processing: A Survey of Safe Region Based Techniques

Qi, J., Zhang, R., Jensen, C. S., Kotagiri, R. & He, J., 2018, In : A C M Computing Surveys. 51, 3, 39 p., 64.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Contracts for System Design

Benveniste, A., Caillaud, B., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T. & Larsen, K. G., 2018, Now Foundations and Trends. 293 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
22 Citations (Scopus)

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 Jan 2018, In : IFAC-PapersOnLine. 51, 16, p. 259-264 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Correlated Time Series Forecasting using Multi-Task Deep Neural Networks

Cirstea, R-G., Micu, D-V., Muresan, G-M., Guo, C. & Yang, B., 17 Oct 2018, CIKM '18 Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 1527-1530 4 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

14 Citations (Scopus)

Cube

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd ed. New York: Springer, p. 1

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

DARA: Assisting Drivers to Reflect on How They Hold the Steering Wheel

Raptis, D., Iversen, J., Mølbak, T. H. & Skov, M., 29 Sep 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. p. 1-12 12 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
1 Citation (Scopus)
164 Downloads (Pure)

Database Technology for Processing Temporal Data

Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 Oct 2018, 25th International Symposium on Temporal Representation and Reasoning, TIME 2018. Norvag, K., Penczek, W. & Alechina, N. (eds.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 120. 7 p. 2. (Leibniz International Proceedings in Informatics, Vol. 120).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

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

Data Exploration using Example-based Methods

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 2018, Morgan & Claypool Publishers. 164 p. (Synthesis Lectures on Data Management; No. 53).

Research output: Book/ReportBookResearchpeer-review

Day-ahead Trading of Aggregated Energy Flexibility

Valsomatzis, E., Pedersen, T. B. & Abelló, A., 12 Jun 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. New York, NY, USA: Association for Computing Machinery, p. 134-138 5 p. (e-Energy '18).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

Deep representation learning for trajectory similarity computation

Li, X., Zhao, K., Cong, G., Jensen, C. S. & Wei, W., 24 Oct 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, p. 617-628 12 p. 8509283. (Proceedings of the International Conference on Data Engineering).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

15 Citations (Scopus)

Designing the Desirable Smart Home: A Study of Household Experiences and Energy Consumption Impacts

Jensen, R. H., Yolande Strengers, Kjeldskov, J., Larissa Nicholls & Skov, M., 21 Apr 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18): Engage with CHI. Association for Computing Machinery, 14 p. Paper 4

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File
18 Citations (Scopus)
184 Downloads (Pure)

Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks

Neerbek, J., Assent, I. & Dolog, P., 2018, PAKDD 2018: Advances in Knowledge Discovery and Data Mining. Springer, Vol. 10939. p. 373-385 13 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Detection of Mirai by Syntactic and Behavioral Analysis

Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 Nov 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (eds.). IEEE Computer Society Press, p. 224-235 12 p. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Vol. 2018-October).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Diagnostic Agents: Collaborative Interpretation for Cardiac Patients at Home

Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 20 Apr 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Vol. 2018-April. p. 1DUMMY 6 p. LBW041

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

1 Citation (Scopus)

Dimension

Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 1 p.

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Discovering Diversified Paths in Knowledge Bases

Aebeloe, C., Montoya, G., Setty, V. J. & Hose, K., 2018, In : Proceedings of the VLDB Endowment. 11, 12, p. 2002-2005

Research output: Contribution to journalJournal articleResearchpeer-review

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

Discrete and Continuous Strategies for Timed-Arc Petri Net Games

Jensen, P. G., Larsen, K. G. & Srba, J., 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, p. 529–546 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

4 Citations (Scopus)

Distinguishing Trajectories from Different Drivers using Incompletely Labeled Trajectories

Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 17 Oct 2018, CIKM 2018 - Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 863-872 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

7 Citations (Scopus)

Distributed k-Nearest Neighbor Queries in Metric Spaces

Ding, X., Zhang, Y., Chen, L., Gao, Y. & Zheng, B., 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Xu, J., Ishikawa, Y. & Cai, Y. (eds.). Springer, Vol. 1. p. 236-252 17 p. (Lecture Notes in Computer Science, Vol. 10987).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

Double-consensus based distributed optimal energy management for multiple energy hubs

Li, Y. S., Li, T. Y., Zhou, J. G. & Huang, B. N., 1 Jan 2018, In : Applied Sciences (Switzerland). 8, 9, 1412.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
5 Downloads (Pure)

DriveLaB: A platform for reducing speeding

Olsen, T. F., Pedersen, K. F., Rasmussen, D. & Torp, K., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management (MDM). IEEE, p. 274-275 2 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2018-June).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

1 Citation (Scopus)