Institut for Datalogi

Publikationer

Publikationer pr. år

1987 2020

• 1970 Konferenceartikel i proceeding
• 926 Tidsskriftartikel
• 277 Bidrag til bog/antologi
• 270 Bog
• 828 Mere
  • 229 Konferenceartikel i tidsskrift
  • 122 Rapport
  • 102 Ph.d.-afhandling
  • 65 Encyclopædiartikel
  • 56 Antologi
  • 48 Leder
  • 40 Paper uden forlag/tidsskrift
  • 38 Working paper
  • 36 Konferenceabstrakt i proceeding
  • 22 Poster
  • 20 Forord/Indledning/efterskrift
  • 13 Konferenceabstrakt i tidsskrift
  • 8 Konferenceabstrakt til konference
  • 5 Bidrag til rapport
  • 5 Andet bidrag
  • 4 Kommentar/debat
  • 4 Review (oversigtsartikel)
  • 3 Doktordisputats
  • 2 Udgivelser på nettet - Net-publikation
  • 2 Patent
  • 1 Kompendium/lecture notes
  • 1 Bidrag til avis - Kronik
  • 1 Bidrag til avis - Avisartikel
  • 1 Letter

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2018

  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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Nearest neighbor search
  • Trees (mathematics)
  • Resource allocation
  • Set theory
  • Experiments

• Agility for UX and Development: A Case Study

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

  Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Industry
  • Managers
  142 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Chemical analysis
  1 Citationer (Scopus)

  101 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Avionics
  • Model checking
  • Statistical Models
  • Stop watches
  • Concretes
  5 Citationer (Scopus)

  134 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Markov processes
  • Algebra
  • Semantics
  4 Citationer (Scopus)

  69 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Competitive intelligence
  • Metadata
  • Data structures
  • Decision making
  • Semantics
  6 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Extrapolation
  • Hybrid systems
  • Battery management systems
  • Differential equations
  • Statistical methods
  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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Bayesian Networks
  • Empirical Study
  • Bayesian networks
  • Propagation
  • Factorization
  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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • supervision
  • learning
  • Open Sources
  • Teaching
  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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Agglomeration
  • Query processing
  • Metadata
  • Data storage equipment
  • Data Analytics
  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 tidsskrift › Review (oversigtsartikel) › Forskning › peer review

  Åben adgang

  Fil

  • Bayesian networks
  • Costs
  7 Citationer (Scopus)

  210 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Electricity
  • Heating
  • Pumps
  • Human computer interaction
  • Hot Temperature
  2 Citationer (Scopus)

  230 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Data Analytics
  • Information management
  • Location based services
  • Computer science
  • Testbeds
  5 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Long short-term memory
  • Recommender systems
  11 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Data storage equipment
  • Controllers
  17 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil
  2 Citationer (Scopus)

  23 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/rapport › Ph.d.-afhandling › Forskning

  Åben adgang

  Fil
  48 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Graph Databases
  • Macros
  • Specifications
  5 Citationer (Scopus)

  163 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Algebra
  • Semantics
  • Random variables
  • Syntactics
  • Computer programming languages
  5 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 proceeding › Konferenceartikel i proceeding › Forskning › peer 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  • Computer networks
  • Hardness
  • Computer hardware
  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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Big data
  2 Citationer (Scopus)

  38 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Big data
  • Ubiquitous computing
  3 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 proceeding › Bidrag til bog/antologi › Forskning › peer review

  • Cloud computing
  • Competitive intelligence
  • Big data

• 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Health Care Quality Indicators
  • Obsessive Behavior
  • Technology
  • Physiologic Monitoring
  • Health
  1 Citationer (Scopus)

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

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

  Publikation: Bog/antologi/afhandling/rapport › Ph.d.-afhandling › Forskning

  Åben adgang

  Fil
  191 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 tidsskrift › Kommentar/debat › Forskning › peer 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

  Åben adgang

  Fil

  • Total Variation Distance
  • Axiomatization
  • Markov processes
  • Markov chain
  • Deduction
  2 Citationer (Scopus)

  155 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Trajectories
  • Distance measurement
  1 Citationer (Scopus)

• 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/rapport › Rapport › Forskning

  Åben adgang

  Fil
  48 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Equivalence classes
  173 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 tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Query Processing
  • Query processing
  • Query
  • Location based services
  • Filling stations
  7 Citationer (Scopus)

  101 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/rapport › Bog › Forskning › peer review

  Åben adgang

  • Systems analysis
  • Requirements engineering
  • Large scale systems
  • Scheduling
  33 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 tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Deep neural networks
  • Time series
  • Recurrent neural networks
  • Neural networks
  • Cyber Physical System
  23 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 proceeding › Bidrag til bog/antologi › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil

  • Palmprint recognition
  • Wheels
  • Feedback
  • Machine learning
  • Controllers
  3 Citationer (Scopus)

  209 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Åben adgang

  Fil

  • Relational database systems
  • Time series
  3 Citationer (Scopus)

  25 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/rapport › Bog › Forskning › peer review

  • Query languages
  • Machine learning

• 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Electric vehicles
  • Power markets
  • Cost reduction
  • Agglomeration
  • Electricity
  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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Trajectories
  • Deep learning
  • Animals
  • Sampling
  • Experiments
  26 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  Fil

  • Human-Computer Interaction (HCI)
  • Energy Consumption
  • Sustainability
  • Household
  • Qualitative Study
  22 Citationer (Scopus)

  270 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review
  3 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Syntactics
  • Botnet
  • Malware
  • Denial-of-service attack
  4 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 proceeding › Konferenceartikel i proceeding › Forskning

  • Health Care Quality Indicators
  • Obsessive Behavior
  • Technology
  • Nurses
  • Delivery of Health Care
  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 proceeding › Bidrag til bog/antologi › Forskning › peer review

• Discovering Diversified Paths in Knowledge Bases

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Åben adgang

  Fil

  • Demonstrations
  • Engines
  2 Citationer (Scopus)

  104 Downloads (Pure)

• Discrete and Continuous Strategies for Timed-Arc Petri Net Games

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  • Petri nets
  • Controllers
  5 Citationer (Scopus)

• Distinguishing Trajectories from Different Drivers using Incompletely Labeled Trajectories

  Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 17 okt. 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. (red.). Association for Computing Machinery, s. 863-872 10 s.

  Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
  19 Citationer (Scopus)