Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Preface/Introduction/postscript

Search results

  • Testing Software and Systems - Preface: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

    Nielsen, B. & Weise, C., Nov 2012, Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings. Nielsen, B. & Weise, C. (eds.). Springer Publishing Company, p. V-VI (Lecture Notes in Computer Science, Vol. 7641).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • TACAS Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III. Springer, Vol. 11429 LNCS. p. vii-ix (Lecture Notes in Computer Science, Vol. 11429).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Second International Workshop on Web Science and Information Exchange in the Medical Web (MedEx 2011)

    Denecke, K. & Dolog, P., 2011, Proceedings of the 20th International Conference Companion on World Wide Web, WWW 2011. Association for Computing Machinery, p. 317-318 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

  • Proceedings of the ICTSS 2012 PhD Workshop - Preface

    Nielsen, B. & Weise, C., 19 Nov 2012, Proceedings of the ICTSS 2012 PhD Workshop - Preface. Aalborg ed. Department of Computer Science, Aalborg University, Vol. 12-201. p. 1

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access
    File
    304 Downloads (Pure)

  • Preface

    Aceto, L., Fokkink, W. & Ulidowski, I., 2005, Proceedings of the Workshop on Structural Operational Semantics (SOS 2004). Pergamon Press, p. 1 (Electronic Notes in Theoretical Computer Science; No. 1, Vol. 128).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Preface

    Caltais, G. & Schilling, C., 2023, Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Springer, 1 p. (Lecture Notes in Computer Science, Vol. 13872 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Preface

    Larsen, K. G., Legay, A. & Nyman, U., 3 Nov 2013, Proceedings 1st Workshop on Advances in Systems of Systems. Electronic Proceedings in Theoretical Computer Science, Vol. 133. p. 1-1 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Preface

    Aref, W., Bertolotto, M., Bouros, P., Jensen, C. S., Mahmood, A., Nørvåg, K., Sacharidis, D. & Sarwat, M., 2019, SSTD '19: 16th International Symposium on Spatial and Temporal Databases. Association for Computing Machinery, p. v-iv

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Preface

    Denecke, K. & Dolog, P., 2011, MedEx '11: Proceedings of the second international workshop on Web science and information exchange in the medical web at CIKM 2011. Denecke, K. & Dolog, P. (eds.). Association for Computing Machinery, p. iii 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

  • Preface

    Pedersen, T. B., Mohania, M. & Tjoa, A. M., 2010, Data Warehousing and Knowledge Discovery: 12th International Conference, DAWAK 2010, Bilbao, Spain, August/September 2010. Proceedings. Springer, p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengál, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II. Springer, Vol. 11428 LNCS. p. vii-ix (Lecture Notes in Computer Science, Vol. 11428).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Preface

    Vojnar, T., Zhang, L., Mikucionis, M., Grosu, R., Beyer, D., Lengal, O. & Hahn, E. M., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. Springer, Vol. 11427 LNCS. p. vi-viii (Lecture Notes in Computer Science, Vol. 11427).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Message from the Test-of-Time Committee

    Aberer, K., Jensen, C. S. & Tan, K. L., 2022, 2022 23rd IEEE International Conference on Mobile Data Management (MDM). IEEE, Vol. 2022-June. p. XXIII (Proceedings - IEEE International Conference on Mobile Data Management).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Message from the MDM 2018 general co-chairs

    Joshi, A., Šaltenis, S. & Zhou, X., 13 Jul 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, Vol. 2018-June. p. xi-xii (I E E E International Conference on Mobile Data Management. Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Message from the IEEE MDM 2023 Test-of-Time Committee

    Jensen, C. S., Madria, S. & Sellis, T., 2023, 2023 24th IEEE International Conference on Mobile Data Management (MDM). IEEE, p. xix (Proceedings - IEEE International Conference on Mobile Data Management).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Message from the ICDE 2019 Chairs

    Fan, W., Lin, X., Srivastava, D., Jensen, C. S., Ni, L. M. & Özsu, M. T., 2019, 2019 IEEE 35th International Conference on Data Engineering. IEEE, Vol. 2019-April. p. xxxiv-xxxv (Proceedings of the International Conference on Data Engineering).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Message from the General Co-Chairs

    Jensen, C. S., Lee, D. & Liu, L., 2019, 2019 20th IEEE International Conference on Mobile Data Management. IEEE, Vol. 2019-June. p. xviii-xviii (I E E E International Conference on Mobile Data Management. Proceedings).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • Message from the General Chairs

    Jensen, C. S. & Madria, S., 2010, Proceedings of the Eleventh International Conference on Mobile Data Management, Kansas City, MO, USA, May 23-26, 2010. p. xii-xii 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Message from the Chairs

    Wellings, A. & Ravn, A. P., Aug 2011, Proceedings of the 9th The International Workshop on Java Technologies for Real-Time and Embedded Systems. Association for Computing Machinery, 1 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Introduction

    Kjeldskov, J., 17 Jul 2015, Emerging Perspectives on the Design, Use, and Evaluation of Mobile and Handheld Devices. Lumsden, J. (ed.). IGI global, p. xxii-xxviii

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

    Open Access

  • General chairs' welcome

    Dolog, P. & Vojtáš, P., 4 Jul 2017, HT 2017 - Proceedings of the 28th ACM Conference on Hypertext and Social Media. Association for Computing Machinery, p. iii

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

    Open Access

  • Foreword: Designing human technologies

    Molka-Danielsen, J., Nørbjerg, J., Pries-Heje, J. & Holone, H., 8 Dec 2014, IRIS Selected Papers of the Information Systems Research Seminar in Scandinavia. Molka-Danielse, J., Nørbjerg, J., Pries-Heje, J. & Holone, H. (eds.). IRIS Association, p. 5-8 4 p. (Selected Papers of the Information Systems Research Seminar in Scandinavia; No. 5).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

  • Foreword

    Obaidat, M. S., Lorenz, P., Dolog, P. & Sinderen, M. V., 2015, ICE-B 2015 - Proceedings of the 12th International Conference on e-Business, Colmar, Alsace, France, 20-22 July, 2015. Obaidat, M. S., Lorenz, P., Dolog, P. & Van Sinderen, M. (eds.). SCITEPRESS Digital Library, p. IX-X

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

  • Foreword

    Chrysanthis, P. K., Jensen, C. S., Kumar, V. & Labrinidis, A., 2006, Proceedings of the Fifth ACM International Workshop on Data Engineering for Wireless and Mobile Access. June 25 ed. New York, NY, USA: Association for Computing Machinery, Vol. 617063. p. iii

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Foreword

    Srba, J. & Smolka, S. A., 2005, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). Srba, J. & Smolka, S. A. (eds.). ENTCS ed. Springer

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research › peer-review

  • Foreword

    Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A., 2005, Theoretical Computer Science, Special Issue on Process Algebra. Aceto, L., Esik, Z., Fokkink, W. & Ingolfsdottir, A. (eds.). Pergamon Press, p. 127-129 (Theoretical Computer Science; No. 335(2-3)).

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research

  • Foreword

    Jensen, C. S., 2010, Moving Objects Management - Models, Techniques and Applications. 1. ed. Springer, p. i-ii

    Research output: Contribution to book/anthology/report/conference proceeding › Preface/Introduction/postscript › Research