Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Bidrag til bog/antologi

Søgeresultater

  • Bidrag til bog/antologi

    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. (red.). Springer Science+Business Media, s. 303-337 35 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    2 Citationer (Scopus)

  • 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, s. 2686-2688 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    13 Citationer (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, s. 1-14

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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.) (red.). Amsterdam: Pergamon Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Tangible Objects: Connecting Informational and Physical space

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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, s. 307-318 12 s. (Lecture Notes in Computer Science, Bind 9930).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    24 Citationer (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.) (red.). Boston, Mass.: Kluwer Academic Publishers, s. 299-338

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Aalborg: Aalborg Universitetsforlag, s. 73-98

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

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

    Andersen, P. B., 2002, M/K- Mod og kvindehjerte : festskrift til Mette Kunøe. Cramer, J. (red.) :, Togeby, O. (red.) : Widell, P. (red.) (red.). Århus: Modtryk

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Temporally Enhanced Database Design

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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, s. 77-117 (Lecture Notes in Computer Science; Nr. 4949).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    181 Citationer (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.) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • The Algorithmics of Bisimilarity

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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.) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

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

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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, s. 449-469 20 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    3 Citationer (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.) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Boca Raton, FL: CRC Press, s. 107-131 25 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

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

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • The From Clause

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • The From Clause in TSQL2

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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) (red.). Boston: Addison-Wesley, (The agile software development series).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). IEEE Computer Society Press, s. 217-233 (Lecture Notes In Artificial Intelligence; Nr. 2155).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (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.) (red.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 1169).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Aalborg: Software Innovation Publisher, s. 163-191 29 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Software Innovation Publisher, s. 135-162

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    3 Downloads (Pure)

  • The Surrogate Data Type

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • The Surrogate Data Type in TSQL2

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • The TSQL2 Data Model

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling

  • The TSQL2 Data Model

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Formidling

    28 Citationer (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. s. 68

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    88 Citationer (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. s. 1181-1182 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    2 Citationer (Scopus)

  • Time Series Management Systems: A 2022 Survey

    Jensen, S. K., Pedersen, T. B. & Thomsen, C., 4 dec. 2022, (Accepteret/In press) Data Series Management and Analytics. Palpanas, T. & Zoumpatianos, K. (red.). Association for Computing Machinery, 81 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    Åben adgang
    Fil
    179 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. (red.). Wiley, s. 165-225 61 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    4 Citationer (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., okt. 2009, Communicating Embedded Systems for Computer Science. Roux, O. H. & Jard, C. (red.). Wiley, s. 165-225

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Berlin / Heidelberg: IEEE Computer Society Press, s. 72 (Lecture Notes in Computer Science, Bind 3436).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Springer, s. 114-132 (Lecture Notes in Business Information Processing, Bind 206).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    22 Citationer (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. (red.). Springer, s. 285-309

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    3 Citationer (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. (red.). Hershey, PA USA: Idea Group Publishing, s. 111-132 22 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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.) (red.). Berlin: IEEE Computer Society Press, s. 150-194 (Lecture Notes in Computer Science; Nr. 1399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). Routledge, (Digital Research in the Arts and Humanities).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    1 Citationer (Scopus)

  • Update in TSQL2

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. (red.). oktober udg. Idea Group Publishing, 22 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (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, s. 91-102 (Lecture Notes in Computer Science; Nr. 4404).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    1 Citationer (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. (red.). Berlin Heidelberg: Springer, s. 68-74 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

    4 Citationer (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.) (red.). London: Springer Publishing Company, s. 404-421

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • 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. s. 738-741 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review

    33 Citationer (Scopus)

  • Vacuuming

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Vacuuming in TSQL2

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning

  • Valid-Time Projection in TSQL2

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning