Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2004 2006 2009 2011 2012 2013 2014 2015 2018 2020 2023

• 172 Konferencebidrag i proceedings
• 89 Tidsskriftartikel
• 32 Antologi
• 30 Bidrag til bog/antologi
• 113 Mere
  • 29 Konferenceartikel
  • 23 Paper
  • 11 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 6 Encyclopædiartikel
  • 6 Konferenceabstrakt til konference
  • 4 Udgivelser på nettet - Net-publikation
  • 3 Kompendium/lecture notes
  • 2 Forord/efterskrift
  • 2 Poster
  • 2 Preprint
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse
  • 1 Review

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 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, Inc., 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 (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., 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 (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., 2020, Proceedings of the VLDB Endowment. Balazinska, M. & Zhou, X. (red.). Association for Computing Machinery, 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., 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

  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., Leitner, G., Stettinger, N., Felfernig, A. & Ras, Z. W. (red.). Springer, s. 440-447 (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., 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 (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, PPDP '20: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming. New York: Association for Computing Machinery, s. 1-14 14 s. 9

  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., 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

• On the design of a Natural Logic System for Knowledge Bases

  Andreasen, T., Bulskov, H. & Nilsson, J. F., 2020, Foundations of Intelligent Systems: 25th International Symposium, ISMIS 2020, Graz, Austria, September 23–25, 2020, Proceedings. Helic, D., Leitner, G., Stettinger, M., Felfernig, A. & Ras, Z. W. (red.). Springer, s. 413-421 8 s. (Lecture Notes in Computer Science; Nr. 12117, Bind LNAI ).

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

  Åben adgang

  Fil

• Probabilistic Output Analyses for Deterministic Programs: Reusing Existing Non-probabilistic Analyses

  Kirkeby, M. H., 20 jan. 2020, Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems Prague, Czech Republic, 7th April 2019. Aldini, A. & Wiklicky, H. (red.). Open Publishing Association, s. 43-57 (Electronic Proceedings in Theoretical Computer Science; Nr. 312).

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

  Åben adgang

• Semi-inversion of Conditional Constructor Term Rewriting Systems

  Kirkeby, M. H. & Glück, R., 1 apr. 2020, Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers. Gabbrielli, M. (red.). Cham: Springer, s. 243-259 (Lecture Notes in Computer Science; Nr. 12042). (Theoretical Computer Science and General Issues; Nr. 12042).

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

• Sound as Material for Eco-technogenesis

  Hines, M., Kadish, D. & Ranten, M. F., maj 2020, Proceedings of RE:SOUND 2019. British Computer Society, s. 195-201 (Electronic Workshops in Computing).

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

  Åben adgang

  Fil

• Stowage Planning with Optimal Ballast Water

  Jia, B., Fagerholt, K., Reinhardt, L. & Rytter, N. G., 30 sep. 2020, Computational Logistics. ICCL 2020. Springer, s. 84-100 17 s. (Lecture Notes in Computer Science, Bind 12433).

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

  Åben adgang

  Fil
• 2019

  Confluence of CHR Revisited: Invariants and Modulo Equivalence

  Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation: 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Mesnard, F. & Stuckey, P. J. (red.). Cham: Springer, Bind 11408. s. 94-111 (Lecture Notes in Computer Science, Bind 11408). (Theoretical Computer Science and General Issues, Bind 11408).

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

  Åben adgang

  Fil

• Deductive Querying of Natural Logic Bases

  Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019, Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings. Cuzzocrea, A., Greco, S., Legind Larsen, H., Saccà, D., Andreasen, T. & Christiansen, H. (red.). Cham: Springer, s. 231-241 (Lecture Notes in Computer Science).

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

  Åben adgang

  Fil

• Estimating Discharge Time of Cargo Units: A Case of Ro-Ro Shipping

  Jia, B., Rytter, N. G., Reinhardt, L., Haulot, G. & Billesøe, M. B., 30 sep. 2019, Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings. Paternina-Arboleda, C. & Voß, S. (red.). Springer, s. 122-135 13 s. (Lecture Notes in Computer Science; Nr. 11756).

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

  Åben adgang

  Fil

• Internal complexity for exploratory interaction

  Hobye, M., 2019, SMC 2019 Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (red.). Málaga: Universidad de Málaga, s. 499-500 2 s.

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

  Åben adgang

• Polyvariant program specialisation with property-based abstraction

  Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. (red.). EPTCS, s. 34-48 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 299).

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

  Åben adgang

• Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

  Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (red.). Cham: Springer, s. 112-130 (Lecture Notes in Computer Science, Bind 11285). (Theoretical Computer Science and General Issues; Nr. 11285).

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

  Åben adgang
• 2018

  Abstract nonsense

  Gonçalves, J., 2018, FARM 2018 - Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design: Co-located with ICFP 2018. Yorgey, B. & Quick, D. (red.). New York: Association for Computing Machinery, s. 26-37

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

• A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

  Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (red.). Santa Fe: Association for Computational Linguistics, s. 1-9

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

  Åben adgang

• A logical investigation of false-belief tasks

  Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (red.). Cognitive Science Society, s. 45-46

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

  Åben adgang

  Fil

• Breathing Life into Familiar Domestic Objects

  Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, s. 589-594 (IEEE RO-MAN proceedings; Nr. 2018).

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

• Confluence and Convergence in Probabilistically Terminating Reduction Systems

  Kirkeby, M. H. & Christiansen, H., 10 jul. 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (red.). Springer, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

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

  Fil

• Efficient Recombination in the Lin-Kernighan-Helsgaun Traveling Salesman Heuristic

  Tinós, R., Helsgaun, K. & Whitley, D., 2018, Parallel Problem Solving from Nature – PPSN XV: 15th International Conference, Coimbra, Portugal, September 8–12, 2018, Proceedings, Part I. Auger, A., Fonseca, C. M., Lourenco, N., Machado, P., Paquete, L. & Whitley, D. (red.). Springer, Bind 1. s. 95-107 13 s. (Theoretical Computer Science and General Issues, Bind 11101). (Lecture Notes in Computer Science, Bind 11101).

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

• Second-Order False Beliefs and Recursive Complements in Children with ASD

  Polyanskaya, I., Braüner, T. & Blackburn, P. R., 2018, BUCLD 42: Proceedings of the 42nd annual Boston University Conference on Language Development. Bertolini, A. B. & Kaplan, M. J. (red.). Massachusetts, USA: Cascadilla Press, Bind 2. s. 632-643 12 s. (Boston University Conference on Language Development. Proceedings, Bind 42).

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

  Åben adgang

  Fil
• 2017

  Pathway Computation in Models Derived from Bio-Science Text Sources

  Andreasen, T., Styltsvig, H. B., Jensen, P. A. & Nilsson, J. F., 2017, Foundations of Intelligent Systems : 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings . Kryszkiewicz, M., Appice, A., Ślęzak, D., Rybinski, H., Skowron, A. & Raś, Z. W. (red.). Cham: Springer, s. 424-434 (Lecture Notes in Computer Science; Nr. 10352). (Lecture notes in artificial intelligence; Nr. 10352).

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

• Widening the Experience of Artistic Sketchbooks

  Christiansen, H. & Laursen, B., 2017, Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (red.). Cham: Springer, s. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 196).

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

  A Source-level Energy Optimization Framework for Mobile Applications

  Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, s. 31-40 10 s.

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

• A Transformational Approach to Parametric Accumulated-Cost Static Profiling

  Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (red.). Cham: Springer, s. 163-180 (Lecture Notes in Computer Science, Bind 9613).

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

  Åben adgang

  Fil

• Fine-Grained Energy Modeling for the Source Code of a Mobile Application

  Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (red.). Association for Computing Machinery, s. 180-189

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

• Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

  Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (red.). Switzerland: Springer, s. 81-100 (Lecture Notes in Computer Science, Bind 9964).

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

  Åben adgang