Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    A Structure Editor with Type-Safe Copy/Paste

    Hüttel, H., Nielsen, A. E. L., Sandberg, N. G., Andersen, C. L. & Mikkelsen, P., 31 aug. 2022, Proceedings of the 2022 34th Symposium on Implementation and Application of Functional Languages, IFL 2022. Association for Computing Machinery, 5. (ACM International Conference Proceeding Series).

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

  • A study of cooperative thinking

    Ciancarini, P., Missiroli, M. & Russo, D., 2020, Frontiers in Software Engineering Education - 1st International Workshop, FISEE 2019, Invited Papers. Bruel, J-M., Capozucca, A., Mazzara, M., Naumchev, A., Sadovykh, A. & Meyer, B. (red.). Springer VS, s. 279-292 14 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12271 LNCS).

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

  • A Study of Extensive LoRaWAN Downlink Communication in a Mobility Scenario

    Thomassen, M. S. E., Winkler, K. S., Magrin, D. & Albano, M., 14 nov. 2022, Proceedings of MobiQuitous 2022. EAI - European Alliance for Innovation, s. 455-468 14 s.

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

  • A Suite of WWW-Based Tools for Advanced Course Management

    Nørmark, K., 2000, ITiCSE 2000 : Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education : July 11-13, 2000, Helsinki, Finland: SIGCSE Bulletin. Joyce, D. (ed,) (red.). Vol.32, 3 udg. Association for Computing Machinery, s. 65-68

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

    1 Citationer (Scopus)

  • A Supervised Skyline-Based Algorithm for Spatial Entity Linkage

    Isaj, S., Kaffes, V., Pedersen, T. B. & Giannopoulos, G., mar. 2022, Proceedings of the 25th International Conference on Extending Database Technology (EDBT). OpenProceedings.org, s. 220-233 (Advances in Database Technology, Bind 25).

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

    Åben adgang
    Fil
    24 Downloads (Pure)

  • A survey of open source tools for business intelligence

    Thomsen, C. & Pedersen, T. B., 2005, Data Warehousing and Knowledge Discovery, Proceedings. Springer, s. 74-84

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

    23 Citationer (Scopus)

  • A Systematic Assessment of National Artificial Intelligence Policies: Perspectives from the Nordics and Beyond

    van Berkel, N., Papachristos, L., Giachanou, A., Hosio, S. & Skov, M. B., 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Tallinn, Estonia: Association for Computing Machinery, 12 s. 10

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

    6 Citationer (Scopus)

  • A Tale of Two Airports: a Comparison of Electronic Infrastructures in the Air Cargo Industry in the Netherlands and Hong Kong SAR

    Christiansen, E. & Damsgaard, J., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. s. 512-523

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

  • A Task-Based Theory of Information Services

    Mathiassen, L. & Sørensen, C., 2002, Bødker, Keld (ed.) ...[et al.].

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

  • A Test Bed for Exploring Novel Concepts in Mobile Service Delivery

    Jensen, C. S., Su, J., Nicklas, D. & Becker, C., 2008, A Test Bed for Exploring Novel Concepts in Mobile Service Delivery. IEEE, s. 218-220 2 s.

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

  • A testbed for the exploration of novel concepts in mobile service delivery

    Wind, R., Jensen, C. S., Pedersen, K. H. & Torp, K., 1 dec. 2007, Proceedings - 8th International Conference on Mobile Data Management, MDM 2007. s. 218-220 3 s. 4417148. (Proceedings - IEEE International Conference on Mobile Data Management).

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

    6 Citationer (Scopus)

  • A Test Suite for Safety-Critical Java using JML

    Ravn, A. P. & Søndergaard, H., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, s. 80-88 (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    5 Citationer (Scopus)

  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 203-211 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

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

    1 Citationer (Scopus)

  • A Theory of Testing for ACP

    Aceto, L. & Ingolfsdottir, A., 1991, Proceedings of CONCUR'91, Lecture Notes in Computer Science. Baten, J.C.M. : Groote, J.F. (eds.) (red.). Springer, s. 527 -

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

    6 Citationer (Scopus)

  • A time-aware path-based publish/subscribe framework

    Jia, M., Zhao, Y., Zheng, B., Liu, G. & Zheng, K., 1 jan. 2018, Database Systems for Advanced Applications : 23rd International Conference, DASFAA 2018, Proceedings. Springer, s. 511-528 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10827 LNCS).

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

    2 Citationer (Scopus)

  • A Tool Architecture for the Next Generation of Uppaal

    Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

    12 Citationer (Scopus)

  • A Toolchain for Home Automation Controller Development

    Dalsgaard, P. H., Le Guilly, T., Middelhede, D., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A., 2013, 39th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). Demirors, O. & Turetken, O. (red.). IEEE Computer Society Press, s. 122-129 8 s. (Euromicro Conference. Proceedings).

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

    7 Citationer (Scopus)

  • A topic-oriented syntactic component extraction model for social media

    Xu, Y., Luo, T., Xu, G. & Pan, R., 1 jan. 2012, Human Centric Technology and Service in Smart Space: HumanCom 2012. Park, J. J., Jin, Q., Yeo, M. S-S. & Hu, B. (red.). Springer Publishing Company, Bind 182. s. 221-229 9 s. (Lecture Notes in Electrical Engineering, Bind 182).

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

  • 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)

  • Attribute Clustering Based on Heuristic Tree Partition

    Cordero Hernandez, J. & Zeng, Y., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (red.). s. 73-80 8 s.

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

  • A Tutorial on UPPAAL

    Behrmann, G., David, A. & Larsen, K. G., 2004, Formal Methods for the Design of Real-Time Systems: Lecture Notes in Computer Science (revised lectures). Marco Bernardo, Flavio Corradini (eds.) (red.). 3185 udg. Springer, s. 200-237

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

    1160 Citationer (Scopus)

  • A Two-Way Path Between Formal and Informal Design of Embedded Systems

    Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (red.). Springer, s. 65-92 (Lecture Notes in Computer Science, Bind 10134).

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

    4 Citationer (Scopus)

  • A type-safe structure editor calculus

    Godiksen, C., Herrmann, T., Hüttel, H., Lauridsen, M. K. & Owliaie, I., 18 jan. 2021, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, s. 1-13 13 s. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

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

    2 Citationer (Scopus)

  • Augmenting Automated Kinship Verification with Targeted Human Input

    Hettiachchi, D., van Berkel, N., Hosio, S., Lopez, M. B., Kostakos, V. & Goncalves, J., 2020, Proceedings of the Pacific Asia Conference on Information Systems. Association for Information Systems, s. 141:1-141:14 14 s.

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

    1 Citationer (Scopus)

  • Augmenting the City: The Design of a Context-Aware Mobile Web Site

    Kjeldskov, J. & Paay, J., 2005, Designing for User eXperience, DUX 2005. Association for Computing Machinery, 7 s.

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

    Fil
    59 Downloads (Pure)

  • Augmenting the City with Fiction: Fictional Requirements for Mobile Guides

    Kjeldskov, J. & Paay, J., 2007, Proceedings of HCI in Mobile Guides, Mobile HCI 2007. Cheverst, K. (red.). University of Lancaster, s. 1-6

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

    Åben adgang
    Fil
    496 Downloads (Pure)

  • A Unified Model for Stable and Temporal Topic Detection from Social Media Data

    Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, s. 661-672 (Proceedings of the International Conference on Data Engineering).

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

    70 Citationer (Scopus)

  • A Unit-Test Framework for Database Applications

    Christensen, C. A., Gundersborg, S., Linde, K. D. & Torp, K., 2006, 10th International Database Engineeringand Applications Symposium (IDEAS 2006). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 11-20

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

    5 Citationer (Scopus)

  • Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking

    Jensen, P. G., Srba, J., Ulrik, N. J. & Virenfeldt, S. M., 2022, Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Proceedings. Finkbeiner, B. & Wies, T. (red.). Springer, s. 151-173 23 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13182 LNCS).

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

    1 Citationer (Scopus)

  • Automata Learning through Counterexample Guided Abstraction Refinement

    Aarts, F., Heidarian, F., Kuppens, H., Olsen, P. & Vaandrager, F., 2012, FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Bind 7436. s. 10-27 18 s. (Lecture Notes in Computer Science, Bind 7436).

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

    45 Citationer (Scopus)

  • Automated Distributed Simulation in Ptolemy II

    Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (red.). ACTA Press, s. 139-144

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

    4 Citationer (Scopus)

  • Automated Modeling of Real-Time Implementation

    Jensen, P. K., 1998, Doctoral Symposium : Proceedings of the 13th IEEE Automated Software Engineering, October 1998, Hawaii, USA..

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

  • Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus

    Zaitoun, A., Sagi, T. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 1127-1137 11 s.

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

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

  • Automated Test Generation Timed Automata

    Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (red.). 2031 udg. IEEE Computer Society Press, s. 343-357

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

  • Automated Test Generation Timed Automata: Tool and Case Study

    Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

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

  • Automatic Abstraction Refinement for Timed Automata

    Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, s. 114-129 15 s. (Lecture Notes in Computer Science; Nr. 4763).

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

    46 Citationer (Scopus)

  • Automatic Energy-Efficient Job Scheduling in HPC: A Novel SLURM Plugin Approach

    Springborg, A. A., Albano, M. & Xavier-de-Souza, S., 12 nov. 2023, Proceedings of 2023 SC Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC Workshops 2023. Association for Computing Machinery, s. 1831-1838 8 s.

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

  • Automatic Generation of Natural Language Explanations

    Da Costa, F. S., Ouyang, S., Dolog, P. & Lawlor, A., 8 mar. 2018, Proceedings of the 23rd International Conference on Intelligent User Interfaces. Association for Computing Machinery, 57

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

    54 Citationer (Scopus)

  • Automatic Instance Generation for Classical Planning

    Torralba, A., Seipp, J. & Sievers, S., 17 maj 2021, Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS 21). 1 udg. Palo Alto: AAAI Press, Bind 31. s. 376-384 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

    12 Citationer (Scopus)

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, s. 109-117 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; Nr. 1, Bind 33).

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

  • Automatic Synthesis of Transiently Correct Network Updates via Petri Games

    Didriksen, M., Jensen, P. G., Jønler, J. F., Katona, A. I., Lama, S. D. L., Lottrup, F. B., Shajarat, S. & Srba, J., 2021, Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings. Buchs, D. & Carmona, J. (red.). Springer, s. 118-137 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12734 LNCS).

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

    1 Citationer (Scopus)

  • Automatic Verification of Real-Time Systems Using Epsilon

    Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (red.). Chapman & Hall, s. 232-330

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

  • Autonomous Agents for Initiating Communication in Internet Community Chat Rooms

    Skov, M., 2001, Proceedings of the 3rd International Bi-Conference Workshop on Agent-Oriented Information Systems. ICue Publishing, s. 13-21

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

  • Autonomy Is An Acquired Taste: Exploring Developer Preferences for GitHub Bots

    Ghorbani, A., Cassee, N., Robinson, D., Alami, A., Ernst, N. A., Serebrenik, A. & Wąsowski, A., 14 maj 2023, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering, ICSE 2023. Melbourne: IEEE, s. 1405-1417 13 s.

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

    2 Citationer (Scopus)
    2 Downloads (Pure)

  • AutoSTL: Automated Spatio-Temporal Multi-Task Learning

    Zhang, Z., Zhao, X., Miao, H., Zhang, C., Zhao, H. & Zhang, J., 16 apr. 2023, The Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI-23). AAAI Press, s. 4902-4910 9 s.

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

    3 Downloads (Pure)

  • Available Anytime Anywhere: Investigating Mobile Volunteer Responders for Out of Hospital Cardiac Arrest

    Kjærup, M., Elsborg, M., Skov, M. B. & Bruun, A. R., 2021, CHI '21 Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 13 s. 647

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    74 Downloads (Pure)

  • 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)

  • A wait-free output data structure for GPU-based streaming query processing

    Silvestri, C., Lettich, F., Orlando, S. & Jensen, C. S., jun. 2015, Proceedings of the 23rd Italian Symposium on Advanced Database Systems. Lembo, D., Torlone, R. & Marrella, A. (red.). Curran Associates, Inc, Bind 365 (1 VOL). s. 232-239 8 s.

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

  • A Walk in the Clouds: Routing through VNFs on Bidirected Networks

    Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, s. 11-26 (Lecture Notes in Computer Science, Bind 10739).

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    104 Downloads (Pure)

  • A web-based platform for building PBL competences among students

    Hüttel, H., Gnaur, D., Ryberg, T. & Holgaard, J. E., 1 jan. 2020, Emerging Technologies for Education - 4th International Symposium, SETE 2019, held in Conjunction with ICWL 2019, Revised Selected Papers. Popescu, E., Hao, T., Hsu, T-C., Xie, H., Temperini, M. & Chen, W. (red.). Springer VS, s. 175-182 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11984 LNCS).

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