Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Book chapter

Search results

  • Supporting temporal analytics for health-related events in microblogs

    Kanhabua, N., Romano, S., Stewart, A. & Nejdl, W., 2012, Proceedings of the 21st ACM international conference on Information and knowledge management. New York, NY, USA: Association for Computing Machinery, p. 2686-2688 3 p.

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

    13 Citations (Scopus)

  • Supporting Web Developers in Evaluating Usability and Identifying Usability Problems

    Skov, M. B. & Stage, J., 2010, Integrating Usability Engineering for Designing the Web Experience: Methodologies and Principles. Idea Group Publishing, p. 1-14

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

  • Symbolic Methods for Bisimulation Checking for Value-Passing Processes

    Ingolfsdottir, A. & Lin, H., 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

  • Tangible Objects: Connecting Informational and Physical space

    Andersen, P. B. & Nowack, P., 2002, Virtual Space : Spatiality of Virtual Inhabited 3d Worlds. Qvortrup, L. (ed.): (ed.). London: IEEE Computer Society Press

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

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

    24 Citations (Scopus)

  • Tearing up Interfaces

    Andersen, P. B. & May, M., 2000, Information, Organisation, and technology : Studies in Organisational Semiotics. Liu, K. : Clarke, R. J. : Andersen, P. B. : Stamper, R. K. (eds.) (ed.). Boston, Mass.: Kluwer Academic Publishers, p. 299-338

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

  • Technology and Government: Extending the Double Dance of Agency

    Rose, J., 2007, Perspectives on e-Government: technology & infrastructure, politics & organisation, interaction & communication. Kanstrup, A. M., Nyvang, T. & Sørensen, E. M. (eds.). Aalborg: Aalborg Universitetsforlag, p. 73-98

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

  • Teknik som tegn: eller hvilken forbindelse har Charles Fillmore til et jernstøberi?

    Translated title of the contribution: Technology as signs: Or what is the connection between a furnace plant and Charles Fillmore?Andersen, P. B., 2002, M/K- Mod og kvindehjerte : festskrift til Mette Kunøe. Cramer, J. (red.) :, Togeby, O. (red.) : Widell, P. (red.) (ed.). Århus: Modtryk

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

  • Temporally Enhanced Database Design

    Jensen, C. S. & Snodgrass, T., 2000, Advances in Object-Oriented Data Modeling. Papazoglou, M. P. : Spaccapietra, S. : Tari, Z. (eds.) (ed.).

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

  • Testing Real-Time Systems Using UPPAAL

    Hessel, A., Larsen, K. G., Mikucionis, M., Nielsen, B., Pettersson, P. & Skou, A., 2008, Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers. Berlin Heidelberg: Springer, p. 77-117 (Lecture Notes in Computer Science; No. 4949).

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

    181 Citations (Scopus)

  • The Adolescent Effort

    Nielsen, P. A., Iversen, J. H., Johansen, J. & Nielsen, L. B., 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

  • The Algorithmics of Bisimilarity

    Aceto, L., Ingolfsdottir, A. & Srba, J., 2011, Advanced Topics in Bisimulation and Coinduction. Cambridge University Press, Vol. 52. p. 100-172 73 p. (Cambridge Tracts in Theoretical Computer Science; No. 52).

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

  • The Ambitous Effort: Stalemates and Insider Solutions

    Aaen, I., Christiansen, M. & Kristensen, C. H., 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

  • The challenge of building communities about PBL supervision: From networks of practice to communities of practice

    Hüttel, H. & Gnaur, D., 30 Oct 2020, Collaborative Convergence and Virtual Teamwork for Organizational Transformation. IGI global, p. 177-194 18 p.

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

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

    3 Citations (Scopus)

  • The Correct Effort

    Aaen, I. & Bang, S., 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

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

  • The Equational Theory of Fixed Points with Applications to Generalized Language Theory

    Esik, Z., 2001, Development in Language Theory. Kuich,W. (ed.) (ed.). Wien, p. 25-44

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

  • The From Clause

    Snodgrass, R. T., Jensen, C. S. & Grandi, F., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (ed.).

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

  • The From Clause in TSQL2

    Snodgrass, R. T. & Jensen, C. S., 1994, The TSQL2 Language Specification. p. 6

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

  • The Grass Roots Effort

    Andersen, C. V., Krath, F., Krukow, L., Mathiassen, L. & Pries-Heje, 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

  • The IntelliMedia WorkBench

    Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKewitt, P., Moeslund, T. B. & Olesen, K. G., 2001, Cooperative Multimodal Communication. Bunt, H., Beun, H. & Beun, R. (eds.). IEEE Computer Society Press, p. 217-233 (Lecture Notes In Artificial Intelligence; No. 2155).

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

    1 Citation (Scopus)

  • The Methodology of Modal Constraints

    Larsen, K. G., Steffen, B. & Weise, C., 1996, Formal Systems Specification : the RPC-Memory Specification Case Study. Broy, M. : Merz, S. : Spies, K. (eds.) (ed.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; No. 1169).

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

  • The Road to High Maturity: how the first Danish company reached CMMI level 5 in 100 months

    Pries-Heje, J., Nørbjerg, J., Aaen, I. & Elisberg, T., 2008, Software Processes and Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Aalborg: Software Innovation Publisher, p. 163-191 29 p.

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

  • The Role of Improvisation in Adoption of Process Technology in a Small Software Firm

    Tjørnehøj, G. & Mathiassen, L., 2008, Software Processes & Knowledge: Beyond Conventional Software Process Improvement. Nielsen, P. A. & Kautz, K. (eds.). Software Innovation Publisher, p. 135-162

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

    3 Downloads (Pure)

  • The Surrogate Data Type

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

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

  • The Surrogate Data Type in TSQL2

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

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

  • The TSQL2 Data Model

    Jensen, C. S., Snodgrass, R. T. & 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 › Communication

  • The TSQL2 Data Model

    Jensen, C. S., Snodgrass, R. T. & Soo, M. D., 1994, The TSQL2 Language Specification. p. 62

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

    28 Citations (Scopus)

  • The TSQL2 Language Specification

    Snodgrass, R. T., Ahn, I., Ariav, G., Batory, D. S., Clifford, J., Dyreson, C. E., Elmasri, R., Grandi, F., Jensen, C. S., Käfer, W., Kulkarni, K., Leung, T. Y. C., Lorentzos, N., Roddick, J. F., Segev, A., Soo, M. D. & Sripada, S. M., 1994, The TSQL2 Language Specification. p. 68

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

    88 Citations (Scopus)

  • Time-based Query Performance Predictors

    Kanhabua, N. & Nørvåg, K., 2011, Proceedings of the 34th international ACM SIGIR conference on Research and development in Information Retrieval. p. 1181-1182 2 p.

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

    2 Citations (Scopus)

  • Time Series Management Systems: A 2022 Survey

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 4 Dec 2022, (Accepted/In press) Data Series Management and Analytics. Palpanas, T. & Zoumpatianos, K. (eds.). Association for Computing Machinery, 81 p.

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

    Open Access
    File
    177 Downloads (Pure)

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

    4 Citations (Scopus)

  • Tools for Model-Checking Timed Systems

    David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., Chatain, T., Pettersson, P., Srba, J., Yi, W., Jørgensen, K. Y., Lime, D., Magnin, M., Roux, O. H. & Traonouez, L-M., Oct 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (eds.). Wiley, p. 165-225

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

  • Tools for Verification and Validation

    Larsen, K. G. & Nielsen, B., 2005, Embedded Systems Design: The ARTIST Roadmap for Research and Development. Bouyssounouse, B. & Sifakis, J. (eds.). Berlin / Heidelberg: IEEE Computer Society Press, p. 72 (Lecture Notes in Computer Science, Vol. 3436).

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

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

    22 Citations (Scopus)

  • Tracking of moving objects with accuracy Guarantees

    Jensen, C. S., Civilis, A. & Pakalnis, S., 2007, Spatial data on the web: modeling and management. Belussi, A., Catania, B., Clementini, E. & Ferrari, E. (eds.). Springer, p. 285-309

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

    3 Citations (Scopus)

  • Training Sequences and their Effects on Task Performance and User Outcomes

    Sanford, C. C., 2007, Integrating Information & Communications Technologies Into the Classroom. Tomei, L. (ed.). Hershey, PA USA: Idea Group Publishing, p. 111-132 22 p.

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

  • Transitioning Temporal Support in TSQL2 to SQL3

    Snodgrass, R. T., Böhlen, M., Jensen, C. S. & Steiner, A., 1998, Temporal Databases : Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1997. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (ed.). Berlin: IEEE Computer Society Press, p. 150-194 (Lecture Notes in Computer Science; No. 1399).

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

  • Typological Challenges for the Application of Multilingual Language Models in the Digital Humanities

    Fekete, M. R., Bjerva, J. & Beinborn, L., 28 Dec 2023, Multilingual Digital Humanities. Viola, L. & Spence, P. (eds.). Routledge, (Digital Research in the Arts and Humanities).

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

    1 Citation (Scopus)

  • Update in TSQL2

    Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 5

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

  • Using Fuzzy Song Sets in Music Warehouses

    Deliege, F. & Pedersen, T. B., 2009, Scalable Fuzzy Algorithms for Data Management and Analysis: Methods and Design. Laurent, A. & Lesot, M-J. (eds.). oktober ed. Idea Group Publishing, 22 p.

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

    1 Citation (Scopus)

  • Using Nested Surfaces for Visual Detection of Structures in Databases

    Mazeika, A., Böhlen, M. H. & Mylov, P., 2008, Visual Data Mining: Theory, Techniques and Tools for Visual Analytics. Springer, p. 91-102 (Lecture Notes in Computer Science; No. 4404).

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

    1 Citation (Scopus)

  • Using On-Line Tutorials in Introductory IT Courses

    Thomsen, B., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (eds.). Berlin Heidelberg: Springer, p. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; No. 4821).

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

    4 Citations (Scopus)

  • Using Software Engineering Approaches to Model Dynamics in Interactive Software Systems

    Skov, M. & Stage, J., 2001, Virtual Interaction : Interaction in Virtual Inhabited 3D Worlds. Qvortrup, L. (ed.) (ed.). London: Springer Publishing Company, p. 404-421

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

  • Using Temporal Language Models for Document Dating

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

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

    33 Citations (Scopus)

  • Vacuuming

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

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

  • Vacuuming in TSQL2

    Jensen, C. S., 1994, The TSQL2 Language Specification. p. 10

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

  • Valid-Time Projection in TSQL2

    Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. p. 10

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

  • Valid-Time Selection and Projection

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

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