Distributed, Embedded and Intelligent Systems

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300, Cassiopeia

    9220 Aalborg

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2024

    Application of Statistical Model Checking for Robustness Comparison of Power Electronics Controllers

    Novak, M., Grobelna, I., Nyman, U. & Blaabjerg, F., 23 jun. 2024, 2024 IEEE 15th International Symposium on Power Electronics for Distributed Generation Systems, PEDG 2024. IEEE (Institute of Electrical and Electronics Engineers), 6 s.

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

    Åben adgang
    Fil
    21 Downloads (Pure)
  • Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

    Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (red.). Springer Science+Business Media, s. 153-169 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14390 LNCS).

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

    1 Citationer (Scopus)
  • Compositional Control Synthesis for Water Management System

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 feb. 2024, 2024 European Control Conference, ECC 2024. s. 3130-3137 8 s.

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

  • Dissimilarity for Linear Dynamical Systems

    Bacci, G., Bacci, G., Larsen, K. G., Tribastone, M., Squillace, G., Tschaikowski, M. & Vandin, A., 2024, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Hillston, J. & Soudjani, S. (red.). Springer, Bind 14996. s. 125-142 (Lecture Notes in Computer Science (LNCS)).

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

    Åben adgang
  • Leveraging Large Language Models for Actionable Course Evaluation Student Feedback to Lecturers

    Zhang, M., Lindsay, E., Thorbensen, F. B., Poulsen, D. B. & Bjerva, J., sep. 2024, Proceedings of the 52nd Annual Conference of the European Society for Engineering Education (SEFI). European Society for Engineering Education

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

    Åben adgang
  • Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata

    Tollund, R. G., Johansen, N. S., Nielsen, K., Torralba, Á. & Larsen, K. G., 30 maj 2024, Proceedings of the 34th International Conference on Automated Planning and Scheduling, ICAPS 2024. Bernardini, S. & Muise, C. (red.). AAAI Press Association for the Advancement of Artificial Intelligence, s. 588-596 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 34).

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

    Åben adgang
  • Shielded Reinforcement Learning for Hybrid Systems

    Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (red.). Springer, s. 33-54 22 s. (Lecture Notes in Computer Science, Bind 14380).

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

    Fil
    2 Citationer (Scopus)
    58 Downloads (Pure)
  • The inverse problem for neural networks

    Forets, M. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (red.). Springer, s. 241-255 15 s. (Lecture Notes in Computer Science, Bind 14380).

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

    Åben adgang
    2 Citationer (Scopus)
  • 2023

    A Comparison of Different Marginalization Operations in Simple Propagation

    Madsen, A. L. & Butz, C., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Proceedings. Bouraoui, Z. & Vesic, S. (red.). Springer, Bind 14294. s. 172-182 11 s. (Lecture Notes in Computer Science).

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

  • A Demonstration of Interpretability Methods for Graph Neural Networks

    B. Mobaraki, E. & Khan, A., 18 jun. 2023, Proceedings of the 6th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems: GRADES-NDA 2023. Hartig, O. & Yoshida, Y. (red.). Association for Computing Machinery (ACM), 9

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

    Åben adgang
    Fil
    53 Downloads (Pure)
  • A Method and Platform for Security Advisory Dissemination Leveraging Web3 Technologies

    Cibin, N., Sommer, J. L., Lund, M. M. & Albano, M., 17 dec. 2023, Proceedings of 6th IEEE International Conference on Blockchain. Haihuadao, China: IEEE (Institute of Electrical and Electronics Engineers), 10411464. (IEEE International Conference on Blockchain).

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

  • A Modeling Concept for Formal Verification of OS-Based Compositional Software

    Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (red.). Springer, s. 26-46 21 s. (Lecture Notes in Computer Science, Bind 13991 LNCS).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    16 Downloads (Pure)
  • An Experience with and Reflections on Live Coding with Active Learning

    Schlichtkrull, A., 9 aug. 2023, 4th International Computer Programming Education Conference (ICPEC 2023). de Queiros, R. A. P. & Pinto, M. P. T. (red.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 13 s. 14. (Open Access Series in Informatics, Bind 112).

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

    Åben adgang
    Fil
    18 Downloads (Pure)
  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 82-100 19 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

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

  • Approximate Constrained Lumping of Polynomial Differential Equations

    Leguizamon-Robayo, A., Jiménez-Pastor, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, Computational Methods in Systems Biology: 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023, Proceedings. Pang, J. & Niehren, J. (red.). Springer, s. 106-123 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14137 LNBI).

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

    2 Citationer (Scopus)
  • ARCH-COMP23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 89-125 37 s. (EPiC Series in Computing, Bind 96).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    6 Citationer (Scopus)
    12 Downloads (Pure)
  • ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 61-88 28 s. (EPiC Series in Computing, Bind 96).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    30 Downloads (Pure)
  • ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (red.). EasyChair, s. 34-60 27 s. (EPiC Series in Computing, Bind 96).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

    Åben adgang
    Fil
    19 Downloads (Pure)
  • A Simple Latent Variable Model for Graph Learning and Inference

    Jaeger, M., Longa, A., Azzolin, S., Schulte, O. & Passerini, A., 2023, Proceedings of the Second Learning on Graphs Conference, LOG 2023. ML Research Press, 18 s. (The Proceedings of Machine Learning Research, Bind 231).

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

    Åben adgang
    Fil
    48 Downloads (Pure)
  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    1 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 (ACM), s. 1831-1838 8 s.

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

  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    2 Citationer (Scopus)
  • Blockchain-Based Platform for Crowdsourcing Machine Learning Models Design and Training, while Incentivizing Continuous Improvement

    Cibin, N. & Albano, M., 2023, Proceedings - 2023 IEEE International Conference on Decentralized Applications and Infrastructures, DAPPS 2023. IEEE (Institute of Electrical and Electronics Engineers), s. 31-37 7 s. (IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS)).

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

  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (red.). International Joint Conferences on Artificial Intelligence, s. 5420-5428 9 s. (IJCAI International Joint Conference on Artificial Intelligence, Bind 2023-August).

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

    1 Citationer (Scopus)
  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 sep. 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Bind 390. s. 99-114 16 s. (Electronic Proceedings in Theoretical Computer Science).

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

    Åben adgang
    Fil
    25 Downloads (Pure)
  • Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise

    Schou, M. K., Poese, I. & Srba, J., 2023, Proceedings - 2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing, PRDC 2023. IEEE (Institute of Electrical and Electronics Engineers), s. 64-70 7 s. (IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)).

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

    Åben adgang
    Fil
    59 Downloads (Pure)
  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 nov. 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE (Institute of Electrical and Electronics Engineers), 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    59 Downloads (Pure)
  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 nov. 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (red.). Springer, s. 83-99 17 s. (Lecture Notes in Computer Science, Bind 14308).

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

    3 Downloads (Pure)
  • Dynamic Influence Diagram-Based Deep Reinforcement Learning Framework and Application for Decision Support for Operators in Control Rooms

    Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Madsen, A. L. & Baldissone, G., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Brito, M. P., Aven, T., Baraldi, P., Čepin, M. & Zio, E. (red.). Research Publishing, s. 2806-2813 P531

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

  • Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit

    Fokkink, W., Goorden, M., Hendriks, D., van Beek, B., Hofkamp, A., Reijnen, F., Etman, P., Moormann, L., van de Mortel-Fronczak, J., Reniers, M. A., Rooda, J., van der Sanden, B., Schiffelers, R., Thuijsman, S., Verbakel, J. & Vogel, H., 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II. Sankaranarayanan, S. & Sharygina, N. (red.). Springer, s. 44-52 9 s. (Lecture Notes in Computer Science, Bind LNCS 13994).

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    89 Downloads (Pure)
  • Edge Computing Tasks Orchestration: An Energy-Aware Approach

    Thomsen, J. L., Thomsen, K., Schmidt, R. B., Jakobsgaard, S. D., Beregaard, T., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 115-117 3 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

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

    Åben adgang
    Fil
  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (red.). AAAI Press, s. 138-147 10 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 33).

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

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer, Bind LNCS 13872. s. 163-179 17 s. (Lecture Notes in Computer Science).

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

  • Enhancing Control Room Operator Decision Making: An Application of Dynamic Influence Diagrams in Formaldehyde Manufacturing

    Mietkiewicz, J. & Madsen, A. L., 2023, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 17th European Conference, ECSQARU 2023, Arras, France, September 19–22, 2023, Proceedings. Bouraoui, Z. & Vesic, S. (red.). Springer, s. 15-26 12 s. (Lecture Notes in Computer Science, Bind LNCS 14294).

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

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (red.). Springer, s. 118-129 12 s. (Lecture Notes in Computer Science, Bind 13821).

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

  • Fault Tolerant Horizontal Computation Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 2023, Proceedings - 2023 IEEE International Conference on Edge Computing and Communications, EDGE 2023. Ardagna, C., Awaysheh, F., Bian, H., Chang, C. K., Chang, R. N., Delicato, F., Desai, N., Fan, J., Fox, G. C., Goscinski, A., Jin, Z., Kobusinska, A. & Rana, O. (red.). IEEE (Institute of Electrical and Electronics Engineers), s. 177-182 6 s. (Proceedings - IEEE International Conference on Edge Computing, Bind 2023-July).

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

    3 Citationer (Scopus)
  • FlexConnect: Mobile Computational Offloading

    Droob, A., Morratz, D., Jakobsen, F. L., Carstensen, J., Mathiesen, M., Bohnstedt, R., Albano, M., Moreschini, S. & Taibi, D., 17 okt. 2023, Proceedings of 3rd Eclipse Security, AI, Architecture and Modelling Conference on Cloud to Edge Continuum, eSAAM 2023. Association for Computing Machinery (ACM), s. 29-38 10 s. (ACM International Conference Proceeding Series).

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

    Åben adgang
    Fil
    15 Downloads (Pure)
  • Generalized Reasoning with Graph Neural Networks by Relational Bayesian Network Encodings

    Pojer, R., Passerini, A. & Jaeger, M., 2023, Proceedings of the Second Learning on Graphs Conference, LOG 2023. ML Research Press, 12 s. (The Proceedings of Machine Learning Research, Bind 231).

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

    Åben adgang
    Fil
    17 Downloads (Pure)
  • Graph Neural Networks for Metagenomic Binning

    Lamurias, A., Tibo, A., Hose, K., Albertsen, M. & Nielsen, T. D., 2023, The 2023 ICML Workshop on Computational Biology. 7 s. 81

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

    Åben adgang
  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE (Institute of Electrical and Electronics Engineers), s. 784-790 7 s. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    63 Downloads (Pure)
  • History-Deterministic Parikh Automata

    Erlich, E., Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., sep. 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J.-F. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 279. s. 31:1-31:16 16 s. 31. (Leibniz International Proceedings in Informatics).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    15 Downloads (Pure)
  • Interpretability Methods for Graph Neural Networks

    Khan, A. & Mobaraki, E. B., 2023, 2023 IEEE 10th International Conference on Data Science and Advanced Analytics, DSAA 2023 - Proceedings. Manolopoulos, Y. & Zhou, Z.-H. (red.). IEEE (Institute of Electrical and Electronics Engineers), 10302600

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

    1 Citationer (Scopus)
  • Jajapy: A Learning Library for Stochastic Models

    Reynouard, R., Ingolfsdottir, A. & Bacci, G., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (red.). Springer, s. 30-46 17 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 14287).

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

    1 Citationer (Scopus)
  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Nejad, E. M. A., Zahirnia, K., Jaeger, M. & Schulte, O., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery (ACM), s. 1877-1886 10 s.

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

  • Learning Style Classification by Using Bayesian Networks Based on the Index of Learning Style

    Usme, Y. P. V., Normann, M., Sapsai, I., Abke, J., Madsen, A. L. & Weidl, G., 19 jun. 2023, Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023. Association for Computing Machinery (ACM), s. 73-82 10 s.

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

    1 Citationer (Scopus)
  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 maj 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Science+Business Media, s. 104-121 18 s. (Lecture Notes in Computer Science (LNCS), Bind 13903 LNCS).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    15 Downloads (Pure)
  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, Proceedings of the 40th International Conference on Machine Learning. Krause, A. & Brunskill, E. (red.). s. 18471–18481 762. (The Proceedings of Machine Learning Research, Bind 202).

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

    Åben adgang
    Fil
    14 Downloads (Pure)
  • Meta-Path Learning for Multi-relational Graph Neural Networks

    Ferrini, F., Longa, A., Passerini, A. & Jaeger, M., 2023, Proceedings of the Second Learning on Graphs Conference, LOG 2023. ML Research Press, 17 s. (The Proceedings of Machine Learning Research, Bind 231).

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

    Åben adgang
    Fil
    8 Downloads (Pure)
  • Minimization of Dynamical Systems over Monoids

    Argyris, G., Lafuente, A. L., Robayo, A. L., Tribastone, M., Tschaikowski, M. & Vandin, A., 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE (Institute of Electrical and Electronics Engineers), 14 s.

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

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 sep. 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 113-130 18 s. (Lecture Notes in Computer Science; Nr. 14290).

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

    1 Citationer (Scopus)