Department of Computer Science

  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Research Output 1987 2020

Filter
Article in proceeding
51 Downloads (Pure)

Augmenting the City: The Design of a Context-Aware Mobile Web Site

Kjeldskov, J. & Paay, J., 2005, Designing for User eXperience, DUX 2005. Association for Computing Machinery, 7 p.

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

File
121 Downloads (Pure)

Augmenting the City with Fiction: Fictional Requirements for Mobile Guides

Kjeldskov, J. & Paay, J., 2007, Proceedings of HCI in Mobile Guides, Mobile HCI 2007. Cheverst, K. (ed.). University of Lancaster, p. 1-6

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

Open Access
File
Jigs
52 Citations (Scopus)

A Unified Model for Stable and Temporal Topic Detection from Social Media Data

Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, p. 661-672 (Proceedings of the International Conference on Data Engineering).

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

3 Citations (Scopus)

A Unit-Test Framework for Database Applications

Christensen, C. A., Gundersborg, S., Linde, K. D. & Torp, K., 2006, 10th International Database Engineeringand Applications Symposium (IDEAS 2006). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 11-20

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

32 Citations (Scopus)

Automata Learning through Counterexample Guided Abstraction Refinement

Aarts, F., Heidarian, F., Kuppens, H., Olsen, P. & Vaandrager, F., 2012, FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Vol. 7436. p. 10-27 18 p. (Lecture Notes in Computer Science, Vol. 7436).

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

Finite automata
Biometrics
Concretes
Network protocols
4 Citations (Scopus)

Automated Distributed Simulation in Ptolemy II

Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (ed.). ACTA Press, p. 139-144

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

Topology
Synchronization
Communication
Processing
Experiments

Automated Modeling of Real-Time Implementation

Jensen, P. K., 1998, Doctoral Symposium : Proceedings of the 13th IEEE Automated Software Engineering, October 1998, Hawaii, USA..

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

Automated Test Generation Timed Automata: Tool and Case Study

Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

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

Automated Test Generation Timed Automata

Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (ed.). 2031 ed. IEEE Computer Society Press, p. 343-357

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

35 Citations (Scopus)

Automatic Abstraction Refinement for Timed Automata

Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, p. 114-129 15 p. (Lecture Notes in Computer Science; No. 4763).

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

7 Citations (Scopus)

Automatic Generation of Natural Language Explanations

Da Costa, F. S., Ouyang, S., Dolog, P. & Lawlor, A., 8 Mar 2018, Proceedings of the 23rd International Conference on Intelligent User Interfaces. Association for Computing Machinery, 57

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

Recommender systems
Long short-term memory

Automatic Verification of Real-Time Systems Using Epsilon

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (ed.). Chapman & Hall, p. 232-330

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

Autonomous Agents for Initiating Communication in Internet Community Chat Rooms

Skov, M., 2001, Proceedings of the 3rd International Bi-Conference Workshop on Agent-Oriented Information Systems. ICue Publishing, p. 13-21

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

7 Citations (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, p. 1-15 (Electronic Proceedings in Theoretical Computer Science).

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

Open Access

A wait-free output data structure for GPU-based streaming query processing

Silvestri, C., Lettich, F., Orlando, S. & Jensen, C. S., Jun 2015, Proceedings of the 23rd Italian Symposium on Advanced Database Systems. Lembo, D., Torlone, R. & Marrella, A. (eds.). Curran Associates, Inc, Vol. 365 (1 VOL). p. 232-239 8 p.

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

2 Citations (Scopus)

A Walk in the Clouds: Routing through VNFs on Bidirected Networks

Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, p. 11-26 (Lecture Notes in Computer Science, Vol. 10739).

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

A Web Support System for Submission and Handling of Programming Assignments

Nørmark, K., 25 Aug 2011, Proceedings of the international conference on E-learning and the knowledge society. Bucharest, Romania: ASE Publishing House, p. 159-164 6 p.

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

Axiomatizing the Least Fixed Point Operation and Binary Supremum

Esik, Z., 2000, Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. Clote, P. G. : Schwichtenberg, H. (eds.) (ed.). 1862 ed. IEEE Computer Society Press, p. 302-316

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

1 Citation (Scopus)

Axiomatizing Tropical Semirings

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Honsell, F. : Miculan, M.(eds.) (ed.). 2030 ed. IEEE Computer Society Press, p. 42-56

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

2 Citations (Scopus)
243 Downloads (Pure)

Balancing energy flexibilities through aggregation

Valsomatzis, E., Hose, K. & Pedersen, T. B., 21 Nov 2014, Data Analytics for Renewable Energy Integration: Second ECML PKDD Workshop, DARE 2014 Nancy, France, September 19, 2014 Revised Selected Papers. Wonn, W. L., Aung, Z. & Madnick, S. (eds.). Springer Publishing Company, Vol. 8817. p. 17-37 21 p. (Lecture Notes in Computer Science).

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

Open Access
File
Agglomeration
Scheduling
Electricity
Experiments
7 Citations (Scopus)

Battery-Aware Scheduling of Mixed Criticality Systems

Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer Publishing Company, Vol. 8803. p. 208-222 (Lecture Notes in Computer Science).

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

28 Citations (Scopus)

Bayesian methods for interpretation and control in multi-agent vision systems

Jensen, F. V., Christensen, H. I. & Nielsen, J., 1992, Proceedings of SPIE Conference Applications of Artificial Intelligence X : Machine Vision and Robotics, 22-24 April 1992, Orlando, FL, USA. Bowyer, K. (ed.). SPIE - International Society for Optical Engineering, p. 536-548 (SPIE proceedings; No. 1708).

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

1 Citation (Scopus)

Bayesian models of data streams with Hierarchical Power Priors

Masegosa, A., Nielsen, T. D., Langseth, H., Ramos-López, D., Salmerón, A. & Madsen, A. L., 2017, Proceedings of the 34th International Conference on Machine Learning. Vol. 70. p. 2334-2343

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

Open Access
Computational efficiency
2 Citations (Scopus)

Bayesian Network Inference Using Marginal Trees

Butz, C. J., de S. Oliveira, J. & Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Vol. 8754. p. 81-96 (Lecture Notes in Computer Science).

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

4 Citations (Scopus)

Bayesian Network Inference with Simple Propagation

Butz, C. J., Oliveira, J., E. dos Santos, A. & Madsen, A. L., 2016, Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference. AAAI Press Association for the Advancement of Artificial Intelligence, p. 650-655 6 p.

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

Open Access

Bayesian Networks and Influence Diagrams

Jensen, F. V., 1997, Proceedings of The 1st European Conference for Information Technology in Agriculture, June 15-18, 1997, The Royal Veterinary and Agricultural University, Copenhagen, Denmark. <Forlag uden navn>, p. 429-440

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

Bayesian Networks in Educational Testing

Vomlel, J., 2002, Gámez, J.A. (ed.) : Salmerón, A. (ed.): Studies in Fuzziness and Soft Computing. Springer

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

1 Citation (Scopus)

Bayesian Networks with Function Nodes

Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Vol. 8754. p. 286-301 (Lecture Notes in Computer Science).

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

23 Citations (Scopus)

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 1 Jan 2012, SPLC '12 Proceedings of the 16th International Software Product Line Conference. Association for Computing Machinery, Vol. 1. p. 66-75 10 p. (ACM International Conference Proceeding Series (ICPS)).

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

Model checking
Formal methods
Software engineering
15 Citations (Scopus)
144 Downloads (Pure)

Being Here: Designing for Distributed Hands-on Collaboration in Blended Interaction Spaces

Broughton, M., Paay, J., Kjeldskov, J., O'Hara, K., Phillips, M. & Rittenbruch, M., 2009, Proceedings of OzCHI 2009. Association for Computing Machinery, p. 73-80

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

File
23 Citations (Scopus)

Benchmarking federated SPARQL query engines: Are existing testbeds enough?

Montoya, G., Vidal, M. E., Corcho, O., Ruckhaus, E. & Buil-Aranda, C., 12 Nov 2012, The Semantic Web, ISWC 2012 - 11th International Semantic Web Conference, Proceedings. PART 2 ed. Vol. 7650 LNCS. p. 313-324 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); No. PART 2, Vol. 7650 LNCS).

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

Benchmarking
Testbeds
Engines

Beslutningsstøttesystem til styring af antibiotikabehandling: et passende emne for MTV?

Andreassen, S., Kristensen, B., Schønheyder, H. C., Kjær, A. G., Olesen, K. G. & Leibovici, L., 1997, Sundhedsstyrelsens Årsmøde 1997 om Kvalitetsudvikling og Medicinsk Teknologivurdering (MTV), April 1997, København, Danmark. p. 41

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

Better Safe than Sorry: Optimal Troubleshooting through A* Search with Efficiency-based Pruning

Ottosen, T. J. & Jensen, F. V., 2008, Tenth Scandinavian Conference on Artificial Intelligence - SCAI 2008. Holst, A., Kreuger, P. & Funk, P. (eds.). IOS Press, p. 92-97 6 p. (Frontiers in Artificial Intelligence and Applications; No. 173).

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

Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press

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

6 Citations (Scopus)

Beyond Security: Implications for the Future of Federated Digital Identity Management Systems

Satchell, S., Shanks, G., Howard, S. & Murphy, J. M., 2006, Proceedings of the 20th conference of the computer-human interaction special interest group (CHISIG) of Australia on Computer-human interaction: design: activities, artefacts and environments. Association for Computing Machinery, p. 313-316 (ACM International Conference Proceeding Series (ICPS); No. 206).

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

1 Citation (Scopus)

Binary Session Types for Psi-Calculi

Huttel, H., 31 Oct 2016, Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Igarashi, A. (ed.). p. 96-115 20 p. (Lecture Notes in Computer Science, Vol. 10017).

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

2 Citations (Scopus)

BioNex: A System For Biomedical News Event Exploration

Ernst, P., Mishra, A., Anand, A. & Setty, V. J., 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval . Association for Computing Machinery, p. 1277-1280

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

6 Citations (Scopus)
141 Downloads (Pure)

BISi: a Blended Interaction Space

Paay, J., Kjeldskov, J. & O'Hara, K., 2011, Proceedings of the 2011 Annual Conference Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 185-200

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

File
4 Citations (Scopus)

Bisimilarity is not finitely based over BPA with interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2005, Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. Luiz Fiadeiro, J., Harman, N., Roggenbach, M. & Rutten, J. (eds.). IEEE Computer Society Press, p. 54-68 (Lecture Notes in Computer Science; No. 3629).

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

Basic Algebra
Process Algebra
Bisimulation
Axiomatization
Equivalence
48 Citations (Scopus)

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 Jan 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (ed.). Physica-Verlag, p. 138-147 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 630 LNCS).

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

3 Citations (Scopus)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer Publishing Company, Vol. 8464. p. 76-95 (Lecture Notes in Computer Science).

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

Measurable space
Bisimulation
Markov Process
Arbitrary
Adjunction

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

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

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, p. 344-352

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

Blended Spaces for Distributed Teams

McEwan, G., O'Hara, K., Bezerianos, A., Broughton, M., Kjeldskov, J., Krumm-Heller, A., Muller-Tomfelde, C., Paay, J. & Rittenbruch, M., 2008, Proceedings of workshop on Distributed Teams, CSCW 2008. 4 p.

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

Blending Social Spaces: Information Technologies that Facilitate Social Cooking and Eating at Home

Kjeldskov, J., Skov, M. B., Paay, J. & Stage, J., 2011, Proceedings of LMC Congress 2011, Food in Front.

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

6 Citations (Scopus)

Bluetooth Indoor Positioning System using Fingerprinting

Frost, C., Jensen, C. S., Luckow, K. S., Thomsen, B. & Hansen, R., 2012, Mobile Lightweight Wireless Systems: Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. Springer, Vol. 81. p. 136-150 15 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 81).

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

3 Citations (Scopus)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, p. 669-678 10 p.

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

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order

Breadth, Depth and Visibility: A Design Guide for Information Architectures Aimed at Elderly Users

Bruun, A., Hahn, C., Voigt, B. & Schultz, M., 2013, Informatics, Management and Technology in Healthcare. Mantas, J. & Hasman, A. (eds.). IOS Press, Vol. 190. p. 103-105 4 p. (Studies in Health Technology and Informatics, Vol. 190).

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

11 Downloads (Pure)

Brief announcement: Distributed SplayNets

Peres, B. S., Goussevskaia, O., Schmid, S. & Avin, C., 1 Oct 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3 p. (Leibniz International Proceedings in Informatics, Vol. 91).

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

Open Access
File
Communication

Bringing Usability Evaluation into Practice: Field Studies in Two Software Organizations

Jakob Otkær, B., Nguyen, K., Risgaard, P. & Stage, J., 2009, I-USED'09: The Interplay between Usability Evaluation and Software Development: Proceedings of the Second International Workshop on the Interplay between Usability Evaluation and Software Development, Uppsala, Sweden, August 24, 2009 2009. CEUR Workshop Proceedings

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