Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Book chapter

Search results

  • Preface: Preface

    Pedersen, T. B., Mohania, M. & Tjoa, A. M., 2009, Data Warehousing and Knowledge Discovery, 11th International Conference, DaWaK 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings.. Vol. 5691 LNCS. p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    1 Citation (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 proceeding › Book chapter › Research

  • Prescriptive Analytics

    Siksnys, L. & Pedersen, T. B., 7 Dec 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (eds.). 2nd Edition ed. New York: Springer, 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Probabilistic Grid-Based Approaches for Privacy-Preserving Data Mining on Moving Object Trajectories

    Gidofalvi, G., Xuegang, H. & Pedersen, T. B., 2010, Privacy-Aware Knowledge Discovery: Novel Applications and New Techniques. Bonchi, F. & Ferrari, E. (eds.). CRC Press, 29 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    5 Citations (Scopus)

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2000, Algoriths for Uncertainty and Defeasible Reasoning. Kohlas, J. : Moral, S. (ed.). Dordrecht: Kluwer Academic Publishers, p. 289-320 (Handbook of Defeasible Reasoning and Uncertainty Management Systems; No. 5).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2000, Handbook of Defeasable and Uncertainty Management.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Communication

  • Probabilistic Networks

    Jensen, F. V. & Lauritzen, S. L., 2001, Handbook of Defeasible and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Kohlas, J. & Moral, S. (eds.). Kluwer Academic Publishers, Vol. 5. p. 289-320

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Probabilities of Future Decisions

    Nilsson, D. & Jensen, F. V., 2000, Information, Uncertainty and Fusion. Bouchon-Meunier, B. : Yager, R. R. : Zadeh, L. A. (eds.) (ed.). Boston, Mass.: Kluwer Academic Publishers, p. 161-171 (Kluwer international series in engineering and computer science; No. SECS 516).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Problem Diagnosis in SPI

    Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (ed.). Boston: Addison-Wesley, (The agile software development series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Prototyping and Specifying: Principles and Practices of a Mixed Approach

    Mathiassen, L., Seewaldt, T. & Stage, J., 1994, Quality Software: Concepts and Tools. Stage, Jan : Nørmark, Kurt : Larsen, Kim G. (eds.) (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • 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 proceeding › Book chapter › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)
    602 Downloads (Pure)

  • pygrametl: A Powerful Programming Framework for Easy Creation and Testing of ETL Flows

    Jensen, S. K., Thomsen, C., Pedersen, T. B. & Andersen, O., 18 May 2021, Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII: Special Issue In Memory of Univ. Prof. Dr. Roland Wagner. Springer, Vol. XLVIII. p. 45-84 40 p. (Lecture Notes in Computer Science, Vol. 12670).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

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

  • Quantitative Analysis of Interval Markov Chains

    Bacci, G., Delahaye, B., Larsen, K. G. & Mariegaard, A., 2021, Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Olderog, E-R., Steffen, B. & Li, W. (eds.). Springer, Vol. 13030. p. 57-77 20 p. (Lecture Notes in Computer Science). (Theoretical Computer Science and General Issues, Vol. 13030).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access
    3 Citations (Scopus)

  • Quantitative Equational Reasoning

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G. D., Dec 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J-P. & Silva, A. (eds.). Cambridge University Press, p. 333-360

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    Open Access

  • QUEST: Query Expansion Using Synonyms over Time

    Kanhabua, N. & Nørvåg, K., 2010, Proceedings of European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2010. p. 595-598 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    4 Citations (Scopus)

  • Quorum Systems

    Wattenhofer, R. & Förster, K-T., 2016, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (ed.). Inverted Forest Publishing, p. 87-104 18 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Education

  • Ranking Related News Predictions

    Kanhabua, N., Blanco, R. & Matthews, M., 2011, Proceedings of the 34th international ACM SIGIR conference on Research and development in Information Retrieval. p. 755-764 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    33 Citations (Scopus)

  • Real-Time Constraints Through the ProCoS Layers

    Ravn, A. P. & Rischel, H., 1999, Correct System Design : Recent Insights and Advances. Olderog, E.-R. : Steffen, B. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 61-78 (Lecture Notes in Computer Science; No. 1710).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Recommendations for Conducting Longitudinal Experience Sampling Studies

    van Berkel, N. & Kostakos, V., 2021, Advances in Longitudinal HCI Research. Karapanos, E., Gerken, J., Kjeldskov, J. & Skov, M. B. (eds.). Springer, p. 59-78 (Human–Computer Interaction Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Recursively Defined Domains and their Induction Principles

    Jensen, F. V. & Larsen, K. G., 1987, Theoretical Computer Science 64.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Reduction and Refinement Strategies for Probalistic Analysis

    D'Argenio, P. R., Jeannet, B., Jensen, H. E. & Larsen, K. G., 2002, Process Algebra and Probablistic Methods. Hermanns, H. (ed.) : Sagala R. (ed.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 2399).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables

    Huerta y Munive, J. J., 2022, International Conference on Runtime Verification.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Report on the Icelandic Centre of Excellence in Theoretical Computer Science

    Aceto, L., Halldorsson, M. M. & Ingolfsdottir, A., 2005, Bulletin of the EATCS volume 86 (June 2005). Sassone, V. (ed.). EATCS, Vol. 86. p. 262-263 2 p. (Bulletin of the EATCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Communication

  • 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 proceeding › Book chapter › Research › peer-review

    3 Citations (Scopus)

  • Risk Management in Process Action Teams

    Iversen, J. H., Nielsen, P. A. & Nielsen, P. A., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed) : Ngwenyama, O. (ed) (ed.). Boston: Addison-Wesley, (The Agile software deleopment series).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Risk Management in Robotics

    Madsen, A. L., Kalwa, J. & Kjærulff, U. B., 2008, Bayesian Networks: A Practical Guide to Applications. Pourret, O., Naim, P. & Marcot, B. (eds.). Wiley, p. 345-364 20 p. (STATISTICS IN PRACTICE).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Communication

  • ROAD MAP on Hard Real-Time Development Environments W1.A1.N1.Y1 Chapter 4.4.c: Testing Embedded Systems

    Larsen, K. G. & Nielsen, B., 2003, Year 1 deliverables of Project IST-2001-34820 ARTIST:Advanced Real-Time Systems. p. 79-83 (ARTIST IST-2001-34820).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • 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 proceeding › Book chapter › Research › peer-review

    35 Citations (Scopus)

  • Schema Specification

    Snodgrass, R. T., Jensen, C. S. & Soo, M. D., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Schema Specification in TSQL2

    Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1994, The TSQL2 Language Specification. p. 4

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • 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 proceeding › Book chapter › Research › peer-review

    Open Access
    File
    817 Downloads (Pure)

  • Semantic Web Technologies for Business Intelligence

    Berlanga, R., Romero, O., Simitsis, A., Nebot, V., Pedersen, T. B., Abello, A. & Aramburu, M. J., 2011, Business Intelligence Applications and the Web: Models, Systems, and Technologies. Zorrilla, M. E., Mazón, J-N., Ferrández, Ó., Garrigós, I., Daniel, F. & Trujillo, J. (eds.). 1. udg. ed. IGI global, p. 310-339

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Semantic Web Technologies for the Adaptive Web

    Dolog, P. & Nejdl, W., 2007, The Adaptive Web: Methods and Strategies of Web Personalization. Brusilovsky, P., Kobsa, A. & Nejdl, W. (eds.). Berlin / Heidelberg: Springer, p. 697-719 (Lecture Notes in Computer Science (LNCS), Vol. 4321).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    50 Citations (Scopus)

  • Semiotic models of algorithmic signs

    Andersen, P. B., 2003, Algorithmik – Kunst – Semiotik : Hommage für Frieder Nake. Karl-Heinz Rödiger (Ed.) (ed.). Heidelberg: Synchron Wissenschaftsverlag der Autoren, p. 165-210

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Sensitivity Analysis in Bayesian Networks

    Jensen, F. V., Aldenryd, S. H. & Jensen, K. B., 1995, Symbolic and Quantitative Approaches to Reasonning and Uncertainty. Froidevauz, C. : Kohlas, J. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 243-250 (Springer Lecture Notes in Artificial Intelligence; No. 946).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    13 Citations (Scopus)

  • 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 proceeding › Book chapter › Research › peer-review

    5 Citations (Scopus)

  • Simulation Relations and Applications in Formal Methods

    Larsen, K. G., Schilling, C. & Srba, J., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, p. 272-291 20 p. (Lecture Notes in Computer Science, Vol. 13660).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

  • Social Network Analysis in Software Process Improvement

    Nielsen, P. A. & Tjørnehøj, G., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 117-133

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Social web and knowledge management:

    Dolog, P., Kroetz, M., Schaffert, S. & Vrandecic, D., 2009, Weaving Services and People on the World Wide Web. King, I. & Baeza-Yates, R. A. (eds.). 1 ed. Springer Publishing Company, p. 217-227 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    2 Citations (Scopus)

  • Socio-Technical Structure: An Experiment in Integrative Theory Building

    Rose, J., Lindgren, R. & Henfridsson, O., 2004, Information Systems Research: Relevant Theory and Informed Practice. Kaplan, B., Truex, D., Wastell, D. & Wood-Harper, A. T. (eds.). Kluwer Academic Publishers, p. 411-433 23 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Soft Robotics Workshops: Supporting Experiential Learning About Design, Movement, and Sustainability

    Horvath, A-S., Jochum, E., Löchtefeld, M., Vissonova, K. & Merritt, T. R., 2023, Cultural Robotics: Social Robots and Their Emergent Cultural Ecologies. Dunstan, B. J., Koh, J. T. K. V., Turnbull Tillman, D. & Brown, S. A. (eds.). Springer, p. 189-218 30 p. (Springer Series on Cultural Computing).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

    2 Citations (Scopus)

  • Soft Systems in Software Design

    Mathiassen, L., Munk-Madsen, A., Nielsen, P. A. & Stage, J., 1991, Systems Thinking in Europe. Jackson, M.C. et al. (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Software Development and Feedback from Usability Evaluations

    Høegh, R. T., 2008, Interdisciplinary Aspects of Information Systems Studies. 2 ed. Heidelberg: Physica-Verlag, p. 47-53

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Software Process Improvement Using Light Knowledge Tools

    Hosbond, J. H. & Nielsen, P. A., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 103-116

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Software - til verdens mindste og verdens største computer

    Larsen, K. G., Thomsen, L. L. & Thomsen, B., 2003, Trends i ITEK-Sektoren. Sarborg Pedersen, John : Ørum Larsen, Lars (red.) (ed.). Kbh. : ITEK: Denmark., p. 21-26 (ITEK rapport).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Some of My Favourite Results in Classic Process Algebra

    Aceto, L., 2003, The Concurrency Column. (L. Aceto ed.) (ed.). p. 90-108 (Bulletin of the EATCS; No. 81).

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Some of My Favourite Results in Classic Process Algebra

    Aceto, L., 2004, Current Trends in Theoretical Computer Science: The Challenge of the New Century, Vol. 2: Formal Models and Semantics. Paun, G., Rozenberg, G. & Salomaa, A. (eds.). World Scientific

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Standards, Processes and Practice

    Mûller, S. D., Nielsen, P. A. & Nørbjerg, J., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 29-42

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

  • Structural Operational Semantics

    Aceto, L., Fokkink, J. & Verhoef, C., 2001, Handbook of Process Algebra. Bergstra, J. : Ponse, A. : Smolka, S. (eds.) (ed.). Amsterdam: Pergamon Press

    Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research

    1 Citation (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 proceeding › Book chapter › Research › peer-review

    2 Citations (Scopus)