Institut for Datalogi

Publikationer

Publikationer pr. år 1981 2003 2006 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2025

• 2509 Konferenceartikel i proceeding
• 1207 Tidsskriftartikel
• 307 Bidrag til bog/antologi
• 298 Konferenceartikel i tidsskrift
• 1047 Mere
  • 277 Bog
  • 139 Ph.d.-afhandling
  • 128 Rapport
  • 65 Encyclopædiartikel
  • 63 Antologi
  • 59 Leder
  • 55 Konferenceabstrakt i proceeding
  • 49 Paper uden forlag/tidsskrift
  • 40 Working paper
  • 37 Preprint
  • 27 Forord/Indledning/efterskrift
  • 26 Poster
  • 15 Review (oversigtsartikel)
  • 13 Konferenceabstrakt i tidsskrift
  • 12 Konferenceabstrakt til konference
  • 11 Andet bidrag
  • 6 Bidrag til rapport
  • 6 Kommentar/debat
  • 5 Kompendium/lecture notes
  • 3 Doktordisputats
  • 3 Udgivelser på nettet - Net-publikation
  • 2 Lyd og/eller billed produktion (digital)
  • 2 Patent
  • 1 Kommentar
  • 1 Bidrag til avis - Kronik
  • 1 Bidrag til avis - Avisartikel
  • 1 Letter

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Scalable Model-Based Management of Massive High Frequency Wind Turbine Data with ModelarDB

  Abduvakhobov, A., Jensen, S. K., Pedersen, T. B. & Thomsen, C., 1 mar. 2024.

  Publikation: Working paper/Preprint › Working paper › Forskning › peer review

  Åben adgang

  Fil

  • Wind Turbine 100%
  • Lossy Compression 100%
  • Compression Method 50%
  • Limited Bandwidth 50%
  • Quality Data 50%
  13 Downloads (Pure)
• 2021

  REPOSE: Distributed Top-k Trajectory Similarity Search with Local Reference Point Tries

  Zheng, B., Weng, L., Zhao, X., Zeng, K., Zhou, X. & Jensen, C. S., 2021.

  Publikation: Working paper/Preprint › Working paper › Forskning

  • Trajectory Data 100%
  • In-memory 100%
  • Trajectory Similarity Search 100%
  • Local Reference 100%
  • Similarity Search 100%
• 2018

  Improving Explainable Recommendations with Synthetic Reviews

  Ouyang, S., Lawlor, A., Costa, F. & Dolog, P., 2018, s. 9, (CoRR).

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2016

  A Density-Based Approach to the Retrieval of Top-K Spatial Textual Clusters

  Wu, D. & Jensen, C. S., 2016, 10 s.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2015

  Numeric Input Relations for Relational Learning with Applications to Community Structure Analysis

  Jiang, J. & Jaeger, M., 2015, 21 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  • Latent Feature 100%
  • Community Structure Analysis 100%
  • Numerics 100%
  • Feature Value 66%
  • Numerical Input 66%
• 2014

  Model checking process algebra of communicating resources for real-time systems

  Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil
  377 Downloads (Pure)
• 2013

  Bayesian network as a modelling tool for risk management in agriculture

  Rasmussen, S., Madsen, A. L. & Lund, M., 2013, IFRO Working Paper udg., University of Copenhagen, Department of Food and Resource Economics: IFRO.

  Publikation: Working paper/Preprint › Working paper › Forskning › peer review

  • Bayesian Networks 100%
  • Risk Management 100%
  • Bayesian 100%
  • Network Model 100%
  • External Source 50%

• Mapping the Challenges of Creativity Management in IS and ISD Organizations

  Ulrich, F., 2013, s. 1-29, 29 s.

  Publikation: Working paper/Preprint › Working paper › Forskning › peer review

  • IS Organisation 100%
  • Creative Endeavour 100%
  • Information Set Decoding 100%
  • Practitioners 100%
  • Creative Process 100%
• 2011

  Quasimodo Final Report

  Nielsen, B. & Larsen, K. G., 1 okt. 2011, 77 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Quasimodo Year 3 Management Report

  Nielsen, B. & Larsen, K. G., 1 jun. 2011, 36 s.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2010

  Quasimodo Year 2 Management Report

  Nielsen, B. & Larsen, K. G., 28 jan. 2010, 49 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

• When To Test? Troubleshooting with Postponed System Test

  Ottosen, T. J. & Jensen, F. V., okt. 2010, Department of Computer Science, Aalborg University.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Fil
  559 Downloads (Pure)
• 2009

  A latent model for collaborative filtering

  Langseth, H. & Nielsen, T. D., 2009, Aalborg Universitet: Department of Computer Science, Aalborg University, 24 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil

  • Latent Model 100%
  • Collaborative Filtering 100%
  • Explicit Representation 66%
  • Group Recommendation 50%
  • Collaborative Filtering Systems 50%
  479 Downloads (Pure)

• Initial Study: Congestion in Intersections

  Torp, K., 2009, 15 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Quasimodo Year 1 Management Report

  Nielsen, B. & Larsen, K. G., 2009, 41 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

• The Vicinity of Program Documentation Tools

  Nørmark, K., 2009, TR 09-004 udg., Institut for Datalogi, Aalborg Universitet: Department of Computer Science, Aalborg University, 10 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil

  • Development Tools 100%
  • Development Tool 100%
  • Integrated Development Environment 50%
  • Program Editors 50%
  • Programming Process 50%
  227 Downloads (Pure)
