Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2006 2006 2009 2011 2017 2018 2020 2021 2023 2024 2025

• 142 Konferencebidrag i proceedings
• 91 Tidsskriftartikel
• 37 Bidrag til bog/antologi
• 31 Konferenceartikel
• 127 Mere
  • 30 Antologi
  • 25 Paper
  • 12 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 8 Udgivelser på nettet - Net-publikation
  • 7 Konferenceabstrakt til konference
  • 6 Encyclopædiartikel
  • 4 Preprint
  • 3 Kompendium/lecture notes
  • 3 Forord/efterskrift
  • 2 Poster
  • 2 Review
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse
  • 1 Andet bidrag

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2025

  LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments

  Hofmann, T. & Claßen, J., 2025, Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025): Vol. 39 No. 14: AAAI-25 Technical Tracks 14 . Walsh, T., Shah, J. & Kolter, Z. (red.). AAAI Press, s. 14976-14986 11 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

• On Action Theories with Iterable First-Order Progression

  Liu, D. & Claßen, J., 2025, Proceedings of the 39th AAAI Conference on Artificial Intelligence (AAAI 2025): Vol. 39 No. 14: AAAI-25 Technical Tracks 14. Walsh, T., Shah, J. & Kolter, Z. (red.). AAAI Press, s. 15041-15048 8 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang
