Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

19 Citations (Scopus)

A Hardware Abstraction Layer in Java

Schoeberl, M., Korsholm, S., Kalibera, T. & Ravn, A. P., Nov 2011, In : ACM Transactions on Embedded Computing Systems. 10, 4, 42 p.

Research output: Contribution to journalJournal articleResearchpeer-review

1 Citation (Scopus)
46 Downloads (Pure)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes

Pedersen, M. R., Bacci, G., Larsen, K. G. & Mardare, R. I., 4 Sep 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 339-355 17 p. (Lecture Notes in Computer Science, Vol. 11024).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Chemical analysis
11 Citations (Scopus)

A heuristic-based approach for planning federated SPARQL queries

Montoya, G., Vidal, M. E. & Acosta, M., 1 Dec 2012, In : CEUR Workshop Proceedings. 905, 12 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Engines
Planning
Information management
Semantics
Bandwidth
2 Citations (Scopus)

A Heuristic Method for Diagnosing Multiple Diseases in Complex Medical Domains Modelled by Causal Probabilistic Networks

Olesen, K. G. & Andreassen, S., 1996, Medical Informatics Europe'96. Brender, J., Christensen, J. P., Scherrer, J-R. & McNair, P. (eds.). IOS Press, p. 614-618 (Studies in Health Technology and Informatics, Vol. 34).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

1 Citation (Scopus)
420 Downloads (Pure)

A Hierarchical Model for Continuous Gesture Recognition Using Kinect

Jensen, S. K., Moesgaard, C., Nielsen, C. S. & Viesmose, S. L., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. Jaeger, M., Nielsen, T. D. & Viappiani, P. (eds.). IOS Press, Vol. 257. p. 145-154 (Frontiers in Artificial Intelligence and Applications, Vol. 257).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

File

A Hierarchical Tree Distance Measure for Classification

Caspersen., K. M., Madsen., M. B., Eriksen., A. B. & Thiesson., B., 2017, Proceedings of the 6th International Conference on Pattern Recognition Applications and Methods - Volume 1: ICPRAM. SCITEPRESS Digital Library, p. 502-509

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File

A Highly Available Grid Metadata Catalog

Jensen, H. T. & Kleist, J., 2009, In : Advanced Information Networking and Applications. p. 419-426

Research output: Contribution to journalConference article in JournalResearchpeer-review

HTTP
Metadata
Access control
Data structures
Synchronization
10 Citations (Scopus)

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example

Zhao, H., Zhan, N., Kapur, D. & Larsen, K. G., 2012, FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 471-485 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

23 Citations (Scopus)

A Hybrid Approach To Web Usage Mining

Jespersen, S., Thorhauge, J. & Pedersen, T. B., 2002, Aalborg: Department of Computer Science, Aalborg University. 19 p. (Technical Report / Department of Computer Science; No. R-02-5002).

Research output: Book/ReportReportResearch

23 Citations (Scopus)

A Hybrid Approach To Web Usage Mining

Jespersen, S., Thorhauge, J. & Pedersen, T. B., 2002, Proceedings of the Fourth International Conference on Data Warehousing and Knowledge Discovery: Lecture notes in computer science. Kambayashi, Yahiko (ed.) : Winiwater, Werner (ed.) : Arikawa, Masatoshi (ed.) (ed.). 2454 ed. IEEE Computer Society Press, p. 73-82

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

2 Downloads (Pure)

A Hybrid Learning Approach to Stochastic Routing

Pedersen, S. A., Yang, B. & Jensen, C. S., 2019. 1 p.

Research output: Contribution to conference without publisher/journalPosterCommunication

File
3 Citations (Scopus)

A hybrid procedure for efficient link dimensioning

Schmidt, R. D. O., Sadre, R., Sperotto, A., Van Den Berg, H. & Pras, A., 4 Jul 2014, In : Computer Networks. 67, p. 252-269 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

A Hyperstructure Programming Environment for Clos

Nørmark, K., 1991, Technology of Object-Oriented Languages and Systems. Bézivin, Jean : Meyer, Bertrand (ed.). Prentice-Hall, p. 127-140

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

64 Downloads (Pure)

A Java Toolbox for Analysis of MassIve Data STreams using Probabilistic Graphical Models

Masegosa, A., Martinez, A. M., Ramos-López, D., Langseth, H., Nielsen, T. D., Salmerón, A., Cabanas, R. & Madsen, A. L., 2016.

Research output: Contribution to conference without publisher/journalPosterResearchpeer-review

File
9 Citations (Scopus)

A Journey from IFC Files to Indoor Navigation

