Mathematics and Computer Science

Filter
Voorwoord/editorial

Zoekresultaten

  • 2024

    Preface

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    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. (uitgave). Springer, blz. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14678).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). Springer, blz. v-vii (Mathematics in Industry; vol. 43).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science; vol. 14300).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). PMLR, blz. 1-2 2 blz. (Proceedings of Machine Learning Research ; vol. 215).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access

  • 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. blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science; vol. 14446).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface to the CoopIS 2023 Demonstration Track

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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, blz. III (ACM International Conference Proceeding Series).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    Bestand
    19 Downloads (Pure)

  • 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. (uitgave). Springer, blz. v (Lecture Notes in Computer Science; vol. 13487).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). 2nd uitgave Cham: Springer, blz. vii-x (Cognitive Technologies).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13203).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). CEUR-WS.org, blz. 1-3 3 blz. (CEUR Workshop Proceedings; vol. 3299).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 2021

    Message from the General Chair ICPM 2021

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Springer, blz. v (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13077).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). Springer, Vol. 1. blz. vii-viii (Lecture Notes in Computer Science; vol. 12651).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access

  • 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. (uitgave). Springer, blz. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). Springer, Vol. Cham. blz. ix 1 blz. (Lecture Notes in Computational Science and Engineering (LNCSE); vol. 133).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Springer, blz. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12524).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). De Gruyter Open Ltd., Vol. 1. blz. v-viii 4 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    8 Citaten (Scopus)

  • Preface to the second volume of model order reduction

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    Bestand
    7 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. (uitgave). PMLR, Vol. 161. blz. 1-11 11 blz. (Proceedings of Machine Learning Research; vol. 161).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    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. (uitgave). Cham: Springer, blz. v-vii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12168).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Cham: Springer, blz. v-vi (Lecture Notes in Computational Science and Engineering; vol. 132).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Berlin: Springer, blz. v (Lecture Notes in Business Information Processing; vol. 392).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). Berlin: Springer, blz. v-vii (Communications in Computer and Information Science; vol. 1262).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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 okt. 2020, 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020. blz. XVI-XVIII

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • 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. (uitgave). De Gruyter Open Ltd., blz. v-vi 2 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    1 Citaat (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. (uitgave). PMLR, blz. 1-1 1 blz. (Proceedings of Machine Learning Research ; vol. 103).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access

  • ISSCC 2019 Foreword

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Cham: Springer, blz. v-vi 2 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11675).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    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. (uitgave). Cham: Springer, blz. v 1 blz. (Lecture Notes in Business Information Processing; vol. 360).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Berlin: Springer, 2 blz. (Studies in Computational Intelligence; vol. 824).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    2 Downloads (Pure)

  • 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).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Cham: Springer, blz. vii-ix 3 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    5 Citaten (Scopus)
  • 2018

    Foreword

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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, blz. V (Lecture Notes in Artificial Intelligence; vol. 11198).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Cham: Springer, blz. VI (Lecture Notes in Computer Science; vol. 10786).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

  • Preface to the paperback edition

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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 mei 2017, (Niet gepubliceerd) Ghost in the PLC vs GhostBuster: On the Feasibility of Detecting Pin Control Attack in Programmable Logic Controllers. 72 blz.

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Bestand
    522 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. (uitgave). Cham, blz. V-VII (Lecture Notes in Computer Science; vol. 10139).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Dordrecht: Springer, blz. VI (LNCS; vol. 10346).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    Bestand
    29 Downloads (Pure)
  • 2015

    Foreword

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    Bestand
    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 mrt. 2015, 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering. IEEE Computer Society, blz. iii-vii (2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/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. (uitgave). Cham: Springer, blz. xxv-xxvii (Lecture Notes in Business Information Processing; vol. 202).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access

  • Welcome message from the AU2EU 2015 workshop organizers

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Voorwoord/editorial › Academic

    Open Access
    Bestand
    132 Downloads (Pure)