Mathematics and Computer Science

Filter
Foreword/editorial

Search results

  • 2024

    Preface

    Neele, T. & Wijs, A., 13 Oct 2024, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14624).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface

    Castiglioni, V. & Francalanza, A., Jun 2024, 44th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2024: Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. Castiglioni, V. & Francalanza, A. (eds.). Springer, p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14678).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Herber, P. & Wijs, A., 2024, Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. Herber, P. & Wijs, A. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science; vol. 14300).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    van Beurden, M., Budko, N., Ciuprina, G., Schilders, W., Bansal, H. & Barbulescu, R., 2024, Scientific Computing in Electrical Engineering: SCEE 2022, Amsterdam, The Netherlands, July 2022. van Beurden, M., Budko, N. V., Ciuprina, G., Schilders, W., Bansal, H. & Barbulescu, R. (eds.). Springer, p. v-vii (Mathematics in Industry; vol. 43).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • 2023

    ISIPTA 2023: Preface

    Miranda, E., Montes, I., Quaeghebeur, E. & Vantaggi, B., 2023, Proceedings of the Thirteenth International Symposium on Imprecise Probability: Theories and Applications. Miranda, E., Montes, I., Quaeghebeur, E. & Vantaggi, B. (eds.). PMLR, p. 1-2 2 p. (Proceedings of Machine Learning Research ; vol. 215).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. vii-viii (Studies in Systems, Decision and Control; vol. 458).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Ábrahám, E., Dubslaff, C. & Tarifa, S. L. T., 2023, 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. T. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science; vol. 14446).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Ferreira, C. & Willemse, T. A. C., 2023, Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface to the CoopIS 2023 Demonstration Track

    Mannhardt, F. & Assy, N., 2023, CoopIS Demonstration Track 2023. CEUR-WS.org, Vol. 3552. (CEUR).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, PAINT 2023, Cascais, Portugal, 23 October 2023

    Beckmann, T., Hirschfeld, R., Sáenz, J. P. & Merino, M. V., 2023, Proceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, PAINT 2023, Cascais, Portugal, 23 October 2023. Association for Computing Machinery, Inc

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • 2022

    Message from the chairs

    Nelissen, G. & Pautet, L., 7 Jun 2022, RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7 - 8, 2022. Association for Computing Machinery, Inc, p. III (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    File
    19 Downloads (Pure)
  • Preface

    Hülsing, A. & Altawy, R., 2022, Selected Areas in Cryptography: 28th International Conference, Virtual Event, September 29 – October 1, 2021, Revised Selected Papers. AlTawy, R. & Hülsing, A. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13203).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Metalearning: applications to automated machine learning and data mining. Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J. (eds.). 2nd ed. Cham: Springer, p. vii-x (Cognitive Technologies).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Groote, J. F. & Huisman, M., 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Groote, J. F. & Huisman, M. (eds.). Springer, p. v (Lecture Notes in Computer Science; vol. 13487).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface to the ICPM 2022 Doctoral Consortium and Tool Demonstration Track

    Hassani, M., Koschmider, A., Comuzzi, M., Maggi, F. M. & Pufahl, L., 2022, ICPM 2022 Doctoral Consortium and Demo Track 2022: Proceedings of the ICPM Doctoral Consortium and Demo Track 2022 co-located with 4th International Conference on Process Mining (ICPM 2022). Hassani, M., Koschmider, A., Comuzzi, M., Maggi, F. M. & Pufahl, L. (eds.). CEUR-WS.org, p. 1-3 3 p. (CEUR Workshop Proceedings; vol. 3299).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • 2021

    Message from the General Chair ICPM 2021

    Van Dongen, B., 31 Oct 2021, 2021 3rd International Conference on Process Mining (ICPM). Institute of Electrical and Electronics Engineers, p. VII

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface

    Salaün, G. & Wijs, A., 2021, 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings. Salaün, G. & Wijs, A. (eds.). Springer, p. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Peters, K. & Willemse, T. A. C., 2021, Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Peters, K. & Willems, T. A. C. (eds.). Springer, p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Brummelen, H. V., Vuik, C., Möller, M., Verhoosel, C., Simeon, B. & Jüttler, B., 2021, Isogeometric Analysis and Applications 2018. van Brummelen, H., Vuik, C., Möller, M., Verhoosel, C., Simeon, B. & Jüttler, B. (eds.). Springer, Vol. Cham. p. ix 1 p. (Lecture Notes in Computational Science and Engineering (LNCSE); vol. 133).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Cleophas, L. & Massink, M., 2021, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers. Cleophas, L. & Massink, M. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12524).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Groote, J. F., Larsen, K. G., Lang, F., Lecomte, T., Neele, T., Jensen, P. G., Beyer, D. & Rial, A., 2021, Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. Groote, J. F. & Larsen, K. G. (eds.). Springer, Vol. 1. p. vii-viii (Lecture Notes in Computer Science; vol. 12651).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface to the first volume of Model Order Reduction

    Benner, P., Grivet-Talocia, S., Quarteroni, A., Rozza, G., Schilders, W. & Silveira, L. M., 8 Nov 2021, System- and Data-Driven Methods and Algorithms. Benner, P., Grivet-Talocia, S., Quarteroni, A., Rozza, G., Schilders, W. & Silveira, L. M. (eds.). De Gruyter Open Ltd., Vol. 1. p. v-viii 4 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    8 Citations (Scopus)
  • Preface to the second volume of model order reduction

    Benner, P. (Editor), Grivet-Talocia, S. (Editor), Quarteroni, A. (Editor), Rozza, G. (Editor), Schilders, W. (Editor) & Silveira, L. M. (Editor), 2021, Model Order Reduction: Vol. 2: Snapshot-Based Methods and Algorithms. Benner, P. (ed.). De Gruyter Open Ltd., p. v-vi 2 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    File
    6 Downloads (Pure)
  • Proceedings of the thirty-seventh conference on Uncertainty in Artificial Intelligence — Preface

    de Campos, C. P., Maathuis, M. H. & Quaeghebeur, E., 2021, Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence. de Campos, C. & Maathuis, M. H. (eds.). PMLR, Vol. 161. p. 1-11 11 p. (Proceedings of Machine Learning Research; vol. 161).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • 2020

    Preface

    Fahland, D., Ghidini, C., Becker, J. & Dumas, M., 2020, Business Process Management 18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020: proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (eds.). Cham: Springer, p. v-vii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12168).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    van Brummelen, H., Corsini, A., Perotto, S. & Rozza, G., 1 Jan 2020, Numerical methods for flows: FEF 2017 selected contributions. van Brummelen, H., Corsini, A., Perotto, S. & Rozza, G. (eds.). Cham: Springer, p. v-vi (Lecture Notes in Computational Science and Engineering; vol. 132).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Babur, Ö., Denil, J. & Heuser, B. V., 2020, Systems Modelling and Management: First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings. Babur, Ö., Denil, J. & Vogel-Heuser, B. (eds.). Berlin: Springer, p. v-vii (Communications in Computer and Information Science; vol. 1262).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Fahland, D., Ghidini, C., Becker, J. & Dumas, M., 2020, Business Process Management Forum: BPM Forum 2020, Seville, Spain, September 13–18, 2020, Proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (eds.). Berlin: Springer, p. v (Lecture Notes in Business Information Processing; vol. 392).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface to 2nd International Workshop on Analytics and Mining of Model Repositories (AMMoRe 2020)

    Babur, Ö., Chaudron, M. R. V., Cleophas, L., Iovino, L. & Kolovos, D., 16 Oct 2020, 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020. p. XVI-XVIII

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface to the third volume of model order reduction

    Benner, P., Grivet-Talocia, S., Quarteroni, A., Rozza, G., Schilders, W. & Silveira, L. M., 7 Dec 2020, Applications. Benner, P., Grivet-Talocia, S., Quarteroni, A., Rozza, G., Schilders, W. & Siveira, L. M. (eds.). De Gruyter Open Ltd., p. v-vi 2 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    1 Citation (Scopus)
  • 2019

    ISIPTA 2019: Preface

    De Bock, J., de Cooman, G., de Campos, C. P., Quaeghebeur, E. & Wheeler, G., 2019, International Symposium on Imprecise Probabilities: Theories and Applications, 3-6 July 2019, Thagaste, Ghent, Belgium. De Bock, J., de Campos, C. P., de Cooman, G., Quaeghebeur, E. & Wheeler, G. (eds.). PMLR, p. 1-1 1 p. (Proceedings of Machine Learning Research ; vol. 103).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • ISSCC 2019 Foreword

    Cantatore, E., 6 Mar 2019, 2019 IEEE International Solid-State Circuits Conference, ISSCC. Institute of Electrical and Electronics Engineers, p. 8-9 2 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface

    Jansen, B. M. P. & Telle, J. A., Dec 2019, Proceedings of the 14th International Symposium on Parameterized and Exact Computation, IPEC 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 148).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Hildebrandt, T., Röglinger, M., van Dongen, B. F. & Mendling, J., 1 Jan 2019, Business Process Management: 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings. Hildebrandt, T., van Dongen, B., Röglinger, M. & Mendling, J. (eds.). Cham: Springer, p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11675).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface

    Hildebrandt, T., van Dongen, B. F., Röglinger, M. & Mendling, J., 1 Jan 2019, Business Process Management Forum: BPM Forum 2019, Vienna, Austria, September 1–6, 2019, Proceedings. Hildebrandt, T., van Dongen, B. F., Röglinger, M. & Mendling, J. (eds.). Cham: Springer, p. v 1 p. (Lecture Notes in Business Information Processing; vol. 360).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Berlin: Springer, 2 p. (Studies in Computational Intelligence; vol. 824).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Peletier, M. A., Steur, E. & van Santen, R. A., 20 Mar 2019, Complexity Science: An Introduction. World Scientific, p. v-vi

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    2 Downloads (Pure)
  • Preface

    Consoli, S., Recupero, D. R. & Petković, M., 2019, Data Science for Healthcare: Methodologies and Applications. Consoli, S., Recupero, D. R. & Petković, M. (eds.). Cham: Springer, p. vii-ix 3 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    5 Citations (Scopus)
  • 2018

    Foreword

    Tijsseling, A. S., 2018, 13th International Conference on Pressure Surges. p. 1-2 2 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface

    Soldatova, L., Vanschoren, J., Ceci, M. & Papadopoulos, G., 1 Jan 2018, Discovery science: 21st International Conference, DS 2018, Limassol, Cyprus, October 29–31, 2018, Proceedings. Berlin: Springer, p. V (Lecture Notes in Artificial Intelligence; vol. 11198).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface: Post-Quantum Cryptography: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

    Lange, T. & Steinwandt, R., 1 Jan 2018, Post-Quantum Cryptography: 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings. Lange, T. & Steinwandt, R. (eds.). Cham: Springer, p. VI (Lecture Notes in Computer Science; vol. 10786).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • Preface to the paperback edition

    Aarts, E. & Lenstra, J. K., 5 Jun 2018, Local Search in Combinatorial Optimization. Princeton University Press, p. vii-vii

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

  • 2017

    Ghost in the PLC vs GhostBuster: on the feasibility of detecting pin control attack in Programmable Logic Controllers

    Abbasi, A. & Genuise, A., 1 May 2017, (Unpublished) Ghost in the PLC vs GhostBuster: On the Feasibility of Detecting Pin Control Attack in Programmable Logic Controllers. 72 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    File
    519 Downloads (Pure)
  • Preface

    Steffen, B., Baier, C., van den Brand, M., Eder, J., Hinchey, M. & Margaria, T., 2017, SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Steffen, B., Baier, C. & van den Brand, M. (eds.). Cham, p. V-VII (Lecture Notes in Computer Science; vol. 10139).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface

    Lange, T. & Takagi, T., 2017, Post-Quantum Cryptography: 8th International Workshop, PQCrypto 2017, Utrecht, The Netherlands, June 26-28, 2017, Proceedings. Lange, T. & Takagi, T. (eds.). Dordrecht: Springer, p. VI (LNCS; vol. 10346).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    File
    29 Downloads (Pure)
  • 2015

    Foreword

    Tijsseling, A. S., Nov 2015, Proceedings of the 12th International Conference on Pressure Surges, Dublin, Ireland. p. 1-2 2 p.

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    File
    28 Downloads (Pure)
  • Message from the chairs

    Gueheneuc, Y. G., Serebrenik, A., Adams, B., Moha, N., Tsantalis, N., Lammel, R., Rigby, P. C., Krinke, J., Sharif, B., Hayes, J. H., Huchard, M., Khomh, F., Hamou-Lhadj, W., Fontana, F. A. & Hill, E., 2 Mar 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering. IEEE Computer Society, p. iii-vii (2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface: Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015

    Van Glabbeek, R., Groote, J. F. & Höfner, P., 8 Nov 2015, Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015.. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 196).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Preface to the 10th international workshop on business process intelligence (BPI 2014)

    Weber, B., van Dongen, B., Ferreira, D. R. & de Weerdt, J., 1 Jan 2015, International Workshops on Business Process Management Workshops, BPM 2014; Eindhoven; Netherlands; 7 September 2014 through 8 September 2014. Fournier, F. & Mendling, J. (eds.). Cham: Springer, p. xxv-xxvii (Lecture Notes in Business Information Processing; vol. 202).

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
  • Welcome message from the AU2EU 2015 workshop organizers

    Petkovic, M., Camenisch, J., Zic, J. & Egner, A.-I., 16 Oct 2015, Proceedings - 10th International Conference on Availability, Reliability and Security, ARES 2015. p. XXXV

    Research output: Chapter in Book/Report/Conference proceedingForeword/editorialAcademic

    Open Access
    File
    132 Downloads (Pure)