• 2007

  Privacy-Preserving Data Mining on Moving Object Trajectories

  Gidofalvi, G., Xuegang, H. & Pedersen, T. B., 2007, Department of Mechanical Engineering, Aalborg University, 16 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems. EU FP-7 Application

  Nielsen, B., Skou, A. & Larsen, K. G., 2007, 118 s.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2006

  A Unit-Test Framework for Database Applications

  Christensen, C. A., Gundersborg, S., de Linde, K. & Torp, K., 2006, Aalborg: Department of Computer Science, Aalborg University, 18 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  • Unit Testing 100%
  • Unit Test Frameworks 100%
  • Test Framework 100%
  • Test Fixture 50%
  • Performance Test 33%

• Fusing Bayes Nets using Formal Argumentation in Multi-agent Systems

  Bidragets oversatte titel: Sammensmeltning af Bayesianske netværk ved hjælp af formel argumentation i multi-agent systemerNielsen, S. H. & Parsons, S., 2006, s. 1-40, 40 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Fil

  • Multi-agent Systems 100%
  • Bayes Network 100%
  • Formal Argumentation 100%
  • Multi Agent Systems 100%
  • Argumentation 100%
  119 Downloads (Pure)

• Interface Input/Output Automata: Splitting Assumptions from Guarantees

  Larsen, K. G., Nyman, U. & Wasowski, A., 2006.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Fil

  • Input/Output 100%
  • Automaton 100%
  • Nonblocking 100%
  • Inequality Systems 100%
  • Specification Language 50%
  198 Downloads (Pure)
• 2004

  Bisimilarity is not Finitely Based over BPA with Interrupt

  Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2004.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Danfoss EKC Trial Project Deliverables

  Nielsen, B., Larsen, K. G., Larsen, U., Skou, A. & Andrzej, W., 2004, s. 52.

  Publikation: Working paper/Preprint › Working paper › Forskning

• From Use Cases to Activity Cases

  Bækgaard, L., 2004.

  Publikation: Working paper/Preprint › Working paper › Forskning

  • System Development Methodology 100%
  • Supplement Use 100%
  • Activity System 100%
  • General Modeling 100%
  • Modeling Tools 100%

• Incremental Visualizer for Visible Objects

  Bukauskas, L. & Bøhlen, M. H., 2004, New York, NY: Association for Computing Machinery, 21 s.

  Publikation: Working paper/Preprint › Working paper › Forskning

  • Input/Output 100%
  • Visualization System 100%
  • Data Extraction 100%
  • Incremental Data 100%
  • Back End 100%

• Minimal DBM Substraction

  David, A., Håkansson, J., G. Larsen, K. & Pettersson, P., 2004, ITU Copenhagen, s. 4.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil

  • Nonconvex 100%
  • Disjoint 100%
  • Minimal number 100%
  • Reachability 100%
  • Minimal Number 100%
  240 Downloads (Pure)

• Proceedings of the Workshop on Structural Operational Semantics: London, England (August 30, 2004)

  Aceto, L., Fokkink, W. & Ulidowski, I., 2004.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2003

  CCS with Hennessy's Merge has no Finite Equational Axiomatization

  Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Luttik, B., 2003, s. 37.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Hybrid Control Design for a Wheeled Mobile Robot

  Bak, T., Bendtsen, J. D. & Ravn, A. P., 2003, <Forlag uden navn>.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil
  494 Downloads (Pure)

• Impact of Scheduling Policies on Control System Performance

  Schiøler, H., Ravn, A. P. & Nielsen, J. F. D., 2003, <Forlag uden navn>.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil
  106 Downloads (Pure)

• Lossless Conditional Schema Evolution

  Jensen, O. G. & Bøhlen, M. H., 2003, s. 21.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Nested Semantics over Finite Trees are Equationally Hard

  Aceto, L., Fokkink, W. J., van Glabeek, R. J. & Ingolfsdottir, A., 2003.

  Publikation: Working paper/Preprint › Working paper › Forskning

• The INFATI Data

  Jensen, C. S., Lahrmann, H., Pakalnis, S. & Madsen, J. R., 2003, s. 8.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Towards Reliable Integrated Services for Dependable Systems

  Schiøler, H., Ravn, A. P., Izadi-Zamanabadi, R., Nielsen, K. M., Madsen, O. B. & Nielsen, J. F. D., 2003, <Forlag uden navn>.

  Publikation: Working paper/Preprint › Working paper › Forskning

  Åben adgang

  Fil
  144 Downloads (Pure)

• Usability Evaluation of DIASnet (in Danish), Aalborg Universitet

  Bidragets oversatte titel: Usability Evaluation of DIASnet (in Danish), Aalborg UniversityKjeldskov, J., Skov, M. B. & Stage, J., 2003.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 2002

  Location-Based Services: A Data Management Perspective

  Jensen, C. S., 2002, s. 44.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3 (in Danish) . Aalborg University: Department of Computer Science.

  Kjeldskov, J., Skov, M. B. & Stage, J., 2002.

  Publikation: Working paper/Preprint › Working paper › Forskning

• Usability Evaluation of the WAP Service AutoLocate. Aalborg University: Department of Computer Science.

  Kjeldskov, J., Skov, M. & Stage, J., 2002.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 1988

  Maskinindlæring: En oversigt, udvikling af en adaptiv metode og design af et indlæringsmodul til HEARSAY-II baserede ekspertsystemer

  Olesen, K. G., 1988, Aalborg Universitet, 111 s.

  Publikation: Working paper/Preprint › Working paper › Forskning
• 1984

  Technical Change and Employment in the Public Sector: The case of office automation in Danish local government"

  Brændgaard, A., Gregersen, B. & Aaen, I., 1984, Aalborg.

  Publikation: Working paper/Preprint › Working paper › Forskning