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

    Predicting completeness in knowledge bases

    Galárraga, L., Razniewski, S., Amarilli, A. & Suchanek, F. M., 2 Feb 2017, WSDM 2017 - Proceedings of the 10th 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

    81 Citations (Scopus)

  • Predicting passenger’s public transportation travel route using smart card data

    Yang, C., Chen, W., Zheng, B., He, T., Zheng, K. & Su, H., 1 Jan 2018, Web and Big Data - Second International Joint Conference, APWeb-WAIM 2018, Proceedings. Springer, p. 199-213 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10988 LNCS).

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

  • Predicting Visitors Using Location-Based Social Networks

    Saleem, M. A., Da Costa, F. S., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T., 28 Jun 2018, 19th IEEE International Conference on Mobile Data Management (MDM). IEEE Computer Society Press, Vol. 2018-June. p. 245-250 6 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    10 Citations (Scopus)

  • Prediction of High Risk of Deviations in Home Care Deliveries

    Madsen, A. L., Olesen, K. G., Løvschall, H. L., Søndberg-Jeppesen, N., Jensen, F., Lindblad, M., Mogensen, M. L. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (eds.). ML Research Press, p. 281-292 12 p. (The Proceedings of Machine Learning Research, Vol. 138).

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

  • Preface

    Bhowmich, S., Dyreson, C. E. & Jensen, C. S., 2014, Proceedings of the 19th International Conference on Database Systems for Advanced Applications. Springer, p. v-vii

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

  • Preference-aware Group Task Assignment in Spatial Crowdsourcing: A Mutual Information-based Approach

    Li, Y., Zhao, Y. & Zheng, K., 2021, Proceedings - 21st IEEE International Conference on Data Mining, ICDM 2021. Bailey, J., Miettinen, P., Koh, Y. S., Tao, D. & Wu, X. (eds.). IEEE, p. 350-359 10 p. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

    17 Citations (Scopus)

  • Preliminary Report: Controller Prototyping and Validation for Photo-Voltaic Comfort Cooling

    Agesen, M. K., Skou, A. J. & Pedersen, K. L., 2016, CLIMA 2016 : proceedings of the 12th REHVA World Congress, 22-25 May 2016, Aalborg, Denmark. Heiselberg, P. K. (ed.). Department of Civil Engineering, Aalborg University, 9 p. 691

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

    Open Access

  • Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code

    Møller, B. H., Søndergaard, J. G., Jensen, K. S., Pedersen, M. W., Bøgedal, T. W., Christensen, A., Poulsen, D. B., Larsen, K. G., Hansen, R. R., Rosted Jensen, T., Juvoll Madsen, H. & Uhrenfeldt, H., 10 Dec 2021, Secure IT Systems: 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings. Tuveri, N., Michalas, A. & Brumley, B. B. (eds.). Springer, p. 192-211 20 p. (Lecture Notes in Computer Science, Vol. LNCS 13115).

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

    1 Citation (Scopus)

  • Prescription, Description, Reflection: the shape of the software process improvement field

    Hansen, B., Rose, J. & Tjørnehøj, G., 2004, UK Association of Information Systems Conference, Glasgow. Powell, P. & Grant, K. (eds.).

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

    61 Citations (Scopus)

  • Presentation of the 9th Edition of the Model Checking Contest

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 1 Jan 2019, International Conference on Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2019: Tools and Algorithms for the Construction and Analysis of Systems. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science, Vol. 11429).

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

    Open Access
    File
    21 Citations (Scopus)
    37 Downloads (Pure)

  • Preserving Location and Absence Privacy in Geo-Social Networks

    Freni, D., Vicente, C. R., Mascetti, S., Bettini, C. & Jensen, C. S., 2010, CIKM '10 : Proceedings of the 19th ACM international conference on Information and knowledge management . Association for Computing Machinery

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

    68 Citations (Scopus)

  • P-Rex: fast verification of MPLS networks with multiple link failures

    Jensen, J. S., Krøgh, T. B., Madsen, J. S., Schmid, S., Srba, J. & Thorgersen, M. T., 2018, Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies . Association for Computing Machinery, p. 217-227 11 p. (Conference on Emerging Networking EXperiments and Technologies).

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

    28 Citations (Scopus)

  • PRI: Privacy Preserving Inspection of Encrypted Network Traffic

    Schiff, L. & Schmid, S., 1 Aug 2016, Proceedings - 2016 IEEE Symposium on Security and Privacy Workshops, SPW 2016. IEEE, p. 296-303 8 p. 7527782

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

    9 Citations (Scopus)

  • Price-and-Time-Aware Dynamic Ridesharing

    Chen, L., Zhong, Q., Xiao, X., Gao, Y., Jin, P. & Jensen, C. S., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 1061-1072 12 p. 8509320. (Proceedings of the International Conference on Data Engineering).

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

    40 Citations (Scopus)

  • Priced Timed Automata: Decidability Results, Algorithms and Applications

    Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004. de Boer, F., Bonsangue, M., Graf, S. & de Roever, W-P. (eds.). Springer, p. 162-186 (Lecture Notes in Computer Science; No. 3657).

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

    63 Citations (Scopus)

  • Priced Timed Automata and Statistical Model Checking

    Larsen, K. G., 2013, Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer Publishing Company, Vol. 7940. p. 154-161 (Lecture Notes in Computer Science, Vol. 7940).

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

    10 Citations (Scopus)

  • Printer Troubleshooting using Bayesian Networks

    Skaanning, C., Jensen, F. V. & Kjærulff, U. B., 2000, Intelligent Problem Solving : Methodologies and Approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Lousiana, USA, June 19-22, 2000 : Proceedings: Lecture Notes in Computer Science. Loganantharaj, R. : Palm, G. : Ali, M. (eds.) (ed.). 1821 ed. IEEE Computer Society Press, p. 367-379

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

    30 Citations (Scopus)

  • Printing System Diagnosis: a Bayesian Network Application

    Skaanning, C., Jensen, F. V., Kjærulff, U., Pelletier, P. & Rostrup-Jensen, L., 1998, The 9th International Conference on Principles of Diagnosis (Dx98), Cape Cod, Massachusetts, USA, 1998. p. 259-265

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

  • Privacy-Preserving Data Mining on Moving Object Trajectories

    Gidofalvi, G., Xuegang, H. & Pedersen, T. B., 2007, Proceedings of the Eighth International Conference on Mobile Data Management. IEEE Computer Society Press, p. 60-68

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

    46 Citations (Scopus)

  • Privacy-Preserving Matching of Spatial Datasets with Protection against Background Knowledge

    Ghinita, G., Vicente, C. R., Shang, N. & Bertino, E., Nov 2010, Proceedings of International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS). Association for Computing Machinery

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

    7 Citations (Scopus)

  • Privacy-Preserving Trajectory Collection

    Gidofalvi, G., Xuegang, H. & Pedersen, T. B., 2008, GIS '08: Proceedings of the 16th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 4 p.

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

    8 Citations (Scopus)

  • Private and Flexible Proximity Detection in Mobile Social Networks

    Siksnys, L., Thomsen, J. R., Saltenis, S. & Yiu, M. L., 2010, Eleventh International Conference on Mobile Data Management, MDM 2010. IEEE Computer Society Press, p. 75-84

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

    File
    81 Citations (Scopus)
    671 Downloads (Pure)

  • Private memory allocation analysis for safety-critical java

    Dalsgaard, A. E., Hansen, R. R. & Schoeberl, M., 2012, JTRES '12 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, p. 9-17 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

    7 Citations (Scopus)

  • Probabilistic Classifiers and the Concepts they Recognize

    Jaeger, M., 2003, Proceedings of the 20th International Conference on Machine Learning (ICML-2003). T. Fawcett, T. : Mishra, N. (eds.) (ed.). AAAI Press, p. 266-273

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

    13 Citations (Scopus)

  • Probabilistic Data Modeling and Querying for Location-Based Data Warehouses

    Timko, I., Dyreson, C. E. & Pedersen, T. B., 2005, Proceedings of the Seventeenth International Conference on Scientific and Statistical Database Management. IEEE Press, p. 273-282

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

    8 Citations (Scopus)

  • Probabilistic Deep Learning for Electric-Vehicle Energy-Use Prediction

    Petkevicius, L., Saltenis, S., Civilis, A. & Torp, K., 23 Aug 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, p. 85-95 11 p.

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

    Open Access
    File
    14 Citations (Scopus)
    61 Downloads (Pure)

  • Probabilistic-Logic Models: Reasoning and Learning with Relational Structures

    Jaeger, M., 2008, Tenth Scandinavian Conference on Artificial Intelligence: SCAI 2008. IOS Press, p. 197-200 4 p.

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

  • Probabilistic modal specifications (invited extended abstract)

    Larsen, K. G. & Legay, A., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8348 LNCS. p. 1-4 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8348 LNCS).

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

  • Probabilistic Mu-Calculus: Decidability and Complete Axiomatization

    Larsen, K. G., Mardare, R. I. & Xue, B., 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2016, December 13-15, 2016, Chennai, India. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 25:1-25:18 18 p. (Leibniz International Proceedings in Informatics, Vol. 65).

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

    Open Access
    6 Citations (Scopus)

  • Probabilistic Role Models and the Guarded Fragment

    Jaeger, M., 2004, Proceedings of the Tenth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. Editrice Universita La Sapienza, p. 235-242 8 p.

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

  • Probabilistic Threshold k Nearest Neighbor Queries over Moving Objects in Symbolic Indoor Space.

    Yang, B., Lu, H. & Jensen, C. S., 2010, EDBT '10 Proceedings of the 13th International Conference on Extending Database Technology. Association for Computing Machinery, p. 335 12 p.

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

    75 Citations (Scopus)

  • Problematizing in IS Design Research

    Nielsen, P. A., Dec 2020, Designing for Digital Transformation. Co-Creating Services with Citizens and Industry: DESRIST 2020. Hoffmann, S., Rossi, M. & Müller, O. (eds.). Springer, p. 259-271 13 p. (Lecture Notes in Computer Science, Vol. 12388).

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

    Open Access
    File
    123 Downloads (Pure)

  • Problem Diagnosis in Software Improvement

    Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 1998, IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. Buch, N.J. : Damsgaard, J. : Eriksen, L.B. : Iversen, J.H. : Nielsen, P.A. (eds.) (ed.). Aalborg Universitetsforlag

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

  • Problem Diagnosis in Software Process Improvement

    Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 1998, Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, Helsinki December 1998. (eds.), L. T. J. . L. L. . D. J. I. (ed.). p. 89-110

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

  • ProbSy - A System for the Calculation of Probabilities in the Card Game Bridge

    Madsen, A. L., Nielsen, L. M. & Jensen, F. V., 1998, Proceedings of the 11th International Florida Artificial Intelligence Research Symposium Conference. Cook, Diane J. (ed.) (ed.). AAAI Press, p. 435-439

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

  • Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

    Srba, J. (ed.) & Smolka, S. A. (ed.), 2005, 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4 ed. BRICS, p. 1-70 70 p.

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

  • Processing Aggregate Queries in a Federation of SPARQL Endpoints

    Ibragimov, D., Hose, K., Pedersen, T. B. & Zimanyi, E., 31 May 2015, The Semantic Web. Latest Advances and New Domains: 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 - June 4, 2015. Proceedings. Gandon, F., Sabou, M., Sack, H., d’Amato, C., Cudré-Mauroux, P. & Zimmermann, A. (eds.). Springer Publishing Company, p. 269-285 (Lecture Notes in Computer Science; No. 9088).

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

    18 Citations (Scopus)

  • Production Scheduling by Reachability Analysis: A Case Study

    Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IPDPS 2005. IEEE Computer Society Press

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

    24 Citations (Scopus)

  • Programmatic ETL

    Thomsen, C., Andersen, O., Jensen, S. K. & Pedersen, T. B., 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimányi, E. (ed.). Cham: Springer Publishing Company, p. 21-50 30 p. (Lecture Notes in Business Information Processing, Vol. 324).

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

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

  • Programmatic WWW authoring using Scheme and LAML

    Nørmark, K., 2002, WWW2002.org. <Forlag uden navn>

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

  • ProjecTables: Augmented CNC Tools for Sustainable Creative Practices

    Rasmussen, T. & Merritt, T., 2017, CAADRIA 2017: 22nd International Conference on Computer-Aided Architectural Design Research in Asia. The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), p. 757-767 11 p.

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

    Open Access
    6 Citations (Scopus)

  • Project Assessments: Supporting Commitment, Participation, and Learning in Software Process Improvement

    Arent, J., Iversen, J., Andersen, C. V. & Bang, S., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

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

  • Promoting Pro-environmental Behaviour: a tale of two systems

    Paay, J., Kjeldskov, J., Skov, M. B., Pathmanathan, R. & Pearce, J., 25 Nov 2013, Proceedings of OzCHI 2013. Association for Computing Machinery, p. 235-244

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

    File
    7 Citations (Scopus)
    415 Downloads (Pure)

  • Provotyping Accountability: Exploring Smartphone Use in the Home through Design

    Jensen, R. H., Encinas, E., Strengers, Y., Dannesboe, C., Kruuse, E., Skovby, J., Bach, M., Tietze, P. & Christensen, S., 2023, Proceedings of the 2023 ACM Designing Interactive Systems Conference (DIS '23). Association for Computing Machinery, p. 1595–1609 15 p.

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

    Open Access
    File
    97 Downloads (Pure)

  • Proxemic Interaction in a Multi-Room Music System

    Sørensen, H., Kristensen, M. G., Kjeldskov, J. & Skov, M. B., 25 Nov 2013, Proceedings of OzCHI 2013. Association for Computing Machinery, p. 153-162

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

    File
    7 Citations (Scopus)
    492 Downloads (Pure)

  • PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

    Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Vol. 10580. p. 248-265 18 p. (Lecture Notes in Computer Science).

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

    12 Citations (Scopus)

  • PtrTracker: Pragmatic pointer analysis

    Biallas, S., Olesen, M. C., Cassez, F. & Huuck, R., 2013, Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. IEEE Computer Society Press, p. 69-73 5 p. (I E E E International Working Conference on Source Code Analysis and Manipulation. Proceedings).

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

    Open Access
    File
    6 Citations (Scopus)
    898 Downloads (Pure)

  • Push-based Spatial Crowdsourcing for Enriching Semantic Tags in OpenStreetMap

    Gummidi, B., Pedersen, T. B., Xie, X. & Zimányi, E., 8 Nov 2019, Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: SIGSPATIAL'19. Banaei-Kashani, F., Trajcevski, G., Guting, R. H., Kulik, L. & Newsam, S. (eds.). Association for Computing Machinery, p. 532-535 4 p.

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

    1 Citation (Scopus)

  • pygrametl: A Powerful Programming Framework for Extract-Transform-Load Programmers

    Thomsen, C. & Pedersen, T. B., 2009, Proceedings of the 12th ACM International Workshop on Data Warehousing and OLAP (DOLAP). Association for Computing Machinery, p. 49-56 8 p.

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

    34 Citations (Scopus)
    1 Downloads (Pure)

  • QB2OLAP: Enabling OLAP on Statistical Linked Open Data

    Varga, J., Etcheverry, L., Vaisman, A., Romero, O., Pedersen, T. B. & Thomsen, C., 2016, Proceedings of 2016 IEEE 32nd International Conference on Data Engineering (ICDE). IEEE, p. 1346-1349 4 p.

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

    15 Citations (Scopus)