1. 2018
  2. Udgivet

    Accurate Fuel Estimates using CAN Bus Data and 3D Maps. / Andersen, Ove; Torp, Kristian.

    MDM 2018. 2018.

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

  3. Udgivet

    A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems. / Han, Pujie; Zhai, Zhengjun; Nielsen, Brian; Nyman, Ulrik Mathias.

    Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. red. / Simon Bliudze; Saddek Bensalem. 2018. s. 39-51.

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

  4. Accepteret/In press

    A Conceptual Model of Agile Software Development in a Safety-Critical Context: A Systematic Literature Review. / Tordrup Heeager, Lise; Nielsen, Peter Axel.

    I: Information and Software Technology, 13.06.2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  5. Accepteret/In press

    Adaptive User-Oriented Direct Load-Control of Residential Flexible Devices. / Frazzetto, Davide; Neupane, Bijay; Pedersen, Torben Bach; Nielsen, Thomas Dyhre.

    ACM SIGCOMM e-Energy Conference 2018. Association for Computing Machinery, 2018.

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

  6. Udgivet
  7. Udgivet

    A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems. / Han, Pujie; Zhai, Zhengjun; Nielsen, Brian; Nyman, Ulrik Mathias.

    Proceedings MARS/VPT 2018: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. red. / John P. Gallagher; Rob van Glabbeek; Wendelin Serwe. Bind 268 EPTCS, 2018. s. 150-168.

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

  8. Udgivet

    A modeling framework for schedulability analysis of distributed avionics systems. / Han, Pujie; Zhai, Zhengjun; Nielsen, Brian; Nyman, Ulrik.

    I: Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 268, 23.03.2018, s. 150-168.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

  9. Accepteret/In press
  10. Udgivet

    Automatic Generation of Natural Language Explanations. / Da Costa, Felipe Soares; Ouyang, Sixun; Dolog, Peter; Lawlor, Aonghus.

    Proceedings of the 23rd International Conference on Intelligent User Interfaces. Association for Computing Machinery, 2018.

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

  11. Udgivet

    Average-energy games. / Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Larsen, Kim Guldstrand; Laursen, Simon.

    I: Acta Informatica, Bind 55, Nr. 2, 03.2018, s. 91-127.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  12. Accepteret/In press

    A Walk in the Clouds: Routing through VNFs on Bidirected Networks. / Förster, Klaus-Tycho; Parham, Mahmoud; Schmid, Stefan.

    3rd International Workshop on Algorithmic Aspects of Cloud Computing (ALGOCLOUD). 2018.

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

  13. Udgivet

    Charting the algorithmic complexity of waypoint routing. / Amiri, Saeed Akhoondian; Foerster, Klaus Tycho; Jacob, Riko; Schmid, Stefan.

    I: Computer Communication Review, Bind 48, Nr. 1, 01.01.2018, s. 42-48.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  14. Udgivet

    Combining a System-Centred and a User-Centred Approach in the Development of Public Self-Service Applications. / Billestrup, Jane.

    Aalborg Universitetsforlag, 2018. 199 s.

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

  15. Udgivet

    Day-ahead Trading of Aggregated Energy Flexibility. / Valsomatzis, Emmanouil; Pedersen, Torben Bach; Abelló, Alberto.

    Proceedings of the Ninth International Conference on Future Energy Systems. New York, NY, USA : Association for Computing Machinery, 2018. s. 134-138.

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

  16. Udgivet

    Designing the Desirable Smart Home: A Study of Household Experiences and Energy Consumption Impacts. / Jensen, Rikke Hagensby; Yolande Strengers ; Kjeldskov, Jesper; Larissa Nicholls ; Skov, Mikael.

    Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18). Association for Computing Machinery, 2018. Paper 4.

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

  17. Udgivet

    Diagnostic Agents: Collaborative Interpretation for Cardiac Patients at Home. / Kjærup, Maria; Kouzeli, Stefania; Skov, Mikael; Kjeldskov, Jesper; Skov, Charlotte Schmidt; Søgaard, Peter.

    2018.

    Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskning

  18. Accepteret/In press

    Efficient Matching of Offers and Requests in Social-Aware Ridesharing. / Fu, Xiaoyi; Zhang, Ce; Lu, Hua; Xu, Jianliang.

    Proceedings of the 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, 2018.

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

  19. Udgivet

    ETL. / Thomsen, Christian.

    Encyclopedia of Big Data Technologies. red. / Sherif Sakr; Albert Zomaya. Springer Publishing Company, 2018.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingEncyclopædiartikelForskningpeer review

  20. Udgivet

    Exploring Hygge as a Desirable Design Vision for the Sustainable Smart Home. / Jensen, Rikke Hagensby; Yolande Strengers ; Raptis, Dimitrios; Larissa Nicholls ; Kjeldskov, Jesper; Skov, Mikael.

    DIS '18, Proceedings of the 2018 Conference on Designing Interactive Systems. Association for Computing Machinery, 2018. s. 355-360.

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

  21. Udgivet

    Extracting Rankings for Spatial Keyword Queries from GPS Data. / Keles, Ilkcan; Jensen, Christian Søndergaard; Saltenis, Simonas.

    Progress in Location Based Services 2018. Springer, 2018. s. 173-194.

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

  22. Udgivet

    Finding top-k shortest paths with diversity. / Liu, Huiping; Jin, Cheqing; Yang, Bin; Zhou, Aoying.

    I: IEEE Transactions on Knowledge and Data Engineering, Bind 30, Nr. 3, 01.01.2018, s. 488-502.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  23. Udgivet
  24. Udgivet

    Grand challenges in Shape-changing interface research. / Alexander, Jason; Roudaut, Anne; Steimle, Jürgen; Hornbæk, Kasper; Alonso, Miguel Bruns; Follmer, Sean; Merritt, Timothy.

    CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Bind 2018-April Association for Computing Machinery, 2018.

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

  25. Udgivet

    High-level frameworks for the specification and verification of scheduling problems. / Chadli, Mounir; Kim, Jin H.; Larsen, Kim G.; Legay, Axel; Naujokat, Stefan; Steffen, Bernhard; Traonouez, Louis Marie.

    I: International Journal on Software Tools for Technology Transfer, Bind 20, Nr. 4, 2018, s. 397–422.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  26. Udgivet

    Hybrid Learning Model with Barzilai-Borwein Optimization for Context-aware Recommendations. / Da Costa, Felipe Soares; Dolog, Peter.

    Proceedings of the Thirtieth-First Florida Artificial Intelligence Research Society Conference. AAAI Press Association for the Advancement of Artificial Intelligence, 2018. s. 456-461.

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

  27. Udgivet

    Increasing Confidence through Competence in People with Dementia Through Meaningful Conversations. / Paay, Jeni; Bank, Mette; Aaen, Ivan.

    Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, 2018.

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

  28. Accepteret/In press

    In Search of Indoor Dense Regions: An Approach Using Indoor Positioning Data. / Li, Huan; Lu, Hua; Shou, Lidan; Chen, Gang; Chen, Ke.

    I: I E E E Transactions on Knowledge & Data Engineering, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  29. Udgivet

    Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. / Nyman, Ulrik; Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Legay, Axel.

    22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. IEEE, 2018. s. 11-19.

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

  30. Udgivet

    Interactive Technologies Helping Young Adults Manage Low Self-Esteem. / Paay, Jeni; Larsen, Helle ; Nielsen, Heidi.

    Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, 2018.

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

  31. Accepteret/In press

    Investigating Disruption : A Literature Review of Core Concepts of Disruptive Innovation Theory. / Lundgaard, Stine Schmieg; Rosenstand, Claus Andreas Foss.

    Aalborg Universitetsforlag, 2018.

    Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

  32. Udgivet

    Kraken : Online and Elastic Resource Reservations for Cloud Datacenters. / Fuerst, Carlo; Schmid, Stefan; Suresh, Lalith; Costa, Paolo.

    I: IEEE/ACM Transactions on Networking, Bind 26, Nr. 1, 2018, s. 422-435.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  33. Udgivet

    Local fast failover routing with low stretch. / Foerster, Klaus Tycho; Pignolet, Yvonne Anne; Schmid, Stefan; Tredan, Gilles.

    I: Computer Communication Review, Bind 48, Nr. 1, 01.01.2018, s. 35-41.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  34. Udgivet

    Location Analytics for Location-Based Social Networks. / Saleem, Muhammad Aamir.

    Aalborg Universitetsforlag, 2018. 213 s.

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

  35. Accepteret/In press

    Location Inference for Non-geotagged Tweets in User Timelines. / Li, Pengfei; Lu, Hua; Kanhabua, Nattiya; Zhao, Sha; Pan, Gang.

    I: I E E E Transactions on Knowledge & Data Engineering, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  36. Accepteret/In press

    Loop-Free Route Updates for Software-Defined Networks. / Foerster, Klaus Tycho; Ludwig, Arne; Marcinkowski, Jan; Schmid, Stefan.

    I: IEEE/ACM Transactions on Networking, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  37. Udgivet

    Model Checking Real-Time Systems. / Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand; Markey, Nicolas; Ouaknine, Joël; Worrell, James.

    Handbook of Model Checking. Springer Publishing Company, 2018. s. 1001-1046.

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

  38. Udgivet

    MOVE: A Mobile App Designed for Social Health Relations in Residential Areas. / Kanstrup, Anne Marie; Bertelsen, Pernille Scholdan; Nunez, Heilyn Camacho; Jonasen, Tanja Svarre; Stage, Jan.

    Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth. Bind 247 IOS Press, 2018. s. 496-500.

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

  39. Udgivet

    On the axiomatizability of quantitative algebras. / Mardare, Radu Iulian; Panagaden, Prakash; Plotkin, Gordon.

    32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science. 2018.

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

  40. Udgivet

    Operationalising ecosystem service assessment in Bayesian Belief Networks : Experiences within the OpenNESS project. / Smith, Ron; Barton, David N.; Dick, Jan; Haines-Young, Roy; Madsen, Anders Læsø; Rusch, Graciela M.; Termansen, Mette; Woods, Helen; Carvalho, Laurence; Giuca, Relu Constantin; Luque, Sandra; Odee, David; Rusch, Veronica; Saarikoski, Heli; Adamescu, Christian Mihai; Dunford, Rob; Ochieng, John; Gonzalez-Redin, Julen; Stange, Erik; Vadineanu, Angheluta; Verweij, Peter; Vikstrom, Suvi.

    I: Ecosystem Services, Bind 29, Nr. Part C, 02.2018, s. 452-464.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  41. Udgivet

    PACE : a PAth-CEntric paradigm for stochastic path finding. / Yang, Bin; Dai, Jian; Guo, Chenjuan; Jensen, Christian S.; Hu, Jilin.

    I: VLDB Journal, Bind 27, Nr. 2, 2018, s. 153-178.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  42. Accepteret/In press

    Parametric Multi-Channel Separation and Re-Panning of Harmonics Sources. / Hansen, Martin Weiss; Hjerrild, Jacob Møller; Christensen, Mads Græsbøll; Kjeldskov, Jesper.

    International Conference on Digital Audio Effects (DAFx-18). 2018.

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

  43. Udgivet

    Passenger trip planning using ride-sharing services. / Svangren, Michael K.; Skov, Mikael B.; Kjeldskov, Jesper.

    CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Bind 2018-April Association for Computing Machinery, 2018.

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

  44. Udgivet

    Predicting Visitors Using Location-Based Social Networks. / Saleem, Muhammad Aamir; Da Costa, Felipe Soares; Dolog, Peter; Karras, Panagiotis; Pedersen, Torben Bach; Calders, Toon.

    19th IEEE International Conference on Mobile Data Management (MDM). IEEE Computer Society Press, 2018. s. 245-250.

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

  45. Accepteret/In press

    Querying Spatial Data by Dominators in Neighborhood. / Lu, Hua; Yiu, Man Lung; Xie, Xike.

    I: Information Systems, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  46. Udgivet

    QuittyLink: Involving Smokers in the Design of Technology that Supports Individuals in Quitting. / Paay, Jeni; Kjeldskov, Jesper; Brinthaparan, Umachanger; Lichon, Lars; Rasmussen, Stephan; Srikandarajah, Nirojan.

    Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, 2018.

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

  47. Udgivet

    Range Queries on Multi-Attribute Trajectories. / Xu, Jianqiu; Lu, Hua; Guting, Ralf Hartmut.

    I: I E E E Transactions on Knowledge & Data Engineering, Bind 30, Nr. 6, 01.06.2018, s. 1206 - 1211 .

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  48. Udgivet

    Riesz Modal logic for Markov processes. / Mardare, Radu Iulian; Furber, Robert; Mio, Matteo.

    32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science. IEEE Press, 2018.

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

  49. Accepteret/In press

    Risk-aware path selection with time-varying, uncertain travel costs : a time series approach. / Hu, Jilin; Yang, Bin; Guo, Chenjuan; Jensen, Christian S.

    I: VLDB Journal, 24.01.2018, s. 1-22.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  50. Udgivet

    Sade : competitive MAC under adversarial SINR. / Ogierman, Adrian; Richa, Andrea; Scheideler, Christian; Schmid, Stefan; Zhang, Jin.

    I: Distributed Computing, Bind 31, Nr. 3, 06.2018, s. 241-254.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  51. Udgivet

    Selecting methods for ecosystem service assessment : A decision tree approach. / Harrison, Paula A.; Dunford, Rob; Barton, David N.; Kelemen, Eszter; Martin-Lopez, Berta; Norton, Lisa; Termansen, Mette; Saarikoski, Heli; Hendriks, Kees; Gomez-Baggethun, Erik; Czucz, Balint; Garcia-Llorente, Marina; Howard, David; Jacobs, Sander; Karlsen, Martin; Kopperoinen, Leena; Madsen, Anders Læsø; Rusch, Graciela M. ; van Eupen, Michiel; Verweij, Peter; Smith, Ron; Tuomasjukka, Diana; Zulian, Grazia.

    I: Ecosystem Services, Bind 29, Nr. Part C, 02.2018, s. 481-498.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  52. Udgivet

    SimpleETL: ETL Processing by Simple Specifications. / Andersen, Ove; Thomsen, Christian; Torp, Kristian.

    Proceedings of the 20th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data co-located with 10th EDBT/ICDT Joint Conference. 2018. s. 1.

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

  53. Udgivet

    Smart Home Models - Analysis, Simulation and Synthesis. / Pedersen, Thomas.

    2018.

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

  54. Udgivet

    Spatial Keyword Querying: Ranking Evaluation and Efficient Query Processing. / Keles, Ilkcan.

    Aalborg Universitetsforlag, 2018. 195 s.

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

  55. Udgivet

    TeleHuman2 : A cylindrical light field teleconferencing system for life-size 3D human telepresence. / Gotsch, Dan; Zhang, Xujing; Merritt, Timothy; Vertegaal, Roel.

    CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Bind 2018-April Association for Computing Machinery, 2018.

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

  56. Udgivet

    The SEE toolkit: How Young Adults Manage Low Self-esteem Using Personal Technologies. / Paay, Jeni; Larsen, Helle; Nielsen, Heidi.

    Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, 2018.

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

  57. Udgivet

    Timed Comparisons of Semi-Markov Processes. / Pedersen, Mathias Ruggaard; Larsen, Kim Guldstrand; Bacci, Giorgio; Mardare, Radu Iulian; Fijalkow, Nathanaël.

    Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. red. / Shmuel Tomi Klein; Carlos Martin-Vide; Dana Shapira. Springer Publishing Company, 2018. s. 271-283.

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

  58. Udgivet

    Tools and Techniques for Advanced Traffic Analytics. / Andersen, Ove.

    2018.

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

  59. Udgivet

    Towards Why-Not Spatial Keyword Top-k Queries : A Direction-Aware Approach. / Chen, Lei; Li, Yafei; Xu, Jianliang; Jensen, Christian S.

    I: IEEE Transactions on Knowledge and Data Engineering, Bind 30, Nr. 4, 2018.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  60. Accepteret/In press

    TRIPS: A System for Translating Raw Indoor Positioning Data into Usable Mobility Semantics. / Li, Huan; Shi, Feichao; Lu, Hua; Shou, Lidan; Chen, Ke; Chen, Gang.

    I: Proceedings of the VLDB Endowment, 2018.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

  61. Udgivet

    Unrestricted stone duality for Markov processes. / Mardare, Radu Iulian; Furber, Robert; Panangaden, Prakash; Kozen, Dexter; Larsen, Kim Guldstrand.

    32nd Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE Press, 2018.

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

  62. Udgivet

    Washing with the Wind: A Study of Scripting towards Sustainability. / Jensen, Rikke Hagensby; Raptis, Dimitrios; Kjeldskov, Jesper; Skov, Mikael.

    DIS '18, Proceedings of the 2018 Conference on Designing Interactive Systems. Association for Computing Machinery, 2018. s. 1387-1400.

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

  63. 2017
  64. Udgivet

    ACCES : Offline Accuracy Estimation for Fingerprint-Based Localization. / Nikitin, Artyom; Laoudias, Christos; Chatzimilioudis, Georgios; Karras, Panagiotis; Zeinalipour-Yazti, Demetrios.

    18th IEEE International Conference on Mobile Data Management (MDM). IEEE, 2017. s. 358-359.

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

  65. Udgivet
  66. Udgivet
  67. Udgivet

    Active Involvement of Software Developers in Usability Engineering : Two Small-Scale Case Studies. / Bornoe, Nis; Stage, Jan.

    Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. red. / Regina Bernhaupt; Girish Dalvi; Anirudha Joshi; Devanuj K. Balkrishan; Jacki O'Neill; Marco Winckler. Springer, 2017. s. 159-168.

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

  68. Udgivet

    Activity-Driven Influence Maximization in Social Networks. / Kumar, Rohit; Saleem, Muhammad Aamir; Calders, Toon; Xie, Xike; Pedersen, Torben Bach.

    Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III. Springer, 2017. s. 345-348.

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

  69. Udgivet

    Aesthetic, Functional and Conceptual Provocation in Research Through Design. / Raptis, Dimitrios; Jensen, Rikke Hagensby; Kjeldskov, Jesper; Skov, Mikael.

    DIS '17, Proceedings of the 2017 Conference on Designing Interactive Systems. Association for Computing Machinery, 2017. s. 29-41.

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

  70. E-pub ahead of print

    A Foundation for Spatial Data Warehouses on the Semantic Web
. / Gur, Nurefsan; Pedersen, Torben Bach; Zimaányi, Esteban; Hose, Katja.

    I: Semantic Web, 2017, s. 1-31.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  71. Udgivet

    Aggregation Techniques for Energy Flexibility. / Valsomatzis, Emmanouil.

    Aalborg Universitetsforlag, 2017. 151 s.

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

  72. Udgivet

    A Lens for Evaluating Genetic Information Governance Models : Balancing Equity, Efficiency and Sustainability. / Skorve, Espen; Vassilakopoulou, Polyxeni; Aanestad, Margunn; Grünfeld, Thomas.

    Informatics for Health: Connected Citizen-Led Wellness and Population Health. red. / Rebecca Randell; Ronald Cornet; Colin McCowan; Niels Peek; Philip J. Scott. IOS Press, 2017. s. 298-302.

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

  73. Udgivet

    Algorithm-data driven optimization of adaptive communication networks. / He, Mu; Kalmbach, Patrick; Blenk, Andreas; Kellerer, Wolfgang; Schmid, Stefan.

    2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 2017. 8117592.

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

  74. Udgivet

    Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters : A Model Checking Approach. / Novak, Mateja; Dragicevic, Tomislav; Blaabjerg, Frede; Nyman, Ulrik Mathias.

    Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 2017.

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

  75. Udgivet

    A Network Architecture for Multi-Multi-Instance Learning. / Tibo, Alessandro; Frasconi, Paolo; Jaeger, Manfred.

    Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part I. Springer, 2017. s. 737-752 .

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

  76. Udgivet

    A parallel algorithm for Bayesian network structure learning from large data sets. / Madsen, Anders Læsø; Jensen, Frank; Salmerón, Antonio; Langseth, Helge; Nielsen, Thomas Dyhre.

    I: Knowledge-Based Systems, Bind 117, 2017, s. 46-55.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  77. Udgivet

    A Platform for Developing and Maintaining Competences in PBL Supervision. / Gnaur, Dorina; Huttel, Hans.

    Emerging Technologies for Education: International Symposium on Emerging Technologies for Education. red. / Tien-Chi Huang; Rynson Lau; Yueh-Min Huang; Marc Spaniol; Chun-Hung Yuen. Springer, 2017. s. 297-303.

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

  78. Udgivet

    Application system design - energy optimisation. / Albano, Michele; Castineira, Rodrigo; Desdouits, Chloe; Ferreira, Luis Lino; Le Guilly, Thibaut; Isasa, Inge; Jokinen, Jani; Kondratjevs, Kaspars; Kunicina, Nadezhda; Manero, Lorenzo; Milo, Aitor; Monge, Javier; Le Pape, Claude; Pedersen, Per D.; Pedersen, Torben Bach; Olsen, Petur; Siksnys, Laurynas; Skou, Arne Joachim; Smid, Radislav; Socorro, Rafael; Stluka, Petr; Zabasta, Anatolijs.

    IoT Automation: Arrowhead Framework. red. / Jerker Delsing. CRC Press, 2017. s. 211-247.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  79. Udgivet

    Applying object-oriented bayesian networks for smart diagnosis and health monitoring at both component and factory level. / Madsen, Anders L.; Søndberg-Jeppesen, Nicolaj; Sayed, Mohamed S.; Peschl, Michael; Lohse, Niels.

    Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Proceedings. Bind Part II Springer, 2017. s. 132-141.

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

  80. Udgivet

    A Self-Organizing Distributed and In-Band SDN Control Plane. / Canini , Marco; Salem , Losif; Schiff, Liron; Schiller, Elad M.; Schmid, Stefan.

    IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, 2017. s. 2656-2657.

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

  81. Udgivet

    A social interactive whiteboard system using finger-tracking for mobile devices. / Bested, Morten; Weisberg, Andreas Harby; Durão, Frederico Araújo.

    I: Multimedia Tools and Applications, Bind 76, Nr. 4, 01.02.2017, s. 5367-5397.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  82. Udgivet

    Assessing the accuracy benefits of on-the-fly trajectory selection in fine-grained travel-time estimation. / Waury, Robert; Hu, Jilin; Yang, Bin; Jensen, Christian S.

    Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017. IEEE, 2017. s. 240-245 7962458.

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

  83. Udgivet

    A Two-Way Path Between Formal and Informal Design of Embedded Systems. / Chen, Mingshuai ; Ravn, Anders Peter; Wang, Shuling ; Yang, Mengfei ; Zhan, Naijun .

    Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. red. / Jonathan P. Bowen; Huibiao Zhu. Springer, 2017. s. 65-92.

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

  84. Udgivet

    BioNex : A System For Biomedical News Event Exploration. / Ernst, Patrick ; Mishra, Arunav; Anand, Avishek; Setty, Vinay Jayarama.

    SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval . Association for Computing Machinery, 2017. s. 1277-1280.

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

  85. Udgivet

    Brief announcement : Distributed SplayNets. / Peres, Bruna S.; Goussevskaia, Olga; Schmid, Stefan; Avin, Chen.

    31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017.

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

  86. Udgivet

    CADLens : Haptic feedback for navigating in 3D environments. / Haulrik, Nikolaj; Petersen, Rasmus M.; Merritt, Timothy.

    DIS 2017 Companion - Proceedings of the 2017 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, 2017. s. 127-131.

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

  87. Udgivet

    Calming Children When Drawing Blood Using Breath-based Biofeedback. / Sonne, Tobias; Merritt, Tim; Marshall, Paul; Lomholt, Johanne J.; Müller, Jörg; Grønbæk, Kaj.

    DIS 2017 - Proceedings of the 2017 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, 2017. s. 725-737.

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

  88. Udgivet

    Case-Study Framework for Properties of Disruptive Digital Entrants. / Nielsen, Kjeld; Johansen, Stine Schmieg; Rosenstand, Claus Andreas Foss; Brunø, Thomas Ditlev.

    ISPIM Innovation Symposium. ISPIM Conference, 2017.

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

  89. Udgivet

    Characterizing digital disruption in the general theory of disruptive innovation. / Haase, Louise Møller; Gertsen, Frank; Johansen, Stine Schmieg; Rosenstand, Claus Andreas Foss.

    ISPIM Innovation Symposium. ISPIM Conference, 2017.

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

  90. Udgivet

    Child-Computer Interaction SIG : Ethics and Values. / Hourcade, Juan Pablo; Zeising, Anja; Iversen, Ole; Pares, Narcis; Eisenberg, Michael; Quintana, Chris; Skov, Mikael.

    Proceedings of ACM CHI 2017 Conference on Human Factors in Computing Systems. Association for Computing Machinery, 2017.

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

  91. Udgivet

    Chronus : Consistent Data Plane Updates in Timed SDNs. / Zheng, Jiaqi; Chen, Guihai; Schmid, Stefan; Dai, Haipeng; Wu, Jie.

    Proceedings - IEEE 37th International Conference on Distributed Computing Systems, ICDCS 2017. IEEE, 2017. s. 319-327 7979978.

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

  92. Udgivet

    Cleansing indoor RFID tracking data. / Baba, Asif Iqbal; Lu, Hua; Pedersen, Torben Bach; Jaeger, Manfred.

    I: SIGSPATIAL Special, Bind 9, Nr. 1, 2017, s. 11-18.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  93. Udgivet

    Clue-based Spatio-textual Query. / liu, junling; Deng, Ke; Sun, Huanliang; Ge, Yu; Zhou, Xiaofang; Jensen, Christian Søndergaard.

    I: Proceedings of the VLDB Endowment, Bind 10, Nr. 5, 01.2017, s. 529-540.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  94. Udgivet

    Collective travel planning in spatial networks. / Shang, Shuo; Chen, Lisi; Wei, Zhewei; Jensen, Christian S.; Wen, Ji Rong; Kalnis, Panos.

    Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, 2017. s. 59-60 7929932.

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

  95. Udgivet

    Commentary : Usability in Theory and Practice. / Stage, Jan.

    I: Human-Computer Interaction, Bind 33, Nr. 2, 10.1080/07370024.2017.1333908, 2017, s. 195-197.

    Publikation: Bidrag til tidsskriftKommentar/debatForskningpeer review

  96. Udgivet

    Competitive clustering of stochastic communication patterns on a ring. / Avin, Chen; Cohen, Louis; Schmid, Stefan.

    Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, 2017. s. 231-247.

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

  97. Udgivet

    Compositional bisimulation metric reasoning with Probabilistic Process Calculi. / Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone.

    I: Logical Methods in Computer Science, Bind 12, Nr. 4, 2017.

    Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskning

  98. Udgivet

    Compositional testing of real-time systems. / Larsen, Kim G.; Legay, Axel; Mikučionis, Marius; Nielsen, Brian; Nyman, Ulrik.

    ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Bind 10500 LNCS Springer, 2017. s. 107-124.

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

  99. Udgivet

    Conformance test development with the Java modeling language. / Søndergaard, Hans; Korsholm, Stephan E.; Ravn, Anders P.

    I: Concurrency Computation, Bind 29, Special Issue Paper, 2017.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  100. Udgivet

    Content Recommendation for Viral Social Influence. / Ivanov, Sergei; Theocharidis, Konstantinos; Terrovitis, Manolis; Karras, Panagiotis.

    Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, 2017. s. 565-574.

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

  101. Udgivet

    Convergence of even simpler robots without position information. / Pattanayak, Debasish; Mondal, Kaushik; Mandal, Partha Sarathi; Schmid, Stefan.

    Networked Systems - 5th International Conference, NETYS 2017, Proceedings. Bind 10299 LNCS Springer, 2017. s. 69-85.

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

  102. Udgivet

    Converging coolness and investigating its relation to user experience. / Raptis, Dimitrios; Bruun, Anders; Kjeldskov, Jesper; Skov, Mikael.

    I: Behaviour and Information Technology, Bind 36, Nr. 4, 2017.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Forrige 1 2 3 4 5 6 7 8 ...38 Næste