Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Article in proceeding

    Refactoring Real-Time Java Profiles

    Søndergaard, H., Thomsen, B., Ravn, A. P., Hansen, R. R. & Bøgholm, T., 28 Mar 2011, Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2011 14th IEEE International Symposium on. IEEE, p. 109 - 116 16 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • Refinement and Difference for Probabilistic Automata

    Delahaye, B., Fahrenberg, U., Larsen, K. G. & Legay, A., 2013, Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer Publishing Company, Vol. 8054. p. 22-38 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Refinement of Bayesian Network Structures upon New Data

    Zeng, Y. & Pacekajus, S., 2008, IEEE International Conference on Granular Computing, 2008. GrC 2008.. IEEE, p. 772-777 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • 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. (eds.). Springer Nature Switzerland AG, p. 96-112 17 p. (Lecture Notes in Computer Science; No. 14290).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Refinement of Trace Abstraction for Real-Time Programs

    Cassez, F., Jensen, P. G. & Larsen, K. G., 7 Sept 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, p. 42-58 (Lecture Notes in Computer Science, Vol. 10506).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Refining a quantitative information flow metric

    Others, A., 2012, 5th International Conference on New Technologies, Mobility and Security (NTMS), 2012. IEEE, p. Article No. 6208689 7 p. (International Conference on New Technologies, Mobility and Security (NTMS) - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • ReflectPal: Exploring Self-Reflection on Collaborative Activities Using Voice Assistants

    Papachristos, E., Meldgaard, D. P., Thomsen, I. R. & Skov, M. B., 2021, Human-Computer Interaction – INTERACT 2021 - 18th IFIP TC 13 International Conference, Proceedings. Ardito, C., Lanzilotti, R., Malizia, A., Malizia, A., Petrie, H., Piccinno, A., Desolda, G. & Inkpen, K. (eds.). Springer Science+Business Media, Vol. 12935. p. 187-208 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12935 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • REGROW: Reimagining Global Crowdsourcing for Beter Human-AI Collaboration

    Alorwu, A., Savage, S., van Berkel, N., Ustalov, D., Drutsa, A., Oppenlaender, J., Bates, O., Hettiachchi, D., Gadiraju, U., Goncalves, J. & Hosio, S., Apr 2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-7 88. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • 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, p. 1678-1690 13 p. (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Relating Semantic Models for the Object Calculus: Preliminary Report

    Aceto, L., Hüttel, H., Ingolfsdottir, A. & Kleist, J., 1997, Proceedings of EXPRESS'97.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)

  • Relational Algebra for Spatial Data Management

    Lorentzos, N., Tryfona, N. & Viquiera, J. R. R., 1999, Integrated Spatial Databases : Digital Images and GIS : International Workshop ISD '99, Portland, ME, USA, June 14-16, 1999 : Selected Papers: Lecture Notes in Computer Science. Agouris, P : Stefanidis, A. (eds.) (ed.). 1737 ed. IEEE Computer Society Press, p. 192-210

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    3 Citations (Scopus)

  • Relational Information Gain

    Lippi, M., Jaeger, M., Frasconi, P. & Passerini, A., 2009, Online Proceedings of 19th International Conference on Inductive Logic Programming. Raedt, L. D. (ed.). 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Relevant Subspace Clustering: Mining the Most Interesting Non-Redundant Concepts in High-Dimensional Data

    Müller, E., Assent, I., Günnemann, S., Krieger, R. & Seidl, T., 2009, Proc. IEEE International Conference on Data Mining (ICDM 2009). IEEE Computer Society Press, p. 377-386

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    57 Citations (Scopus)

  • Remote Testing of Timed Specifications

    David, A., Larsen, K. G., Mikucionis, M., Nguena-Timo, O. & Rollet, A., 13 Nov 2013, ICTSS: Testing Software and Systems - 25th IFIP WG 6.1 International Conference. Yenigün, H., Yilmaz, C. & Ulrich, A. (eds.). Istanbul, Turkey: Springer Publishing Company, Vol. 8254. p. 65-81 16 p. 5. (Lecture Notes in Computer Science (LNCS), Vol. 8254).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • REPOSE: Distributed top-k trajectory similarity search with local reference point tries

    Zheng, B., Weng, L., Zhao, X., Zeng, K., Zhou, X. & Jensen, C. S., Apr 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE Computer Society Press, p. 708-719 12 p. 9458807. (Proceedings - International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • Representing and Solving Asymmetric Bayesian Decision Problems

    Nielsen, T. D. & Jensen, F. V., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence. Boutilier, C. : Goldszmidt, M. (eds.) (ed.). Morgan Kaufmann, p. 416-425

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Representing Specialized Events with FrameBase

    Rouces, J., de Melo, G. & Hose, K., 2015, Proceedings of the 4th International Workshop on Detection, Representation, and Exploitation of Events in the Semantic Web (DeRiVE 2015) Co-located with the 12th Extended Semantic Web Conference (ESWC 2015). van Erp, M., Troncy, R., Rospocher, M., van Hage, W. R. & Shamma, D. A. (eds.). CEUR Workshop Proceedings, p. 58-69 (CEUR Workshop Proceedings, Vol. 1363).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    2 Citations (Scopus)

  • Requirement Engineering for a Small Project with Pre-Specified Scope

    Nielsen, T. D., Hovda, S., Antontio, F., Langseth, H., Madsen, A. L., Masegosa, A. & Salmerón, A., 2014, NIK: Norsk Informatikkonferanse . 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    1597 Downloads (Pure)

  • Requirements, Definitions, and Notations for Spatiotemporal Applications

    Pfoser, D. & Tryfona, N., 1998, ACM-GIS '98 : Proceedings of the 6th International Symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, D. C., USA. Laurini, R. : Makki, K. : Pissinou, N. (eds.) (ed.). Association for Computing Machinery, p. 124-130

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    37 Citations (Scopus)

  • Requirements and Challenges of Location-Based Access Control in Healthcare Emergency Response

    Vicente, C. R., Kirkpatrick, M., Ghinita, G., Bertino, E. & Jensen, C. S., 2009, Proceedings of the 2nd SIGSPATIAL ACM GIS 2009 International Workshop on Security and Privacy in GIS and LBS. Damiani, M. L. & Saygin, Y. (eds.). Association for Computing Machinery, Vol. 2. p. 22-26 5 p. (Geographic Information Systems; No. 2).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    467 Downloads (Pure)

  • Requirements and Research Issues in Geographic Data Modeling

    Friis-Christensen, A., Tryfona, N. & Jensen, C. S., 2001, Proceedings of the Ninth ACM International Symposium on Advances in Geographic Information Systems, Atlanta, GA, USA, November 9-10, 2001. p. 2-8

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    27 Citations (Scopus)

  • Requirements for an Elucidative Programming Environment

    Nørmark, K., 2000, Proceedings of the Eighth International Workshop on Program Comprehension, June 2000. p. 119-128

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    16 Citations (Scopus)

  • Requirements for UML and OWL Integration Tool for User Data Consistency Modeling and Testing

    Nytun, J. P., Jensen, C. S. & Oleshchuk, V. A., 2003, Norsk informatikkonferanse 2003, Oslo, Norway, November 24–26.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Research challenges for cloud intelligence (invited talk)

    Pedersen, T. B., 2010, Proceedings of the 1st International Workshop on Business IntelligencE and the WEB, Proceedings of the 2010 EDBT/ICDT Workshops. Association for Computing Machinery, 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Research challenges for energy data management (panel)

    Pedersen, T. B. & Lehner, W., Mar 2013, Joint 2013 EDBT/ICDT Conferences, EDBT/ICDT '13, Genoa, Italy, March 22, 2013, Workshop Proceedings. Association for Computing Machinery, p. 273-274 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Research Challenges in Location-Enabled M-Services

    Jensen, C. S., 2002, MDM 2002. IEEE Computer Society Press, p. 3-7

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    21 Citations (Scopus)

  • Research Issues in Clinical Data Warehousing

    Pedersen, T. B. & Jensen, C. S., 1998, Proceedings of the Tenth International Conference on Statistical and Scientific Database Management. p. 43-52

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    47 Citations (Scopus)
    470 Downloads (Pure)

  • Research Methods in Mobile HCI: Trends and Opportunities

    Kjeldskov, J., Cheverst, K., de Sa, M., Jones, M. & Murray-Smith, R., 2012, Proceedings of Mobile HCI 2012: Companion Publication of the 14th International Conference on Human Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, p. 255-260

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    1 Citation (Scopus)
    218 Downloads (Pure)

  • Research Philosophies in the IOS Adoption Field

    Somasundaram, R. & Karlsbjerg, J., 2003, Proceedings of the 11th European Conference on Information Systems.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, p. 153-158 6 p. (IEEE International Conference on Edge Computing and Communications (EDGE)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • Resilient Capacity-Aware Routing

    Schmid, S., Schnepf, N. & Srba, J., 2021, Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I. Groote, J. F. & Guldstrand Larsen, K. (eds.). Springer, Vol. 1. p. 411-429 (Lecture Notes in Computer Science, Vol. 12651).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    1 Citation (Scopus)
    18 Downloads (Pure)

  • Resource bound analysis for database queries

    Cheney, J. & Dahl, M., 2009, Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security. Association for Computing Machinery, p. 67-78

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Resource-Efficient Scheduling for Real Time Systems

    Larsen, K. G., 2003, Proceedings of the 3rd Internatilnal Conference in Embedded Software (EMSOFT 2003): Lecture Notes in Computer Science. Vol. 2855. p. 16-19

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    6 Citations (Scopus)

  • Resource-Optimal Scheduling Using Priced Timed Automata

    Larsen, K. G., Rasmussen, J. I. & Subramani, K., 2004, Proceedings of Tools and Algorithms for the Construction and Analysis of Systems,: Lecture Notes in Computer Science. Jensen, Kurt ; Podelski, Andreas (eds.) (ed.). 2988 ed. Sringer Verlag, p. 220-235

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    35 Citations (Scopus)

  • Resource Planning for SPARQL Query Execution on Data Sharing Platforms

    Hagedorn, S., Hose, K., Sattler, K-U. & Umbrich, J., 2014, Consuming Linked Data (COLD 2014): 5th International Workshop on Consuming Linked Data (COLD 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 20, 2014. Hartig, O., Hogan, A. & Sequeda, J. (eds.). CEUR Workshop Proceedings, Vol. 1264. 12 p. (CEUR Workshop Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • REST: A Reference-based Framework for Spatio-temporal Trajectory Compression

    Zhao, Y., Shang, S., Wang, Y., Zheng, B., Nguyen, Q. V. H. & Zheng, K., 19 Jul 2018, KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 2797-2806 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    49 Citations (Scopus)

  • Retrieval of Spatial Join Pattern Instances from Sensor Networks

    Yiu, M. L., Mamoulis, N. & Bakiras, S., 2007, Proceedings of the 19th International Conference on Scientific and Statistical Database Management (SSDBM). IEEE, p. 25 10 p. (International Conference on Scientific and Statistical Database Management. Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • Retrieving textual evidence for knowledge graph facts

    Ercan, G., Elbassuoni, S. & Hose, K., 1 Jan 2019, The Semantic Web. Janowicz, K., Haller, A., Zaveri, A., Gray, A. J. G., Hitzler, P., Hammar, K., Lopez, V. & Fernández, M. (eds.). Portorož, Slovenia: Springer, p. 52-67 16 p. (Lecture Notes in Computer Science, Vol. 11503).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    7 Citations (Scopus)
    215 Downloads (Pure)

  • RetroGraph: Retrosynthetic Planning with Graph Search

    Xie, S., Yan, R., Han, P., Xia, Y., Wu, L., Guo, C., Yang, B. & Qin, T., 14 Aug 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2120-2129 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • Reverse keyword-based location search

    Xie, X., Lin, X., Xu, J. & Jensen, C. S., 16 May 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, p. 375-386 12 p. 7929992

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    14 Citations (Scopus)

  • Reverse Nearest Neighbors Search in Ad-hoc Subspaces

    Yiu, M. L. & Mamoulis, N., 2006, Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006. IEEE Computer Society Press, p. 76 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Reverse Top-k geo-social keyword queries in road networks

    Zhao, J., Gao, Y., Chen, G., Jensen, C. S., Chen, R. & Cai, D., 16 May 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, p. 387-398 12 p. 7929993

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    37 Citations (Scopus)

  • Reverse top-k query on uncertain preference

    Li, G., Chen, Q., Zheng, B. & Zhao, X., 1 Jan 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, p. 350-358 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10988).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Reviews in innovative software development: The Gauntlet game

    Aaen, I., Boelsmand, J. V., Jensen, R. & Saxov, M., 2009, Computational Intelligence for Modelling Control & Automation, 2008 International Conference on. Mohammadian, M. (ed.). IEEE Computer Society Press, p. 1234-1239

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Revisiting R-tree Construction Principles

    Brakatsoulas, S., Pfoser, D. & Theodoridis, Y., 2002, Manolopoulos, Y. (ed.) : Návrat, P. (eds.): Lecture notes in computer science. 2435 ed. IEEE Computer Society Press, p. 149-

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    64 Citations (Scopus)

  • Rewrite-Based Statistical Model Checking of WMTL

    Bulychev, P., David, A., Larsen, K. G., Legay, A., Li, G. & Poulsen, D. B., 2013, Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers. Qadeer, S. & Tasiran, S. (eds.). Springer Publishing Company, p. 260-275 15 p. (Lecture Notes in Computer Science, Vol. 7687).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)

  • 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, p. 1458-1467 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Rhetorics and realities: software construction improvement through metrics

    Frederiksen, H. D. & Rose, J., 2001, IRIS 24, Hardanger, Norway. <Forlag uden navn>

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Riesz Modal logic for Markov processes

    Mio, M., Furber, R. & Mardare, R. I., 2018, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005091

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • Ring-constrained Join: Deriving Fair Middleman Locations from Pointsets via a Geometric Constraint

    Yiu, M. L., Karras, P. & Mamoulis, N., 2008, Proceedings of the 11th international conference on Extending database technology: Advances in database technology. Association for Computing Machinery, p. 606-617

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)