Svendstrup Boysen, M., de Haas, C., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014. Springer, Vol. 8470. p. 148-165 18 p. (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Akkreditering koster dyrt i bureaukrati

Thomsen, L. L. & Andersen, O., 7 Sep 2012, In : Ingenioeren. 1 p.

Research output: Contribution to journalContribution to newspaper - Feature articleCommunication

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor i informationsteknologi

Studienævn for Datalogi, Aalborg Universitet, 2011, 30 p.

Research output: Book/ReportReportCommissioned

Akkrediteringsrapport for de eksisterende uddannelser: Kandidat i datateknik

Studienævn for Datalogi, Aalborg Universitet, 2011, 32 p.

Research output: Book/ReportReportCommissioned

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor- og kandidatuddannelsen i informatik

Studienævn for Datalogi, Aalborg Universitet, 2011, 38 p.

Research output: Book/ReportReportCommissioned

Akkrediteringsrapport for de eksisterende uddannelser: Bachelor i datalogi, Kandidat i datalogi

Studienævn for Datalogi, Aalborg Universitet, 2011, 41 p.

Research output: Book/ReportReportCommissioned

A Kleene Theorem for Lindenmayerian Algebraic Power Series

Esik, Z. & Kuich, W., 2000, In : Journal of Automata, Languages and Combinatorics. 5, 2, p. 109-122

Research output: Contribution to journalJournal articleResearchpeer-review

A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters

Skaanning, C., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (ed.). Morgan Kaufmann, p. 549-557

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

30 Citations (Scopus)
908 Downloads (Pure)

A latent model for collaborative filtering

Langseth, H. & Nielsen, T. D., Jun 2012, In : International Journal of Approximate Reasoning. 53, 4, p. 447–466 20 p.

Research output: Contribution to journalJournal articleResearchpeer-review

File
Collaborative filtering
Collaborative Filtering
Recommender systems
Recommender Systems
Dimensionality Reduction
334 Downloads (Pure)

A latent model for collaborative filtering

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

Research output: Working paperResearch

Open Access
File
Collaborative filtering
Recommender systems
21 Downloads (Pure)

A Lens for Evaluating Genetic Information Governance Models: Balancing Equity, Efficiency and Sustainability

Skorve, E., Vassilakopoulou, P., Aanestad, M. & Grünfeld, T., 2017, Informatics for Health: Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & Scott, P. J. (eds.). IOS Press, p. 298-302 (Studies in Health Technology and Informatics, Vol. 235).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
5 Citations (Scopus)
534 Downloads (Pure)

Alert Systems for production Plants: A Methodology Based on Conflict Analysis

Nielsen, T. D. & Jensen, F. V., 2005, Proceedings of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. IEEE Computer Society Press, p. 76-87 (Lecture Notes in Computer Science; No. 3571).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Open Access
File
Fault detection
Power plants
Coal
Oils

Algebra-Based Optimization of XML-Extended OLAP Queries

Yin, X. & Pedersen, T. B., 2006, Aalborg: Aalborg Universitetsforlag. 52 p. (DB Tech Reports; No. DBTR-17).

Research output: Book/ReportReportResearch

XML
Algebra
Engines
World Wide Web
Semantics

Algebra-Based Optimization of XML-Extended OLAP Queries

Yin, X. & Pedersen, T. B., 2006, Proceedings of the Thirteenth International Conference on Management of Data. Lakshmanan, L. V. S., Roy, P. & Tung, A. K. H. (eds.). McGraw-Hill, p. 197-200 4 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

XML
Algebra
16 Citations (Scopus)

Algebras for Hazard Detection

Esik, Z., Brzozowski, J. & Iland, Y., 2001, 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland. IEEE Computer Society Press, p. 3-12

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

6 Citations (Scopus)

Algorithm-data driven optimization of adaptive communication networks

He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 Nov 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Telecommunication networks
Learning systems
Learning algorithms
Resource allocation
Labels
1 Citation (Scopus)
304 Downloads (Pure)

Algorithmic Approach to Abstracting Linear Systems by Timed Automata

Sloth, C. & Wisniewski, R., 2011, In : I F A C Workshop Series. p. 4546-4551 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

Open Access
File
Lyapunov functions
Linear systems
Dynamical systems
Trajectories
48 Citations (Scopus)

Algorithmic Issues in Modeling Motion

Agarwal, P. K., Guibas, L. J., Edelsbrunner, H., Erickson, J., Isard, M., Har-Peled, S., Hershberger, J., Jensen, C. S., Kavraki, L. E., Koehl, P., Lin, M., Manocha, D., Metaxas, D., Mirtich, B., Mount, D., Muthukrishnan, S., Pai, D. K., Sacks, E., Snoeyink, J., Suri, S. & 1 others, Wolfson, O., 2003, In : ACM Computing Surveys. 34, 4, p. 550-572

Research output: Contribution to journalJournal articleResearchpeer-review

Algorithmic Strategies for Adapting 802.11 Location Fingerprinting to Environmental Changes

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2010, Abstract Volume of the 2010 International Conference on Indoor Positioning and Indoor Navigation, Zurich, Switzerland, September 15-17, 2010. IEEE Press, p. 1-10 10 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

9 Citations (Scopus)

Aliasing Models for Mobile Objects

Huttel, H., Kleist, J., Nestmann, U. & Merro, M., 2002, In : Information and Computation. 175, 1, p. 3-33

Research output: Contribution to journalJournal articleResearchpeer-review

5 Citations (Scopus)

Aliasing Models for Object Migration

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (eds.). 1685 ed. Springer, p. 1353-1368 (Lecture Notes in Computer Science).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

190 Downloads (Pure)

ALICE - ARC integration

Anderlik, C., Gregersen, A. R., Kleist, J., Peters, A. & Siaz, P., 2007. 1 p.

Research output: Contribution to conference without publisher/journalPosterResearch

Open Access
File
Information management
Gluing
Middleware
Processing

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

A Lisp Abstracted Markup Language for WWW Authoring

Nørmark, K., 1998

Research output: Book/ReportBookResearch

142 Citations (Scopus)

Allegro Version 2

Ingolfsdottir, A., Gudbjartsson, D. F., Thorvaldsson, T., Kong, A. & Gunnarsson, G., 2005, In : Nature Genetics. 37, 10, p. 1015-1016

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

All roads lead to Rome: New search methods for the optimal triangulation problem

Ottosen, T. J. & Vomlel, J., 2012, In : International Journal of Approximate Reasoning. 53, 9, p. 1350-1366

Research output: Contribution to journalJournal articleResearchpeer-review

All Roads Lead To Rome: New Search Methods for Optimal

Ottosen, T. J. & Vomlel, J., 2010, Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-2010). Myllymäki, P., Roos, T. & Jaakkola, T. (eds.). Helsinki: HIIT Publications, Vol. 2010-2.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Triangulation
Lead
Bayesian networks

