• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2018

    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

    11 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

    155 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
    69 Citationer (Scopus)
    843 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

    11 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

    16 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

    2 Citationer (Scopus)
  • Distinguishing Trajectories from Different Drivers using Incompletely Labeled Trajectories

    Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 17 okt. 2018, Proceedings of the 27th ACM International Conference on Information and Knowledge Management, CIKM 2018. 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 proceedingKonferenceartikel i proceedingForskningpeer review

    40 Citationer (Scopus)
  • Distributed k-Nearest Neighbor Queries in Metric Spaces

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

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

    5 Citationer (Scopus)
  • DriveLaB: A platform for reducing speeding

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

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

    1 Citationer (Scopus)
  • Driving on Sunshine: Aligning Electric Vehicle Charging and Household Electricity Production

    Svangren, M. K., Jensen, R. H., Skov, M. & Kjeldskov, J., 1 okt. 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction . Association for Computing Machinery, s. 439-451 13 s.

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

    11 Citationer (Scopus)
  • Dynamic Spatio-temporal Integration of Traffic Accident Data

    Andersen, O. & Torp, K., 6 nov. 2018, Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems . Xiong, L., Tamassia, R., Banaei, K. F., Guting, R. H. & Hoel, E. (red.). Association for Computing Machinery, s. 596-599 4 s.

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

  • Efficient Matching of Offers and Requests in Social-Aware Ridesharing

    Fu, X., Zhang, C., Lu, H. & Xu, J., 13 jul. 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, Bind 2018-June. s. 197-206 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

    7 Citationer (Scopus)
  • Enabling self-aware smart buildings by augmented reality

    Aab, M., Chau, S. C. K. & Khonji, M., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 261-265 5 s.

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

    Åben adgang
    7 Citationer (Scopus)
  • Event2Vec: Neural embeddings for news events

    Setty, V. & Hose, K., 27 jun. 2018, 41st International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2018. Association for Computing Machinery, s. 1013-1016 4 s.

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

    13 Citationer (Scopus)
  • Exploring Hygge as a Desirable Design Vision for the Sustainable Smart Home

    Jensen, R. H., Strengers, Y., Raptis, D., Nichols, L., Kjeldskov, J. & Skov, M., 9 jun. 2018, DIS 2018 - Proceedings of the 2018 Designing Interactive Systems Conference. Association for Computing Machinery, s. 355-360 6 s.

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

    Fil
    34 Citationer (Scopus)
    577 Downloads (Pure)
  • Extracting Rankings for Spatial Keyword Queries from GPS Data

    Keles, I., Jensen, C. S. & Saltenis, S., 2018, Progress in Location Based Services 2018. 208669 udg. Springer, s. 173-194 22 s. (Lecture notes in geoinformation and Cartography).

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

  • Finding top-k optimal sequenced routes

    Liu, H., Jin, C., Yang, B. & Zhou, A., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 569-580 12 s. 8509279. (Proceedings of the International Conference on Data Engineering).

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

    38 Citationer (Scopus)
  • Finding Top-k Shortest Paths with Diversity

    Liu, H., Jin, C., Yang, B. & Zhou, A., 2018, 2018 IEEE 34th International Conference on Data Engineering (ICDE) . IEEE, s. 1761-1762 2 s. (Proceedings of the International Conference on Data Engineering).

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

    7 Citationer (Scopus)
  • Four Factors Informing Design Judgement at a Hackathon

    Olesen, J. F., Hansen, N. B. & Halskov, K., dec. 2018, Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 473-483 11 s. (OzCHI '18).

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

    7 Citationer (Scopus)
  • Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

    Boudjadar, J., Kim, J. H., Phan, L. T. X., Lee, I., Larsen, K. G. & Nyman, U., 25 jul. 2018, Proceedings - 2018 IEEE 21st International Symposium on Real-Time Computing, ISORC 2018. IEEE, s. 51-58 8 s. 8421146. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    Fil
    7 Citationer (Scopus)
    117 Downloads (Pure)
  • Grand challenges in Shape-changing interface research

    Alexander, J., Roudaut, A., Steimle, J., Hornbæk, K., Alonso, M. B., Follmer, S. & Merritt, T., 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.

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

    147 Citationer (Scopus)
  • GridDrones: A self-levitating physical voxel lattice for 3D surface deformations

    Braley, S., Rubens, C., Merritt, T. R. & Vertegaal, R., 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, 4 s. D200

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

    11 Citationer (Scopus)
  • Griddrones: A self-levitating physical voxel lattice for interactive 3D surface deformations

    Braley, S., Rubens, C., Merritt, T. & Vertegaal, R., 11 okt. 2018, UIST 2018 - Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, s. 87-98 12 s.

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

    21 Citationer (Scopus)
  • Happy Bits: Interactive Technologies Helping Young Adults with Low Self-Esteem

    Paay, J., Nielsen, H., Larsen, H. H. & Kjeldskov, J., 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction . Association for Computing Machinery, 10 s.

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    527 Downloads (Pure)
  • Hybrid Learning Model with Barzilai-Borwein Optimization for Context-aware Recommendations

    Da Costa, F. S. & Dolog, P., 21 maj 2018, Proceedings of the Thirtieth-First Florida Artificial Intelligence Research Society Conference. AAAI Publications, s. 456-461 6 s.

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    78 Downloads (Pure)
  • Increasing Confidence through Competence in People with Dementia Through Meaningful Conversations

    Paay, J., Bank, M. & Aaen, I., 4 jun. 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, s. 175-178 3 s. 40

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

    Åben adgang
    Fil
    694 Downloads (Pure)
  • Inference, Learning, and Population Size: Projectivity for SRL Models

    Jaeger, M. & Schulte, O., 2018, Eighth International Workshop on Statistical Relational AI: Accepted Papers. Statistical Relational AI (StarAI), 8 s.

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

    Åben adgang
  • Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU

    Nyman, U., Jensen, P. G., Larsen, K. G. & Legay, A., 15 feb. 2018, Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. IEEE, s. 11-19 9 s.

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    526 Downloads (Pure)
  • Interactive Technologies Helping Young Adults Manage Low Self-Esteem

    Paay, J., Larsen, H. & Nielsen, H., 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, s. 179-182 4 s. 41

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

    Åben adgang
    Fil
    1343 Downloads (Pure)
  • It’s not Complicated: A Study of Non-Specialists Analyzing GSR Sensor Data to Detect UX Related Events

    Bruun, A., 1 okt. 2018, NordiCHI 2018: Revisiting the Life Cycle - Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 170-183 14 s.

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    505 Downloads (Pure)
  • IZone: Efficient influence zone evaluation over geo-Textual Data

    Liu, Q., Feng, Z., Xi, X., Xu, J., Lin, X. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1645-1648 4 s. 8509418

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

    3 Citationer (Scopus)
  • Latency performance of encoding with random linear network coding

    Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2018, European Wireless 2018 : 24th European Wireless Conference . VDE Verlag GMBH, s. 120-124 5 s.

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

    1 Citationer (Scopus)
  • Learning to route with sparse trajectory sets

    Guo, C., Yang, B., Hu, J. & Jensen, C. S., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1073-1084 12 s. 8509321. (Proceedings of the International Conference on Data Engineering).

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

    60 Citationer (Scopus)
  • Location-aware top-κ term publish/subscribe

    Chen, L., Shang, S., Zhang, Z., Cao, X., Jensen, C. S. & Kalnis, P., 24 okt. 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, s. 749-760 12 s. 8509294. (Proceedings of the International Conference on Data Engineering).

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

    48 Citationer (Scopus)
  • Location Prediction in Social Networks

    Liu, R., Cong, G., Zheng, B., Zheng, K. & Su, H., 1 jan. 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, s. 151-165 15 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

    3 Citationer (Scopus)
  • MeteorQuest - Bringing Families Together Through Proxemics Play In A Mobile Social Game

    Rosenqvist, R., Boldsen, J., Papachristou, E. & Merritt, T. R., 2018, CHI PLAY '18 Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play. New York, NY, USA: Association for Computing Machinery, s. 439-450 12 s.

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

    6 Citationer (Scopus)
  • Model-Based Mutation Testing of Real-Time Systems via Model Checking

    Lorber, F., Larsen, K. G. & Nielsen, B., apr. 2018, 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, s. 59-68

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

    8 Citationer (Scopus)
  • Modeling and Managing Energy Flexibility Using FlexOffers

    Pedersen, T. B., Siksnys, L. & Neupane, B., 29 okt. 2018, IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids: SmartGridComm 2018. IEEE, s. 1-7 7 s.

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

    Åben adgang
    Fil
    22 Citationer (Scopus)
    281 Downloads (Pure)
  • Modeling travel behavior similarity with trajectory embedding

    Yang, W., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 jan. 2018, Database Systems for Advanced Applications - 23rd International Conference, DASFAA 2018, Proceedings. Springer, s. 630-646 17 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

    3 Citationer (Scopus)
  • Modelling and Analysing Overlay Networks by Ambients with Wormholes

    Hansen, R. R. & Probst, C. W., 2018, 2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018. IEEE Signal Processing Society, 8653596. (2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018).

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

    3 Citationer (Scopus)
  • Motivations and practices for cheating in Pokémon Go

    Paay, J., Kjeldskov, J., Iternicola, D. & Thomassen, M., 3 sep. 2018, MobileHCI 2018 Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 13 s. a35

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

    12 Citationer (Scopus)
  • MOVE: A Mobile App Designed for Social Health Relations in Residential Areas

    Kanstrup, A. M., Bertelsen, P. S., Nunez, H. C., Jonasen, T. S. & Stage, J., 2018, Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth. Klein, G. O., Karlsson, D., Moen, A. & Ugon, A. (red.). IOS Press, Bind 247. s. 496-500 5 s. (Studies in Health Technology and Informatics).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    126 Downloads (Pure)
  • NetSlicer: Automated and Traffic-Pattern Based Application Clustering in Datacenters

    Schiff, L., Ziv, O., Jaeger, M. & Schmid, S., 7 aug. 2018, Big-DAMA 2018 - Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2018. Association for Computing Machinery, s. 21-26 6 s.

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

    3 Citationer (Scopus)
  • Neural Explainable Collective Non-negative Matrix Factorization for Recommender Systems

    Costa, F. & Dolog, P., 2018, Proceedings of the 14th International Conference on Web Information Systems and Technologies, WEBIST 2018, Seville, Spain, September 18-20, 2018.. Escalona, M. J., Mayo, F. J. D., Majchrzak, T. A. & Monfort, V. (red.). SCITEPRESS Digital Library, s. 35-45 11 s.

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

    2 Citationer (Scopus)
  • Node selection in large networks

    Logins, A., 24 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 1689-1693 5 s. 8509437. (Proceedings of the International Conference on Data Engineering).

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

    2 Citationer (Scopus)
  • On and off the table: Re-imagining food and wine interactions

    Davis, H., Paay, J., Kjeldskov, J. & Dolejšová, M., 4 dec. 2018, OzCHI '18 Proceedings of the 30th Australian Conference on Computer-Human Interaction. Association for Computing Machinery, s. 612-617 6 s.

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

    5 Citationer (Scopus)
  • On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

    Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, s. 3421-3430 10 s.

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

    12 Citationer (Scopus)
  • On the Verification of Weighted Kripke Structures Under Uncertainty

    Bacci, G., Hansen, M. & Larsen, K. G., 1 jan. 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (red.). Springer, s. 71-86 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11024 LNCS).

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    169 Downloads (Pure)
  • Optimal and robust controller synthesis: Using energy timed automata with uncertainty

    Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 jan. 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (red.). Springer, s. 203-221 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).

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

    8 Citationer (Scopus)
  • Origin-destination trajectory diversity analysis: Efficient top-k diversified search

    He, D., Ruan, 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. 135-144 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

    3 Citationer (Scopus)