• 2024

  An Efficient Integer Programming Model for Solving the Master Planning Problem of Container Vessel Stowage

  van Twiller, J., Sivertsen, A., Jensen, R. M. & Andersen, K. H., 2024, Computational Logistics - 15th International Conference, ICCL 2024, Proceedings. Garrido, A., Paternina-Arboleda, C. D. & Voß, S. (red.). Springer Science and Business Media Deutschland GmbH, s. 236-253 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 15168 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• CLEAR: Ranked Multi-Positive Contrastive Representation Learning for Robust Trajectory Similarity Computation

  Li, J., Liu, T. & Lu, H., 2024, Proceedings - 2024 25th IEEE International Conference on Mobile Data Management, MDM 2024. Institute of Electrical and Electronics Engineers Inc., s. 21-30 10 s. (Proceedings - IEEE International Conference on Mobile Data Management).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Compiling Haskell for Energy Efficiency: Empirical Analysis of Individual Transformations

  Kirkeby, M. H., Santos, B., Fernandes, J. P. & Pardo, A., 8 apr. 2024, 39th Annual ACM Symposium on Applied Computing, SAC 2024. Association for Computing Machinery, s. 1104-1113 10 s. (Proceedings of the ACM Symposium on Applied Computing).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Contact Tracing over Uncertain Indoor Positioning Data (Extended Abstract)

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Chan, H. K. H., 2024, Proceedings - 2024 IEEE 40th International Conference on Data Engineering, ICDE 2024. IEEE Computer Society Press, s. 5711-5712 2 s. (Proceedings - International Conference on Data Engineering).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Disparity of Abstract Color Representations in Convolutional Networks

  Pedersen, M. & Bulskov, H., 2024, Proceedings of 8th International Congress on Information and Communication Technology - ICICT 2023. Yang, X.-S., Sherratt, R. S., Dey, N. & Joshi, A. (red.). Springer, s. 331-341 11 s. (Lecture Notes in Networks and Systems, Bind 695 LNNS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware

  Vadgaard, L. B. H., Kirkeby, M. H., Larsen, K. F. & Thomsen, M. K., 2024, Reversible Computation - 16th International Conference, RC 2024, Proceedings. Mogensen, T. A. & Mikulski, L. (red.). Springer, s. 77-93 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14680 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• First-Order Progression beyond Local-Effect and Normal Actions

  Liu, D. & Claßen, J., 2 aug. 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (red.). IJCAI Organization, s. 3475-3483 9 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Interval cracking and its application to databases of complex geometries

  Bidragets oversatte titel: Interval cracking and its application to databases of complex geometriesVahedi, M. & Christiansen, H., 2024, Proceedings - 2024 IEEE International Conference on Big Data, BigData 2024: Conference Proceedings. Ding, W., Lu, C.-T., Wang, F., Di, L., Wu, K., Huan, J., Nambiar, R., Li, J., Ilievski, F., Baeza-Yates, R. & Hu, X. (red.). IEEE Computer Society Press, s. 3809-3814 6 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Logic and Psychology: A Couple of Case Studies

  Braüner, T., 2024, FCR 2024 Formal and Cognitive Reasoning 2024: Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence. Özçep, Ö. L., Rußwinkel, N., Sauerwald, K. & Wolter, D. (red.). CEUR-WS.org, Bind 3763. s. 11-18 8 s. (CEUR Workshop Proceedings, Bind 3763).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Participatory Design in a Changing World: A Situated Action

  Huybrechts, L., Smith, R. C., Winschiers-Theophilus, H., Loi, D. & Simonsen, J., 11 aug. 2024, Situated Actions, Doctoral Colloquium, PDC places, Communities. D'Andrea, V., de Paula, R. A., Crompton, E., Reitsma, L., Daud, N. B., Zaini, N. A. B., Smith, R. C., Teli, M., Ghazali, M., Huybrechts, L., Tolhouk, R., de Mater O'Neill, M., Tabassum, G., Loh Chee Wyai, G., Muashekele, C., Stanley, C., Mbinge, U., Jengan, G., Del Gaudio, C., Yasuoka Jensen, M., Winschiers-Theophilus, H. & Zaman, T. (red.). Association for Computing Machinery, s. 59-61 3 s. (ACM International Conference Proceeding Series, Bind 3).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Personalized Federated Learning for Cross-City Traffic Prediction

  Zhang, Y., Lu, H., Liu, N., Xu, Y., Li, Q. & Cui, L., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (red.). International Joint Conferences on Artificial Intelligence, s. 5526-5534 9 s. (IJCAI International Joint Conference on Artificial Intelligence).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Predicting Patient No-Shows: Situated Machine Learning with Imperfect Data

  Gyldenkærne, C., Simonsen, J. G., From, G. & Hertzum, M., 22 aug. 2024, MIE2024: Proceedings of 34th Medical Informatics Europe Conference: Digital Health and Informatics Innovations for Sustainable Health Care Systems. Mantas, J., Hasman, A., Demiris, G., Saranto, K., Marschollek, M., Arvanitis, T. N., Ognjanović, I., Benis, A., Gallos, P., Zoulias, E. & Andrikopoulou, E. (red.). IOS Press, Bind 316. s. 1598-1602 5 s. (Studies in Health Technology and Informatics, Bind 316).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• ReCTSi: Resource-efficient Correlated Time Series Imputation via Decoupled Pattern Learning and Completeness-aware Attentions

  Lai, Z., Zhang, D., Li, H., Zhang, D., Lu, H. & Jensen, C. S., 24 aug. 2024, KDD 2024 - Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, s. 1474-1483 10 s. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• SPLindex: A Spatial Polygon Learned Index

  Vahedi, M. & Christiansen, H., 2024, Foundations of Intelligent Systems: 27th International Symposium, ISMIS 2024 Poitiers, France, June 17–19, 2024 Proceedings. Appice, A., Azzag, H., Hacid, M.-S., Hadjali, A. & Ras, Z. (red.). Springer Nature, Bind 14670. s. 271-281 11 s. (Lecture notes in artificial intelligence, Bind 14670).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Strategy Synthesis for First-Order Agent Programs over Finite Traces

  Hofmann, T. & Claßen, J., 6 nov. 2024, 35th Nordic Workshop on Programming Theory (NWPT): Extended abstracts. Thomsen, M. K., Kirkeby, M. H. & Henglein, F. (red.). Københavns Universitet, s. 39-42 4 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  Fil

• This Time As Grandfather

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2024, (Accepteret/In press) Exploring Negation, Modality and Proof. Springer Nature, (A Springer book series Logic In Asia: Studia Logica Library).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• 2023

  An Axiom System for Basic Hybrid Logic with Propositional Quantifiers

  Blackburn, P., Braüner, T. & Kofod, J. L., 2023, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Proceedings. Hansen, H. H., Scedrov, A. & de Queiroz, R. J. G. B. (red.). Springer, s. 118-134 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13923 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces

  Cosma, V. P., Hildebrandt, T. T., Gyldenkærne, C. H. & Slaats, T., 2023, Process Mining Workshops: ICPM 2022 International Workshops, Bozen-Bolzano, Italy, October 23–28, 2022, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (red.). Springer, s. 127-139 13 s. (Lecture Notes in Business Information Processing, Bind 468 LNBIP).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• DAISTIN: A Data-Driven AIS Trajectory Interpolation Method

  Magnussen, B. B., Bläser, N. & Lu, H., 23 aug. 2023, Proceedings of 18th International Symposium on Spatial and Temporal Data, SSTD 2023. Association for Computing Machinery, s. 75-84 10 s. (ACM International Conference Proceeding Series).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Data Imputation for Sparse Radio Maps in Indoor Positioning

  Li, X., Li, H., Chan, H. K. H., Lu, H. & Jensen, C. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, s. 2235-2248 14 s. (Proceedings - International Conference on Data Engineering, Bind 2023-April).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Fil

• On Reducing Reasoning and Querying in Natural Logic to Database Querying

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 2023, Flexible Query Answering Systems - 15th International Conference, FQAS 2023, Proceedings. Larsen, H. L., Martin-Bautista, M. J., Ruiz, M. D., Andreasen, T., Bordogna, G. & De Tré, G. (red.). Springer, s. 3-14 12 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 14113 LNAI).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

  Gallagher, J. P., Hermenegildo, M. V., Morales, J. F. & López-García, P., 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (red.). Springer, Bind 14330. s. 28-38 11 s. (Lecture Notes in Computer Science; Nr. 14330).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil
