Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Conference article in Journal
2009
55 Citations (Scopus)

Effectively Indexing Uncertain Moving Objects for Predictive Queries

Zhang, M., Chen, S., Jensen, C. S., Ooi, B. C. & Zhang, Z., 2009, In : International Conference on Very Large Data Bases. Proceedings. 1, p. 1198-1209

Research output: Contribution to journalConference article in JournalResearchpeer-review

Location based services
Query processing
Experiments

Efficient adaptive retrieval and mining in large multimedia databases

Assent, I., 2009, In : Lecture Notes in Informatics. 144

Research output: Contribution to journalConference article in JournalResearch

17 Citations (Scopus)

Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation

David, A., Larsen, K. G., Chatain, T. & Bulychev, P., 2009, In : Lecture Notes in Computer Science. 5813, p. 73-87

Research output: Contribution to journalConference article in JournalResearchpeer-review

Game
Preorder
Controllability
Automata
Simulation
389 Citations (Scopus)

Efficient Retrieval of the Top-k Most Relevant Spatial Web Objects

Cong, G., Jensen, C. S. & Wu, D., 2009, In : International Conference on Very Large Data Bases. Proceedings. 2, 1, p. 337-348

Research output: Contribution to journalConference article in JournalResearchpeer-review

Information retrieval
Scalability
Fusion reactions
Internet

Emotion-based Music Rretrieval on a Well-reduced Audio Feature Space

Ruxanda, M. M., Chua, B. Y., Nanopoulos, A. & Jensen, C. S., 2009, In : Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing. p. 181-184

Research output: Contribution to journalConference article in JournalResearchpeer-review

Computer music
Real time systems
31 Citations (Scopus)

Error estimation for indoor 802.11 location fingerprinting

Lemelson, H., Kjærgaard, M. B., King, T. & Hansen, R., 4 May 2009, In : Lecture Notes in Computer Science. 5561, p. 138-155

Research output: Contribution to journalConference article in JournalResearchpeer-review

170 Citations (Scopus)

Evaluating Clustering in Subspace Projections of High Dimensional Data

Müller, E., Günnemann, S., Assent, I. & Seidl, T., 2009, In : VLDB Journal. 1, p. 1270-1281

Research output: Contribution to journalConference article in JournalResearchpeer-review

Clustering algorithms
Websites
5 Citations (Scopus)
231 Downloads (Pure)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2009, In : Electronical Notes in Theoretical Computer Science. 242, 1, p. 19-33

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File

Extending Mobile Service Context with User Routes in the Streamspin Platform: Bulletin of the Tomsk Polytechnic University

Shestakov, N. & Jensen, C. S., 2009, In : Tomsk Polytechninc University. 5, p. 170-175 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Feature-based engineering of compensations in web service environment

Schaefer, M. & Dolog, P., 2009, In : Lecture Notes in Computer Science. 5648, p. 197-204

Research output: Contribution to journalConference article in JournalResearchpeer-review

Web services
Web Services
Engineering
Feature Modeling
Feature Model
1 Citation (Scopus)

From Paper to PDA: Design and Evaluation of a Clinical Ward Instruction on a Mobile Device

Kanstrup, A. M. & Stage, J., 2009, In : Lecture Notes in Computer Science. 5727, p. 670-683

Research output: Contribution to journalConference article in JournalResearchpeer-review

Personal digital assistants
Mobile devices
Mobile Devices
Evaluation
Mobile Systems

High-dimensional Indexing for Multimedia Features

Assent, I., Günnemann, S., Kremer, H. & Seidl, T., 2009, In : Lecture Notes in Informatics. p. 187-206

Research output: Contribution to journalConference article in JournalResearchpeer-review

7 Citations (Scopus)

HSM: Heterogeneous Subspace Mining in High Dimensional Data

Müller, E., Assent, I. & Seidl, T., 2009, In : Lecture Notes in Computer Science. 5566, p. 497-516

Research output: Contribution to journalConference article in JournalResearchpeer-review

High-dimensional Data
Data mining
Mining
Attribute
Subspace
2 Citations (Scopus)

Identifying the Most Endangered Objects from Spatial Datasets

Lu, H. & Yiu, M. L., 2009, In : Lecture Notes in Computer Science. 5566, p. 608-626

Research output: Contribution to journalConference article in JournalResearchpeer-review

Improving Safety Through the Design of a New Function: Design Process Findings and Post-Release Analyses - 

Koester, T., Hyll, N. & Stage, J., 2009, In : VTT Publications. p. 267-275 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

54 Citations (Scopus)

Indexing the Trajectories of Moving Objects in Symbolic Indoor Space

