Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Article in proceeding

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Vol. 10951. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

3 Citations (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 Nov 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

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

Industry
10 Citations (Scopus)

2-Nested Simulation is not Finitely Equationally Axiomatizable

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2001, STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. Ferreira, A. : Reichel, H. (eds.) (ed.). 2010 ed. IEEE Computer Society Press, p. 39-50

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

545 Downloads (Pure)

3XL: An Efficient DBMS-based Triple-store

Xiufeng, L., Thomsen, C. & Pedersen, T. B., Sep 2012, The 23rd International Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, p. 284-288 6 p.

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

File
Ontology

A* Wars: The Fight for Improving A* Search for Troubleshooting with Dependent Actions

Ottosen, T. J. & Jensen, F. V., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (eds.). p. 233-240 8 p.

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

A3SAR: Context-aware spatial augmented reality for anywhere, anyone, and analysis

Mei, B., Liu, D., Xie, X., Chen, J. & Du, X., 2015, Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers. Liu, A., Ishikawa, Y., Qian, T., Nutanong, S. & Cheema, M. A. (eds.). Springer, Vol. 9052. p. 307-312 6 p. (Lecture Notes in Computer Science; No. 9052).

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

1 Citation (Scopus)

A Bayesian concept learning approach to crowdsourcing

Viappiani, P., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, AAAI Workshop - Technical Report. AAAI Press, Vol. WS-11-13. p. 60-67 8 p.

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

3 Citations (Scopus)

A Bayesian Network Framework for the Construction of Virtual Agents with Human-like Behaviour

Bangsø, O., Sønderberg-Madsen, N. & Jensen, F. V., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. Studený, M. & Vomlel, J. (eds.). <Forlag uden navn>, p. 35-42 8 p.

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

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1995, Proceedings of European Conference on Information Systems, Athens, Greece, 1995.

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

62 Citations (Scopus)

A Benchmark for Evaluating Moving Object Indexes

Chen, S., Jensen, C. S. & Lin, D., 2008, PVLDB '08. Association for Computing Machinery, p. 1574-1585

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

Concurrency control
2 Citations (Scopus)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

Open Access
File
Model checking
Concretes
2 Citations (Scopus)
297 Downloads (Pure)

Abstractions for Mechanical Systems

Sloth, C. & Wisniewski, R., 2012, Lagrangian and Hamiltonian Methods for Non Linear Control. 1 ed. Elsevier, Vol. 4. p. 96-101 6 p. (I F A C Workshop Series).

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

Open Access
File
Formal verification
29 Citations (Scopus)

A capacitive sensing toolkit for pervasive activity detection and recognition

Wimmer, R., Kranz, M., Boring, S. & Schmidt, A., 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07). p. 171-180 10 p.

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

A Case-based Assessment of Recommendations for Implementing Software Metrics

Frederiksen, H. D., 2003, Proceedings of EuroSPI'2003 Conference, Dec. 10-12 2003, Graz, Austria.

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

A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions

Billestrup, J., Stage, J. & Larusdottir, M., 2016, ACHI 2016: The Ninth International Conference on Advances in Computer-Human Interactions. IARIA, p. 307-314 8 p.

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

Open Access
18 Citations (Scopus)

A category of higher-dimensional automata

Fahrenberg, U., 2005, Foundations of Software Science and Computation Structures. Sassone, V. (ed.). IEEE Computer Society Press, p. 187-201 (Lecture Notes in Computer Science; No. 3441).

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

A causal probabilistic network model to assist in insulin therapy adjustment

Hovorka, R., Andreassen, S., Benn, J. J., Carson, E. R., Kjærulff, U. B., Kristensen, L. D. & Olesen, K. G., 1990, Proceedings of the 6th Annual Meeting on Expert Systems in Medicine, 1990, London, United Kingdom.

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

25 Citations (Scopus)

Accelerating Range Queries for Brain Simulations

Tauheed, F., Biveinis, L., Heinis, T., Schurmann, F., Markram, H. & Ailamaki, A., 2012, IEEE 28th International Conference on Data Engineering (ICDE 2012). IEEE Computer Society Press, p. 941-952 12 p.

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

1 Citation (Scopus)
216 Downloads (Pure)