• 2022

  A Case for Exploration: Exploratory Data Analysis in Neural Networks for Renal Tumor Classification

  Pedersen, M. & Bulskov, H., 2022, Proceedings of the ICR’22 International Conference on Innovations in Computing Research. Daimi, K. & Al Sadoon, A. (red.). Springer, s. 147-156 11 s. (Advances in Intelligent Systems and Computing, Bind 1431).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Diverse Shortest Paths in Game Maps: A Comparative User Study and Experiments

  Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Li, H., 2022, Databases Theory and Applications - 33rd Australasian Database Conference, ADC 2022, Proceedings. Hua, W., Wang, H. & Li, L. (red.). Springer, s. 76-88 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13459 LNCS).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Efficient and Error-bounded Spatiotemporal Quantile Monitoring in Edge Computing Environments

  Li, H., Yi, L., Tang, B., Lu, H. & Jensen, C. S., maj 2022, Proceedings of the VLDB Endowment. Association for Computing Machinery, s. 1753-1765 13 s. (Proceedings of the VLDB Endowment; Nr. 9, Bind 15).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• IKAROS: An Indoor Keyword-Aware Routing System

  Liu, T., Feng, Z., Li, H., Lu, H., Shou, L. & Xu, J., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society Press, s. 3182-3185 4 s. (Proceedings - International Conference on Data Engineering, Bind 2022-May).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing

  Claßen, J. & Delgrande, J. P., 31 jul. 2022, Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. Kern-Isberner, G., Lakemeyer, G. & Meyer, T. (red.). Haifa, Israel: IJCAI Organization, s. 400-404 5 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Spatial Data Quality in the IoT Era: Management and Exploitation

  Li, H., Tang, B., Lu, H., Cheema, M. A. & Jensen, C. S., 10 jun. 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, s. 2474-2482 9 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• 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 Computer Society Press, s. 270-273 4 s. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2022-June).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 2021

  A Note on Hybrid Modal Logic with Propositional Quantiers (Work in Progress)

  Blackburn, P. R., Braüner, T. & Kofod, J. L., 2021, ICLA 2021 Proceedings: 9th Indian Conference on Logic and its Applications, March 4-7, 2021. Ghosh, S. & Ramanujam , R. (red.). The Association for Logic in India, s. 34-39

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Indoor Spatial Queries: Modeling, Indexing, and Processing

  Liu, T., Li, H., Lu, H., Cheema, M. A. & Shou, L., 2021, Advances in Database Technology: EDBT 2021. 24th International Conferenceon Extending Database Technology. Nicosia, Cyprus, March 23–26, 2021. Proceedings. Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K. & Guerra, F. (red.). OpenProceedings.org, s. 181-192 12 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Local Search with Learned Constraints for Last Mile Routing

  Cook, W., Held, S. & Helsgaun, K., sep. 2021, Technical Proceedings of the Amazon Last Mile Routing Research Challenge. Winkenbach, M., Park, S. & Noszak, J. (red.). Massachusetts Institute of Technology, s. 252-253 XXI.12

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

  Åben adgang

