Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2023

    Mining Seasonal Temporal Patterns in Time Series

    Ho, V. L., Ho, N. & Pedersen, T. B., 7 apr. 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE Communications Society, s. 2249-2261 13 s. 10184527. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Moral Transparency as a Mitigator of Moral Bias in Conversational User Interfaces

    Wester, J., Lee, M. & van Berkel, N., 19 jul. 2023, Proceedings of the 5th International Conference on Conversational User Interfaces (CUI ’23). Lee, M., Munteanu, C., Porcheron, M., Trippas, J. & Völkel, S. T. (red.). Association for Computing Machinery, 6 s. 12

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

    1 Citationer (Scopus)

  • Most Probable Densest Subgraphs

    Saha, A., Ke, X., Khan, A. & Long, C., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, s. 1447-1460 14 s. (Proceedings of the International Conference on Data Engineering).

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

  • OntoEval: an Automated Ontology Evaluation System

    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. 82–85 4 s.

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

    1 Citationer (Scopus)

  • Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Nature Switzerland AG, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13903).

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

    Åben adgang
    5 Citationer (Scopus)

  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 jun. 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (red.). Springer, s. 51-56 6 s. (Lecture Notes in Computer Science (LNCS), Bind LNCS 13897).

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

  • Patterns of Closeness and Abstractness in Colexifications: The Case of Indigineous Languages in the Americas

    Chen, Y. & Bjerva, J., jul. 2023, Third Workshop on NLP for Indigenous Languages of the Americas. Association for Computational Linguistics, 4 s.

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

    Åben adgang

  • Personalized Location-Preference Learning for Federated Task Assignment in Spatial Crowdsourcing

    Zhong, X., Miao, H., Qiu, D., Zhao, Y. & Zheng, K., 21 okt. 2023, Proceedings of the 32nd ACM International Conference on Information and Knowledge Management (CIKM '23). Association for Computing Machinery, s. 3534-3543 10 s.

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

  • Potency-Based Heuristic Search with Randomness for Explicit Model Checking

    Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (red.). Springer Nature Switzerland AG, s. 180-187 8 s. (Lecture Notes in Computer Science; Nr. 13872).

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

  • Provotyping Accountability: Exploring Smartphone Use in the Home through Design

    Jensen, R. H., Encinas, E., Strengers, Y., Dannesboe, C., Kruuse, E., Skovby, J., Bach, M., Tietze, P. & Christensen, S., 2023, Proceedings of the 2023 ACM Designing Interactive Systems Conference (DIS '23). Association for Computing Machinery, s. 1595–1609 15 s.

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

    Åben adgang
    Fil
    99 Downloads (Pure)

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (red.). Springer Nature Switzerland AG, s. 96-112 17 s. (Lecture Notes in Computer Science; Nr. 14290).

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

  • Reinforcement Learning based Tree Decomposition for Distance Querying in Road Networks

    Zheng, B., Ma, Y., Wan, J., Gao, Y., Huang, K., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, s. 1678-1690 13 s. (Proceedings of the International Conference on Data Engineering).

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

  • RHB-Net: A Relation-aware Historical Bridging Network for Text2SQL Auto-Completion

    Zheng, B., Bi, L., Xi, R., Chen, L., Gao, Y., Zhou, X. & Jensen, C. S., 19 jul. 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, s. 1458-1467 10 s.

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

  • Robust Alternating-Time Temporal Logic

    Murano, A., Neider, D. & Zimmermann, M., 2023, Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V. & Ortiz, M. (red.). Springer Nature Switzerland AG, s. 796-813 18 s. (Lecture Notes in Computer Science; Nr. 14281).

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

  • S 2TUL: A Semi-Supervised Framework for Trajectory-User Linking

    Deng, L., Sun, H., Zhao, Y., Liu, S. & Zheng, K., 27 feb. 2023, WSDM 2023 - Proceedings of the 16th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 375-383 9 s.

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

    4 Citationer (Scopus)

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 s.

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

    Åben adgang

  • Scaling Large RDF Archives to Very Long Histories

    Pelgrin, O., Taelman, R., Galarraga, L. & Hose, K., 2023, Proceedings - 17th IEEE International Conference on Semantic Computing, ICSC 2023. IEEE, s. 41-48 8 s. (IEEE International Conference on Semantic Computing (ICSC)).

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

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

  • Scientific Data Extraction from Oceanographic Papers

    Veyhe, B. E., Sagi, T. & Hose, K., 30 apr. 2023, Companion Proceedings of the ACM Web Conference 2023 (WWW '23 Companion). Association for Computing Machinery, s. 800–804 5 s.

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

    1 Citationer (Scopus)

  • SEA: A Scalable Entity Alignment System

    Wu, J., Li, T., Chen, L., Gao, Y. & Wei, Z., 19 jul. 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, s. 3175-3179 5 s.

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

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

  • SHACTOR: Improving the Quality of Large-Scale Knowledge Graphs with Validating Shapes

    Rabbani, K., Lissandrini, M. & Hose, K., 4 jun. 2023, Companion of the 2023 International Conference on Management of Data (SIGMOD '23). Association for Computing Machinery, s. 151-154 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

  • SimiDTR: Deep Trajectory Recovery with Enhanced Trajectory Similarity

    Zhang, Y., Deng, L., Zhao, Y., Chen, J., Xie, J. & Zheng, K., 2023, Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part I. Wang, X., Sapino, M. L., Han, W-S., El Abbadi, A., Dobbie, G., Feng, Z., Shao, Y. & Yin, H. (red.). Springer, s. 431-447 17 s. (Lecture Notes in Computer Science, Bind LNCS 13943).

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

  • StarBench: Benchmarking RDF-star Triplestores

    Abuoda, G., Aebeloe, C., Dell'Aglio, D., Keen, A. & Hose, K., 2023, Joint Proceedings of the QuWeDa and MEPDaW 2023: 7th Workshop on Storing, Querying and Benchmarking Knowledge Graphs and 9th Workshop on Managing the Evolution and Preservation of the Data Web co-located with 22nd International Semantic Web Conference (ISWC 2023). CEUR Workshop Proceedings, 16 s. (CEUR Workshop Proceedings, Bind 3565).

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

    Åben adgang
    Fil
    2 Downloads (Pure)

  • ST-MoE: Spatio-Temporal Mixture-of-Experts for Debiasing in Traffic Prediction

    Li, S., Cui, Y., Zhao, Y., Yang, W., Zhang, R. & Zhou, X., 21 okt. 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1208–1217 10 s.

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

  • symQV: Automated Symbolic Verification of Quantum Programs

    Bauer-Marquart, F., Leue, S. & Schilling, C., 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (red.). Springer, s. 181-198 18 s. (Lecture Notes in Computer Science, Bind LNCS 14000).

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

    Åben adgang
    3 Citationer (Scopus)

  • TARGET-tool: Participatory Design of an Interactive Professional Development Tool for Secondary School Physical Education Teachers

    Weeldenburg, G., Kromkamp, L., Borghouts, L., Verburg, P., Hansen, N. B. & Vos, S., 9 jun. 2023, ICFET '23: Proceedings of the 2023 9th International Conference on Frontiers of Educational Technologies. Association for Computing Machinery, s. 40-51 12 s.

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

    Åben adgang
    Fil
    7 Downloads (Pure)

  • Task Assignment with Spatio-temporal Recommendation in Spatial Crowdsourcing

    Zhu, C., Cui, Y., Zhao, Y. & Zheng, K., 2023, Web and Big Data: 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25–27, 2022, Proceedings, Part I. Li, B., Tao, C., Yue, L., Han, X., Calvanese, D. & Amagasa, T. (red.). Springer, s. 264-279 16 s. (Lecture Notes in Computer Science, Bind LNCS 13421).

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

    2 Citationer (Scopus)

  • The Character of Eco-feedback Systems for Energy Communities

    Gil Peña, È. & Jensen, R. H., 29 maj 2023, Proceedings of the 11th International Conference on Communities and Technologies: Humanization of Digital Technologies 2023, C&T '23. Association for Computing Machinery, s. 203–214 12 s.

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

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

  • The Past, Present, and Future of Typological Databases in NLP

    Baylor, E., Ploeger, E. & Bjerva, J., dec. 2023, Findings of the Association for Computational Linguistics: EMNLP 2023. Association for Computational Linguistics, s. 1163-1169 7 s.

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

    Åben adgang
    Fil
    1 Citationer (Scopus)

  • Tuning Shared Hospital Spaces: Sound Zones in Healthcare

    Fangel Skov, K., Axel Nielsen, P. & Kjeldskov, J., 30 aug. 2023, Proceedings of the 18th International Audio Mostly Conference, AM 2023. Association for Computing Machinery, s. 63-70 8 s.

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

  • Uncertain FlexOffers: a scalable, uncertainty-aware model for energy flexibility

    Lilliu, F., Pedersen, T. B., Siksnys, L. & Neupane, B., 20 jun. 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 30-41 12 s. (e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems).

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

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

  • Uncertainty Quantification for Traffic Forecasting: A Unified Approach

    Qian, W., Zhang, D., Zhao, Y., Zheng, K. & Yu, J. J. Q., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, s. 992-1004 13 s. (Proceedings of the International Conference on Data Engineering).

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

    2 Citationer (Scopus)

  • Unsupervised Entity Alignment for Temporal Knowledge Graphs

    Liu, X., Wu, J., Li, T., Chen, L. & Gao, Y., 30 apr. 2023, ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 2528–2538 11 s.

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

    7 Citationer (Scopus)

  • Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

    Kiviriga, A., Larsen, K. G., Nickovic, D. & Nyman, U., 2023, Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings. Petrucci, L. & Sproston, J. (red.). Springer, s. 141-157 17 s. (Lecture Notes in Computer Science, Bind 14138 LNCS).

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

  • User Experience in Large-Scale Robot Development: A Case Study of Mechanical and Software Teams

    Nielsen, S., Skov, M. B. & Bruun, A., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, Proceedings, Part II. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (red.). Springer Science+Business Media, s. 40-61 22 s. (Lecture Notes in Computer Science (LNCS), Bind 14143).

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

  • Using Colour and Brightness for Sound Zone Feedback

    Johansen, S. S., Nielsen, P. A., Stec, K. & Kjeldskov, J., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part I. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (red.). Springer, s. 247-272 26 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14142 LNCS).

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

  • Verified Verifying: SMT-LIB for Strings in Isabelle

    Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 aug. 2023, Implementation and Application of Automata: 27th International Conference, CIAA 2023, Proceedings. Nagy, B. (red.). Springer Nature Switzerland AG, s. 206-217 12 s. (Lecture Notes in Computer Science; Nr. 14151).

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

  • Visualizing How-Provenance Explanations for SPARQL Queries

    Galárraga, L., Hernández, D., Katim, A. & Hose, K., 30 apr. 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, s. 212-216 5 s.

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

  • Voting-based Opinion Maximization

    Saha, A., Ke, X., Khan, A. & Lakshmanan, L. V. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE, s. 544-557 14 s. (Proceedings of the International Conference on Data Engineering).

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

  • 2022

    Additive Pattern Databases for Decoupled Search

    Sievers, S., Gnad, D. & Torralba, A., 17 jul. 2022, Proceedings of the Fifteenth International Symposium on Combinatorial Search . 1 udg. The AAAI Press, Bind 15. s. 180-189 9 s.

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

  • A Decision Support System to Predict Acute Fish Toxicity

    Madsen, A. L., Moe, S. J., Braunbeck, T., Connors, K. A., Embry, M., Schirmer, K., Scholz, S., Wolf, R. & Lillicrap, A. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models. Salmerón, A. & Rumi, R. (red.). PMLR Press, s. 253-264 12 s. (The Proceedings of Machine Learning Research, Bind 186).

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

    Åben adgang
    Fil
    10 Downloads (Pure)

  • A Diagram-Centric Modeling Tool for Systems of Systems

    Harbo, S. K. R., Voldby, E. P., Madsen, J. & Albano, M., 23 okt. 2022, Proceedings of the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Association for Computing Machinery, s. 51-55 5 s.

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

    2 Citationer (Scopus)

  • AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences

    Larsen, K. G., Mariegaard, A., Schmid, S. & Srba, J., 2022, Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (red.). Springer, s. 344-362 19 s. (Lecture Notes in Computer Science, Bind 13299).

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

    2 Citationer (Scopus)

  • An Algorithm for the Formal Reduction of Differential Equations as Over-Approximations

    Squillace, G., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Quantitative Evaluation of Systems. Springer, s. 173–191 (Lecture Notes in Computer Science, Bind 13479).

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

    1 Citationer (Scopus)

  • An approach for Web of Things over Named Data Networking

    Dongo, J., 7 nov. 2022, IoT 2022 - Proceedings of the 12th International Conference on the Internet of Things 2022. Association for Computing Machinery, s. 187-192 6 s.

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

  • An Approach to Estimating Energy Consumption of Web-based IT Systems (short paper)

    Kirkeby, M. H., Gallagher, J. & Thomsen, B., 31 maj 2022, Proceedings of the First Workshop on Connecting Education and Research Communities for an Innovative Resource Aware Society (CERCIRAS). Iyenghar, P. & Rakic, G. (red.). CEUR Workshop Proceedings, (CEUR Workshop Proceedings, Bind 3145).

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

    Åben adgang
    Fil
    111 Downloads (Pure)

  • An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence

    Argyris, G., Lluch Lafuente, A., Tribastone, M., Tschaikowski, M. & Vandin, A., 2022, Computational Methods in Systems Biology (CMSB'2022). Springer, s. 294-301 (Lecture Notes in Computer Science, Bind LNBI, volume 13447).

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

    Åben adgang
    1 Citationer (Scopus)

  • Anomaly Detection in Time Series with Robust Variational Quasi-Recurrent Autoencoders

    Kieu, T., Yang, B., Guo, C., Cirstea, R-G., Zhao, Y., Song, Y. & Jensen, C. S., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, s. 1342-1354 13 s.

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

    19 Citationer (Scopus)

  • Approximate and Interactive Processing of Aggregate Queries on Knowledge Graphs: A Demonstration

    Wang, Y., Khan, A., Xu, X., Ye, S., Pan, S. & Zhou, Y., 17 okt. 2022, CIKM 2022 - Proceedings of the 31st ACM International Conference on Information and Knowledge Management. 31st ACM International Conference on Information and Knowledge Management (CIKM ’22), October 17–21, 2022, Atlanta, GA, USA. : Association for Computing Machinery, s. 5034-5038 5 s.

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

    4 Citationer (Scopus)

  • A Python Library for Trace Analysis

    Dams, D., Havelund, K. & Kauffman, S., sep. 2022, International Conference on Runtime Verification. Dang, T. & Stolz, V. (red.). Springer, Bind 13498. s. 264-273 10 s. (Lecture Notes in Computer Science, Bind 13498).

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

    2 Citationer (Scopus)