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

    RiTE: Providing On-Demand Data for Right-Time Data Warehousing

    Thomsen, C., Pedersen, T. B. & Lehner, W., 2008, Proceedings of the Twentyfourth International Conference on Data Engineering. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 456-465 10 p.

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

    48 Citations (Scopus)

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 Nov 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 276-292 17 p. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

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

    Open Access
    File
    20 Downloads (Pure)

  • Roadmap for the ARC Grid Middleware

    Kleist, J., Eerola, P., Ekelöf, T., Ellert, M., Grønager, M., Renner Hansen, J., Haug, S., Konstantinov, A., Kónya, B., Ould-Saada, F., Smirnova, O., Szalai, F. & Wäänänen, A., 2006, Ikke angivet. Springer, Vol. 4699. p. 471-479 (Lecture Notes in Computer Science; No. 4699).

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

  • Roadmapping in the Digital Transformation Literature

    Zada, A. M., Persson, J. S. & Nielsen, P. A., 2022, Software Business 13th International Conference. Carroll, N., Nguyen-Duc, A., Wang, X. & Stray, V. (eds.). Springer, Vol. 463. p. 35-50 16 p. (Lecture Notes in Business Information Processing).

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

    Open Access
    File
    132 Downloads (Pure)

  • Robot-supported food experiences exploring aesthetic plating with design prototypes

    Laursen, C. Ø., Pedersen, S., Merritt, T. & Caprani, O., 1 Jan 2016, Cultural Robotics - 1st International Workshop, CR 2015 and Held as Part of IEEE RO-MAN 2015, Revised Selected Papers. Koh, J. T. K. V., Dunstan, B. J., Silvera-Tawil, D. & Velonaki, M. (eds.). Physica-Verlag, p. 107-130 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9549).

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

    6 Citations (Scopus)

  • 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. (eds.). Springer Nature Switzerland AG, p. 796-813 18 p. (Lecture Notes in Computer Science; No. 14281).

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

  • Robust and Explainable Autoencoders for Unsupervised Time Series Outlier Detection

    Kieu, T., Yang, B., Guo, C., Jensen, C. S., Zhao, Y., Huang, F. & Zheng, K., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, p. 3038-3050 13 p.

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

    18 Citations (Scopus)

  • Robust B+ -Tree-Based Indexing of Moving Objects

    Jensen, C. S., Tiesyte, D. & Tradisauskas, N., 2006, Proceedings of the Seventh International Conference on Mobile Data Management. IEEE Computer Society Press, 9 p.

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

    20 Citations (Scopus)

  • Robust classification using mixtures of dependency networks

    Gámez, J. A., Mateo, J. L., Nielsen, T. D. & Puerta, J. M., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. p. 129-136 8 p.

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

    Open Access
    File
    2 Citations (Scopus)
    215 Downloads (Pure)

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 538-556 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

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

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

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 149-173 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13701 LNCS).

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

    Open Access
    File
    2 Citations (Scopus)
    25 Downloads (Pure)

  • RODECA: A Canvas for Designing Robots

    Nielsen, S., Ordoñez, R., Hansen, K. D., Skov, M. B. & Jochum, E., 2021, HRI 2021 - Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction. Association for Computing Machinery, p. 266-270 5 p. 3447173

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

    4 Citations (Scopus)
    67 Downloads (Pure)

  • Roles in Innovative Software Teams: A Design Experiment

    Aaen, I., 2010, Human Benefit through the Diffusion of IS Design Science Research: IFIP WG 8.2 + 8.6 International Working Conference. Pries-Heje, J., Venable, J., Bunker, D., Russo, N. L. & DeGross, J. I. (eds.). Berlin: Springer, p. 73-88 (Advances in Information and Communication Technology, Vol. 318).

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

    5 Citations (Scopus)

  • Romeo: a tool for analyzing time petri nets

    Lime, D., Gardey, G., Magnin, M. & Roux, O. H., 2005, Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. Springer, p. 418-423 (Lecture notes in computer sciense; No. 3576).

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

    110 Citations (Scopus)

  • Routing Questions to the Right Users in Online Communities

    Zhou, Y., Cong, G., Cui, B., Jensen, C. S. & Yao, J., 2009, Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, p. 700-711 (ICDE).

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

    94 Citations (Scopus)

  • Routing-Verification-as-a-Service (RVaaS): Trustworthy Routing Despite Insecure Providers

    Schiff, L., Thimmaraju, K. & Schmid, S., 22 Sept 2016, Proceedings - 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN-W 2016. IEEE, p. 113-119 7 p. 7575360

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

  • R-tree-based Indexing of Now-Relative Bitemporal Data

    Bliujute, R., Jensen, C. S., Saltenis, S. & Slivinskas, G., 1998, Proceedings of the 24th International Conference on Very Large Databases, August 24-27, 1998, New York City. p. 345-356

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

  • Rule-based Word Equation Solving

    Day, J., Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software . Association for Computing Machinery, p. 87–97 11 p. 3391556

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

    3 Citations (Scopus)

  • Run, Walk, Crawl: Towards Dynamic Link Capacities

    Singh, R., Ghobadi, M., Förster, K-T., Filer, M. & Gill, P., Oct 2017, Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets 2017). Association for Computing Machinery, p. 143-149

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

    16 Citations (Scopus)

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 157-173 17 p. (Lecture Notes in Computer Science, Vol. 13702).

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

    2 Citations (Scopus)

  • Runtime Verification of Biological Systems

    David, A., Larsen, K. G., Legay, A., Mikucionis, M., Poulsen, D. B. & Sedwards, S., 2012, Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Berlin: Springer, Vol. 7609. p. 388-404 17 p. (Lecture Notes in Computer Science, Vol. 7609).

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

    25 Citations (Scopus)

  • 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, p. 375-383 9 p.

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

    4 Citations (Scopus)

  • Safe and sound program analysis with Flix

    Madsen, M. & Lhoták, O., 12 Jul 2018, ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. Bodden, E. & Tip, F. (eds.). Association for Computing Machinery, p. 38-48 11 p.

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

    11 Citations (Scopus)

  • Safe and Time-Optimal Control for Railway Games

    Karra, S., Larsen, K. G., Lorber, F. & Srba, J., 2019, Proceedings of International Conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail'19). Collart-Dutilleul, S., Romanovsky, A. & Lecomte, T. (eds.). Springer, p. 106-122 17 p. (Lecture Notes in Computer Science, Vol. 11495).

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

    8 Citations (Scopus)

  • Safety-critical Java for low-end embedded platforms

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., 2012, Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 44-53 (ACM International Conference Proceeding Series (ICPS)).

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

    18 Citations (Scopus)

  • Safety Critical Java for Robotics Programming

    Thomsen, B., Luckow, K. S., Bøgholm, T., Thomsen, L. L. & Korsholm, S., 2015, The 3rd AAU Workshop on Robotics: Proceedings. Tan, Z-H., Bai, S., Bak, T., Rehm, M. & Jochum, E. A. (eds.). Aalborg Universitetsforlag, p. 38-47 10 p. 6

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

    Open Access

  • 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 p.

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

    Open Access

  • Sampling Frequency Effects on Trajectory Routes and Road Network Travel Time

    Andersen, O. & Torp, K., 9 Nov 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 30

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

    2 Citations (Scopus)

  • Sandboxing in a Distributed Pi-Calculus

    Hüttel, H. & Kühnrich, M., 2006, WITS 2006. Gollmann, D. & Jürjens, J. (eds.). p. 114-128 15 p.

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

    File
    374 Downloads (Pure)

  • Saying and Doing at sea

    Andersen, P. B., 2003, Lindkoping University.

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

  • Scalable Continuous Range Monitoring of Moving Objects in Symbolic Indoor Space

    Yang, B., Lu, H. & Jensen, C. S., 2009, Proceeding of the 18th ACM conference on Information and knowledge management. Association for Computing Machinery, p. 671-680 10 p.

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

    43 Citations (Scopus)

  • Scalable Hypergraph-Based Image Retrieval and Tagging System

    Chen, L., Gao, Y., Zhang, Y., Wang, S. & Zheng, B., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 257-268 12 p. 8509253

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

    11 Citations (Scopus)

  • Scalable MAP inference in Bayesian networks based on a Map-Reduce approach

    Ramos-López, D., Salmerón, A., Rumí, R., Martinez, A. M., Nielsen, T. D., Masegosa, A., Langseth, H. & Madsen, A. L., 2016, JMLR Workshop and Conference Proceedings: Volume 52: Proceedings of the Eighth International Conference on Probabilistic Graphical Models. p. 415-425 12 p. (JMLR Workshop and Conference Proceedings, Vol. 52).

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

    Open Access

  • Scalable Model-Based Management of Correlated Dimensional Time Series in ModelarDB+

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 22 Apr 2021, Proceedings of the 37th IEEE International Conference on Data Engineering. IEEE, p. 1380-1391 12 p. 9458830. (Proceedings of the International Conference on Data Engineering).

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

    Open Access
    6 Citations (Scopus)

  • Scalable Processing of Location-Based Social Networking Queries

    Saleem, M. A., Xie, X. & Pedersen, T. B., 2016, 17th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 132-141 10 p.

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

    6 Citations (Scopus)
    21 Downloads (Pure)

  • Scalable Top-k Spatio-Temporal Term Querying

    Skovsgaard, A., Sidlauskas, D. & Jensen, C. S., 2014, Proceedings of the 30th IEEE International Conference on Data Engineering. IEEE Press, p. 148-159

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

    65 Citations (Scopus)

  • Scalable Unsupervised Multi-Criteria Trajectory Segmentation and Driving Preference Mining

    Barth, F., Funke, S., Skovgaard Jepsen, T. & Proissl, C., 3 Nov 2020, BIGSPATIAL '20: Proceedings of the 9th ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data. Chandola, V., Vatsavai, R. R. & Shashidharan, A. (eds.). Association for Computing Machinery, p. 1-10 10 p. 6

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

    File
    4 Citations (Scopus)
    30 Downloads (Pure)

  • 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, p. 41-48 8 p. (IEEE International Conference on Semantic Computing (ICSC)).

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

    Open Access
    File
    4 Citations (Scopus)
    15 Downloads (Pure)

  • Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

    Jensen, H. E., Larsen, K. G. & Skou, A., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. Joseph, M. (ed.) (ed.). 1926 ed. IEEE Computer Society Press, p. 19-30

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

    48 Citations (Scopus)

  • Scenario-based analysis and synthesis of real-time systems using Uppaal

    Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., Mar 2010, Proc. 13th Conference on Design, Automation, and Test in Europe (DATE'10), March 2010, Dresden, Germany.. European Design and Automation Association, EDAA

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

    11 Citations (Scopus)

  • Scene Re-ranking for Recommendation

    Han, P. & Shang, S., 2022, 2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022. IEEE, (2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022).

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

    3 Citations (Scopus)

  • Schedulability Analysis Abstractions for Safety Critical Java

    Bøgholm, T., Thomsen, B., Larsen, K. G. & Mycroft, A., 2012, Proceedings of the IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2012. IEEE Computer Society Press, p. 71-78 8 p. (International Symposium on Object-Oriented Real-Time Distributed Computing).

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

    2 Citations (Scopus)

  • Schedulability Analysis for Java Finalizers

    Bøgholm, T., Hansen, R. R., Søndergaard, H., Ravn, A. P. & Thomsen, B., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems: ACM International Conference Proceeding Series. Association for Computing Machinery, 7 p.

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

    2 Citations (Scopus)

  • Schedulability and Energy Efficiency for Multi-core Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U. & Skou, A., 2014, Proceedings of ERTS2 2014. p. 1-4 4 p.

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

    File
    774 Downloads (Pure)

  • Schedulability of Herschel-Planck Revisited Using Statistical Model Checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 18 Oct 2012, Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 293-307 15 p. (Lecture Notes in Computer Science, Vol. 7610).

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

    35 Citations (Scopus)

  • Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid

    Chakraborty, N., Chakraborty, R. & Kalaimannan, E., 2022, Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. IEEE Signal Processing Society, p. 316-317 2 p. (Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022).

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

  • Scheduling lacquer production by reachability analysis: A case study

    Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

    10 Citations (Scopus)

  • Schema Evolution for Stars and Snowflakes

    Kaas, C., Pedersen, T. B. & Rasmussen, B., 2004, Proceedings of the Sixth International Conference on Enterprise Information Systems. p. 425-433 9 p.

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

    34 Citations (Scopus)

  • Scheme on the Web and in the Classroom: A Retrospective about the LAML Project

    Nørmark, K., 9 Sept 2012, Proceedings of the Twelfth Workshop on Scheme and Functional Programming. Danvy, O. (ed.). Association for Computing Machinery, 6 p.

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

  • Scheme Program Documentation Tools

    Nørmark, K., 2004, Proceedings of the Fifth SIGPLAN ACM Workshop on Scheme and Functional Programming. Shivers, O. & Waddell, O. (eds.). Computer Science Department, Indiana University

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