Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2023

    Drone Swarms to Support Search and Rescue Operations: Opportunities and Challenges

    Hoang, M. T. O., Grøntved, K. A. R., van Berkel, N., Skov, M. B., Christensen, A. L. & Merritt, T., 2023, Cultural Robotics: Social Robots and Their Emergent Cultural Ecologies. Dunstan, B. J., Koh, J. T. K. V., Turnbull Tillman, D. & Brown, S. A. (red.). Springer Nature Switzerland AG, s. 163-176 14 s. (Springer Series on Cultural Computing).

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

  • Making AI Work: Designing and Evaluating AI Systems in Healthcare

    van Berkel, N., 2023, AI in Clinical Medicine: A Practical Guide for Healthcare Professionals. Byrne, M. F., Parsa, N., Greenhill, A., Chahal, D., Ahmad, O. & Bagci, U. (red.). Wiley-Blackwell, s. 448-458 11 s.

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

    Åben adgang

  • ModelarDB: Integrated Model-Based Management of Time Series from Edge to Cloud

    Jensen, S. K., Thomsen, C. & Pedersen, T. B., 9 feb. 2023, Transactions on Large-Scale Data- and Knowledge-Centered Systems LIII. Springer, s. 1-33 33 s. (Transactions on Large-Scale Data- and Knowledge-Centered Systems). (Lecture Notes in Computer Science, Bind 13840).

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

    Åben adgang
    Fil
    5 Downloads (Pure)

  • Soft Robotics Workshops: Supporting Experiential Learning About Design, Movement, and Sustainability

    Horvath, A-S., Jochum, E., Löchtefeld, M., Vissonova, K. & Merritt, T. R., 2023, Cultural Robotics: Social Robots and Their Emergent Cultural Ecologies. Dunstan, B. J., Koh, J. T. K. V., Turnbull Tillman, D. & Brown, S. A. (red.). Springer, s. 189-218 30 s. (Springer Series on Cultural Computing).

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

    2 Citationer (Scopus)

  • Typological Challenges for the Application of Multilingual Language Models in the Digital Humanities

    Fekete, M. R., Bjerva, J. & Beinborn, L., 19 dec. 2023, (Accepteret/In press) Multilingual Digital Humanities. Viola, L. & Spence, P. (red.). Routledge, (Digital Research in the Arts and Humanities).

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

  • 2022

    Body-Based User Interfaces

    Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, J., Jansen, Y. & Hornbæk, K., 30 nov. 2022, The Routledge Handbook of Bodily Awareness. Alsmith, A. J. T. & Longo, M. R. (red.). Routledge, s. 478-502 25 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Convex Lattice Equation Systems

    Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Bind 13660. s. 438-455 18 s. (Lecture Notes in Computer Science (LNCS)).

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

    1 Citationer (Scopus)

  • Optimal Operation of Residential Heating Systems in Electricity Markets Leveraging Joint Power‐Heat Flexibility

    Golmohamadi, H., 11 nov. 2022, Coordinated Operation and Planning of Modern Heat and Electricity Incorporated Networks. Daneshvar, M., Mohammadi-Ivatloo, B. & Zare, K. (red.). Wiley-IEEE press, s. 289-318 30 s.

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

  • PlayingWORDLE with UPPAAL STRATEGO

    Jensen, P. G., Larsen, K. G. & Mikučionis, M., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (red.). Springer, s. 283-305 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13560 LNCS).

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

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13660).

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

  • Time Series Management Systems: A 2022 Survey

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 4 dec. 2022, (Accepteret/In press) Data Series Management and Analytics. Palpanas, T. & Zoumpatianos, K. (red.). Association for Computing Machinery, 81 s.

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

    Åben adgang
    Fil
    109 Downloads (Pure)
  • 2021

    Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., okt. 2021, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (red.). Wiley-IEEE press, s. 289-320 (IEEE Press Series on Networks and Service Management).

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

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (red.). Springer, s. 312-331 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13066 LNCS).

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

  • Introduction to “Advances in Longitudinal HCI Research”

    Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B., 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (red.). Springer, s. 1-7 (Human–Computer Interaction Series).

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

  • Longitudinal research in information systems

    Nielsen, P. A., 12 aug. 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. (red.). Springer, s. 41-56 (Human–Computer Interaction).

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

  • Longitudinal Studies in HCI Research: A Review of CHI Publications from 1982-2019

    Kjærup, M., Skov, M. B., Nielsen, P. A., Kjeldskov, J., Gerken, J. & Reiterer, H., 2021, Advances in Longitudinal HCI Research . Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (red.). Springer, s. 11-39 28 s. (Human–Computer Interaction Series).

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

    Åben adgang
    Fil
    291 Downloads (Pure)

  • pygrametl: A Powerful Programming Framework for Easy Creation and Testing of ETL Flows

    Jensen, S. K., Thomsen, C., Pedersen, T. B. & Andersen, O., 18 maj 2021, Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII: Special Issue In Memory of Univ. Prof. Dr. Roland Wagner. Springer, Bind XLVIII. s. 45-84 40 s. (Lecture Notes in Computer Science, Bind 12670).

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

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

  • Quantitative Analysis of Interval Markov Chains

    Bacci, G., Delahaye, B., Larsen, K. G. & Mariegaard, A., 2021, Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Olderog, E-R., Steffen, B. & Li, W. (red.). Springer, Bind 13030. s. 57-77 20 s. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Bind 13030).

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

    Åben adgang
    1 Citationer (Scopus)

  • Recommendations for Conducting Longitudinal Experience Sampling Studies

    van Berkel, N. & Kostakos, V., 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (red.). Springer, s. 59-78 (Human–Computer Interaction Series).

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

  • 2020

    Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., dec. 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (red.). Cambridge University Press, s. 333-360

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

    Åben adgang

  • The challenge of building communities about PBL supervision: From networks of practice to communities of practice

    Hüttel, H. & Gnaur, D., 30 okt. 2020, Collaborative Convergence and Virtual Teamwork for Organizational Transformation. IGI global, s. 177-194 18 s.

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

  • 2019

    Analyzing spreadsheets for parallel execution via model checking

    Bøgholm, T., Larsen, K. G., Muniz, M., Thomsen, B. & Thomsen, L. L., 2019, Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, s. 27-35 9 s. (Lecture Notes in Computer Science, Bind 11200).

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

    2 Citationer (Scopus)

  • Continuous-Time Models for System Design and Analysis

    Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, s. 452-477 (Lecture Notes in Computer Science, Bind 10000).

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

    10 Citationer (Scopus)
  • 2018

    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

  • 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

  • Determining the Respiratory State From a Seismocardiographic Signal - A Machine Learning Approach

    Ulrich, C., Jensen, M., Oberlin, R., Tavakolian, K., Khosrow-Khavar, F., Blaber, A., Sørensen, K. & Schmidt, S., 23 jan. 2018, 2016 Computing in Cardiology Conference (CinC).

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

  • 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

  • Hierarchy

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Ling, 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

  • MCC’2017: The Seventh Model Checking Contest

    Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

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

    8 Citationer (Scopus)

  • Measure

    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

  • Model Checking Real-Time Systems

    Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, s. 1001-1046 46 s.

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

    25 Citationer (Scopus)

  • Multidimensional Modeling

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

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

  • Prescriptive Analytics

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

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

  • 2017

    Application system design - energy optimisation

    Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R., & 2 flereStluka, P. & Zabasta, A., 6 feb. 2017, IoT Automation: Arrowhead Framework. Delsing, J. (red.). CRC Press, s. 211-247 36 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (Scopus)

  • Cryptography Basics

    Wattenhofer, R. & Förster, K-T., 6 mar. 2017, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Second Revised Edition udg. Inverted Forest Publishing, s. 49-70 22 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Undervisning

  • Data Warehousing in Cloud Environments

    Thomsen, C. & Pedersen, T. B., 5 apr. 2017, Encyclopedia of Database Systems. New York: Springer, 6 s.

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

  • Firm Deadline Checking of Safety-Critical Java Applications with Statistical Model Checking

    Ravn, A. P., Thomsen, B., Søe Luckow, K., Thomsen, L. L. & Bøgholm, T., 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (red.). Cham: Springer, s. 269-288 20 s. (Lecture Notes in Computer Science, Bind 10460).

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

  • From timed automata to stochastic hybrid games model checking, synthesis, performance analysis and machine learning

    Larsen, K. G., Fahrenberg, U. & Legay, A., 1 jan. 2017, Dependable Software Systems Engineering. IOS Press, s. 60-103 44 s.

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

  • Grænseoverskridende komik: South Parks transmedielle univers

    Lundgaard, S. S., 2017, Helt til Grin: Moderne audiovisuel komik på tværs af medier. Halskov, A., Højer, H. & Larsen, T. S. (red.). 16:9 Filmtidsskrift, s. 216-236

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

    Olderog, E-R., Ravn, A. P. & Wisniewski, R., 2017, Provably Correct Systems. Springer, s. 95-120 (NASA Monographs in Systems and Software Engineering).

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

  • 2016

    An Automata-Based Approach to Trace Partitioned Abstract Interpretation

    Olesen, M. C., Hansen, R. R. & Larsen, K. G., 2016, Semantics, Logics and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Springer, s. 88-110 (Lecture Notes in Computer Science, Bind 9560).

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

  • Formal Modelling and Analysis of Socio-Technical Systems

    Probst, C. W., Kammüller, F. & Hansen, R. R., 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Hansen, R. R. (red.). Springer, s. 54-73 (Lecture Notes in Computer Science, Bind 9560).

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

    8 Citationer (Scopus)

  • Model Checking Feature Interactions

    Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

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

  • Modeling and Analysis of Component Faults and Reliability

    Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., maj 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 45-60 (Computational Science Series).

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

  • Quorum Systems

    Wattenhofer, R. & Förster, K-T., 2016, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Inverted Forest Publishing, s. 87-104 18 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Undervisning

  • TAPAAL and Reachability Analysis of P/T Nets

    Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, s. 307-318 12 s. (Lecture Notes in Computer Science, Bind 9930).

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

    24 Citationer (Scopus)
  • 2015

    An Energy Flexibility Framework on the Internet of Things

    Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, s. 17-37

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

  • Beomap: Ad Hoc Topic Maps for Enhanced Exploration of Social Media Data

    Leginus, M., Zhai, C. & Dolog, P., 1 jun. 2015, Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings. Cimiano, P., Frasincar, F., Houben, G-J. & Schwabe, D. (red.). Springer, s. 200-218 19 s. (Lecture Notes in Computer Science; Nr. 9114).

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

    1 Citationer (Scopus)

  • Converging from Branching to Linear Metrics on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

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

    16 Citationer (Scopus)

  • EcoSky: Reducing vehicular environmental impact through eco-routing

    Guo, C., Yang, B., Andersen, O., Jensen, C. S. & Torp, K., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 1412-1415 4 s.

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

    43 Citationer (Scopus)