ACCES: Offline Accuracy Estimation for Fingerprint-Based Localization

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 30 May 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 358-359 2 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

Open Access
File
Demonstrations
Smartphones
Interpolation
Navigation
Internet
7 Citations (Scopus)

Access methods and query processing techniques

Di Pasquale, A., Forlizzi, L., Jensen, C. S., Manolopoulos, Y., Nardelli, E., Pfoser, D., Proietti, G., Saltenis, S., Theodoridis, Y. & Tzouramanis, T., 2003, Spatio-Temporal Databases: the Chorochronos Approach. Sellis, T.: Koubarakis, M.: Frank, A.: Grumbach, S.: Güting, G. H.: Jensen, C. J. :Lorentzos, N.: Manolopou-los, Y. : Nardelli, E.: Pernici, B.: Theodoulidis, B.: Schek, H. J. : Scholl, M (ed.). IEEE Computer Society Press, p. 203-261 (Lecture Notes in Computer Science; No. 2520).

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

16 Citations (Scopus)

Accommodating Emergent Work Practices: Ethnographic Choise of Method Fragments

Baskerville, R. & Stage, J., 2001, Realigning Research and Practice in Information Systems Development : the Social and Organizational Perspective : IFIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (ed.). Kluwer Academic Publishers, p. 11-28

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

13 Citations (Scopus)

Accurate electricity load forecasting with artificial neural networks

Ortiz-Arroyo, D., Skov, M. K. & Huynh, Q., 1 Dec 2005, Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet. Vol. 1. p. 94-99 6 p. 1631248

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

Electricity
Neural networks
Experiments

Accurate Fuel Estimates using CAN Bus Data and 3D Maps

Andersen, O. & Torp, K., Jun 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. 257-265 9 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

A charging scheduling system for electric vehicles using vehicle-To-grid

Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 351-352 2 p. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

Electric vehicles
Scheduling
Electricity
Wind power
Costs
11 Citations (Scopus)

Achieving Adaptivity For OLAP-XML Federations

Pedersen, D. & Pedersen, T. B., 2003, Proceedings of the ACM Fifth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, p. 25-32

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

7 Citations (Scopus)

A Clustering Approach to the Discovery of Points of Interest from Geo-Tagged Microblog Posts

Skovsgaard, A., Šidlauskas, D. & Jensen, C. S., 2014, Proceedings of the Fifteenth IEEE International Conference on Mobile Data Management. IEEE Press, p. 178-188

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

3 Citations (Scopus)
127 Downloads (Pure)

A Comparison of Techniques for Cross-Device Interaction from Mobile Devices to Large Displays

Paay, J., Raptis, D., Kjeldskov, J., Lauridsen, B. M., Penchev, I. S., Ringhauge, E. & Ruder, E. V., 2016, Proceedings of Advances in Mobile Computing & Multimedia (MoMM 2016). Association for Computing Machinery, p. 137-146

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

File
4 Citations (Scopus)

A comparison of the use of virtual versus physical snapshots for supporting update-intensive workloads

Sidlauskas, D., Jensen, C. S. & Saltenis, S., 2012, Proceedings of the Eighth International Workshop on Data Management on New Hardware, DaMoN 2012. Association for Computing Machinery, p. 1-8 8 p.

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

Data storage equipment
Copying
Sensors
Hardware
2 Citations (Scopus)
98 Downloads (Pure)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (eds.). Springer, p. 213-228 (Lecture Notes in Computer Science, Vol. 9984).

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

Open Access
File
Bisimulation
Approximation Theory
Transition Systems
Logic
Finite Models
1 Citation (Scopus)

A component framework as an enabler for industrial cyber physical systems

Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 Jun 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, p. 339-344 6 p.

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

Sensors
Dispensers
Bayesian networks
Fault detection
Software engineering
1 Citation (Scopus)
47 Downloads (Pure)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (eds.). p. 39-51 13 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 272).

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

Open Access
File
16 Citations (Scopus)

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P. & Yi, W., 1997, TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. Bidoit, Michel : Dauchet, Max (eds.) (ed.). 1214 ed. IEEE Computer Society Press

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

A Computational Scheme for Reasoning in Dynamic Probabilistic Networks

Kjærulff, U., 1992, Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, p. 121-129

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