• NALMO: A Natural Language Interface for Moving Objects Databases

  Wang, X., Xu, J. & Lu, H., 23 aug. 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, s. 1-11 11 s. (ACM International Conference Proceeding Series).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Perspectives and Views of Flexible Query Answering

  Andreasen, T., De Tré, G., Kacprzyk, J., Larsen, H. L., Bordogna, G. & Zadrożny, S., 2021, Flexible Query Answering Systems - 14th International Conference, FQAS 2021, Proceedings. Andreasen, T., De Tré, G., Kacprzyk, J., Legind Larsen, H., Bordogna, G. & Zadrożny, S. (red.). Springer, s. 3-14 12 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12871 LNAI).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Realization of a Natural Logic in a Database System

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 2021, Flexible Query Answering Systems - 14th International Conference, FQAS 2021, Proceedings. Andreasen, T., De Tré, G., Kacprzyk, J., Legind Larsen, H., Bordogna, G. & Zadrożny, S. (red.). Springer, s. 54-66 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12871 LNAI).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Regular Path Clauses and Their Application in Solving Loops

  Kafle, B., Gallagher, J. P., Hermenegildo, M. V., Klemen, M., López-García, P. & Morales, J. F., 13 sep. 2021, Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021). Hojjat, H. & Kafle , B. (red.). EPTCS, Bind 344. s. 22-35 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 344).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Restraints as a Mechanic for Bodily Play

  Matjeka, L. P., Hobye, M. & Larsen, H. S., 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, s. 1-14 14 s. 441

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Fil

• Time-Constrained Indoor Keyword-Aware Routing

  Chan, H. K. H., Liu, T., Li, H. & Lu, H., 23 aug. 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, s. 74-84 11 s. (ACM International Conference Proceeding Series).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Tracing Conceptions of the Body in HCI: From User to More-Than-Human

  Homewood, S., Hedemyr, M., Ranten, M. F. & Kozel, S., 6 maj 2021, CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths. New York: Association for Computing Machinery, 12 s. 258

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study

  Braüner, T., Ghosh, A. & Ghosh, S., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers . Cleophas, L. & Massink, M. (red.). Springer, s. 118-128 11 s. (Lecture Notes in Computer Science; Nr. 12524).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
• 2020

  A General Framework for Static Cost Analysis of Parallel Logic Programs

  Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., apr. 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (red.). Springer, Bind 12042. s. 19-35 17 s. (Lecture Notes in Computer Science, Bind 12042). (Theoretical Computer Science and General Issues, Bind 12042).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• An Experiment Combining Specialization with Abstract Interpretation

  Gallagher, J. P. & Glück, R., 7 aug. 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg , L. & Heizmann , M. (red.). EPTCS, Bind 320. s. 155-158 4 s. (Electronic Proceedings in Theoretical Computer Science, Bind 320).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Continuously Monitoring Alternative Shortest Paths on Road Networks

  Li, L., Cheema, M. A., Ali, M. E., Lu, H. & Taniar, D., 1 jul. 2020, Proceedings of the VLDB Endowment. Balazinska, M. & Zhou, X. (red.). 11 udg. Association for Computing Machinery, Bind 13. s. 2243-2255 13 s. (Proceedings of the VLDB Endowment; Nr. 12, Bind 13).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Detecting and Diagnosing Energy Issues for Mobile Applications

  Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 18 jul. 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (red.). Association for Computing Machinery, s. 115-127 13 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

• Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks

  Pedersen, M., Christiansen, H. & Asawi, N. H., 2020, Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23-25, 2020, Proceedings. Helic, D., Stettinger, M., Felfernig, A., Leitner, G. & Ras, Z. W. (red.). Springer, s. 440-447 8 s. (Lecture Notes in Computer Science, Bind 12117).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation

  Gallagher, J. P., Hermenegildo, M. V., Kafle, B., Klemen, M., López-García, P. & Morales, J. F., 7 aug. 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann , M. (red.). EPTCS, Bind 320. s. 50-64 15 s. (Electronic Proceedings in Theoretical Computer Science, Bind 320).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems

  Kirkeby, M. H. & Glück, R., 1 sep. 2020, Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 - Part of BOPL 2020 - Bologna Federated Conference on Programming Languages 2020. New York: Association for Computing Machinery, s. 1-14 14 s. 3414089

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• LISA: A Learned Index Structure for Spatial Data

  Li, P., Lu, H., Zheng, Q., Yang, L. & Pan, G., 14 jun. 2020, SIGMOD' 20: Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020. Maier, D., Pottinger, R., Doan, A., Tan, W.-C., Alawini, A. & Ngo, H. Q. (red.). New York: Association for Computing Machinery, s. 2119-2133 15 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review