Jensen, C. S., Lu, H. & Yang, B., 2009, In : Lecture Notes in Computer Science. 5644, p. 208-227

Research output: Contribution to journalConference article in JournalResearchpeer-review

Moving Objects
Indexing
Trajectories
Trajectory
Positioning
3 Citations (Scopus)

Interplay between usability evaluation and software development (I-USED 2009)

Abrahão, S., Hornbæk, K. A. S., Law, E. & Stage, J., 2009, In : Lecture Notes in Computer Science. PART 2, p. 969-970 2 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Usability Evaluation
Software Engineering
Empirical Study
Software Development
Software engineering

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Kühnrich, M., Schwoon, S., Srba, J. & Kiefer, S., 2009, In : Lecture Notes in Computer Science. 5504, p. 440-455 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

26 Citations (Scopus)

Location Privacy Techniques in Client-Server Architectures

Jensen, C. S., Lu, H. & Yiu, M. L., 2009, In : Lecture Notes in Computer Science. 5599, p. 31-58 28 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Location Privacy
Client/server
Servers
Location based services
Server
13 Citations (Scopus)
305 Downloads (Pure)

Maximum Likelihood Learning of Conditional MTE Distributions

Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2009, In : Lecture Notes in Computer Science. 5590, p. 240-251

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Truncated Distributions
Exponential distribution
Maximum likelihood
Maximum Likelihood
Conditional Density

Metode til beregning af køretider, trængsel og forsinkelser i kryds vha. GPS Data

Torp, K. & Lahrmann, H., 2009, In : Danish Journal of Transportation Research - Dansk tidskrift for transportforskning. 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Model-based analysis of embedded java programs

Bøgholm, T., Ravn, A. P. & Thomsen, B., 2009, In : RWTH Aachen, Dept. of Computer Science. 14, p. 17-19

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Model-Based GUI Testing Using Uppaal at Novo Nordisk

H. Hjort, U., Rasmussen, J. I., Larsen, K. G., A. Petersen, M. & Skou, A., 2009, In : Lecture Notes in Computer Science. 5850, p. 814-818

Research output: Contribution to journalConference article in JournalResearchpeer-review

Graphical user interfaces
Model-based
Testing
Coverage
Test Generation
1 Citation (Scopus)

On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems

Kühnrich, M. & Nestmann, U., 2009, In : Lecture Notes in Computer Science. 5522, p. 198-212

Research output: Contribution to journalConference article in JournalResearchpeer-review

Parametrised Constants and Replication for Spatial Mobility

Hüttel, H. & Haagensen, B., 2009, In : Lecture Notes in Computer Science. 5521, p. 123-142

Research output: Contribution to journalConference article in JournalResearchpeer-review

Replication
Calculus
Encoding
Process Calculi
Recursion
7 Citations (Scopus)

Playing Games with Timed Games

David, A., Larsen, K. G. & Chatain, T., 2009, In : I F A C Workshop Series. 3, 1

Research output: Contribution to journalConference article in JournalResearchpeer-review

1 Citation (Scopus)

Pretty Easy Pervasive Positioning

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2009, In : Lecture Notes in Computer Science. 5644, p. 417-421

Research output: Contribution to journalConference article in JournalResearchpeer-review

Wi-Fi
Positioning
Global positioning system
Coverage
Infrastructure

Priced Timed Automata:  Theory and Tools

Larsen, K. G., 2009, In : Dagstuhl Seminar Proceedings. p. 417-425 9 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Automata Theory
Timed Automata
Resource Allocation
Open Problems
Modeling
Synchronization
Innovation
8 Citations (Scopus)

Robust Adaptable Video Copy Detection

Assent, I. & Kremer, H., 2009, In : Lecture Notes in Computer Science. 5644, p. 380-385

Research output: Contribution to journalConference article in JournalResearchpeer-review

Query processing
Query Processing
Indexing
Filtering
Model
36 Citations (Scopus)

Robust LMI-Based Control of Wind Turbines with Parametric Uncertainties

Sloth, C., Esbensen, T., Niss, M. O. K., Stoustrup, J. & Odgaard, P. F., 2009, In : I E E E Conference on Control Applications. Proceedings. 2009, p. 776-781 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Wind turbines
Controllers
Uncertainty
Actuators
Trajectories

Spanning Tree Based Attribute Clustering

Zeng, Y. & Jorge, C. H., 2009, In : Lecture Notes in Computer Science. 5476, p. 681-688

Research output: Contribution to journalConference article in JournalResearchpeer-review

Spanning tree
Attribute
Clustering
Clustering algorithms
Stars
14 Citations (Scopus)

