• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

2018

Addressing structural and linguistic heterogeneity in the Web

Gonzalez, J. R., de Melo, G. & Hose, K., 2018, I : AI Communications. 31, 1, s. 3-18

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
86 Downloads (Pure)

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

Dalsgaard, A. E., Enevoldsen, S., Fogh, P., Jensen, L. S., Jensen, P. G., Jepsen, T. S., Kaufmann, I., Larsen, K. G., Nielsen, S. M., Olesen, M. C., Pastva, S. & Srba, J., 2018, I : Fundamenta Informaticae. 161, 4, s. 351-381

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Foundation for Spatial Data Warehouses on the Semantic Web


Gur, N., Pedersen, T. B., Zimányi, E. & Hose, K., 2018, I : Semantic Web. 9, 5, s. 557-587 30 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
66 Downloads (Pure)

Aggregate k Nearest Neighbor Queries in Metric Spaces

Ding, X., Zhang, Y., Chen, L., Yang, K. & Gao, Y., 2018, Web and Big Data: Second International Joint Conference, APWeb-WAIM 2018, Macau, China, July 23-25, 2018, Proceedings, Part II. Cai, Y., Ishikawa, Y. & Xu, J. (red.). Springer, Bind 2. s. 317-333 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10988 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Agility for UX and Development: A Case Study

Persson, J. S., Nielsen, P. A. & Bruun, A., 1 okt. 2018.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

Åben adgang
Fil
123 Downloads (Pure)

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. (red.). Springer, s. 339-355 17 s. (Lecture Notes in Computer Science, Bind 11024).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
68 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. (red.). EPTCS, Bind 268. s. 150-168 19 s. (Electronic Proceedings in Theoretical Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
3 Citationer (Scopus)
99 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, s. 679-688 10 s. (Annual Symposium on Logic in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
30 Downloads (Pure)

Analytical metadata modeling for next generation BI systems

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

5 Citationer (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. (red.). Springer, s. 173-189 17 s. (Lecture Notes in Computer Science, Bind 11024).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (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, I : International Journal of Approximate Reasoning. 92, s. 198-211 14 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1 Citationer (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. (red.). Springer, s. 177-184 8 s. (Lecture Notes in Computer Science (LNCS), Bind 11001).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (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. (red.). Springer, s. 547-565 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11136 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (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, I : Journal of Artificial Intelligence Research. 62, s. 799-828 30 s.

Publikation: Bidrag til tidsskriftReview (oversigtsartikel)Forskningpeer review

Åben adgang
Fil
4 Citationer (Scopus)
167 Downloads (Pure)

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

Jensen, R. H., Kjeldskov, J. & Skov, M., okt. 2018, I : ACM Transactions on Computer-Human Interaction. 25, 5, 33 s., 25.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
196 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, Bind 2018-June. s. 278-279 2 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (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, s. 511-528 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10827 LNCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

8 Citationer (Scopus)

Average-energy games

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

12 Citationer (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, s. 11-26 (Lecture Notes in Computer Science, Bind 10739).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
2 Citationer (Scopus)
12 Downloads (Pure)

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

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

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

Åben adgang
Fil
26 Downloads (Pure)

Beyond Macrobenchmarks: Microbenchmark-based Graph Database Evaluation

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
124 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, s. 669-678 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (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. (red.). Reading, UK: Academic Conferences and Publishing International, s. 161-169

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Charting the algorithmic complexity of waypoint routing

Amiri, S. A., Foerster, K. T., Jacob, R. & Schmid, S., 1 jan. 2018, I : Computer Communication Review. 48, 1, s. 42-48 7 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
8 Citationer (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, I : interactions. 25, 6, s. 78-81

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
22 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 s. SIG07

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

Cloud Intelligence

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. 2 udg. Springer Publishing Company, s. 481-482 2 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer 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, s. 549-558 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citationer (Scopus)

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

Bidragets oversatte titel: Kombinering af en systemcentreret og en brugercentreret tilgang i udviklingen af offentlige selvbetjeningsløsningerBillestrup, J., 2018, Aalborg Universitetsforlag. 199 s. (Ph.d.-serien for Det Tekniske Fakultet for IT og Design, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandling

Åben adgang
Fil
139 Downloads (Pure)

Commentary: Usability in Theory and Practice

Stage, J., 2018, I : Human-Computer Interaction. 33, 2, s. 195-197 3 s., 10.1080/07370024.2017.1333908.

Publikation: Bidrag til tidsskriftKommentar/debatForskningpeer review

1 Citationer (Scopus)

Complete Axiomatization for the Total Variation Distance of Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R., 16 apr. 2018, I : Electronic Notes in Theoretical Computer Science. 336, s. 27-39 13 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
116 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, Bind 2018-June. s. 276-277 2 s. (IEEE International Conference on Mobile Data Management (MDM)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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, Bind TR-2018-203).

Publikation: Bog/antologi/afhandling/rapportRapport

Åben adgang
Fil
30 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, Bind 276. s. 3-18 16 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
146 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, I : A C M Computing Surveys. 51, 3, 39 s., 64.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
6 Citationer (Scopus)
70 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 s.

Publikation: Bog/antologi/afhandling/rapportBog

Åben adgang
23 Citationer (Scopus)

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, A. L., Fribourg, L. & Vacher, J., 1 jan. 2018, I : IFAC-PapersOnLine. 51, 16, s. 259-264 6 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citationer (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 okt. 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. (red.). Association for Computing Machinery, s. 1527-1530 4 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

15 Citationer (Scopus)

Cube

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd udg. New York: Springer, s. 1

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer 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. s. 1-12 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
1 Citationer (Scopus)
172 Downloads (Pure)

Database Technology for Processing Temporal Data

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
1 Citationer (Scopus)
16 Downloads (Pure)

Data Exploration using Example-based Methods

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

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer 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, s. 134-138 5 s. (e-Energy '18).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

4 Citationer (Scopus)

Deep representation learning for trajectory similarity computation

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

16 Citationer (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 s. Paper 4

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
18 Citationer (Scopus)
195 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, Bind 10939. s. 373-385 13 s. (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (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. (red.). IEEE Computer Society Press, s. 224-235 12 s. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Bind 2018-October).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (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, Bind 2018-April. s. 1DUMMY 6 s. LBW041

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

1 Citationer (Scopus)

Dimension

Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd Edition udg. New York: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review