Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Book
2019
118 Downloads (Pure)

Investigating Disruption: A Literature Review of Core Concepts of Disruptive Innovation Theory

Lundgaard, S. S. & Rosenstand, C. A. F., 2019, Aalborg: Aalborg Universitetsforlag. 96 p. (e-bøger fra InDiMedia).

Research output: Book/ReportBookResearchpeer-review

Open Access
File
2018
21 Citations (Scopus)

Contracts for System Design

Benveniste, A., Caillaud, B., Nicovic, D., Passerone, R., Raclet, J-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T. & Larsen, K. G., 2018, Now Foundations and Trends. 293 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
Systems analysis
Requirements engineering
Large scale systems
Scheduling

Data Exploration using Example-based Methods

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 2018, Morgan & Claypool Publishers. 164 p. (Synthesis Lectures on Data Management; No. 53).

Research output: Book/ReportBookResearchpeer-review

Query languages
Learning systems
2017

Proceedings of the 28th ACM Conference on Hypertext and Social Media, HT 2017, Prague, Czech Republic, July 4-7, 2017

Dolog, P. (ed.), Vojtás, P., Bonchi, F. & Helic, D., 2017, Association for Computing Machinery.

Research output: Book/ReportBookResearchpeer-review

Semantic Web
Data structures
Demonstrations
2016

Fieldbook: Developing embedded systems & smart products in practice

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 1 Mar 2016, København V: Dansk industri. 83 p.

Research output: Book/ReportBookCommunication

Open Access

Large-Scale Graph Processing Using Apache Giraph

Sakr, S., Orakzai, F. M., Abdelaziz, I. & Khayyat, Z., 2016, Springer Publishing Company. 197 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
1148 Downloads (Pure)

Podcasting for Teaching and Learning in Higher Education

Gnaur, D. & Huttel, H., 2016, 1. edition - Open Access ed. Aalborg Universitetsforlag. 31 p. (Higher Education Practices Series; No. 2).

Research output: Book/ReportBookResearchpeer-review

Open Access
File
2015

Fieldbook: Udvikling af embedded systemer & smarte produkter i praksis: Lav din virksomheds eget roadmap

Jensen, H. V., Agesen, M. K., Nyman, U. M. & Wolff, S., 10 Oct 2015, København V: Dansk industri. 80 p.

Research output: Book/ReportBookCommunication

Open Access

Intermediate Joint Action Plan, D4.2

Adrians, G., De Colvenaer, M., Murillo, C., Nielsen, P. A., Nøhr, B., Skou, A. J., Urtiaga, C., Thiel, C. & Aaen, I., 30 Apr 2015

Research output: Book/ReportBookResearch

Open Access
2014

Mobile interactions in context: a designerly way toward digital ecology

Kjeldskov, J., 2014, Morgan & Claypool Publishers. 119 p. (Synthesis Lectures on Human-Centered Informatics).

Research output: Book/ReportBookResearchpeer-review

2013

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

Kjærulff, U. B. & Madsen, A. L., 2013, 2. ed. New York: Springer VS. (Information Science and Statistics, Vol. 22).

Research output: Book/ReportBookEducationpeer-review

1647 Downloads (Pure)

Business-case metode for kommunale IT-investeringer, version 2.0

Nielsen, P. A. & Persson, J. S., 2013, Software Innovation Publisher. 24 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
File
4232 Downloads (Pure)

Proceedings of the 25th Australian Computer-Human Interaction Conference

Shen, H. (ed.), Smith, R. (ed.), Paay, J. (ed.), Calder, P. (ed.) & Wyeld, T. (ed.), 25 Nov 2013, Association for Computing Machinery. 586 p.

Research output: Book/ReportBookResearchpeer-review

Open Access
File

Web Engineering - 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings

Daniel, F. (ed.), Dolog, P. (ed.) & Li, Q. (ed.), 1 Jul 2013, Springer VS. (Lecture Notes in Computer Science, Vol. 7977).

Research output: Book/ReportBookResearchpeer-review

872 Downloads (Pure)

Business-case metode for kommunale IT-investeringer: Version 1.0

Translated title of the contribution: Business case method for municipal IT investments: Version 1.0Nielsen, P. A. & Persson, J. S., 2011, Department of Computer Science, Aalborg University. 23 p.

Research output: Book/ReportBookResearch

Open Access
File

Proceedings of the 5th International Conference on Communities and Technologies

Foth, M., Kjeldskov, J. & Paay, J., 2011, USA, NY: Association for Computing Machinery.

