Mathematics and Computer Science

Filter
Foreword/editorial

Search results

  • 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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

    Open Access
    File

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

    Open Access

  • 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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

    Open Access
  • 2020

    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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

    Open Access

  • 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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

    Open Access
    2 Citations (Scopus)

  • 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 proceeding › Foreword/editorial › Academic

    2 Downloads (Pure)
  • 2018

    Foreword

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

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

  • 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 proceeding › Foreword/editorial › Academic

    File
    402 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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

    Open Access
    File
    19 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 proceeding › Foreword/editorial › Academic

    Open Access
    File
    20 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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

    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 proceeding › Foreword/editorial › Academic

    Open Access
    File
    105 Downloads (Pure)
  • 2014

    Preface

    Muntean, A. & Toschi, F., 1 Jan 2014, Collective dynamics from bacteria to crowds: an excursion through modeling, analysis and simulation. Springer, (CISM International Centre for Mechanical Sciences, Courses and Lectures; vol. 553).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

    2 Citations (Scopus)

  • Preface: 9th International workshop on business process intelligence (BPI 2013)

    van der Aalst, W., de Medeiros, A. K. A., Benatallah, B., Gaaloul, W., Greco, G., Grigori, D., Guzzo, A., Leyer, M., Mendling, J., Pastor, O., Popova, V., Reichert, M., Rosemann, M., Rozinat, A., Sacca, D., Soffer, P., Sperduti, A., Weigand, H. & Weske, M., 1 Jan 2014, Business Process Management Workshops: BPM 2013 International Workshops, Beijing, China, August 26, 2013, Revised Papers. Lohmann, N., Song, M. & Wohed, P. (eds.). Cham: Springer, p. IX-XI 3 p. (Lecture Notes in Business Information Processing; no. 171).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • Preface

    Mens, T., Serebrenik, A. & Cleve, A., 1 Jan 2014, Evolving Software Systems. Berlin: Springer, p. ix-xii

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

    5 Citations (Scopus)
  • 2013

    Preface

    Giannini, P. & Vink, de, E. P., 2013, Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12, Stockholm, Sweden, June 16, 2012)). Giannini, P. & Vink, de, E. P. (eds.). p. 1-2 (Electronic Notes in Theoretical Computer Science; vol. 293).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • 2012

    7th International workshop on business process intelligence (BPI 2011)

    van Dongen, B., Ferreira, D. R. & Weber, B., 1 Jan 2012, Business Process Management Workshops: BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I. Daniel, F., Barkaoui, K. & Dustdar, S. (eds.). p. xi-xii (Lecture Notes in Business Information Processing; vol. 99).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • Preface

    Barthe, G., Datta, A. & Etalle, S., 23 Jul 2012, Formal aspects of security and trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers. Barthe, G., Datta, A. & Etalle, S. (eds.). Berlin: Springer, p. IV 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7140).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • Preface

    Petre, I., Priami, C. & de Vink, E., 2012, Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes. Priami, C., Petre, I. & Vink, E. (eds.). Springer, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 7625)(Transactions on Computational Systems Biology (TCSB)).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • Preface to the Second International Workshop on Data Mining in Networks -- DaMNet 2012

    Di Fatta, G. & Liotta, A., 2012, IEEE International Workshop on Data Mining in Networks (DaMNet 2012). Brussels: Institute of Electrical and Electronics Engineers

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • 2011

    4th International Workshop on Logic in Databases, LID 2011; Uppsala; Sweden; 25 March 2011 through 25 March 2011: Foreword

    Fletcher, G., Staworko, S., Orsborn, K. & Stefanova, S., 10 May 2011, 4th International Workshop on Logic in Databases, LID 2011; Uppsala; Sweden, 25 March 2011. New York: Association for Computing Machinery, Inc, p. i-iv 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • Preface to the 2nd International Workshop on Handling Concept Drift in Adaptive Information Systems

    Khan, L., Pechenizkiy, M. & Zliobaite, I., 2011, 2011 IEEE 11th International Conference on Data Mining Workshops (ICDMW, Vancouver BC, Canada, December 11, 2011). Spilopoulou, M., Wang, H., Cook, D. J., Pei, J., Wang, W., Zaiane, O. R. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers, p. xxxvi-xxxvii

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

    1 Downloads (Pure)

  • Preface to the International Workshop on Data Mining in Networks (DaMNet 2011)

    Di Fatta, G. & Liotta, A., 2011, 2011 IEEE 11th International Conference on Data Mining Workshops (ICDMW, Vancouver BC, Canada, December 11, 2011). Spilopoulou, M., Wang, H., Cook, D. J., Pei, J., Wang, W., Zaiane, O. R. & Wu, X. (eds.). Institute of Electrical and Electronics Engineers, p. xlviii-xlvix

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

  • 2010

    Preface

    Böszörmenyi, L., Burdescu, D., Davis, P., Stanchev, P. L., Fotouhi, F., Liotta, A., Newell, D., Schöffmann, K. & Spielvogel, C., 2010, Second International Conference on Advances in Multimedia (MMEDIA 2010), June 13-19, 2010, Athens, Greece. Piscataway: Institute of Electrical and Electronics Engineers, p. viii-ix

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic

    1 Downloads (Pure)

  • Software language engineering: preface

    van den Brand, M., Gaševíc, D. & Gray, J., 3 May 2010, Software language engineering: Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009. van den Brand, M., Gasevic, D. & Gray, J. (eds.). Berlin: Springer, p. V-VI (Lecture Notes in Computer Science; vol. 5969).

    Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic