Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • Optimal and robust controller synthesis: Using energy timed automata with uncertainty

    Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 Jan 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer, p. 203-221 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10951 LNCS).

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

    8 Citations (Scopus)

  • Optimal Conditional Reachability for Multi-Priced Timed Automata

    Larsen, K. G. & Rasmussen, J. I., 2005, Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Sassone, V. (ed.). IEEE Computer Society Press, p. 234-249 (Lecture Notes in Computer Science; No. 3441).

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

    33 Citations (Scopus)

  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 Jun 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (eds.). AAAI Press, Vol. 32. p. 160-168 9 p.

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

    Open Access
    1 Citation (Scopus)

  • Optimal Scheduling and Priced Timed Automata

    Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (eds.). 2004-041 ed. p. 93-94 2 p.

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

    35 Citations (Scopus)

  • Optimal Sizing of Hybrid Renewable Energy Sources via Efficient Demand Response in Microgrid

    Chakraborty, N. & Kalaimannan, E., 12 Jun 2020, e-Energy 2020 - Proceedings of the 11th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 415-416 2 p.

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

  • Optimal Strategies in Priced Timed Game Automata

    Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 ed. Springer, p. 148-160 13 p.

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

    76 Citations (Scopus)

  • Optimizing Aggregate SPARQL Queries Using Materialized RDF Views

    Ibragimov, D., Hose, K., Pedersen, T. B. & Zimányi, E., 23 Sept 2016, The Semantic Web – ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I. Groth, P., Simperl, E., Gray, A., Sabou, M., Krötzsch, M., Lecue, F., Flöck, F. & Gil, Y. (eds.). Springer, p. 341-359 19 p. (Lecture Notes in Computer Science, Vol. 9981).

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

    17 Citations (Scopus)

  • Optimizing Bayesian Networks for Recognition of Driving Maneuvers to Meet the Automotive Requirements

    Weidl, G., Madsen, A. L., Dietmar, K. & Breuel, G., 2014, Intelligent Control (ISIC), 2014 IEEE International Symposium. IEEE, p. 1626 -1631 6 p.

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

    File
    11 Citations (Scopus)
    1161 Downloads (Pure)

  • Optimizing Control Strategy Using Statistical Model Checking

    David, A., Du, D., Larsen, K. G., Legay, A. & Mikucionis, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Publishing Company, Vol. 7871. p. 352-367 (Lecture Notes in Computer Science, Vol. 7871).

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

    27 Citations (Scopus)

  • Optimizing Notifications of Subscription-Based Forecast Queries

    Fischer, U., Boehm, M., Lehner, W. & Pedersen, T. B., 2012, Scientific and Statistical Database Management - 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings.. Springer, p. 449-466 (Lecture Notes in Computer Science, Vol. 7338).

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

    4 Citations (Scopus)

  • Optimizing RDF Data Cubes for Efficient Processing of Analytical Queries

    Jakobsen, K. A., Andersen, A. B., Hose, K. & Pedersen, T. B., 24 Aug 2015, Consuming Linked Data (COLD 2015): Proceedings of the 6th International Workshop on Consuming Linked Data co-located with 14th International Semantic Web Conference (ISWC 2105). Hartig, O., Sequeda, J. & Hogan, A. (eds.). CEUR Workshop Proceedings, Vol. 1426. 12 p. (CEUR Workshop Proceedings).

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

    Open Access
    2 Citations (Scopus)

  • Optimizing Route Length in Reactive Protocols for Ad Hoc Networks

    Clausen, T. H., Jacquet, P. & Viennot, L., 2002, IFIP Med Hoc Net 2002.

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

  • Optimizing SPARQL queries using shape statistics

    Rabbani, K., Lissandrini, M. & Hose, K., 2021, Advances in Database Technology : 24th International Conference on Extending Database Technology, EDBT 2021. Velegrakis, Y., Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K., Chrysanthis, P. K. & Guerra, F. (eds.). OpenProceedings.org, p. 505-510 6 p. (Advances in Database Technology).

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

    Open Access
    File
    11 Citations (Scopus)
    183 Downloads (Pure)

  • Opting for Innovation in Mobile Applications

    Hosbond, J. H., Nielsen, P. A. & Aaen, I., 2006, Proceedings of IRIS29. Dittrich, Y. (ed.). IT University

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

  • Opting for Innovation In Mobile Applications

    Hosbond, J. H., Nielsen, P. A. & Aaen, I., 2007, Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. Cadoso, J., Cordeiro, J. & Filipe, J. (eds.). Institute for Systems and Technologies of Information, Control and Communication

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

  • Oral vs. written evaluation of students

    Asklund, U. & Bendix, L. G., 2003, Proceedings of the Pedagogisk inspirationskonferens, Lund, Sweden, May 27.

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

  • Organizational Influence Processes in Software Process Improvement

    Nielsen, P. A. & Ngwenyama, O., 2002, Proceedings of the 10th European Conference on Information Systems (ECIS2002). Wrycza, S. (ed.). <Forlag uden navn>

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

  • Origin-destination trajectory diversity analysis: Efficient top-k diversified search

    He, D., Ruan, B., Zheng, B. & Zhou, X., 13 Jul 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 135-144 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    3 Citations (Scopus)

  • Outdoor-indoor Space: Unified Modeling and Shortest Path Search

    Jensen, S. K., Nielsen, J. T. V., Lu, H. & Cheema, M. A., 31 Oct 2016, Proceedings of the Eighth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. Aamir Cheema, M., Eunus Ali, M. & Yang, S. (eds.). Association for Computing Machinery, p. 35-42 8 p.

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

    5 Citations (Scopus)

  • Outlier Detection for Multidimensional Time Series using Deep Neural Networks

    Kieu, T., Yang, B. & Jensen, C. S., 13 Jul 2018, Proceedings of the 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, Vol. 2018-June. p. 125-134 10 p. (IEEE International Conference on Mobile Data Management (MDM)).

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

    151 Citations (Scopus)

  • Outlier Detection for Streaming Task Assignment in Crowdsourcing.

    Zhao, Y., Chen, X., Deng, L., Kieu, T., Guo, C., Yang, B., Zheng, K. & Jensen, C. S., 2022, Proceedings of the ACM Web Conference 2022, WWW 2022. Association for Computing Machinery, p. 1933-1943 11 p.

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

    13 Citations (Scopus)

  • Outlier Detection for Time Series with Recurrent Autoencoder Ensembles

    Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). ijcai.org, p. 2725-2732 8 p.

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

    Open Access
    167 Citations (Scopus)

  • OutRank: ranking outliers in high dimensional data

    Müller, E., Assent, I., Steinhausen, U. & Seidl, T., 2008, IEEE 24th International Conference on Data Engineering Workshop, 2008. ICDEW 2008. IEEE, p. 600-603

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

    57 Citations (Scopus)

  • Outsmarting Network Security with SDN Teleportation

    Thimmaraju, K., Schiff, L. & Schmid, S., 28 Jun 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, p. 563-578 16 p. 7962003

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

    24 Citations (Scopus)

  • Outsourcing Search Services on Private Spatial Data

    Yiu, M. L., Ghinita, G., Jensen, C. S. & Kalnis, P., 2009, Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, p. 1140-1143

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

    39 Citations (Scopus)

  • Overcoming the Developer Mindset Barrier towards Usability Evaluations

    Bruun, A. & Stage, J., 2012, Proceedings of Information Systems Research Seminar in Scandinavia. 13 p.

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

  • O'zapft is: Tap your network algorithm's big data!

    Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 Aug 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, p. 19-24 6 p.

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

    28 Citations (Scopus)

  • P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes

    Agape, A. A., Danceanu, M. C., Hansen, R. R. & Schmid, S., 5 Jan 2021, ICDCN 2021 - Proceedings of the 2021 International Conference on Distributed Computing and Networking. Association for Computing Machinery, p. 16-25 10 p.

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

    4 Citations (Scopus)

  • PAD: Privacy-Area Aware, Dummy-Based Location Privacy in Mobile Services

    Lu, H., Jensen, C. S. & Yiu, M. L., 2008, Proceedings of the 7th ACM International Workshop on Data Engineering for Wireless and Mobile Access. Kotidis, Y. & marron, P. J. (eds.). Association for Computing Machinery, p. 16-23

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

    205 Citations (Scopus)

  • Page-Turning Techniques for Reading Interfaces in Virtual Environments

    Dingler, T., Li, S., van Berkel, N. & Kostakos, V., 2020, Proceedings of the Australian Conference on Human-Computer Interaction. Association for Computing Machinery, p. 454–461

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

    1 Citation (Scopus)

  • Paradox of Safety: Remote Monitoring of ICD Patients

    Skov, M. B., Johansen, P. G., Skov, C. S. & Lauberg, A., 2015, Proceedings of the Workshop on Crossing HCI and Health : Advancing Health and Wellness Technology Research in Home and Community Settings. Association for Computing Machinery

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

  • Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs

    Salmerón, A., Madsen, A. L., Jensen, F., Langseth, H., Nielsen, T. D., Ramos-López, D., Martinez, A. M. & Masegosa, A., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence. IOS Press, p. 743-750 8 p. (Frontiers in Artificial Intelligence and Applications, Vol. 285).

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

    Open Access
    1 Citation (Scopus)

  • Parallel importance sampling in conditional linear Gaussian networks

    Salmerón, A., Ramos-López, D., Borchani, H., Martinez, A. M., Masegosa, A. R., Fernández, A., Langseth, H., Madsen, A. L. & Nielsen, T. D., 2015, Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings. Puerta, J. M., Gámez, J. A., Dorronsoro, B., Barrenechea, E., Troncoso, A., Baruque, B. & Galar, M. (eds.). Springer, p. 36-46 (Lecture Notes in Computer Science; No. 9422).

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

    File
    7 Citations (Scopus)
    486 Downloads (Pure)

  • Parallelisation of the PC Algorithm

    Madsen, A. L., Jensen, F., Salmerón, A., Langseth, H. & Nielsen, T. D., 2015, Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings. Springer, p. 14-24 11 p. (Lecture Notes in Computer Science, Vol. 9422).

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

    File
    8 Citations (Scopus)
    322 Downloads (Pure)

  • Parallelizing Federated SPARQL Queries in Presence of Replicated Data

    Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, p. 181-196 (Lecture Notes in Computer Science, Vol. 10577).

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

    Open Access
    2 Citations (Scopus)

  • Parallel main-memory indexing for moving-object query and update workloads

    Sidlauskas, D., Saltenis, S. & Jensen, C. S., 2012, Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012. Association for Computing Machinery, p. 37-48 10 p.

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

    57 Citations (Scopus)

  • Parallel Semantic Trajectory Similarity Join

    Chen, L., Shang, S., Jensen, C. S., Yao, B. & Kalnis, P., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, p. 997-1008 12 p. 9101683. (Proceedings of the International Conference on Data Engineering).

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

    Open Access
    38 Citations (Scopus)

  • Parameter estimation in mixtures of truncated exponentials

    Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (eds.). p. 169-176 8 p.

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

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

  • Parameter estimation using B-Trees

    Schmidt, A. & Bøhlen, M. H., 2004, INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. IEEE Computer Society Press, p. 325-333

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

  • Parameter learning algorithms for continuous model improvement using operational data

    Madsen, A. L., Jeppesen, N. S., Jensen, F., Sayed, M. S., Moser, U., Neto, L., Reis, J. & Lohse, N., 2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Proceedings. Springer, p. 115-124 10 p. (Lecture Notes In Artificial Intelligence; No. 10369).

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

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

  • Parameter Learning for Relational Bayesian Networks

    Jaeger, M., 2007, Proceedings of the 24th Annual International Conference on Machine Learning (ICML 2007). Association for Computing Machinery, p. 369-376 8 p.

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

    21 Citations (Scopus)

  • Parameter Reusing in Learning Latent Class Models

    Karciauskas, G., Jensen, F. V. & Kocka, T., 2004, Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics.

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

    Open Access
    File
    255 Downloads (Pure)

  • Parametric and Quantitative Extensions of Modal Transition Systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Traonouez, L-M., 14 Feb 2014, From Programs to Systems.: The Systems perspective in Computing. Bensalem, S., Lakhneck, Y. & Legay, A. (eds.). Springer, Vol. 8415. p. 84-97 (Lecture Notes in Computer Science).

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

    2 Citations (Scopus)

  • Parametric Multi-Channel Separation and Re-Panning of Harmonics Sources

    Hansen, M. W., Hjerrild, J. M., Christensen, M. G. & Kjeldskov, J., 4 Sept 2018, Proceedings of the 21st International Conference on Digital Audio Effects (DAFx-18), Aveiro, Portugal, September 4–8, 2018. Universidade de Aveiro, Comissão Editorial, 8 p. (International Conference on Digital Audio Effects).

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

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

  • Parametric Verification of Weighted Systems

    Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 1 Nov 2015, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015. Andre, E. & Frehse, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 77-90 14 p. (Open Access Series in Informatics, Vol. 44).

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

    Open Access
    File
    11 Citations (Scopus)
    91 Downloads (Pure)

  • Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

    Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, p. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Vol. 10610).

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

    3 Citations (Scopus)

  • Parikh Automata over Infinite Words

    Guha, S., Jecker, I., Lehtinen, K. & Zimmermann, M., 1 Dec 2022, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. Dawar, A. & Guruswami, V. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 250).

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

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

  • Partial order reduction for reachability games

    Bønneland, F. M., Jensen, P. G., Larsen, K. G., Muñiz, M. & Srba, J., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 140).

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

    Open Access
    File
    8 Citations (Scopus)
    56 Downloads (Pure)

  • Participating in CUE-8, Comparative Usability Evaluation

    Bruun, A., Jensen, J. J., Skov, M. B. & Stage, J., 2009, DHRS 2009 - Proceedings of the Ninth Danish Human-Computer Interaction Research Symposium: Aarhus, Denmark, December 14, 2009. Department of Computer Science, Aarhus University, p. 10-14 (DAIMIPB; No. 591).

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

  • Participatory Design with Dyslectics: Design and Evaluation of an Enhancing Reading Skills Tool

    Vangeli, P. & Stage, J., 1 Dec 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (eds.). Springer, p. 317-330 14 p. (Advances in Intelligent Systems and Computing, Vol. 725).

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

    Open Access
    File
    495 Downloads (Pure)