Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2014

    Quitty: Using technology to persuade smokers to quit

    Paay, J., Kjeldskov, J., Brinthaparan, U., Lichon, L., Rasmussen, S., Srikandaraja, N., Smith, W., Wadley, G. & Ploderer, B., 26 okt. 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, s. 551-560

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    20 Citationer (Scopus)
    332 Downloads (Pure)

  • Redesign workshop: Involving software developers actively in usability engineering

    Bornoe, N., Billestrup, J., Andersen, J., Stage, J. & Bruun, A., 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational (NordiCHI '14).. Association for Computing Machinery, s. 1113-1118

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Requirement Engineering for a Small Project with Pre-Specified Scope

    Nielsen, T. D., Hovda, S., Antontio, F., Langseth, H., Madsen, A. L., Masegosa, A. & Salmerón, A., 2014, NIK: Norsk Informatikkonferanse . 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    1602 Downloads (Pure)

  • Resource Planning for SPARQL Query Execution on Data Sharing Platforms

    Hagedorn, S., Hose, K., Sattler, K-U. & Umbrich, J., 2014, Consuming Linked Data (COLD 2014): 5th International Workshop on Consuming Linked Data (COLD 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 20, 2014. Hartig, O., Hogan, A. & Sequeda, J. (red.). CEUR Workshop Proceedings, Bind 1264. 12 s. (CEUR Workshop Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    1 Citationer (Scopus)

  • Scalable Top-k Spatio-Temporal Term Querying

    Skovsgaard, A., Sidlauskas, D. & Jensen, C. S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE Press, s. 148-159

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    65 Citationer (Scopus)

  • Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. s. 1-4 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    774 Downloads (Pure)

  • SemLAV: Querying deep web and linked open data with SPARQL

    Folz, P., Montoya, G., Skaf-Molli, H., Molli, P. & Vidal, M. E., 1 jan. 2014, The Semantic Web: ESWC 2014 Satellite Events, Revised Selected Papers. Tordai, A., Blomqvist, E., Sack, H., Troncy, R., Presutti, V. & Papadakis, I. (red.). Springer, s. 332-337 6 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8798).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • SM4AM: A Semantic Metamodel for Analytical Metadata

    Varga, J., Romero, O., Pedersen, T. B. & Thomsen, C., 2014, Proceedings of the 17th International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, s. 57-66 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Social NUI: Social perspectives in natural user interfaces

    Vetere, F., O'Hara, K., Paay, J., Ploderer, B., Harper, R. & Sellen, A., jun. 2014, Proceedings of DIS 2014 - companion publication on Designing Interactive Systems. Association for Computing Machinery, s. 215-218

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Soundness of Timed-Arc Workflow Nets

    Mateo, J. A., Srba, J. & Sørensen, M. G., 2014, Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN'14). Springer Publishing Company, Bind 8489. s. 51-70 20 s. (Lecture Notes in Computer Science (LNCS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Specification of asynchronous component systems with modal I/O-Petri nets

    Haddad, S., Hennicker, R. & Møller, M. H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 219-234 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Statistical model checking past, present, and future (Track Introduction)

    Larsen, K. G. & Legay, A., 18 okt. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8803. s. 135-142 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8803).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    21 Citationer (Scopus)

  • Stochastic skyline route planning under time-varying uncertainty

    Yang, B., Guo, C., Jensen, C. S., Kaul, M. & Shang, S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE, s. 136-147 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    112 Citationer (Scopus)

  • Survey of real-time processing systems for big data

    Liu, X., Lftikhar, N. & Xie, X., 2014, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 356-361 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    83 Citationer (Scopus)

  • Symbolic PathFinder v7

    Luckow, K. S. & Păsăreanu, C., jan. 2014, ACM Special Interest Group on Software Engineering (SIGSOFT) Software Engineering Notes (SEN). 1 udg. New York, NY, USA: Association for Computing Machinery, Bind 39. s. 1-5 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Synchronizing Strategies under Partial Observability

    Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (red.). Springer Publishing Company, Bind 8704. s. 188-202 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    17 Citationer (Scopus)
    487 Downloads (Pure)

  • Synchronizing words for weighted and timed automata

    Doyen, L., Juhl, L., Larsen, K. G., Markey, N. & Shirmohammadi, M., 11 dec. 2014, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 29. s. 121-132 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    19 Citationer (Scopus)

  • Taking on internet bad neighborhoods

    Moura, G. C. M., Sadre, R. & Pras, A., 2014, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society Press, s. 1-7 6838284. (I E E E - I F I P Network Operations and Management Symposium).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • The 4C Framework: Principles of Interaction in Digital Ecosystems

    Sørensen, H., Raptis, D., Kjeldskov, J. & Skov, M. B., 2014, Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014). Association for Computing Machinery, s. 87-97

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    40 Citationer (Scopus)
    1495 Downloads (Pure)

  • The Role of Adaptive Elements in Web-Based Surveillance System User Interfaces

    Lage, R., Dolog, P. & Leginus, M., jul. 2014, User Modeling, Adaptation, and Personalization - 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings. Dimitrova, V., Kuflik, T., Chin, D., Ricci, F., Dolog, P. & Houben, G-J. (red.). Springer VS, Bind 8538. s. 350-362 13 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • The use of personas in software development: Advantages, obstacles and experiences in practice

    Billestrup, J., Stage, J., Nielsen, L. & Storgaard Nielsen, K., 2014, Proceedings IRIS36: August 11-14 2013 at Gran, Norway. Bratteteig, T., Aanestad, M. & Skorve, E. (red.). Department of Informatics, University of Oslo, 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Top-k point of interest retrieval using standard indexes

    Skovgaard, A. & Jensen, C. S., 2014, Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Huang, Y. & Schneider, M. (red.). Association for Computing Machinery, s. 173-182 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Towards Flexibility Detection in Device-Level Energy Consumption

    Neupane, B., Pedersen, T. B. & Thiesson, B., 2014, Data Analytics for Renewable Energy Integration: Proceedings of the Second ECML PKDD Workshop, DARE 2014. Woon, W. L., Aung, Z. & Madnick, S. (red.). Springer Publishing Company, Bind 8817. s. 1-16 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    21 Citationer (Scopus)

  • Towards Next Generation BI Systems: The Analytical Metadata Challenge

    Varga, J., Romero, O., Pedersen, T. B. & Thomsen, C., 2014, Data Warehousing and Knowledge Discovery: 16th International Conference, DaWaK 2014 Munich, Germany, September 2-4, 2014 Proceedings. Springer Publishing Company, Bind 8646. s. 89-101 13 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    23 Citationer (Scopus)

  • Trust in Co-sourced Software Development

    Schlichter, B. R. & Persson, J. S., 2014, Proceedings of the Eighth Mediterranean Conference on Information Systems. s. 1-14 (Mediterranean Conference on Control and Automation. Proceedings).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    310 Downloads (Pure)

  • Types for resources in φ-calculi

    Hüttel, H., 1 jan. 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Bind 8358 LNCS. s. 83-102 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 8358 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Usability Engineering in the Wild: How do Practitioners Integrate Usability Engineering in Software Development?

    Bornoe, N. & Stage, J., 2014, Human-Centered Software Engineering : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Sauer, S., Bogdan, C., Forbrig, P., Bernhaupt, R. & Winckler, M. (red.). Springer, Bind 8742. s. 199-216 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    13 Citationer (Scopus)

  • Usability of Single- and Multi-Factor Authentication Methods on Tabletops: A Comparative Study

    Bruun, A., Jensen, K. E. & Kristensen, D. H., 2014, Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Springer Publishing Company, Bind 8742. s. 299-306 8 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 Citationer (Scopus)

  • Using Cameras to Improve Wi-Fi Based Indoor Positioning

    Radaelli, L., Moses, Y. & Jensen, C. S., 2014, Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings. Pfoser, D. & Li, K-J. (red.). Springer Publishing Company, Bind 8470. s. 166-183 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 Citationer (Scopus)

  • Using Closed n-set Patterns for Spatio-Temporal Classification

    Samulevicius, S., Pitarch, Y. & Pedersen, T. B., sep. 2014, Data Warehousing and Knowledge Discovery - 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings.. Springer Publishing Company, Bind 8646. s. 274-287 14 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Using Short Videos in an Introductory Programming Course

    Bidragets oversatte titel: Brug af korte videoer i et introducerende programmeringskursusNørmark, K., 12 sep. 2014, International Conference on E-learning. University of La Laguna, Spain, s. 254 - 260 7 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Vector Space Models for the Classification of Short Messages on Social Network Services

    Lage, R. G., Dolog, P. & Leginus, M., 2014, WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2013. Krempels, K. H. & Stocker, A. (red.). Springer Publishing Company, Bind 189. s. 209-224 (Lecture Notes in Business Information Processing, Bind 189).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

    Larsen, K. G., 17 jul. 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, s. IS-9

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Verification and Performance Evaluation of Timed Game Strategies

    David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (red.). Springer, Bind 8711. s. 100-114 15 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Was it Worth the Hassle? Ten Years of Mobile HCI Research Discussions on Lab and Field Evaluations

    Kjeldskov, J. & Skov, M. B., 2014, Proceedings of the 16th International Conference on Human-Computer Interaction with Mobile Devices and Service, Mobile HCI 2014. Association for Computing Machinery, s. 43-52

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    68 Citationer (Scopus)
    1087 Downloads (Pure)

  • When Process Is Getting in the Way of Creativity and Innovation

    Mûller, S. D., Ulrich, F. & Nielsen, P. A., 2014, Proceedings of the 47th Annual Hawaii International Conference on System Sciences (HICSS 47). Sprague, Jr, R. H. (red.). IEEE, s. 221-229 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    424 Downloads (Pure)

  • XP in a Small Software Development Business: Adapting to Local Constraints

    Bidragets oversatte titel: XP i en lille softwareorganisation: Tilpasning til lokale betingelserBabb, J., Hoda, R. & Nørbjerg, J., aug. 2014, Nordic Contributions in IS Research: 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark August 10-13, Proceedings. Springer Publishing Company, Bind 186. s. 14-29 (Lecture Notes in Business Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)
  • 2015

    A3SAR: Context-aware spatial augmented reality for anywhere, anyone, and analysis

    Mei, B., Liu, D., Xie, X., Chen, J. & Du, X., 2015, Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers. Liu, A., Ishikawa, Y., Qian, T., Nutanong, S. & Cheema, M. A. (red.). Springer, Bind 9052. s. 307-312 6 s. (Lecture Notes in Computer Science; Nr. 9052).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • A Framework for Multi-Criteria Optimal Location Selection

    Zhang, J., Ku, W-S., Jiang, X., Qin, X., Sun, M-T. & Lu, H., 2015, Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 4 s. 86

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • A Group Creativity Support System for Dynamic Idea Evaluation

    Ulrich, F., 2015, Nordic Contributions in IS Research: 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings. Springer, s. 137-151 16 s. (Lecture Notes in Business Information Processing, Bind 223).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • A Method for Model Checking Feature Interactions

    Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., jul. 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (red.). SCITEPRESS Digital Library, s. 219-228 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • A Methodology for Developing Local Smart Diagnostic Models Using Expert Knowledge

    Madsen, A. L., Søndberg-Jeppesen, N., Lohse, N. & Sayed, M., 2015, Proceedings of the 2015 IEEE 13th International Conference on Industrial Informatics. IEEE, s. 1682 - 1687 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • AMIDST: Analysis of MassIve Data STreams

    Masegosa, A., Martinez, A. M., Borchani, H., Ramos-López, D., Nielsen, T. D., Langseth, H., Salmerón, A. & Madsen, A. L., okt. 2015, The 27th Benelux Conference on Artificial Intelligence (BNAIC 2015).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    478 Downloads (Pure)

  • Analyzing Electric Vehicle Energy Consumption using Very Large Data Sets

    Krogh, B. B., Andersen, O. & Torp, K., 2015, Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II. Renz, M., Shahabi, C., Zhou, X. & Cheema, M. A. (red.). Springer, s. 471-487 (Lecture Notes in Computer Science; Nr. 9050).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Analyzing industrial architectural models by simulation and model-checking

    Marinescu, R., Kaijser, H., Mikučionis, M., Seceleanu, C., Lönn, H. & David, A., 2015, Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Artho, C. & Ölevczky, P. C. (red.). Springer, s. 189-205 17 s. (Communications in Computer and Information Science, Bind 476).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    17 Citationer (Scopus)

  • An Empirical Study of the Effects of Three Think-Aloud Protocols on Identification of Usability Problems

    Bruun, A. & Stage, J., 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Springer, s. 159-176 (Lecture Notes in Computer Science; Nr. 9297).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Answering why-not questions on spatial keyword top-k queries

    Chen, L., Lin, X., Hu, H., Jensen, C. S. & Xu, J., apr. 2015, 31st IEEE International Conference on Data Engineering. IEEE, s. 279-290

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    58 Citationer (Scopus)

  • A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

    Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 aug. 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, s. 305-320 (Lecture Notes in Computer Science, Bind 9268).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 Citationer (Scopus)

  • Attack Tree Generation by Policy Invalidation

    Ivanova, M. G., Probst, C., Hansen, R. R. & Kammüller, F., 2015, Information Security Theory and Practice: 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings. Akram, R. N. & Jajodia, S. (red.). Springer, s. 249-259 (Lecture Notes in Computer Science; Nr. 9311).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    17 Citationer (Scopus)

  • Average-energy games

    Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, s. 1-15 (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    7 Citationer (Scopus)