Speeding Up Exact Solutions of Interactive Dynamic Influence Diagrams Using Action Equivalence

Zeng, Y. & Prashant, D., 2009, In : IJCAI Proceedings - International Joint Conference on Artificial Intelligence. 21, p. 1996-2001

Research output: Contribution to journalConference article in JournalResearchpeer-review

Decision making
13 Citations (Scopus)

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets

Byg, J., Jørgensen, K. Y. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5799, p. 84-89 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Petri nets
Petri Nets
Arc of a curve
Simulator
Simulators

Teaching Concurrency: Theory in Practice

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2009, In : Lecture Notes in Computer Science. 5846, p. 158-175 18 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Concurrency
Teaching
Students
Acoustic waves
Philosophy
42 Citations (Scopus)

The Role of Social Networking Services in eParticipation

Sæbø, Ø., Rose, J. & Nyvang, T., 2009, In : Lecture Notes in Computer Science. p. 46-55

Research output: Contribution to journalConference article in JournalResearchpeer-review

E-participation
Social Networking
Circuit theory
Internet
Social Networks
196 Downloads (Pure)

Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariatnts

Jacobsen, M., Jacobsen, L. & Møller, M. H., Dec 2009, In : OpenAccess Series in Informatics. 12, 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Petri nets
Computability and decidability
4 Citations (Scopus)
405 Downloads (Pure)

Verifying real-time systems against scenario-based requirements

Larsen, K. G., Li, S., Nielsen, B. & Pusinskas, S., 2009, In : Lecture Notes in Computer Science. 5850, p. 676-691 15 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Chart
Real-time
Scenarios
Timed Automata
297 Downloads (Pure)

WCET Analysis of ARM Processors using Real-Time Model Checking

Toft, M., Olesen, M. C., Dalsgaard, A., Larsen, K. G. & Hansen, R. R., 2009, In : RWTH Aachen, Dept. of Computer Science. 14, p. 4-6

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
2008

A Complete Axiomatic System for Process-based Spatial Logic

Mardare, R. I. & Policriti, A., 2008, In : Lecture Notes in Computer Science. p. 491 502 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Computer science
Computer Science
Logic

Acting under interference by other agents with unknown goals

Sønderberg-Madsen, N. & Jensen, F. V., 2008, In : Frontiers in Artificial Intelligence and Applications. 173, p. 157-164 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Experiments
15 Citations (Scopus)

A distributed storage system with dCache

Behrmann, G., Fuhrmann, P., Grønager, M. & Kleist, J., 2008, In : Journal of Physics - Conference Series. 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

wide area networks
bandwidth
recommendations
maintenance
resources
2 Citations (Scopus)

A Distributed Tier-1

Fischer, L., Grønager, M., Kleist, J. & Smirnova, O., 2008, In : Journal of Physics - Conference Series. 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

resources

A Flexible Query Framework for Music Data and Playlist Manipulation

Ruxanda, M. M. & Jensen, C. S., 2008, In : Database and Expert Systems Applications. 19, p. 693-697 5 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

8 Citations (Scopus)
339 Downloads (Pure)

A game-theoretic approach to real-time system testing

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2008, In : Design, Automation and Test in Europe. p. 443-448 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Real time systems
Testing
Acoustic waves

ALICE-ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2008, In : Journal of Physics - Conference Series. 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

connectors
resources
data management
grids
modules
2 Citations (Scopus)

ATLAS DDM integration in ARC

Behrmann, G., Cameron, D., Ellert, M., Kleist, J. & Taga, A., 2008, In : Journal of Physics - Conference Series. 8 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

grids
resources
Denmark
Finland
Norway
9 Citations (Scopus)

Common Influence Join: A Natural Join Operation for Spatial Pointsets

Yiu, M. L., Mamoulis, N. & Karras, P., 2008, In : Proceedings / International Conference on Data Engeenering. p. 100-109 10 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Marketing
Costs
5 Citations (Scopus)
235 Downloads (Pure)

Cooperative Testing of Uncontrollable Timed Systems

David, A., Larsen, K. G., Li, S. & Nielsen, B., Dec 2008, In : Electronic Notes in Theoretical Computer Science. 220, 1, 14 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Testing
Acoustic waves
Game
Black-box Testing
Conformance Testing

Direct Integration: Training Software Developers to Conduct Usability Evaluations

Skov, M. B. & Stage, J., 2008, In : CEUR Workshop Proceedings. p. 74-81

Research output: Contribution to journalConference article in JournalResearchpeer-review

Software engineering
Websites
Software design
Education
Students