Research output: Book/ReportBookResearchpeer-review

Web Mining and Social Networking: Techniques and Applications

Xu, G., Zhang, Y. & Li, L., Jun 2011, 1 ed. New York: Springer Science+Business Media. 210 p. (Web Information Systems Engineering and Internet Technologies Book Series, Vol. 2011/6).

Research output: Book/ReportBookResearch

Recommender systems
Electric network analysis
Information management
Data mining
Industry

Multidimensional Databases and Data Warehousing

Jensen, C. S., Pedersen, T. B. & Thomsen, C., 2010, Morgan & Claypool Publishers. 112 p. (Synthesis Lectures on Data Management; No. 9).

Research output: Book/ReportBookResearchpeer-review

Data base
Data warehousing
Join
Data modeling
Materialized views
5719 Downloads (Pure)

Software Innovation: Eight work-style heuristics for creative system developers

Rose, J., 2010, Aalborg: Software Innovation, Aalborg University. 153 p.

Research output: Book/ReportBookCommunication

Open Access
File
Innovation
Application programs
Education
Engineers
2 Citations (Scopus)

Transitions and Trees: An Introduction to Structural Operational Semantics

Hüttel, H., 2010, Cambridge University Press. 290 p.

Research output: Book/ReportBookEducationpeer-review

Programming Languages
Semantic Equivalence
Induction
Undergraduate
Procedural

Using Web Data in the Medical Domain: Proceedings of the First International Workshop on Web Science and Information Exchange in the Medical Web, MedEx 2010

Denecke, K. (ed.), Dolog, P. (ed.), Smrz, P. (ed.), Linge, J. (ed.), Nejdl, W. (ed.) & Stewart, A. (ed.), 8 Apr 2010, CEUR Workshop Proceedings.

Research output: Book/ReportBookResearch

2009

Data Warehousing and Knowledge Discovery. 11th International Conference, DaWaK 2009 Linz, Austria, August 31-September 2, 2009 Proceedings

Pedersen, T. B., Mohania, M. & Tjoa, A. M., 2009, Springer. 478 p. (Lecture Notes in Computer Science; No. 5691).

Research output: Book/ReportBookResearch

Engineering Web Applications

Casteleyn, S., Daniel, F., Dolog, P. & Matera, M., 2009, XIII ed. Springer. 349 p. (Data Centric Systems and Applications; No. XIII).

Research output: Book/ReportBookResearch

Requirements engineering
Semantic Web
Software engineering
Wireless networks

Test af Software: Test af indlejret og teknisk software

Skou, A. (ed.), Nielsen, B. (ed.) & Biegel, J. (ed.), 2009, Aalborg: CISS, Aalborg Universitet. 85 p.

Research output: Book/ReportBookCommunication

2008

Approches formelles des systèmes embarqués communicants

David, A., Behrmann, G., Larsen, K. G., Rasmussen, J. I., BÉRARD, B., GIRARD, A., HADDAD, S., CASSEZ, F., JARD, C., DANG, T., LE GERNIC, C., DONATELLI, S., LIME, D., ELLOY, J-P., MAGNIN, M., FREHSE, G., MARKEY, N., PETTERSSON, P., TRIPAKIS, S., Yi, W. & 1 others, H. ROUX, O., 2008, Hermés Science Publications. 268 p.

Research output: Book/ReportBookResearch

Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis

Kjærulff, U. B. & Madsen, A. L., 2008, New York: Springer Publishing Company. 300 p. (Information Science and Statistics).

Research output: Book/ReportBookEducationpeer-review

Engineering Adaptive Applications: A Domain Engineering Framework

Dolog, P., 2008, VDM Verlag.

Research output: Book/ReportBookResearch

2007

Bayesian Networks and Decision Diagrams

Jensen, F. V. & Nielsen, T. D., 2007, 2. ed. New York: IEEE Computer Society Press. 463 p. (Information Science and Statistics).

Research output: Book/ReportBookResearch

Reactive Systems: Modelling, Specification and Verification

Aceto, L., Ingolfsdottir, A., Larsen, K. G. & Srba, J., 2007, Cambridge: Cambridge University Press. 300 p.

Research output: Book/ReportBookEducation

Special issue: best papers of VLDB 2005

Haas, L. M., Jensen, C. S. & Kersten, M. L., 2007, Association for Computing Machinery. 164 p.

Research output: Book/ReportBookResearch

