Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Book chapter

Search results

  • 2016

    TAPAAL and Reachability Analysis of P/T Nets

    Jensen, J. F., Nielsen, T. S., Østergaard, L. K. & Srba, J., 2016, Transactions on Petri Nets and Other Models of Concurrency XI. Springer, p. 307-318 12 p. (Lecture Notes in Computer Science, Vol. 9930).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    24 Citations (Scopus)
  • 2015

    An Energy Flexibility Framework on the Internet of Things

    Le Guilly, T., Siksnys, L., Albano, M., Pedersen, P. D., Stluka, P., Ferreira, L. L., Skou, A. J., Pedersen, T. B. & Olsen, P., 2015, The Success of European Projects using New Information and Communication Technologies. SCITEPRESS Digital Library, p. 17-37

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Beomap: Ad Hoc Topic Maps for Enhanced Exploration of Social Media Data

    Leginus, M., Zhai, C. & Dolog, P., 1 Jun 2015, Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings. Cimiano, P., Frasincar, F., Houben, G-J. & Schwabe, D. (eds.). Springer, p. 200-218 19 p. (Lecture Notes in Computer Science; No. 9114).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Converging from Branching to Linear Metrics on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (eds.). Springer, p. 349-367 18 p. (Lecture Notes in Computer Science; No. 9399).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    16 Citations (Scopus)
  • EcoSky: Reducing vehicular environmental impact through eco-routing

    Guo, C., Yang, B., Andersen, O., Jensen, C. S. & Torp, K., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 1412-1415 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    43 Citations (Scopus)
  • Finding top-k local users in geo-tagged social media data

    Jiang, J., Lu, H., Yang, B. & Cui, B., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 267-278 12 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    35 Citations (Scopus)
  • MIRABEL DW: Managing Complex Energy Data in a Smart Grid

    Siksnys, L., Thomsen, C. & Pedersen, T. B., 17 Jul 2015, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012. Hameurlain, A., Küng, J., Wagner, R., Cuzzocrea, A. & Dayal, U. (eds.). Springer, p. 48-72 (Lecture Notes in Computer Science, Vol. 9260).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Multiple Image Segmentation

    Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (eds.). Springer, p. 3-18 16 p. (Lecture Notes in Computer Science, Vol. 9443).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • On the Total Variation Distance of Semi-Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer, Vol. 9034. p. 185-199 15 p. (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    12 Citations (Scopus)
  • Personalized route recommendation using big trajectory data

    Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, p. 543-554 12 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    153 Citations (Scopus)
  • Preface

    Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N., 2015, Preface. Vol. 206. p. 5-9 5 p. (Lecture Notes in Business Information Processing).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearch

  • Publishing Danish Agricultural Government Data as Semantic Web Data

    Andersen, A. B., Gür, N., Hose, K., Jakobsen, K. A. & Pedersen, T. B., 2015, Semantic Technology: 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Supnithi, T., Yamaguchi, T., Pan, J. Z., Wuwongse, V. & Buranarach, M. (eds.). Springer, p. 178-186 9 p. (Lecture Notes in Computer Science; No. 8943).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    9 Citations (Scopus)
    586 Downloads (Pure)
  • Resource-Parameterized Timing Analysis of Real-Time Systems

    Kim, J. H., Legay, A., Larsen, K. G., Mikučionis, M. & Nielsen, B., 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer, p. 190-205 (Lecture Notes in Computer Science; No. 9434).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    3 Citations (Scopus)
  • Safe and Optimal Adaptive Cruise Control

    Larsen, K. G., Mikučionis, M. & Taankvist, J. H., 2015, Correct System Design: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday. Meyer, R., Platzer, A. & Wehrheim, H. (eds.). Springer, p. 260-277 18 p. (Lecture Notes in Computer Science; No. 9360).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    34 Citations (Scopus)
  • The End of the Line: Project Management Challenges in Small Software Shops in Pakistan

    Shakir, S. N. & Nørbjerg, J., 13 Jul 2015, Strategic Project Management: Contemporary Issues and Strategies for Developoing Economies. Barclay, C. & Osei-Bryson, K-M. (eds.). Boca Raton, FL: CRC Press, p. 107-131 25 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Towards Exploratory OLAP over Linked Open Data: a Case Study

    Ibragimov, D., Hose, K., Pedersen, T. B. & Zimanyi, E., 2015, Enabling Real-Time Business Intelligence: International Workshops, BIRTE 2013, Riva del Garda, Italy, August 26, 2013, and BIRTE 2014, Hangzhou, China, September 1, 2014. Castellanos, M., Dayal, U., Pedersen, T. B. & Tatbul, N. (eds.). Springer, p. 114-132 (Lecture Notes in Business Information Processing, Vol. 206).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    22 Citations (Scopus)
  • 2014

    Design and Management of Web Service Transactions with Forward Recovery

    Dolog, P., Schäfer, M. & Nejdl, W., 2014, Advanced Web Services. Bouguettaya, A., Sheng, Q. Z. & Daniel, F. (eds.). Springer VS, p. 3-27 25 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    5 Citations (Scopus)
  • Federated query processing over linked data

    Hose, K., Schenkel, R., Schmidt, M. & Schwarte, A., 1 May 2014, Linked data management. Harth, A., Hose, K. & Schenkel, R. (eds.). 1. ed. CRC Press, p. 369-387 19 p. (Emerging Directions in Database Systems and Applications).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Location-Based Services - A Database Perspective

    Jensen, C. S., Friis-Christensen, A., Pedersen, T. B., Pfoser, D., Saltenis, S. & Tryfona, N., 2014, Breaking New Ground - Dedicated to Finn Kjærsdam. Aalborg: Aalborg Universitetsforlag, p. 82-93

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • 2013

    ETLMR: A Highly Scalable Dimensional ETL Framework based on MapReduce

    Xiufeng, L., Thomsen, C. & Pedersen, T. B., 2013, Transactions on Large-Scale Data- and Knowledge-Centered Systems VIII: Special Issue on Advances in Data Warehousing and Knowledge Discovery. Springer VS, Vol. 7790. p. 1-31 31 p. (Transactions on Large-Scale Data- and Knowledge-Centered Systems). (Lecture Notes in Computer Science, Vol. 7790).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    17 Citations (Scopus)
  • Medical Information Retrieval Enhanced with User’s Query Expanded with Tag-Neighbors

    Durao, F., Bayyapu, K. R., Xu, G., Dolog, P. & Lage, R. G., 2013, Handbook of Medical and Healthcare Technologies. Furht, B. & Agarwal, A. (eds.). Springer Publishing Company, p. 17-40

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • Mobile Computing

    Kjeldskov, J., 2013, The Encyclopedia of Human-Computer Interaction. Soegaard, M. & Dam, R. F. (eds.). The Interaction Design Foundation

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    359 Downloads (Pure)
  • Model-based vercation, optimization, synthesis and performance evaluation of real-time systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Thrane, C., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press, Vol. 34. p. 235-273 39 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Models for Real-Time Embedded Systems

    Lime, D., Roux, O. H. & Srba, J., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 1-37 37 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • On the Relationship between LTL Normal Forms and Büchi Automata

    Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    5 Citations (Scopus)
  • Optimal Bounds for Multiweighted and Parametrised Energy Games

    Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Vol. 8051. p. 244-255 (Lecture Notes in Computer Science, Vol. 8051).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    27 Citations (Scopus)
  • Segmentation of Nonstationary Time Series with Geometric Clustering

    Bocharov, A. & Thiesson, B., 2013, Pattern Recognition - Applications and Methods. Carmona, P. L., Sanchez, J. S. & Fred, A. L. N. (eds.). Berlin Heidelberg: Springer Publishing Company, Vol. 204. p. 93-107 15 p. (Advances in Intelligent Systems and Computing).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    811 Downloads (Pure)
  • The Conceptual Pond – a Persuasive Tool for Quantifiable Qualitative Assessment

    Sørensen, C. G. & Sørensen, M. G., 2013, Emerging Research and Trends in Interactivity and the Human-Computer Interface. IGI global, p. 449-469 20 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    3 Citations (Scopus)
  • Tools for Model-Checking Timed Systems

    David, A., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Larsen, K. G., Pettersson, P., Rasmussen, J. I., Srba, J., Yi, W., Joergensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L. M., 13 Feb 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (eds.). Wiley, p. 165-225 61 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    4 Citations (Scopus)
  • 2012

    A Business Case Method for IT Investments in Danish Municipalities

    Persson, J. S. & Nielsen, P. A., 2012, IT Management in Local Government : The DISIMIT Project. Rose, J., Persson, J. S., Kræmmergaard, P. & Nielsen, P. A. (eds.). Aalborg: Software Innovation, Aalborg University, p. 115-129 15 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    570 Downloads (Pure)
  • A Data-Driven Approach for Resource Gathering in Real-Time Strategy Games

    Christensen, D., Ossipoff Hansen, H., Hernandez, J. P. C., Juul-Jensen, L., Kastaniegaard, K. & Zeng, Y., 2012, Agents and Data Mining Interaction: 7th International Workshop on Agents and Data Mining Interaction, ADMI 2011, Taipei, Taiwan, May 2-6, 2011, Revised Selected Papers. Cao, L., Bazzan, A. L. C., Symeonidis, A. L., Gorodetsky, V. I., Weiss, G. & Yu, P. S. (eds.). Springer Publishing Company, p. 304-315 (Lecture Notes in Computer Science, Vol. 7103).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    2 Citations (Scopus)
  • A Multi-factor Tag-Based Personalized Search

    Durao, F., Lage, R. G., Dolog, P. & Coskun, N., 2012, Web Information Systems and Technologies: 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers. Filipe, J. & Cordeiro, J. (eds.). Springer Publishing Company, p. 192-206 (Lecture Notes in Business Information Processing, Vol. 101).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Combining Epistemic Logic and Hennessy-Milner Logic

    Knight, S., Mardare, R. I. & Panangaden, P., 2012, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (eds.). Springer Science+Business Media, Vol. 7230. p. 219-243 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    1 Citation (Scopus)
  • E-government value priorities of Danish local authority managers

    Rose, J. & Persson, J. S., 2012, IT Management in Local Government: the DISIMIT Project. Rose, J., Kræmmergaard, P. & Nielsen, P. A. (eds.). Aalborg: Software Innovation, Aalborg University, p. 27-56 29 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    File
    924 Downloads (Pure)
  • Engaged Problem Formulation of IT Management in Danish Municipalities

    Nielsen, P. A. & Persson, J. S., 2012, IT Management in Local Government: The DISIMIT Project. Rose, J., Persson, J. S., Kræmmergaard, P. & Nielsen, P. A. (eds.). Aalborg: Software Innovation, Aalborg University, p. 13-25 13 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    377 Downloads (Pure)
  • Estimating query difficulty for news prediction retrieval

    Kanhabua, N. & Nørvåg, K., 2012, Proceedings of the 21st ACM international conference on Information and knowledge management. New York, NY, USA: Association for Computing Machinery, p. 2623-2626 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Formal Analysis of Privacy for Anonymous Location Based Services

    Dahl, M., Delaune, S. & Steel, G., 2012, Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers. Mödersheim, S. & Palamidessi, C. (eds.). Springer Publishing Company, p. 98-112 (Lecture Notes in Computer Science, Vol. 6993).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    6 Citations (Scopus)
  • Gevinstrealisering i e-forvaltningsprosjekter: God teknologiledelse i praksis

    Flak, L. S., Nielsen, P. A. & Rygg, J. H., 2012, Gevinstrealisering og offentlige IKT-investeringer. Flak, L. S. (ed.). Universitetsforlaget, p. 18-36

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Identifying Relevant Temporal Expressions for Real-World Events

    Kanhabua, N., Romano, S. & Stewart, A., 2012, SIGIR 2012 Workshop on Time-aware Information Access (TAIA'2012).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Improving IT Project Portfolio Management in Public Sector Organizations

    Pedersen, K., 2012, IT Management in Local Government: The DISIMIT Project. Rose, J., Persson, J. S., Kræmmergaard, P. & Nielsen, P. A. (eds.). 1 ed. Denmark: Software Innovation, Aalborg University, p. 57-80 23 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

  • Improving Recommendations in Tag-based Systems with Spectral Clustering of Tag Neighbors

    Pan, R., Xu, G. & Dolog, P., 2012, Computer Science and Convergence: CSA 2011 & WCC 2011 Proceedings. Park, J. J., Chao, H-C., Obaidat, M. S. & Kim, J. (eds.). Springer, p. 355-364 10 p. (Lecture Notes in Electrical Engineering, Vol. 114).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    8 Citations (Scopus)
  • Inference in hybrid Bayesian networks with Mixtures of Truncated Basis Functions

    Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2012, Proceedings of the Sixth European Workshop on Probabilistic Graphical Models. Cano, A., Gómez-Olmedo, M. & Nielsen, T. D. (eds.). DECSAI, University of Granada, p. 171-178 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    File
    13 Citations (Scopus)
    234 Downloads (Pure)
  • Learning Mixtures of Truncated Basis Functions from Data

    Langseth, H., Nielsen, T. D. & Salmerón, A., 2012, Proceedings of the Sixth European Workshop on Probabilistic Graphical Models. Cano, A., Gómez-Olmedo, M. & Nielsen, T. D. (eds.). DECSAI, University of Granada, p. 163-170 8 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    File
    9 Citations (Scopus)
    212 Downloads (Pure)
  • Learning to rank search results for time-sensitive queries

    Kanhabua, N. & Nørvåg, K., 2012, Proceedings of the 21st ACM international conference on Information and knowledge management. New York, NY, USA: Association for Computing Machinery, p. 2463-2466 4 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    24 Citations (Scopus)
  • Learning to Select a Time-aware Retrieval Model

    Kanhabua, N., Berberich, K. & Nørvåg, K., 2012, Proceedings of the 35th International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, NY, USA: Association for Computing Machinery, p. 1099-1100 2 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    3 Citations (Scopus)
  • Monte Carlo methods for preference learning

    Viappiani, P., 1 Jan 2012, Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers. Hamadi, Y. & Schoenauer, M. (eds.). Springer Publishing Company, p. 503-508 6 p. (Lecture Notes in Computer Science, Vol. 7219).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    3 Citations (Scopus)
  • NEER: An Unsupervised Method for Named Entity Evolution Recognition

    Tahmasebi, N., Gossen, G., Kanhabua, N., Holzmann, H. & Risse, T., 2012, Proceedings the 24th International Conference on Computational Linguistics. ACL, p. 2553-2568 16 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    30 Citations (Scopus)
  • New Results on Timed Specifications

    Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 Feb 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (eds.). Springer, p. 175-192 18 p. (Lecture Notes in Computer Science, Vol. 7137).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    4 Citations (Scopus)
    511 Downloads (Pure)
  • SimSpectrum: A Similarity Based Spectral Clustering Approach to Generate a Tag Cloud

    Durao, F., Dolog, P., Leginus, M. & Lage, R. G., 2012, Current Trends in Web Engineering: Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers. Berlin: Springer, Vol. 7059. p. 145-154 (Lecture Notes in Computer Science, Vol. 7059).

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    5 Citations (Scopus)
  • Structured Linear Parameter Varying Control of Wind Turbines

    Adegas, F. D., Sloth, C. & Stoustrup, J., 2012, Control of Linear Parameter Varying Systems with Applications. Mohammadpour, J. & Scherer, C. W. (eds.). Springer Science+Business Media, p. 303-337 35 p.

    Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

    2 Citations (Scopus)