Publikationer pr. år
Publikationer pr. år
Publikationer
- 1 - 50 ud af 1.207 resultater
Søgeresultater
-
2025
Robust probabilistic temporal logics
Zimmermann, M., feb. 2025, I: Information Processing Letters. 188, 106522.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
2024
A BIT OF NONDETERMINISM MAKES PUSHDOWN AUTOMATA EXPRESSIVE AND SUCCINCT
Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., jan. 2024, I: Logical Methods in Computer Science. 20, 1, 39.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (Scopus) -
ACSmt: A plugin for eclipse papyrus to model systems of systems
Remond Harbo, S. K., Palmelund Voldby, E., Madsen, J. & Albano, M., jan. 2024, I: Science of Computer Programming. 231, 103008.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
A formal understanding of computational empathy in interactive agents
Brännström, A., Wester, J. & Nieves, J. C., jun. 2024, I: Cognitive Systems Research. 85, 101203.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
A study on the risk stratification for patients within 24 hours of admission for risk of hospital-acquired urinary tract infection using Bayesian network models
Jakobsen, R. S., Nielsen, T. D., Leutscher, P. & Koch, K., 1 mar. 2024, I: Health Informatics Journal. 30, 1, 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil9 Downloads (Pure) -
AutoCTS++: Zero-shot Joint Neural Architecture and Hyperparameter Search for Correlated Time Series Forecasting
Wu, X., Yang, B., Guo, C., Hu, J. & Jensen, C. S., sep. 2024, I: The VLDB Journal. 33, 5, s. 1743-1770 28 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil169 Downloads (Pure) -
Boosting optimal symbolic planning: Operator-potential heuristics
Fišer, D., Torralba, Á. & Hoffmann, J., sep. 2024, I: Artificial Intelligence. 334, 104174.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Clinical needs and preferences for AI-based explanations in clinical simulation training
Kollerup, N. K., Johansen, S. S., Tolsgaard, M. G., Friis, M. L., Skov, M. B. & van Berkel, N., 3 apr. 2024, (E-pub ahead of print) I: Behaviour and Information Technology. 21 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Coalition-based task assignment with priority-aware fairness in spatial crowdsourcing
Zhao, Y., Zheng, K., Wang, Z., Deng, L., Yang, B., Pedersen, T. B., Jensen, C. S. & Zhou, X., jan. 2024, I: VLDB Journal. 33, 1, s. 163-184 22 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)34 Downloads (Pure) -
Comparative Evaluation of Converter Control Impact on Torsional Dynamics of Type-IV Grid-Forming Wind Turbines
Liu, S., Cirstea, R. G., Wu, H., Bosma, T. & Wang, X., 2024, I: IEEE Transactions on Sustainable Energy. s. 1-12 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Controlling Stormwater Detention Ponds under Partial Observability
Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 29 maj 2024, I: Journal of Logical and Algebraic Methods in Programming. 141, s. 1-29 29 s., 100979.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
CreoleVal: Multilingual Multitask Benchmarks for Creoles
Lent, H., Tatariya, K., Dabre, R., Chen, Y., Fekete, M., Ploeger, E., Zhou, L., Armstrong, R.-A., Eijansantos, A., Malau, C., Heje, H. E., Lavrinovics, E., Kanojia, D., Belony, P., Bollmann, M., Grobol, L., de Lhoneux, M., Hershcovich, D., DeGraff, M. & Søgaard, A. & 1 flere, , 4 sep. 2024, I: Transactions of the Association for Computational Linguistics (TACL). 12, s. 950-978 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Digital Twin Empowered PV Power Prediction
Zhang, X., Li, Y., Li, T., Gui, Y., Sun, Q. & Gao, D. W., 2024, I: Journal of Modern Power Systems and Clean Energy. PP, 99, s. 1-13 13 s., 10322689.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Effects of Social Facilitation and Introduction Methods for Cattle on Virtual Fence Adaptation
Simonsen, P. A., Husted, N. S., Clausen, M., Spens, A.-M., Dyrholm, R. M., Thaysen, I. F., Aaser, M. F., Staahltoft, S. K., Bruhn, D., Alstrup, A. K. O., Sonne, C. & Pertoldi, C., 14 maj 2024, I: Animals. 14, 10, 1456.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Electrolyte design to regulate the electrode–electrolyte interface on the electrochemical performance for K0.5MnO2||graphite-based potassium-ion batteries
Lin, Y., Luo, S., Li, P., Feng, J., Zhao, W., Cong, J. & Yan, S., 15 jun. 2024, I: Chemical engineering journal . 490, 151540, 151540.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
Energy Communities: Pervasive Technologies and Collective Futures
Jensen, R. H., Jensen, V. V. & Smith, R. C., 1 apr. 2024, I: IEEE Pervasive Computing. 23, 2, s. 45-55 11 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Citationer (Scopus) -
Enhancing Control Room Operator Decision Making
Mietkiewicz, J., Abbas, A. N., Amazu, C. W., Baldissone, G., Madsen, A. L., Demichela, M. & Leva, M. C., feb. 2024, I: Processes . 12, 2, 328.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang3 Citationer (Scopus) -
Exploring People’s Perceptions of LLM-generated Advice
Wester, J., de Jong, S., Pohl, H. & van Berkel, N., 7 jun. 2024, I: Computers in Human Behavior: Artificial Humans. 2, 2Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
FedAGL: A Communication-Efficient Federated Vehicular Network
Su, L., Li, Y., Guan, P., Li, T., Taherkordi, A. & Jensen, C. S., 1 feb. 2024, I: IEEE Transactions on Intelligent Vehicles. 9, 2, s. 3704-3720 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
4 Citationer (Scopus) -
FedAPT: Joint Adaptive Parameter Freezing and Resource Allocation for Communication-Efficient Federated Vehicular Networks
Wu, J., Dai, T., Guan, P., Liu, S., Gou, F., Taherkordi, A., Li, Y. & Li, T., 1 jun. 2024, I: IEEE Internet of Things Journal. 11, 11, s. 19520-19536 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Free Open Source Communities Sustainability: Does It Make a Difference in Software Quality?
Alami, A., Pardo, R. & Linåker, J., 23 jul. 2024, I: Empirical Software Engineering. 29, 5, 114.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil5 Downloads (Pure) -
Grounding Stream Reasoning Research
Bonte, P., Calbimonte, J.-P., de Leng, D., Dell'Aglio, D., Della Valle, E., Eiter, T., Giannini, F., Heintz, F., Schekotihin, K., Le-Phuoc, D., Mileo, A., Schneider, P., Tommasini, R., Urbani, J. & Ziffer, G., 3 maj 2024, I: Transactions on Graph Data and Knowledge (TGDK). 2, 1, 47 s., 2.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Incorporating climate projections in the environmental risk assessment of pesticides in aquatic ecosystems
Oldenkamp, R., Benestad, R. E., Hader, J. D., Mentzel, S., Nathan, R., Madsen, A. L. & Moe, J., mar. 2024, I: Integrated Environmental Assessment and Management. 20, 2, s. 384-400 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang4 Citationer (Scopus) -
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning
Kim, E. H., Nielsen, T. D., Larsen, K. G., Goorden, M., Ghaffari, M., Wasowski, A. & Høeg-Petersen, A. H., 5 jul. 2024, (Afsendt) I: Journal - in the process . s. 1-18 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Optimal control strategies for stormwater detention ponds
Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R., Srba, J. & Zhao, G., aug. 2024, I: Nonlinear Analysis: Hybrid Systems. 53, 101504.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Downloads (Pure) -
Party Face Congratulations! Exploring Design Ideas to Help Sighted Users with Emoji Accessibility when Messaging with Screen Reader Users
Griggio, C. F., Gorman, B. M. & Tigwell, G. W., 23 apr. 2024, I: Proceedings of the ACM on Human-Computer Interaction. 8, CSCW1, 175.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
Price-Matching-Based Regional Energy Market With Hierarchical Reinforcement Learning Algorithm
Zhang, N., Yan, J., Hu, C., Sun, Q., Yang, L., Gao, D. W., Guerrero, J. M. & Li, Y., 2024, (Accepteret/In press) I: IEEE Transactions on Industrial Informatics. s. 1-12 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
Robust computation tree logic
Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., mar. 2024, I: Innovations in Systems and Software Engineering.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
Strategies for strengthening UX competencies and cultivating corporate UX in a large organisation developing robots
Nielsen, S., Ordoñez, R., Skov, M. B. & Jochum, E., 2024, I: Behaviour and Information Technology. 43, 9, s. 1769-1797 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
Task Assignment with Efficient Federated Preference Learning in Spatial Crowdsourcing
Miao, H., Zhong, X., Liu, J., Zhao, Y., Zhao, X., Qian, W., Zheng, K. & Jensen, C. S., apr. 2024, I: IEEE Transactions on Knowledge and Data Engineering. 36, 4, s. 1800-1814 15 s., 10239279.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
The algebraic entropy of one-dimensional finitary linear cellular automata
Toller, D., Dikranjan, D., Giordano Bruno, A. & Akin, H., 2024, I: Journal of Group Theory. 27, 4, s. 813-856 44 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
The CLIN33 Shared Task on the Detection of Text Generated by Large Language Models
Fivez, P., Daelemans, W., Van de Cruys, T., Kashnitsky, Y., Chamezopoulos, S., Mohammadi, H., Giachanou, A., Bagheri, A., Poelman, W., Vladika, J., Ploeger, E., Bjerva, J., Matthes, F. & van Halteren, H., 21 mar. 2024, I: Computational Linguistics in the Netherlands Journal. 13, s. 233–259Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
The complexity of evaluating nfer
Kauffman, S. & Zimmermann, M., jan. 2024, I: Science of Computer Programming. 231, 103012, 103012.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
The Role of Psychological Safety in Promoting Software Quality in Agile Teams
Alami, A., Zahedi, M. & Krancher, O., sep. 2024, I: Empirical Software Engineering. 29, 5, 119.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil50 Downloads (Pure) -
The Role of Typological Feature Prediction in NLP and Linguistics
Bjerva, J., jun. 2024, I: Computational Linguistics. 50, 2, s. 781-794 14 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
"This Chatbot Would Never...": Perceived Moral Agency of Mental Health Chatbots
Wester, J., Pohl, H., Hosio, S. & van Berkel, N., 26 apr. 2024, I: Proceedings of the ACM on Human-Computer Interaction - CSCW. 8, CSCW1, s. 1-28 28 s., 133.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (Scopus) -
Verified propagation of imprecise probabilities in non-linear ODEs
Gray, A., Forets, M., Schilling, C., Ferson, S. & Benet, L., 2024, I: International Journal of Approximate Reasoning. 164, 24 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang2 Citationer (Scopus) -
2023
3-D-Lumped Thermal Network Models for the Reliability Analysis of Fan-Cooled Plate-Fin Heatsink
Fu, H., Chen, J., Wang, H., Liu, Z., Sorensen, H. & Bahman, A. S., 1 jun. 2023, I: IEEE Journal of Emerging and Selected Topics in Power Electronics. 11, 3, s. 3480-3491 12 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
5 Citationer (Scopus) -
A Bi-Channel Co-Clustering Algorithm for Heterogeneous Information Networks
Qiu, L. S., Fang, Z. Q., Chen, L., Zhang, T. M. & Li, T. Y., nov. 2023, I: Jisuanji Xuebao/Chinese Journal of Computers. 46, 11, s. 2416-2430 15 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
-
AdaTaskRec: An Adaptive Task Recommendation Framework in Spatial Crowdsourcing
Zhao, Y., Deng, L. & Zheng, K., 28 jul. 2023, I: A C M Transactions on Information Systems. 41, 4, 95.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
3 Citationer (Scopus) -
Algorithmic Minimization of Uncertain Continuous-Time Markov Chains
Cardelli, L., Grosu, R., Larsen, K. G., Tribastone, M., Tschaikowski, M. & Vandin, A., 1 nov. 2023, I: IEEE Transactions on Automatic Control. 68, 11, s. 6557-6572Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Citationer (Scopus) -
AllSynth: A BDD-Based Approach for Network Update Synthesis
Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 19 s., 102992.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)16 Downloads (Pure) -
An interview study about the use of logs in embedded software engineering
Yang, N., Cuijpers, P., Hendriks, D., Schiffelers, R., Lukkien, J. & Serebrenik, A., mar. 2023, I: Empirical Software Engineering. 28, 2, 43.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
4 Citationer (Scopus) -
Antecedents of Psychological Safety in Agile Software Development Teams
Alami, A., Zahedi, M. & Krancher, O., okt. 2023, I: Information and Software Technology. 162, 107267.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil12 Citationer (Scopus)171 Downloads (Pure) -
A sequent calculus for first-order logic formalized in Isabelle/HOL.
From, A. H., Schlichtkrull, A. & Villadsen, J., 1 jun. 2023, I: Journal of Logic and Computation. 33, 4, s. 818-836 19 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (Scopus) -
A Theory of Scrum Team Effectiveness
Verwijs, C. & Russo, D., 27 apr. 2023, I: ACM Transactions on Software Engineering and Methodology. 32, 3, 74.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
21 Citationer (Scopus) -
A toolchain for domestic heat-pump control using Uppaal Stratego
Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., aug. 2023, I: Science of Computer Programming. 230, 102987.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil2 Citationer (Scopus)48 Downloads (Pure) -
AutoEER: Automatic EEG-based emotion recognition with neural architecture search
Wu, Y., Liu, H., Zhang, D., Zhang, Y., Lou, T. & Zheng, Q., 14 aug. 2023, I: Journal of Neural Engineering. 20, 4, 046029.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
4 Citationer (Scopus) -
Automated labeling and online evaluation for self-paced movement detection BCI
Zhang, D., Hansen, C., De Frène, F., Kærgaard, S. P., Qian, W. & Chen, K., 8 apr. 2023, I: Knowledge-Based Systems. 265, 110383.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil4 Citationer (Scopus)25 Downloads (Pure) -
BinChill: A Metagenomic Binning Ensemble Method
Bak, O. S., Jensen, M. D., Trudslev, F. M., Windfeld, A. & Lamurias, A., 2023, I: IEEE Access. 11, s. 49561-49577 17 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil1 Citationer (Scopus)1 Downloads (Pure)