182 Citations (Scopus)

A Consensus Glossary of Temporal Database Concepts: February 1998 Version

Jensen, C. S. E. . & Dyreson, C. E. E. ., 1998, Temporal Databases. Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1998: Lecture Notes in Computer Science. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (ed.). 1399 ed. IEEE Computer Society Press, p. 367-405

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

A Coock's Tour of Equational Axiomatizations for Prefix Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (ed.). 1378 ed. IEEE Computer Society Press, p. 20-34

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

5 Citations (Scopus)

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 Jan 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Vol. 9539. p. 66-85 20 p. (Lecture Notes in Computer Science, Vol. 9539).

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

A COTS Framework for Sensor Fusion Using Dynamic Bayesian Networks in Livestock Production

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Philip, T. (ed.). Denmark., p. 41-48 7 p.

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

Acquisition and Transformation of Likelihoods to Conditional Probabilities for Bayesian Networks

Skaanning, C., Jensen, F. V., Kjærulff, U. B. & Madsen, A. L., 1999, AAAI Spring Symposium, Standford, USA, 1999.

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

2 Citations (Scopus)

Action Investment Energy Games

Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (eds.). Netherlands: Springer Publishing Company, Vol. 7721. p. 155-167 13 p. (Lecture Notes in Computer Science, Vol. 7721).

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

Costs

Active Collaborative Learning: Supporting Software Developers in Creating Redesign Proposals

Bruun, A., Jensen, J. J., Skov, M. B. & Stage, J., 2014, Human-Centered Software Engineering. Vol. 8742. p. 1-18 18 p. (Lecture Notes in Computer Science).

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

5 Citations (Scopus)
416 Downloads (Pure)

Active diagnosis of hybrid systems - A model predictive approach

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 2009, IEEE International Conference on Control and Automation. IEEE, p. 465-470 5 p.

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

Open Access
File
2 Citations (Scopus)
450 Downloads (Pure)

Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 Jul 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, p. 52-57

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

Open Access
File

Active Fault Detection and Isolation for Hybrid Systems

Gholami, M., Schiøler, H., Bak, T. & Tabatabaeipour, S. M., 2009, ICSE 2009 Twentieth International Conference on Systems Engineering. IEEE Press, 6 p.

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

4 Citations (Scopus)

Active Involvement of Software Developers in Usability Engineering: Two Small-Scale Case Studies

Bornoe, N. & Stage, J., 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O'Neill, J. & Winckler, M. (eds.). Springer, p. 159-168 10 p. (Lecture Notes in Computer Science, Vol. 10516).

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

Usability engineering
Software engineering
Feedback
12 Citations (Scopus)
417 Downloads (Pure)

Active Learning of Markov Decision Processes for System Verification

Chen, Y. & Nielsen, T. D., 12 Dec 2012, International Conference on Machine Learning and Applications (ICMLA). p. 289-294

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

File
Learning systems
Problem-Based Learning
4 Citations (Scopus)

Actively building private recommender networks for evolving reliable relationships

Assent, I., 2009, Proc. International Workshop on Modeling, Managing and Mining of Evolving Social Networks (M3SN), in conjunction with IEEE International Conference on Data Engineering (ICDE 2009). IEEE, p. 1611-1614

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

1 Citation (Scopus)

Activity-Driven Influence Maximization in Social Networks

Kumar, R., Saleem, M. A., Calders, T., Xie, X. & Pedersen, T. B., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III. Springer, p. 345-348 (Lecture Notes in Computer Science, Vol. 10536).

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

Seed
Experiments

Actors' Competences and Methods? A Case Study of Successful Information Systems Development

Nielsen, P. A. & Omland, H. O., 2008, NOKOBIT 2008. TAPIR Akademisk Forlag, p. 339 352 p.

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

Actors’ Competencies or Methods? A Case Study of Successful Information Systems Development

Omland, H. O. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (eds.). Monash University Press, p. 215 224 p.

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

information system
method
development project

Adaptable Query Optimization and Evaluation in Temporal Middleware

Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2001, Proceedings of the 2001 ACM SIGMOD International Conference on the Management of Data, Santa Barbara, CA, USA, May 21-24, 2001: Sigmod Record. Vol.30, 2 ed. p. 127-138

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