Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output

2019

Spatio-Textual Data

Cong, G. & Jensen, C. S., 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. Y. (eds.). Springer, 8 p.

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

Statistical Model Checking for Finite-Set Model Predictive Control Converters: A Tutorial on Modeling and Performance Verification

Novak, M., Nyman, U., Dragicevic, T. & Blaabjerg, F., Sep 2019, In : I E E E Industrial Electronics Magazine. 13, 3, p. 6-15 10 p., 8845791.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
24 Downloads (Pure)

Stochastic Weight Completion for Road Networks using Graph Convolutional Networks

Hu, J., Guo, C., Yang, B. & Jensen, C. S., 2019, Proceedings of 35th IEEE International Conference on Data Engineering, ICDE 2019. IEEE, p. 1274-1285 12 p. 8731475. (Proceedings of the International Conference on Data Engineering).

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

7 Citations (Scopus)

Stubborn versus structural reductions for Petri nets

Bønneland, F. M., Dyhr, J., Jensen, P. G., Johannsen, M. & Srba, J., 2019, In : Journal of Logical and Algebraic Methods in Programming. 102, p. 46-63 18 p.

Research output: Contribution to journalJournal article

Sustainable Energy Systems Planning, Integration, and Management

Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., 1 Oct 2019, In : Applied Sciences. 9, 20, 5 p., 4451.

Research output: Contribution to journalEditorialResearchpeer-review

Open Access
File
27 Downloads (Pure)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (eds.). Springer, p. 298-315 18 p. (Lecture Notes in Computer Science, Vol. 11460).

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

2 Citations (Scopus)

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 p. 2. (Leibniz International Proceedings in Informatics, Vol. 140).

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

Open Access

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 Oct 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 81-97 17 p. (Lecture Notes in Computer Science, Vol. 11781).

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

The Knowledge Exploration Assistant: Better Knowledge for Better AI, Better AI for Better Knowledge

Lissandrini, M., Nov 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File
13 Downloads (Pure)

The Semantic Web: ESWC 2019 Satellite Events – ESWC 2019 Satellite Events, Portoroz, Slovenia, June 2-6, 2019, Revised Selected Papers

Hitzler, P. (ed.), Kirrane, S. (ed.), Hartig, O. (ed.), de Boer, V. (ed.), Vidal, M-E. (ed.), Maleshkova, M. (ed.), Schlobach, S. (ed.), Hammar, K. (ed.), Lasierra, N. (ed.), Stadtmüller, S. (ed.), Hose, K. (ed.) & Verborgh, R. (ed.), 2019, Springer. (Lecture Notes in Computer Science, Vol. 11762).

Research output: Book/ReportAnthologyResearchpeer-review

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., Aug 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (eds.). Heidelberg: Springer, p. 216-235 20 p. (Lecture Notes in Computer Science, Vol. 11750).

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

Towards longitudinal analytics on social media data

Xia, F., Yang, B., Yu, C., Qian, W. & Zhou, A., Apr 2019, Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019. IEEE, p. 350-361 12 p. 8731609. (Proceedings of the International Conference on Data Engineering).

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

Trajectory splicing

Lu, Q., Wang, R., Yang, B. & Wang, Z., 18 Jul 2019, In : Knowledge and Information Systems. p. 1-34

Research output: Contribution to journalJournal article

Underneath the Skin: An Analysis of YouTube Videos to Understand Insertable Device Interaction

Komkaite, A., Lavrinovica, L., Vraka, M. & Skov, M., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 12 p. 214

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

Understanding human mobility: A multi-modal and intelligent moving objects database

Xu, J., Lu, H. & Güting, R. H., 19 Aug 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, p. 222-225 4 p.

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

UPPAAL STRATEGO

David, A., Jensen, P. G., Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File
15 Downloads (Pure)

Using session types for reasoning about boundedness in the pi-calculus

Hüttel, H., Sep 2019, In : Acta Informatica. p. 1-27

Research output: Contribution to journalJournal article

Value Creation from Massive Data in Transportation - The Case of Vehicle Routing.

Jensen, C. S., Sep 2019, In : IEEE Data Engineering Bulletin. 42, 3, p. 4-8 5 p.

