Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2022

    The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., jul. 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 388-405 18 s. (Lecture Notes in Computer Science, Bind 13299).

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

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

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, s. 239-250

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

    1 Citationer (Scopus)

  • The HERD Project: Human-Multi-Robot Interaction in Search & Rescue and in Farming

    Christensen, A. L., Grøntved, K. A. R., Oanh Hoang, M-T., van Berkel, N., Skov, M., Scovill, A., Edwards, G., Geipel, K. R., Dalgaard, L., Lundquist, U. P. S., Constantiou, I., Lehrer, C. & Merritt, T., 2022, Adjunct Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. s. 1-4 4 s.

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

    Åben adgang

  • The Troubling Cups: Making Trouble at Work about Inequalities in Pay

    Als, N. K. K., Corlin Mikkelsen, J. & Raptis, D., 8 okt. 2022, Participative Computing for Sustainable Futures, NordiCHI 2022: Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 1-12 45

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

    Fil
    110 Downloads (Pure)

  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 489-507 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

    4 Citationer (Scopus)

  • Transforming RDF-star to Property Graphs: A Preliminary Analysis of Transformation Approaches

    Abuoda, G., Dell'Aglio, D., Keen, A. & Hose, K., nov. 2022, QuWeDa 2022: 6th Workshop on Storing, Querying and Benchmarking Knowledge Graphs. CEUR Workshop Proceedings, Bind 3279. s. 17-32 16 s. (CEUR Workshop Proceedings).

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

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

  • Transportation and Technology in Rural Denmark: Communities of Mobility

    Kjærup, M. & Skov, M. B., 15 sep. 2022, Proceedings of the 33rd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 119-129

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

    1 Citationer (Scopus)

  • Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (red.). IEEE, s. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

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

    Åben adgang
    Fil
    9 Downloads (Pure)

  • UrbanGen: Generating Combined In- and Outdoor Trajectories

    Sun, Y., Nielsen, N., Xie, X., Pedersen, T. B., Simonsen, U., Lu, H. & Ainciburu, M., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, Bind 2022-June. s. 270-273 4 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

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

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

  • Using Signals to Support Trust Building in Clinical Human-AI Collaboration

    Kollerup, N. K., Skov, M. B. & van Berkel, N., 2022, Adjunct Proceedings of the EUSSET ECSCW European Conference on Computer-Supported Cooperative Work. 4 s.

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

    Åben adgang

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, s. 8169-8177 9 s. (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 7, Bind 36).

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

    Åben adgang
    22 Citationer (Scopus)

  • Weakly-supervised Temporal Path Representation Learning with Contrastive Curriculum Learning

    Yang, S. B., Guo, C., Hu, J., Yang, B., Tang, J. & Jensen, C. S., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. 38th International Conference on Data Engineering, s. 2873-2885 13 s.

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

    3 Citationer (Scopus)

  • Workload-Aware Shortest Path Distance Querying in Road Networks

    Wan, J., Gao, Y., Ma, Y., Huang, K., Zhou, X., Jensen, C. S. & Zheng, B., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE, s. 2372-2384 13 s. (Proceedings - International Conference on Data Engineering, Bind 2022-May).

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

    1 Citationer (Scopus)
  • 2021

    2VT: Visions, Technologies, and Visions of Technologies for Understanding Human Scale Spaces

    Paananen, V., Markkanen, P., Oppenlaender, J., Lee, L. H., Akmal, H., Schieck, A. F. G., Dunham, J., Papangelis, K., Lalone, N., Van Berkel, N., Goncalves, J. & Hosio, S., 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. Association for Computing Machinery, s. 104:1-104:5 5 s. 104. (Conference on Human Factors in Computing Systems - Proceedings).

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

    2 Citationer (Scopus)

  • Active Learning of Markov Decision Processes using Baum-Welch algorithm

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2021, Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021. Wani, M. A., Sethi, I. K., Shi, W., Qu, G., Raicu, D. S. & Jin, R. (red.). IEEE, s. 1203-1208 6 s. (Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021).

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

    11 Citationer (Scopus)

  • Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World

    Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Roßnagel, H., Schunck, C. H. & Mödersheim, S. (red.). Gesellschaft für Informatik e. V., s. 107-118 (Lecture Notes in Informatics, Bind 312).

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

    Åben adgang
    8 Citationer (Scopus)

  • AIS Data as Trajectories and Heat Maps

    Andersen, A. S., Christensen, A. D., Michaelsen, P., Gjela, S. & Torp, K., 2 nov. 2021, 29th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL 2021. Meng, X., Wang, F., Lu, C-T., Huang, Y., Shekhar, S. & Xie, X. (red.). Association for Computing Machinery, s. 431-434 4 s.

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

    1 Citationer (Scopus)

  • A Model-Checking Static Analysis of Task-Based Energy Neutrality for Energy Harvesting IoT

    Albano, M., Chessa, S. & Larsen, K. G., 5 sep. 2021, 26th IEEE Symposium on Computers and Communications. Athens, Greece: IEEE, 9631383. (I E E E International Symposium on Computers and Communications).

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

    Åben adgang
    1 Citationer (Scopus)

  • An Editor Calculus With Undo/Redo

    Kjær, R. R., Lundbergh, M. H., Nielsen, M. M. & Hüttel, H., dec. 2021, Proceedings of 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Schneider, C., Marin, M., Negru, V. & Zaharie, D. (red.). IEEE, s. 66-74 9 s. 9700397. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).

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

    Åben adgang
    Fil
    85 Downloads (Pure)

  • An Integer Static Analysis for Better Extrapolation in Uppaal

    Lund, S., van Diepen, J., Larsen, K. G., Muñiz, M., Jørgensen, T. R. & Andersen, T. S. D., 2021, Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Proceedings. Dima, C. & Shirmohammadi, M. (red.). Springer, s. 84-99 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12860 LNCS).

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

    1 Citationer (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 1-31 31 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    9 Citationer (Scopus)

  • ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 90-119 30 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    11 Citationer (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (red.). EasyChair, s. 32-54 23 s. (EPiC Series in Computing, Bind 80).

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

    Åben adgang
    8 Citationer (Scopus)

  • Artefact: A UML-Based Framework for Model-Driven Development of Interactive Surface Prototypes

    Mthunzi, E. M. & Echtler, F., 14 nov. 2021, ISS 2021 - Companion Proceedings of the 2021 Conference on Interactive Surfaces and Spaces. New York, NY, USA: Association for Computing Machinery, s. 16–20 5 s.

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

    Åben adgang
    Fil
    53 Downloads (Pure)

  • Assessing MyData Scenarios: Ethics, Concerns, and the Promise

    Alorwu, A., Kheirinejad, S., van Berkel, N., Kinnula, M., Ferreira, D., Visuri, A. & Hosio, S., 2021, CHI '21 Proceedings of the CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 11 s. 209. (Conference on Human Factors in Computing Systems - Proceedings).

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

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

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

  • 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)
    85 Downloads (Pure)

  • Battery Aware Analysis of Sensor Networks in Uppaal SMC

    Naeem, M., Albano, M., Larsen, K. G., Nielsen, B., Hoedholt, A. & Laursen, C. Ø., 7 jun. 2021, 2021 10th Mediterranean Conference on Embedded Computing, MECO 2021. IEEE, s. 1-6 6 s. 9460152. (Mediterranean Conference on Embedded Computing (MECO) - Proceedings).

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

    4 Citationer (Scopus)

  • Behavioural separation with parallel usages

    Golovanov, I., Hüttel, H., Jakobsen, M. & Kettunen, M., 13 jul. 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (red.). Association for Computing Machinery, s. 51-58 8 s.

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

    1 Citationer (Scopus)

  • Can a TLS certificate be phishy?

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2021, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021. di Vimercati, S. D. C. & Samarati, P. (red.). SCITEPRESS Digital Library, s. 38-49 12 s. (International Conference on Security and Cryptography - SECRYPT - Proceedings).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    187 Downloads (Pure)

  • Capturing Battery Flexibility in a General and Scalable Way Using the FlexOffer Model

    Lilliu, F., Pedersen, T. B. & Siksnys, L., 28 okt. 2021, IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) 2021. Aachen, Germany: IEEE, s. 64-70 7 s. 9631999

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

    5 Citationer (Scopus)

  • Chebyshev-Cantelli PAC-Bayes-Bennett Inequality for the Weighted Majority Vote

    Wu, Y-S., Masegosa, A., Lorenzen, S. S., Igel, C. & Seldin, Y., 2021, Advances in Neural Information Processing Systems (NeurIPS 2021). Bind 34. 12 s.

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

  • Coalition-based task assignment in spatial crowdsourcing

    Zhao, Y., Guo, J., Chen, X., Hao, J., Zhou, X. & Zheng, K., apr. 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE Computer Society Press, s. 241-252 12 s. 9458777. (Proceedings - International Conference on Data Engineering).

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

    39 Citationer (Scopus)

  • ColChain: Collaborative Linked Data Networks

    Aebeloe, C., Montoya, G. & Hose, K., 19 apr. 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, s. 1385-1396 12 s.

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

    16 Citationer (Scopus)

  • Communication Oriented Modeling of Evolving Systems of Systems

    Harbo, S. K. R., Kristensen, M. K., Voldby, E. P., Andersen, S. V., Petersen, F. C. & Albano, M., 14 jun. 2021, 2021 16th International System of Systems Engineering Conference, SoSE 2021. IEEE, s. 88-94 7 s. 9497495. (2021 16th International System of Systems Engineering Conference, SoSE 2021).

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

    3 Citationer (Scopus)

  • DAEMON: Unsupervised anomaly detection and interpretation for multivariate time series

    Chen, X., Deng, L., Huang, F., Zhang, C., Zhang, Z., Zhao, Y. & Zheng, K., apr. 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE, s. 2225-2230 6 s. 9458835. (Proceedings - International Conference on Data Engineering, Bind 2021-April).

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

    47 Citationer (Scopus)

  • Deliberative Technical Debt Management: An Action Research Study

    Borup, N. B., Christiansen, A. L. J., Tovgaard, S. H. & Persson, J. S., dec. 2021, Software Business: 12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings. Wang, X., Martini, A., Nguyen-Duc, A. & Stray, V. (red.). Springer, s. 50-65 16 s. (Lecture Notes in Business Information Processing, Bind 434).

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

    2 Citationer (Scopus)

  • Designing Eco-Feedback Systems for Communities: Interrogating a Techno-solutionist Vision for Sustainable Communal Energy

    Jensen, R. H., Teli, M., Jensen, S. B., Gram, M. & Sørensen, M. H., 2021, Proceedings of the 10th International Conference on Communities & Technologies: Wicked Problems in the Age of Tech (C&T ’21). Cech, F. & Farnham, S. (red.). Association for Computing Machinery, s. 245-257 13 s.

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    211 Downloads (Pure)

  • DisMASTD: An efficient distributed multi-aspect streaming tensor decomposition

    Yang, K., Gao, Y., Shen, Y., Zheng, B. & Chen, L., apr. 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE Computer Society Press, s. 1080-1091 12 s. 9458848. (Proceedings - International Conference on Data Engineering).

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    50 Downloads (Pure)

  • Does Typological Blinding Impede Cross-Lingual Sharing?

    Bjerva, J. & Augenstein, I., 21 apr. 2021, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics. Merlo, P., Tiedemann, J. & Tsarfaty, R. (red.). Association for Computational Linguistics, s. 480-486

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

    Åben adgang
    12 Citationer (Scopus)

  • Domestic Robots and the Dream of Automation: Understanding Human Interaction and Intervention

    Schneiders, E., Kanstrup, A. M., Kjeldskov, J. & Skov, M. B., 9 maj 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. Association for Computing Machinery, 13 s. 214

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

    Åben adgang
    Fil
    9 Citationer (Scopus)
    448 Downloads (Pure)

  • Effect of Information Presentation on Fairness Perceptions of Machine Learning Predictors

    Van Berkel, N., Goncalves, J., Russo, D., Hosio, S. & Skov, M. B., 6 maj 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. Association for Computing Machinery, 13 s. 245

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

    37 Citationer (Scopus)

  • Efficient and Distributed Temporal Pattern Mining

    Ho, N. T. T., Ho Long, V., Pedersen, T. B. & Vu, M., 7 dec. 2021, 2021 IEEE International Conference on Big Data (Big Data). IEEE, 9671753

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

    3 Citationer (Scopus)

  • Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2021, 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, s. 1-14 14 s.

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

    4 Citationer (Scopus)

  • Emergent Interaction: Complexity, Dynamics, and Enaction in HCI

    Bennett, D., Dix, A., Eslambolchilar, P., Feng, F., Froese, T., Kostakos, V., Lerique, S. & Van Berkel, N., 8 maj 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. Association for Computing Machinery, 7 s. 119

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

    3 Citationer (Scopus)

  • EnhanceNet: Plugin Neural Networks for Enhancing Correlated Time Series Forecasting

    Cirstea, R. G., Kieu, T., Guo, C., Yang, B. & Pan, S. J., apr. 2021, Proceedings of the 37th IEEE International Conference on Data Engineering, ICDE 2021. IEEE, s. 1739-1750 12 s. 9458855. (Proceedings - International Conference on Data Engineering, Bind 2021-April).

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

    31 Citationer (Scopus)

  • Entity Prediction in Knowledge Graphs with Joint Embeddings

    Baumgartner, M., Dell'Aglio, D. & Bernstein, A., jun. 2021, Proceedings of the Fifteenth Workshop on Graph-Based Methods for Natural Language Processing (TextGraphs-15). Association for Computational Linguistics, s. 22–31

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

    Åben adgang

  • E-Scooter Sustainability - A Clash of Needs, Perspectives, and Experiences

    Kjærup, M., Skov, M. B. & van Berkel, N., aug. 2021, Human-Computer Interaction – INTERACT 2021 - 18th IFIP TC 13 International Conference, Proceedings. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (red.). Springer, Bind 12934. s. 365-383 19 s. (Lecture Notes in Computer Science).

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    127 Downloads (Pure)