Understanding eParticipation: Contemporary PhD eParticipation Research in Europe

Avdic, A., Hedström, K., Rose, J. & Grönlund, Å., 2007, Örebro: Örebro University Library.

Research output: Book/ReportBookResearch

Probabilistic Networks - An Introduction to Bayesian Networks and Influence Diagrams

Kjærulff, U. B. & Madsen, A. L., 2005, Aalborg University. 133 p.

Research output: Book/ReportBookEducation

Proceedings of the 31st International Conference on Very Large Data Bases, August 30 - September 02 2005, Trondheim, Norway

Böhm, K. (ed.), Jensen, C. S. (ed.), Haas, L. M. (ed.), Kersten, M. L. (ed.), Larson, P. -Å. (ed.) & Ooi, B. C. (ed.), 2005, Association for Computing Machinery.

Research output: Book/ReportBookCommunication

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, L. & Fokkink, W., 2005, Århus. 6 p. (B R I C S Notes Series; No. NS-05-3).

Research output: Book/ReportBookCommunication

Parallel Composition
Formal Languages
Composition Operator
Axiomatization
Open Problems

What is Theoretical Computer Science? (Preliminary Version)

Aceto, L. & Ingolfsdottir, A., 2005, Århus: BRICS. 13 p. (B R I C S Notes Series; No. NS-05-1).

Research output: Book/ReportBookCommunication

2004

Det begynder i skolen - En ATV-rapport om naturfagenes vilkår og fremtidige udviklingsmuligheder i grundskolen

Translated title of the contribution: Det begynder i skolen - En ATV-rapport om naturfagenes vilkår og fremtidige udviklingsmuligheder i grundskolenBohm, M., Bonnerup, E., Elberling, C., Jensen, C. S., Knudsen, C. P., Leffland, L., Lund, H. H., Olsen, N., Pallesen, L. & Sørensen, K., 2004, Akademiet for de Tekniske Videnskaber. 81 p.

Research output: Book/ReportBookResearch

Rapport
74 Citations (Scopus)

Efficient Tracking of Moving Objects with Precision Guarantees

Civilis, A., Jensen, C. S., Nenortaite, J. & Palalnis, S., 2004, 23 p. (1DB Technical Report; No. TR-5).

Research output: Book/ReportBookResearch

Location based services
Consumer electronics
Global positioning system
Railroad cars
Communication

Formal Modeling and Analysis of Timed Systems

Larsen, K. G. & Niebert, P., 2004, Springer. 281 p. (Lecture Notes in Computer Science; No. 2791).

Research output: Book/ReportBookResearch

Formal methods
Real time systems
Petri nets
Algebra

Indeterminacy and Spatiotemporal Data: the Moving Point Object Case

Pfoser, D., Tryfona, N. & Jensen, C. S., 2004, (Computer Technology Institute Technical Report; No. 2004/02/03).

Research output: Book/ReportBookResearch

Indexing the Past, Present and Anticipated Future Positions of Moving Objects

Pelanis, M., Saltenis, S. & Jensen, C. S., 2004, 30 p. (TimeCenter Technical Report; No. TR-78).

Research output: Book/ReportBookResearch

Monitoring
Communication
575 Downloads (Pure)

Integration af XML Data i TARGIT OLAP Systemet

Pedersen, D., Pedersen, J. & Pedersen, T. B., 2004, Electrical Engineering/Electronics, Computer, Communications and Information Technology Association. 21 p. (Data Engineering; No. 8).

Research output: Book/ReportBookResearch

Open Access
File

Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium

Kjeldskov, J., Skov, M. B. & Stage, J., 2004, Aalborg University: Department of Computer Science, Aalborg University. 92 p. (HCI Lab Technical Report; No. 2004/1).

Research output: Book/ReportBookResearch

Proceedings of the Workshop on Improving the Interplay between Usability Evaluation and User Interface Design

Stage, J., 2004, Aalborg: Aalborg Universitetsforlag. (HCI-Lab Report; No. 2004-2).

Research output: Book/ReportBookResearch

Special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W., 2004, Pergamon Press. 463 p. (Journal of Logic and Algebraic Programming; No. vols. 60-61).

Research output: Book/ReportBookResearch

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach

Lee, M. L., Hsu, W., Jensen, C. S., Cui, B. & Teo, K. L., 2004, 23 p. (1DB Technical Report; No. TR-6).

Research output: Book/ReportBookResearch

Information management
Throughput
Hardware
Data storage equipment
Sensors