Filter
Conference contribution

Search results

  • 2020

    A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

    Grabmayer, C. & Fokkink, W., Jul 2020, LICS'20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 465-478 14 p. 3394744. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • A Comprehensive Framework for Saturation Theorem Proving

    Waldmann, U., Tourret, S., Robillard, S. & Blanchette, J., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Vol. 1. p. 316-334 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12166 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • A Lean Tactic for Normalising Ring Expressions with Exponents (Short Paper)

    Baanen, A., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Vol. 2. p. 21-27 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12167 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Efficient Full Higher-Order Unification

    Vukmirovic, P., Bentkamp, A. & Nummelin, V., 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. M. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis

    Moormann, L., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 8 Oct 2020, 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE): Proceedings. IEEE Computer Society, p. 659-666 8 p. 9216953. (IEEE International Conference on Automation Science and Engineering; vol. 2020-August).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Formalizing determinacy of concurrent revisions

    Overbeek, R., 20 Jan 2020, CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. Blanchette, J. & Hritcu, C. (eds.). Association for Computing Machinery, Inc, p. 258-269 12 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Maintaining a library of formal mathematics

    van Doorn, F., Ebner, G. & Lewis, R. Y., 2020, Intelligent Computer Mathematics: 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings. Benzmüller, C. & Miller, B. (eds.). Springer, p. 251-267 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12236 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Modeling Guidelines for Component-Based Supervisory Control Synthesis

    Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W. & Rooda, J., 2020, Formal Aspects of Component Software: 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings. Arbab, F. & Jongmans, S-S. (eds.). Springer, p. 3-24 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12018 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Patch Graph Rewriting

    Overbeek, R. & Endrullis, J., 2020, Graph Transformation: 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings. Gadducci, F. & Kehrer, T. (eds.). Springer, p. 128-145 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12150 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions

    Konoth, R. K., Fischer, B., Fokkink, W., Athanasopoulos, E., Razavi, K. & Bos, H., 2 Nov 2020, 2020 IEEE European Symposium on Security and Privacy (EuroS&P): Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 569-586 18 p. 9230396

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2019

    A verified prover based on ordered resolution

    Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Extending a brainiac prover to lambda-free higher-order logic

    Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 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, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

    Blanchette, J. C., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 1-13 13 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Stronger higher-order automation: A report on the ongoing MatryoShka project

    Blanchette, J., Fontaine, P., Schulz, S., Tourret, S. & Waldmann, U., 31 Dec 2019, EPTCS 311: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Natal, Brazil, August 26, 2019. Suda, M. & Winkler, S. (eds.). EPTCS, p. 11-18 8 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 311).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Superposition with lambdas

    Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P. & Waldmann, U., 2019, Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis

    Goorden, M., van de Mortel-Fronczak, J., Reniers, M., Fokkink, W. & Rooda, J., 2019, Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Springer Verlag, p. 76-92 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2018

    A verified SAT solver with watched literals using Imperative HOL

    Fleury, M., Blanchette, J. C. & Lammich, P., Jan 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. New York, NY: Association for Computing Machinery, Inc, p. 158-171 14 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Decreasing diagrams with two labels are complete for confluence of countable systems

    Endrullis, J., Klop, J. W. & Overbeek, R., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. p. 1-15 15 p. 14

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Formalizing Bachmair and Ganzinger’s Ordered Resolution Prover

    Schlichtkrull, A., Blanchette, J. C., Traytel, D. & Waldmann, U., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 89-107 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper)

    Wimmer, S. & Hölzl, J., 2018, Interactive Theorem Proving - 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 597-603 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10895 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Superposition for Lambda-Free Higher-Order Logic

    Bentkamp, A., Blanchette, J. C., Cruanes, S. & Waldmann, U., 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). Springer/Verlag, p. 28-46 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Superposition with Datatypes and Codatatypes

    Blanchette, J. C., Peltier, N. & Robillard, S., 2018, Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Springer/Verlag, p. 370-387 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10900 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2017

    A formal proof of the expressiveness of deep learning

    Bentkamp, A., Blanchette, J. C. & Klakow, D., 2017, Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017, Proceedings. Springer, Vol. 10499. p. 46-64 (LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • A lambda-free higher-order recursive path order

    Blanchette, J. C., Waldmann, U. & Wand, D., 1 Jan 2017, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Esparza, J. & Murawski, A. S. (eds.). Springer/Verlag, p. 461-479 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10203 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • A transfinite knuth–bendix order for lambda-free higher-order terms

    Becker, H., Blanchette, J. C., Waldmann, U. & Wand, D., 2017, Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Proceedings. de Moura, L. (ed.). Springer/Verlag, p. 432-453 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10395 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • A verified SAT solver framework with learn, forget, restart, and incrementality

    Blanchette, J. C., Fleury, M. & Weidenbach, C., 1 Jan 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, AAAI Press, p. 4786-4790 5 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Creating Büchi automata for multi-valued model checking

    Vijzelaar, S. J. J. & Fokkink, W. J., 2017, Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Springer/Verlag, Vol. 10321 LNCS. p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Detecting useless transitions in pushdown automata

    Grune, D., Fokkink, W., Chatzikalymnios, E., Hond, B. & Rutgers, P., 2017, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer/Verlag, Vol. 10168 LNCS. p. 421-434 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Divide and congruence III: Stability & divergence

    Fokkink, W., Glabbeek, R. V. & Luttik, B., 1 Aug 2017, 28th International Conference on Concurrency Theory, CONCUR 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 85. 15

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Foundational (co)datatypes and (co)recursion for higher-order logic

    Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., Kunčar, O., Lochbihler, A., Meier, F., Panny, L., Popescu, A., Sternagel, C., Thiemann, R. & Traytel, D., 1 Jan 2017, Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Proceedings. Dixon, C. & Finger, M. (eds.). Springer/Verlag, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10483 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Foundational nonuniform (Co)datatypes for higher-order logic

    Blanchette, J. C., Meier, F., Popescu, A. & Traytel, D., 8 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005071

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Friends with benefits: Implementing corecursion in foundational proof assistants

    Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, D., 1 Jan 2017, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Yang, H. (ed.). Springer/Verlag, p. 111-140 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Nested multisets, hereditary multisets, & syntactic ordinals in Isabelle/HOL

    Blanchette, J. C., Fleury, M. & Traytel, D., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 84. 11

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Precongruence formats with lookahead through modal decomposition

    Fokkink, W. & Van Glabbeek, R. J., 1 Aug 2017, Computer Science Logic 2017, CSL 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 82. 25

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Scalable fine-grained proofs for formula processing

    Barbosa, H., Blanchette, J. C. & Fontaine, P., 2017, Automated Deduction: CADE 26 - 26th International Conference on Automated Deduction, Proceedings. de Moura, L. (ed.). Springer/Verlag, p. 398-412 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10395 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Undecidability and finite automata

    Endrullis, J., Shallit, J. & Smith, T., 2017, Developments in Language Theory - 21st International Conference, DLT 2017, Proceedings. Springer/Verlag, Vol. 10396 LNCS. p. 160-172 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10396 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2016

    Degrees of infinite words, polynomials and atoms

    Endrullis, J., Karhumäki, J., Klop, J. W. & Saarela, A., 2016, Developments in Language Theory - 20th International Conference, DLT 2016, Proceedings. Springer/Verlag, Vol. 9840. p. 164-176 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9840).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Divide and Congruence II: Delay and Weak Bisimilarity

    Fokkink, W. & van Glabbeek, R., 5 Jul 2016, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science, LICS 2016. Institute of Electrical and Electronics Engineers, Inc., Vol. 05-08-July-2016. p. 778-787 10 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors

    Swartjes, L., Reniers, M. A., Van Beek, D. A. & Fokkink, W. J., 22 Jun 2016, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. Institute of Electrical and Electronics Engineers, Inc., p. 14-21 8 p. 7497820

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2015

    A coinductive framework for infinitary rewriting and equational reasoning

    Endrullis, J., Hansen, H. H., Hendriks, D., Polonsky, A. & Silva, A., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 143-159 17 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Bonsai: Cutting models down to size

    Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J., 2015, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer - Verlag, p. 361-375 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Compositional metric reasoning with Probabilistic Process Calculi

    Gebler, D., Larsen, K. & Tini, S., 2015, Proc. 18th Conference on Foundations of Software Science and Computational Structures - FOSSACS'15. Springer

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Crowd vs. experts: nichesourcing for knowledge intensive tasks in cultural heritage

    Oosterman, J., Bozzon, A., Houben, G. J., Nottamkandath, A., Dijkshoorn, C. R., Aroyo, L. M., Leyssen, M. H. R. & Traub, M., 2015, WWW Companion volume.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Degrees of transducibility

    Endrullis, J., Klop, J. W., Saarela, A. & Whiteland, M., 2015, Combinatorics on Words - 10th International Conference, WORDS 2015, Proceedings. Springer/Verlag, Vol. 9304. p. 1-13 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9304).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Explaining disease using big data: How valid is your pathway?

    Stringer, B., Dijkstra, M., Feenstra, A., Abeln, S. & Heringa, J., 2 Sep 2015, Proceedings of the 2015 International Conference on High Performance Computing and Simulation, HPCS 2015. Institute of Electrical and Electronics Engineers, Inc., p. 662-664 3 p. 7237114

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Maximally permissive controlled system synthesis for modal logic

    van Hulst, A. C., Reniers, M. A. & Fokkink, W., 2015, SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Springer/Verlag, Vol. 8939. p. 230-241 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8939).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Multi-valued abstraction using lattice operations

    Vijzelaar, S. J. J. & Fokkink, W. J., 2015, Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, p. 70-79

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Nested Term Graphs

    Grabmayer, C. A. & van Oostrom, V., 2015, Proceedings 8th International Workshop on Computing with Terms and Graphs, Vienna, Austria, July 13, 2014. van Raamsdonk, F. & Middeldorp, A. (eds.). 183 ed. Vienna Summer of Logic, Vol. 2015. p. 48-65 (Electronic Proceedings in Theoretical Computer Science).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Predicting Quality of Crowdsourced Annotations using Graph Kernels

    Nottamkandath, A., Oosterman, J., de Vries, G. K. D., Ceolin, D. & Fokkink, W., 2015, Trust Management IX - 9th IFIP Working Group 11.11 International Conference on Trust Management, IFIPTM 2015, Proceedings. Murayama, Y., Dimitrakos, T., Jensen, C. D. & Marsh, S. (eds.). Springer New York, Vol. 454. p. 134-148 15 p. (IFIP Advances in Information and Communication Technology; vol. 454).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Proving non-termination by finite automata

    Endrullis, J. & Zantema, H., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 160-176 17 p.

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review