Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Søgeresultater

  • Bidrag til bog/antologi

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

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

  • 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. (red.). Wiley, s. 345-364 20 s. (STATISTICS IN PRACTICE).

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

  • 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. s. 79-83 (ARTIST IST-2001-34820).

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

  • 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. (red.). Springer, s. 260-277 18 s. (Lecture Notes in Computer Science; Nr. 9360).

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

    34 Citationer (Scopus)

  • Schema Specification

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

  • Schema Specification in TSQL2

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

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

  • 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. (red.). Berlin Heidelberg: Springer Publishing Company, Bind 204. s. 93-107 15 s. (Advances in Intelligent Systems and Computing).

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

    Åben adgang
    Fil
    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. (red.). 1. udg. udg. IGI global, s. 310-339

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Berlin / Heidelberg: Springer, s. 697-719 (Lecture Notes in Computer Science (LNCS), Bind 4321).

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

    50 Citationer (Scopus)

  • Semiotic models of algorithmic signs

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

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

  • 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.) (red.). Berlin: IEEE Computer Society Press, s. 243-250 (Springer Lecture Notes in Artificial Intelligence; Nr. 946).

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

    13 Citationer (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, Bind 7059. s. 145-154 (Lecture Notes in Computer Science, Bind 7059).

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

    5 Citationer (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, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13660).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › 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. (red.). Aalborg: Software Innovation Publisher, s. 117-133

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

  • 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. (red.). 1 udg. Springer Publishing Company, s. 217-227 11 s.

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

    2 Citationer (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. (red.). Kluwer Academic Publishers, s. 411-433 23 s.

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

  • 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. (red.). Springer, s. 189-218 30 s. (Springer Series on Cultural Computing).

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

    2 Citationer (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. (red.).

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

  • Software Development and Feedback from Usability Evaluations

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

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

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

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

  • 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.) (red.). Kbh. : ITEK: Denmark., s. 21-26 (ITEK rapport).

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

  • Some of My Favourite Results in Classic Process Algebra

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

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

  • 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. (red.). World Scientific

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

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

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

  • Structural Operational Semantics

    Aceto, L., Fokkink, J. & Verhoef, C., 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

    1 Citationer (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. (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