Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Search results

  • Article in proceeding

    A practical delivery route planning system

    Gitz-Johansen, A., Holm, M. E., Kirkeby, L. V., Kristiansen, D., Ostenfeld, A. S., Schou, M. K. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 349-350 2 p. 8788747. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • A precise information flow measure from imprecise probabilities

    Others, A., 2012, Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability, SERE 2012. IEEE, p. 128-137

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    4 Citations (Scopus)

  • A predictable Java profile: rationale and implementations

    Bøgholm, T., Hansen, R. R., Ravn, A. P., Thomsen, B. & Søndergaard, H., 2009, ACM International Conference Proceeding Series: Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, p. 150-159

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    22 Citations (Scopus)

  • A probabilistic model for prediction of blood glucose and advice on insulin dose

    Benn, J. J., Hovorka, R., Rasmussen, O., Olesen, K. G., Carson, E. R. & Andreassen, S., 1991, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '91, September, Dublin, Ireland.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Profile for Safety Critical Java

    Schoeberl, M., Søndergaard, H., Thomsen, B. & Ravn, A. P., 2007, Proceedings of 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing. IEEE Computer Society Press, p. 94-101 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    28 Citations (Scopus)

  • A Proposal for a Two-Way Journey on Validating Locations in Unstructured and Structured Data

    Keles, I., Qawasmeh, O., Tietz, T., Marinucci, L., Reda, R. & Van Erp, M., 2019, 2nd Conference on Language, Data and Knowledge (LDK 2019). Eskevich, M., de Melo, G., Fath, C., McCrae, J. P., Buitelaar, P., Chiarcos, C., Klimek, B. & Dojchinovski, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 13:1-13:8 8 p. 13. (Open Access Series in Informatics, Vol. 70).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    54 Downloads (Pure)

  • A Python Library for Trace Analysis

    Dams, D., Havelund, K. & Kauffman, S., Sept 2022, International Conference on Runtime Verification. Dang, T. & Stolz, V. (eds.). Springer, Vol. 13498. p. 264-273 10 p. (Lecture Notes in Computer Science, Vol. 13498).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

    Larsen, K. G., Thrane, C. R. & Fahrenberg, U., 2009, Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Schloss Dagstuhl. Leibniz-Zentrum für Informatik

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Ravenscar-Java profile implementation

    Thomsen, B., Ravn, A. P. & Søndergaard, H., 2006, ACM International Conference Proceeding Series: JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems. Association for Computing Machinery, Vol. 177. p. 38-47 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    11 Citations (Scopus)

  • ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

    Johnson, T. T., Lopez, D. M., Benet, L., Forets, M., Guadalupe, S., Schilling, C., Ivanov, R., Carpenter, T. J., Weimer, J. & Lee, I., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 90-119 30 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    10 Citations (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics

    Geretti, L., Sandretto, J. A. D., Althoff, M., Benet, L., Chapoutot, A., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Linares, U., Sanders, D. P., Schilling, C. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 32-54 23 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    8 Citations (Scopus)

  • ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics

    Althoff, M., Ábrahám, E., Forets, M., Frehse, G., Freire, D., Schilling, C., Schupp, S. & Wetzlinger, M., 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 1-31 31 p. (EPiC Series in Computing, Vol. 80).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    9 Citations (Scopus)

  • ARCH-COMP22 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Benet, L., Chen, X., Fan, J., Forets, M., Huang, C., Johnson, T. T., Ladner, T., Li, W., Schilling, C. & Zhu, Q., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 142-184 43 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)
    50 Downloads (Pure)

  • ARCH-COMP22 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 58-85 28 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    1 Citation (Scopus)

  • ARCH-COMP22 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Duggirala, P. S., Forets, M., Kim, E., Mitsch, S., Schilling, C. & Wetzlinger, M., 2022, 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 58-85 27 p. (EPiC Series in Computing, Vol. 90).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    1 Citation (Scopus)

  • ARCH-COMP23 category report: Continuous and hybrid systems with nonlinear dynamics

    Geretti, L., Alexandre Dit Sandretto, J., Althoff, M., Benet, L., Collins, P., Forets, M., Ivanova, E., Li, Y., Mitra, S., Mitsch, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 61-88 28 p. (EPiC Series in Computing, Vol. 96).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File

  • ARCH-COMP23 category report: Continuous and hybrid systems with linear continuous dynamics

    Althoff, M., Forets, M., Li, Y., Mitra, S., Schilling, C., Wetzlinger, M. & Zhuang, D., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 34-60 27 p. (EPiC Series in Computing, Vol. 96).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File
    2 Downloads (Pure)

  • ARCH-COMP23 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants

    Lopez, D. M., Althoff, M., Forets, M., Johnson, T. T., Ladner, T. & Schilling, C., 2023, 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 89-125 37 p. (EPiC Series in Computing, Vol. 96).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    Open Access
    File

  • Architecture and Design in eXtreme Programming; Introducing "Developer Stories"

    Jensen, R. N., Møller, T., Sönder, P. & Tjørnehøj, G., 2006, Extreme Programming and Agile Processes in Software Engineering: 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings. Abrahamsson, P., Marchesi, M. & Succi, G. (eds.). Springer, p. 133-142 9 p. (Lecture Notes in Computer Science; No. 4044).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • Architecture for large-scale automatic web accessibility evaluation based on the UWEM methodology

    Ulltveit-Moe, N., Olsen, M. G., Pillai, A. B., Thomsen, C., Gjøsæter, T. & Snaprud, M., 2008, Norsk informatikkonferanse, NIK 2008. TAPIR Akademisk Forlag, 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    662 Downloads (Pure)

  • Architectures and implementations of spatio-temporal database management systems

    Breunig, M., Turker, C., Böhlen, M., Dieker, S., Guting, R. H., Jensen, C. S., Relly, L., Rigaux, P., Schek, H. J. & Scholl, M., 2003, Spatio-Temporal Databases: the Chrochronos Approach. Vol. 2520. p. 263-318

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    9 Citations (Scopus)

  • ARDI: Automatic Generation of RDFS Models from Heterogeneous Data Sources

    Nigatu, S. T., Gomez, C., Romero, O., Hose, K. & Rabbani, K., 2019, 2019 IEEE 23rd International Enterprise Distributed Object Computing Conference (EDOC). IEEE Press, p. 190-196 7 p. 8945018. (IEEE International Enterprise Distributed Object Computing Conference (EDOC)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • A Real-World Data Resource of Complex Sensitive Sentences Based on Documents from the Monsanto Trial

    Neerbek, J., Eskildsen, M., Dolog, P. & Assent, I., 2020, Proceedings of The 12th Language Resources and Evaluation Conference, LREC 2020, Marseille, France, May 11-16, 2020. Calzolari, N., Béchet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J. & Piperidis, S. (eds.). Marseille, France: European Language Resources Association, p. 1258-1267 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    3 Citations (Scopus)
    38 Downloads (Pure)

  • A Re-evaluation of Deep Learning Methods for Attributed Graph Clustering.

    Lai, X., Wu, D., Jensen, C. S. & Lu, K., 21 Oct 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1168-1177 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A refinement driven component-based design

    Chen, Z., Liu, Z., Ravn, A. P., Stolz, V. & Yang, L., 2007, Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems: ICECCS07. IEEE Computer Society Press, p. 277-289

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • A Refinement Logic for the Fork Calculus

    Havelund, K. & Larsen, K. G., 1994, International IFIP Symposium on Protocol Specification, Testing and Verification.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Relevance-Extended Multi-dimensional Model for a Data Warehouse Contextualized with Documents

    Perez, J. M., Pedersen, T. B., Berlanga, R. & Aramburu, M. J., 2005, Proceedings of the ACM Eighth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    28 Citations (Scopus)

  • A Reparameterization of Mixtures of Truncated Basis Functions and its Applications

    Salmerón, A., Langseth, H., Masegosa, A. & Nielsen, T. D., 2022, Proceedings of the 11th International Conference on Probabilistic Graphical Models : PMLR. Salmerón, A. & Rumı́, R. (eds.). PMLR Press, Vol. 186. p. 205-216 (The Proceedings of Machine Learning Research, Vol. 186).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • A Representation Theorem and Applications

    Jaeger, M., 2003, Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU): Lecture Notes in Artificial Intelligence. 2711 ed. IEEE Computer Society Press, p. 50-61

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)

  • A Research Framework for Studying the Implementation of Enterprise Resource Planning (ERP) systems

    Jensen, P. K. & Møller, C., 2000, Proceedings of the 23rd IRIS Conference - Doing IT together. al., L. S. U. S. E. (ed.).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Review of MobileHCI Research Methods

    Kjeldskov, J. & Graham, C., 2003, Proceedings of the 5th International Mobile HCI 2003 conference, September 8-11 2003, Udine, Italy: Lecture Notes in Computer Science. Springer

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    199 Citations (Scopus)
    2767 Downloads (Pure)

  • A review of research methods in children's technology design

    Jensen, J. J. & Skov, M. B., 1 Dec 2005, Proceedings of: Interaction Design and Children 2005, IDC 2005. p. 80-87 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    82 Citations (Scopus)

  • A Review on Mood Assessment Using Smartphones

    Sarsenbayeva, Z., Fleming, C., Tag, B., Withana, A., van Berkel, N. & McEwan, A., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part II. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, p. 385-413 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14143 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Are You a Real Software Engineer? Best Practices in Online Recruitment for Software Engineering Studies

    Alami, A., Zahedi, M. & Ernst, N. A., 16 Apr 2024, International Workshop on Methodological Issues with Empirical Studies in Software Engineering (WSESE '24 ). Association for Computing Machinery

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access

  • A Road Segment Attribute Completion System

    Cirstea, R. G., Gustafsson, H., Pedersen, R. R. G., Sehested, R. H. V., Winkler, T. I. & Yang, B., Jun 2020, Proceedings - 2020 21st IEEE International Conference on Mobile Data Management, MDM 2020. IEEE, p. 236-237 2 p. 9162212. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2020-June).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Arrowhead Compliant Virtual Market of Energy

    Ferreira, L. L., Siksnys, L., Pedersen, P., Stluka, P., Chrysoulas, C., Le Guilly, T., Albano, M., Skou, A., Teixeira, C. & Pedersen, T. B., Sept 2014, Emerging Technology and Factory Automation (ETFA), 2014 IEEE. IEEE, p. 1-8

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    20 Citations (Scopus)

  • Arrowhead Framework services for condition monitoring and maintenance based on the open source approach

    Campos, J., Sharma, P., Albano, M., Jantunen, E., Baglee, D. & Ferreira, L. L., 23 Apr 2019, 2019 6th International Conference on Control, Decision and Information Technologies, CoDIT 2019. Paris, France: IEEE, p. 697-702 6 p. 8820366. (International Conference on Control, Decision and Information Technologies (CoDIT)).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    92 Downloads (Pure)

  • Artefact: A UML-Based Framework for Model-Driven Development of Interactive Surface Prototypes

    Mthunzi, E. M. & Echtler, F., 14 Nov 2021, ISS 2021 - Companion Proceedings of the 2021 Conference on Interactive Surfaces and Spaces. New York, NY, USA: Association for Computing Machinery, p. 16–20 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    47 Downloads (Pure)

  • A Rule-based Tool for Gradual Granular Data Aggregation

    Iftikhar, N. & Pedersen, T. B., 2011, DOLAP 2011: ACM 14th International Workshop on Data Warehousing and OLAP, Glasgow, United Kingdom, October 28, 2011, Proceedings. Association for Computing Machinery, p. 1-8

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • A safety-critical java technology compatibility kit

    Søndergaard, H., Korsholm, S. E. & Ravn, A. P., Oct 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 1-9

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

    Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P. & Romijn, J., 2001, Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings: Lecture Notes in Computer Science. Berry, G. : Comon, H. : Finkel, A. (eds.) (ed.). 2102 ed. IEEE Computer Society Press, p. 493-505

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    113 Citations (Scopus)

  • A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

    Wognsen, E. R., Haverkort, B., Jongerden, M., Hansen, R. R. & Larsen, K. G., 22 Aug 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Springer, p. 305-320 (Lecture Notes in Computer Science, Vol. 9268).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    16 Citations (Scopus)

  • A Secure Relay Protocol for Door Access Control

    Wognsen, E. R., Karlsen, H. S., Calverley, M., Follin, M., Thomsen, B. & Hüttel, H., Nov 2012, Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. Sociedade Brasileira de Computação (ed.). Porto Alegre, Brasilien: SBC - Sociedade Brasileira de Computação, p. 196-209 14 p. (Anais do SBSeg).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Downloads (Pure)

  • A Self-Organizing Distributed and In-Band SDN Control Plane

    Canini, M., Salem, L., Schiff, L., Schiller, E. M. & Schmid, S., 2017, IEEE 37th International Conference on Distributed Computing Systems (ICDCS), 2017. IEEE, p. 2656-2657 2 p. (Proceedings of the International Conference on Distributed Computing Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    16 Citations (Scopus)

  • A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL

    Nadales Agut, D. E., Reniers, M. A., Schiffelers, R. R. H., Jørgensen, K. Y. & Van Beek, D. A., 1 Jan 2011, IFAC Proceedings Volumes (IFAC-PapersOnline). Elsevier, Vol. 18. p. 12496-12502 7 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • A Semantics for a Real-Time Actor Language

    Knoll, I., Ravn, A. P. & Skou, A., 2008, 20th Nordic Workshop on Programming TheoryNWPT 2008: Abstracts. Department of Computer Science, Tallinn University of Technology, p. 60-62 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • A Sigfox Module for the Network Simulator 3

    Naeem, M., Albano, M., Magrin, D., Nielsen, B. & Larsen, K. G., 22 Jun 2022, Proceedings of the 2022 Workshop on ns-3. Association for Computing Machinery, p. 81-88 8 p. (ACM International Conference Proceeding Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • A Simple Approach to Web-Site Usability Testing

    Skov, M. & Stage, J., 2001, Proceedings of the 1st Conference on Universal Access in Computer-Human Interaction. Lawrence Erlbaum Associates, p. 737-741

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • A Skylining Approach to Optimize Influence and Cost in Location Selection

    Shi, J., Lu, H., Lu, J. & Liao, C., 2014, Database Systems for Advanced Applications (DASFAA 2014). Springer Publishing Company, Vol. 8422. p. 61-76 (Lecture Notes in Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • AsmL Specification of a Ptolemy II Scheduler

    Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (ed.). 2589 ed. Springer, p. 417

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    1 Citation (Scopus)