Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • On Counting the Number of Consistent Genotype Assignments for Pedigrees

    Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (eds.). IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 3821).

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

  • On Discovery of Gathering Patterns from Trajectories

    Zheng, K., Zheng, Y., Yuan, J. & Shang, S., 8 Apr 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, p. 242 - 253 12 p. (Proceedings of the International Conference on Data Engineering).

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

    File
    204 Citations (Scopus)
    1368 Downloads (Pure)

  • One Byte at a Time: Insights about Meaningful Data for Sustainable Food Consumption Practices

    Lindrup, M., Cheon, E., Skov, M. B. & Raptis, D., Jul 2021, DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere. Association for Computing Machinery, p. 683-696 14 p.

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

    File
    2 Citations (Scopus)
    204 Downloads (Pure)

  • On efficient and scalable time-continuous spatial crowdsourcing

    Wang, T., Xie, X., Cao, X., Pedersen, T. B., Wang, Y. & Xiao, M., Apr 2021, Proceedings - 2021 IEEE 37th International Conference on Data Engineering, ICDE 2021. IEEE, p. 1212-1223 12 p. 9458714. (Proceedings - International Conference on Data Engineering).

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

    Open Access
    File
    7 Citations (Scopus)
    70 Downloads (Pure)

  • On Field Size and Success Probability in Network Coding

    Geil, H. O., Matsumoto, R. & Thomsen, C., 2008, Arithmetic of Finite Fields: 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings. Springer, p. 157-173 (Lecture Notes in Computer Science; No. 5130).

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

    4 Citations (Scopus)

  • Online and Compositional Learning of Controllers with Application to Floor Heating

    Larsen, K. G., Mikučionis, M., Muniz, M., Srba, J. & Taankvist, J. H., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 244-259 15 p. (Lecture Notes in Computer Science, Vol. 9636).

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

    39 Citations (Scopus)

  • Online Balanced Repartitioning

    Avin, C., Loukas, A., Pacut, M. & Schmid, S., 2016, Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings. Gavoille, C. & Ilcinkas, D. (eds.). Springer, p. 243-256 (Lecture Notes in Computer Science, Vol. 9888).

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

    9 Citations (Scopus)

  • Online Risk Prediction for Indoor Moving Objects

    Ahmed, T., Pedersen, T. B., Calders, T. & Lu, H., Jun 2016, 17th IEEE International Conference on Mobile Data Management. IEEE Computer Society Press, p. 102-111 10 p.

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

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

  • Online Route Prediction for Automotive Applications

    Brillingaite, A. & Jensen, C. S., 2006, Proceedings of the Thirteenth World Congress & Exhibition on Intelligent Transport Systems and Services. 8 p.

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

    8 Citations (Scopus)

  • Online Testing of Real-time Systems using Uppaal: Status and Future Work

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2004, Dagstuhl Seminar Proceedings: Perspectives of Model-Based Testing. Brinksma, Grieskamp, Tretmans & Weyuker (eds.). IBFI gem. GmbH, Schloss Dagstuhl, Vol. 04371.

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

  • Online Testing of Real-time Systems Using Uppaal

    Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (eds.). Springer, p. 79-94 (Lecture Notes in Computer Science; No. 3395).

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

    84 Citations (Scopus)

  • Online tree caching

    Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 Jul 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Vol. Part F129316. p. 329-338 10 p.

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

    9 Citations (Scopus)

  • Online Trichromatic Pickup and Delivery Scheduling in Spatial Crowdsourcing

    Zheng, B., Huang, C., Jensen, C. S., Chen, L., Hung, N. Q. V., Liu, G., Li, G. & Zheng, K., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, p. 973-984 12 p. 9101586. (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
    File
    25 Citations (Scopus)
    53 Downloads (Pure)

  • Online Updating of Conditional Linear Gaussian Bayesian Networks

    Madsen, A. L., Olesen, K. G., Jensen, F., Henriksen, P. A., Larsen, T. M. & Møller, J. M., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models: PMLR. Salmeròn, A. & Rumi, R. (eds.). PMLR Press, Vol. 186. p. 97-108 12 p. (The Proceedings of Machine Learning Research, Vol. 186).

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

    Open Access
    File
    24 Downloads (Pure)

  • On local optima in learning bayesian networks

    Dalgaard, J., Kocka, T. & Pena, J., 2003, Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence. Academic Press, p. 435-442

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

    Open Access
    File
    364 Downloads (Pure)

  • On Location Privacy in Fingerprinting-based Indoor Positioning System: An Encryption Approach

    Wang, W., Gong, Z., Zhang, J., Lu, H. & Ku, W-S., 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (eds.). Association for Computing Machinery, p. 289-298 10 p.

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

    4 Citations (Scopus)

  • On Memory-Block Traversal Problems in Model-Checking Timed Systems

    Larsson, F., Pettersson, P. & Yi, W., 2000, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. Graf, S. : Schwartzbahn, M. (eds.) (ed.). 1785 ed. IEEE Computer Society Press, p. 127-141

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

    1 Citation (Scopus)

  • On Modal Refinement and Consistency

    Nyman, U., Larsen, K. G. & Wasowski, A., 2007, CONCUR 2007 – Concurrency Theory. IEEE Computer Society Press, p. 105-119 15 p. (Lecture Notes in Computer Science; No. 4703).

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

    Open Access
    File
    51 Citations (Scopus)
    486 Downloads (Pure)

  • On Network Embedding for Machine Learning on Road Networks: A Case Study on the Danish Road Network

    Jepsen, T. S., Jensen, C. S., Nielsen, T. D. & Torp, K., 2018, Proceedings of the 2018 IEEE International Conference on Big Data. IEEE, p. 3421-3430 10 p.

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

    12 Citations (Scopus)

  • On representing interval measures by means of functions

    Bakkalian, G., Koncilia, C. & Wrembel, R., 2016, Model and Data Engineering: 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings. Springer, p. 180-193 14 p. (Lecture Notes in Computer Science, Vol. 9893).

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

    1 Citation (Scopus)

  • On Semantics of Inference in Bayesian Networks

    Butz, C. J., Yan, W. & Madsen, A. L., 2013, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. van der Gaag, L. C. (ed.). Springer Publishing Company, p. 73-84 (Lecture Notes in Computer Science, Vol. 7958).

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

    3 Citations (Scopus)

  • On SPI for Evaluating Influence Diagrams

    Cabañas, R., Cano, A., Gómez-Olmedo, M. & Madsen, A. L., 2014, Proceedings of the 15th International IPMU Conference, Part I. Springer, Vol. 442. p. 506-516

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

    3 Citations (Scopus)

  • On SPI-Lazy Evaluation of Influence Diagrams

    Cabañas, R., Cano, A., Gómez-Olmedo, M. & Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Vol. 8754. p. 97-112 (Lecture Notes in Computer Science).

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

    3 Citations (Scopus)

  • On testing the missing at random assumption

    Jaeger, M., 2006, Machine Learning: ECML 2006: 17th European Conference on Machine Learning. Berlin, Germany, September 2006. Proceedings. p. 671-678 8 p.

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

    15 Citations (Scopus)

  • On the axiomatizability of priority

    Aceto, L., Chen, T., Fokkink, W. & Ingolfsdottir, A., 2006, Automata, Languages and Programming. p. 480-491

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

    11 Citations (Scopus)

  • On the axiomatizability of quantitative algebras

    Mardare, R. I., Panagaden, P. & Plotkin, G., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

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

    22 Citations (Scopus)

  • On the Consistent Migration of Unsplittable Flows: Upper and Lower Complexity Bounds

    Förster, K-T., Dec 2017, Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. IEEE

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

    9 Citations (Scopus)

  • On the Construction of Connectivity Test Cases in the Setting of UppAal

    Nielsen, B., Jens. Chr., G. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - FORTE 2004. Springer, Vol. 3235.

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

  • On the Expressive Power of Joint Input

    Nestmann, U., 1998, EXPRESS '98 : Expressiveness in Concurrency, Nice, France, September 7, 1998: Electronic Notes in Theoretical Computer Science. Vol. 16.2 ed.

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

    13 Citations (Scopus)

  • On-the-Fly Exact Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Piterman, N. & Smolka, S. A. (eds.). Springer Publishing Company, Vol. 7795. p. 1-15 (Lecture Notes in Computer Science, Vol. 7795).

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

    34 Citations (Scopus)

  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer, p. 109-128 20 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • On the Importance of Elimination Heuristics in Lazy Propagation

    Madsen, A. L. & Butz, C. J., 2012, Proceedings of the 6th European Workshop on Probabilistic Graphical Models. Universidad de Granada, p. 227-234 8 p.

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

    6 Citations (Scopus)

  • On the Ontological Expresiveness of Temporal ER Models

    Gregersen, H. & Jensen, C. S., 1999, Advances in Conceptual Modeling : ER '99 Workshop on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999 : Proceedings: Lecture Notes in Computer Science. Chen, P. P. ... (et al.)(eds.) (ed.). 1727 ed. IEEE Computer Society Press, p. 110-121

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

  • On the Optimal Efficiency of A* with Dominance Pruning

    Torralba, A., 18 May 2021, Proceedings of the AAAI Conference on Artificial Intelligence. AAAI Press, p. 12007-12014 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 13, Vol. 35).

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

    Open Access
    1 Citation (Scopus)

  • On the Power of Statistical Model Checking

    Larsen, K. G. & Legay, A., 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. Springer, p. 843–862 (Lecture Notes in Computer Science, Vol. 9953).

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

    11 Citations (Scopus)

  • On the selection of SPARQL endpoints to efficiently execute federated SPARQL queries

    Vidal, M. E., Castillo, S., Acosta, M., Montoya, G. & Palma, G., 1 Jan 2016, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXV. Hameurlain, A., Küng, J. & Wagner, R. (eds.). Springer, p. 109-149 41 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9620).

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

    11 Citations (Scopus)

  • On the Specification of Full Contracts

    Okika, J., Ravn, A. P., Fenech, S., Pache, G. & Schneider, G., 2009, Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures (FESCA2009). Elsevier, Vol. 253. p. 39-55 (Electronic Notes in Theoretical Computer Science; No. 253, Vol. 1).

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

    8 Citations (Scopus)

  • On the Tree Structure used by Lazy Propagation for Inference in Bayesian Networks

    Madsen, A. L. & Butz, C., 2013, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. Springer Publishing Company, Vol. 7958. p. 400-411 (Lecture Notes in Computer Science, Vol. 7958).

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

    1 Citation (Scopus)

  • On the Two-Variable Fragtment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

    Aceto, L., Ésik, Z. & Ingolfsdottir, A., 2000, STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Reichel, H. : Tison, S. (eds.) (ed.). 1770 ed. IEEE Computer Society Press, p. 267-278

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

  • On the Verification of Weighted Kripke Structures Under Uncertainty

    Bacci, G., Hansen, M. & Larsen, K. G., 1 Jan 2018, Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Proceedings: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Horvath, A. & McIver, A. (eds.). Springer, p. 71-86 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11024 LNCS).

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

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

  • On Time with Minimal Expected Cost!

    David, A., Jensen, P. G., Larsen, K. G., Legay, A., Lime, D., Sørensen, M. G. & Taankvist, J. H., 2014, Automated Technology for Verification and Analysis. Cassez, F. & Raskin, J-F. (eds.). Springer Publishing Company, Vol. 8837. p. 129-145 16 p. (Lecture Notes in Computer Science).

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

    45 Citations (Scopus)

  • OntoEval: an Automated Ontology Evaluation System

    Zaitoun, A., Sagi, T. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 82–85 4 p.

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

    1 Citation (Scopus)

  • Ontology-Based Big Dimension Modeling in Data Warehouse Schema Design

    Xiufeng, L. & Iftikhar, N., 2013, Business Information Systems: 16th International Conference, BIS 2013, Poznań, Poland, June 19-21, 2013. Proceedings. Abramowicz, W. (ed.). Berlin: Springer Publishing Company, p. 75-87 (Lecture Notes in Business Information Processing, Vol. 157).

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

    6 Citations (Scopus)

  • On Tree Structures Used by Simple Propagation

    Madsen, A. L., Butz, C. J., Oliveira, J. & E. dos Santos, A., 2016, Advances in Artificial Intelligence. Springer, p. 207-212 (Lecture Notes in Computer Science, Vol. 9673).

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

    3 Citations (Scopus)

  • On Zone-Based Analysis of Duration Probabilistic Automata

    Maler, O., Larsen, K. G. & Krogh, B., Sept 2010, Proceedings of the 12th International Workshop on Verification of Infinite-State Systems. 15 p.

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

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

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

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

    Open Access
    5 Citations (Scopus)

  • OpenSubspace: An Open Source Framework for Evaluation and Exploration of Subspace Clustering Algorithms in WEKA

    Müller, E., Assent, I., Günnemann, S. & Seidl, T., 2009, Proceedings of OSDM 2009. p. 1-12

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

  • Operational Semantics for BPEL Complex Features in Rewriting Logic

    Okika, J., Owe, O. & Prisacariu, C., 2009, Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT '09. Technical University of Denmark (DTU), 3 p.

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

  • Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., Jun 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, p. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; No. 9, Vol. 36).

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

    1 Citation (Scopus)

  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, p. 80-89 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 32).

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