Research output: Contribution to journalJournal article

Open Access

Weight-Mate: Adaptive Training Support for Weight Lifting

Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., 2 Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, p. 95-105 11 p.

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

Open Access
File
23 Downloads (Pure)
2020

A web-based platform for building PBL competences among students

Hüttel, H., Gnaur, D., Ryberg, T. & Holgaard, J. E., 1 Jan 2020, Emerging Technologies for Education - 4th International Symposium, SETE 2019, held in Conjunction with ICWL 2019, Revised Selected Papers. Popescu, E., Hao, T., Hsu, T-C., Xie, H., Temperini, M. & Chen, W. (eds.). Springer VS, p. 175-182 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11984 LNCS).

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

Bots for Research: Minimising the Experimenter Effect

Wijenayake, S., van Berkel, N. & Goncalves, J., 2020, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems. p. 1-8 8 p.

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

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 16 Jan 2020, Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019. De Rango, F., Calafate, C. T., Voznak, M., Garro, A. & Tropea, M. (eds.). IEEE Press, p. 1-10 10 p. 8958666

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

File
79 Downloads (Pure)

Creating urban green infrastructure where it is needed – A spatial ecosystem service-based decision analysis of green roofs in Barcelona

Langemeyer, J., Wedgwood, D., McPhearson, T., Baró, F., Madsen, A. L. & Barton, D. N., 2020, In : Science of the Total Environment. 707, 135487.

Research output: Contribution to journalJournal articleResearchpeer-review

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

Crowdsourcing Sensitive Data using Public Displays: Opportunities, Challenges, and Considerations

Alorwu, A., van Berkel, N., Goncalves, J., Oppenlaender, J., Lopez, M. B., Seetharaman, M. & Hosio, S., 2020, In : Personal and Ubiquitous Computing. p. to appear

Research output: Contribution to journalJournal articleResearchpeer-review

Designing for domestic sound zone interaction

Lundgaard, S. S., Nielsen, P. A. & Kjeldskov, J., Mar 2020, In : Personal and Ubiquitous Computing.

Research output: Contribution to journalJournal articleResearchpeer-review

Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas

Kjærup, M., Skov, M. B. & Agerholm, N., 2020, (Accepted/In press) SIGCHI Conference on Human Factors in Computing Systems . Association for Computing Machinery

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

Does Smartphone Use Drive our Emotions or vice versa? A Causal Analysis

Sarsenbayeva, Z., Marini, G., van Berkel, N., Luo, C., Jiang, W., Yang, K., Wadley, G., Dingler, T., Kostakos, V. & Goncalves, J., 2020, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems. p. to appear

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

Efficient Continuous Multi-Query Processing over Graph Streams

Zervakis, E., Setty, V., Tryfonopoulos, C. & Hose, K., 2020, Proceedings - The 23rd International Conference on Extending Database Technology (EDBT), March 30-April 2, 2020. Association for Computing Machinery

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

Open Access
File
7 Downloads (Pure)

Efficient Search for Multi-Scale Time Delay Correlations in Big Time Series

Ho, N. T. T., Pedersen, T. B., Ho, L. V. & Vu, M., 2020, (Accepted/In press) Proceedings - The 23rd International Conference on Extending Database Technology (EDBT), March 30-April 2, 2020. Association for Computing Machinery

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

Open Access
File
41 Downloads (Pure)

Example-based Search: a New Frontier for Exploratory Search

Mottin, D., Lissandrini, M., Palpanas, T. & Velegrakis, Y., 2020, Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2019. p. 1411–1412

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

Open Access

Exploiting Agile Practices to Teach Computational Thinking

Ciancarini, P., Missiroli, M. & Russo, D., 1 Jan 2020, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - 2nd International Workshop, DEVOPS 2019, Revised Selected Papers. Bruel, J-M., Mazzara, M. & Meyer, B. (eds.). Springer VS, p. 63-83 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12055 LNCS).

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

Flying LEGO Bricks: Observations of Children Constructing and Playing with Programmable Matter

Merritt, T. R., Feb 2020, TEI '20: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, p. 193-205

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