Almost Optimal Strategies in One Clock Priced Timed Automata

Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Vol. 4514. (Lecture Notes in Computer Science; No. 4514).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

10 Citations (Scopus)

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 227-233 7 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

2 Citations (Scopus)

A Local Information Passing Clustering Algorithm for Tagging Systems

Zong, Y., Xu, G., Jin, P., Dolog, P. & Jiang, S., 1 Apr 2011, In : Lecture Notes in Computer Science. 6637, p. 333-343 11 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

40 Citations (Scopus)
441 Downloads (Pure)

A Location Privacy Aware Friend Locator

Siksnys, L., Thomsen, J. R., Saltenis, S., Yiu, M. L. & Andersen, O., 2009, In : Lecture Notes in Computer Science. 5644, p. 405-410 6 p.

Research output: Contribution to journalConference article in JournalResearchpeer-review

File
Location Privacy
Location based services
Mobile phones
Proximity
Global positioning system
1 Citation (Scopus)

A logical approach to security in the context of Ambient Calculus

Mardare, R. I. & Priami, C., 2004, In : Electronical Notes in Theoretical Computer Science. 99, p. 3 29 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Computer science
Computer Science
Calculus
Electronics
Context
4 Citations (Scopus)

A Logical Characterisation of Static Equivalence

Hüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (ed.). Pergamon Press, p. 139-159 (Electronic Notes in Theoretical Computer Science; No. 173).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

A Logical Characterization of Robustness, Mutants and Species in Colonies of Synchronizing Agents

Mardare, R. I., Cavaliere, M. & Sedwards, S., 2008, In : International Journal of Foundations of Computer Science. 5, 19, p. 1199 1221 p.

Research output: Contribution to journalJournal articleResearchpeer-review

6 Citations (Scopus)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

Bauer, S. S., Juhl, L., Larsen, K. G., Srba, J. & Legay, A., 1 Jan 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, p. 77-84 8 p.

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

Specifications
Computability and decidability
Model checking
Semantics
6 Citations (Scopus)

A logic for inductive probabilistic reasoning

Jaeger, M., 2005, In : Synthese. 144, 2, p. 181-248

Research output: Contribution to journalJournal articleResearchpeer-review