• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

Filter
Working paper
2002

Location-Based Services: A Data Management Perspective

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

Publikation: Working paperForskning

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 paperForskning

11 Citationer (Scopus)
351 Downloads (Pure)

Hybrid Control Design for a Wheeled Mobile Robot

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

Publikation: Working paperForskning

Åben adgang
Fil
69 Downloads (Pure)
Åben adgang
Fil

Lossless Conditional Schema Evolution

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

Publikation: Working paperForskning

Nested Semantics over Finite Trees are Equationally Hard

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

Publikation: Working paperForskning

The INFATI Data

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

Publikation: Working paperForskning

111 Downloads (Pure)
Åben adgang
Fil

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 paperForskning

2004

Bisimilarity is not Finitely Based over BPA with Interrupt

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

Publikation: Working paperForskning

Danfoss EKC Trial Project Deliverables

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

Publikation: Working paperForskning

From Use Cases to Activity Cases

Bækgaard, L., 2004.

Publikation: Working paperForskning

Information systems
Industry

Incremental Visualizer for Visible Objects

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

Publikation: Working paperForskning

Visibility
Visualization
Program processors
Pipelines
Experiments
142 Downloads (Pure)

Minimal DBM Substraction

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

Publikation: Working paperForskning

Åben adgang
Fil

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

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

Publikation: Working paperForskning

2006
3 Citationer (Scopus)

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 paperForskning

Personnel
108 Downloads (Pure)

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 paperForskning

Fil
Multi agent systems
Bayesian networks
90 Downloads (Pure)

Interface Input/Output Automata: Splitting Assumptions from Guarantees

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

Publikation: Working paperForskning

Fil
Specification languages
Specifications
Communication
Chemical analysis
2007
40 Citationer (Scopus)
2009
319 Downloads (Pure)

A latent model for collaborative filtering

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

Publikation: Working paperForskning

Åben adgang
Fil
Collaborative filtering
Recommender systems

Initial Study: Congestion in Intersections

Torp, K., 2009, 15 s.

Publikation: Working paperForskning

Quasimodo Year 1 Management Report

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

Publikation: Working paperForskning

124 Downloads (Pure)

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 paperForskning

Åben adgang
Fil
Program documentation
Computer programming
Feedback
2010

Quasimodo Year 2 Management Report

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

Publikation: Working paperForskning

250 Downloads (Pure)
Fil
2011

Quasimodo Final Report

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

Publikation: Working paperForskning

Quasimodo Year 3 Management Report

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

Publikation: Working paperForskning

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 paperForskningpeer review

agriculture
farm
modeling
income
risk factor

Mapping the Challenges of Creativity Management in IS and ISD Organizations

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

Publikation: Working paperForskningpeer review

Creativity
Literature review
Competitive advantage
Ad hoc
Google
2014
144 Downloads (Pure)

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 paperForskning

Åben adgang
Fil
2015
Åben adgang
Bayesian networks
Random variables
Probability distributions
Maximum likelihood
Statistical Models
2016

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

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

Publikation: Working paperForskning

2018

Improving Explainable Recommendations with Synthetic Reviews

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

Publikation: Working paperForskning