Open Access

"Hi! I am the Crowd Tasker" - Crowdsourcing through Digital Voice Assistants

Hettiachchi, D., Sarsenbayeva, Z., Allison, F., van Berkel, N., Dingler, T., Marini, G., Kostakos, V. & Goncalves, J., 2020, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems. p. to appear

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

Human Accuracy in Mobile Data Collection

van Berkel, N., Goncalves, J., Wac, K., Hosio, S. & Cox, A. L., 2020, In : International Journal of Human-Computer Studies. 137, p. 1-4 4 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Impact of Contextual and Personal Determinants on Online Social Conformity

Wijenayake, S., van Berkel, N., Kostakos, V. & Goncalves, J., 2020, In : Computers in Human Behaviour. 108, p. to appear

Research output: Contribution to journalJournal articleResearchpeer-review

Indoor Mobility Semantics Annotation Using Coupled Conditional Markov Networks

Li, H., Lu, H., Cheema, M. A., Shou, L. & Chen, G., Jan 2020, (Accepted/In press) The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE, 12 p.

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

Open Access
File
15 Downloads (Pure)

Living media interfaces: a multi-perspective analysis of biological materials for interaction

Merritt, T., Hamidi, F., Alistar, M. & DeMenezes, M., 21 Jan 2020, In : Digital Creativity.

Research output: Contribution to journalJournal article

Making Appearances: How Robots Should Approach People

Joosse, M., Lohse, M., van Berkel, N., Sardar, A. & Evers, V., 2020, In : ACM Transactions on Human-Robot Interaction. p. to appear

Research output: Contribution to journalJournal articleResearchpeer-review

Meshing Agile and Plan-Driven Development in Safety-Critical Software: A Case Study

Heeager, L. T. & Nielsen, P. A., 1 Mar 2020, In : Empirical Software Engineering. 25, 2, p. 1035-1062 28 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
22 Downloads (Pure)

Mobility Beyond Year 2100: Personalized, On-Demand, and Completely Shared Mobility as a Service

Kjærup, M. & Skov, M. B., 2020.

Research output: Contribution to conference without publisher/journalPaper without publisher/journalResearchpeer-review

Modeling Interaction as a Complex System

van Berkel, N., Dennis, S., Zyphur, M., Li, J., Heathcote, A. & Kostakos, V., 2020, In : Human-Computer Interaction. p. 1-27 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

On Collapsing Prefix Normal Words

Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Springer, p. 412-424 12 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

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

Perceived and Measured Task Effectiveness in Human-AI Collaboration

Jacobsen, R. M., Bysted, L. B. L., Johansen, P. S., Papachristos, E. & Skov, M. B., 2020, Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

pgFMU: Integrating Data Management with Physical System Modelling

Rybnytska, O., Siksnys, L., Pedersen, T. B. & Neupane, B., 2020, (Accepted/In press) EDBT: 23rd International Conference on Extending Database Technology.

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

Open Access
File
28 Downloads (Pure)

Pursuing pleasance: Interrogating energy-intensive visions for the smart home

Strengers, Y., Hazas, M., Nicholls, L., Kjeldskov, J. & Skov, M. B., 2020, (Accepted/In press) In : International Journal of Human-Computer Studies.

Research output: Contribution to journalJournal article

SQuAP-Ont: an Ontology of Software Quality Relational Factors from Financial Systems

Ciancarini, P., Nuzzolese, A. G., Presutti, V. & Russo, D., 2020, (Accepted/In press) In : Semantic Web.

Research output: Contribution to journalJournal article

The Social Acceptability of Peripheral Interaction with 3D Gestures in a Simulated Setting

Nielsen, S., Nellemann, L. J., Larsen, L. B. & Stec, K., 2020, (Accepted/In press) 22nd International Conference on Human-Computer Interaction. Springer, 20 p. 2563

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

Towards Translating Raw Indoor Positioning Data into Mobility Semantics

Li, H., Lu, H., Chen, G., Chen, K., Chen, Q. & Shou, L., 20 Jan 2020, (Accepted/In press) In : ACM Transactions on Data Science. 35 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
4 Downloads (Pure)