Filter
Conference contribution

Search results

  • 2020

    SecurePay: Strengthening Two-Factor Authentication for Arbitrary Transactions

    Konoth, R. K., Fischer, B., Fokkink, W., Athanasopoulos, E., Razavi, K. & Bos, H., 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

    Open Access
    File
    198 Downloads (Pure)
  • The Road Ahead for Supervisor Synthesis

    Goorden, M., Moormann, L., Reijnen, F. F. H., Verbakel, J. J., van Beek, D. A., Hofkamp, A. T., van de Mortel-Fronczak, J., Reniers, M. A., Fokkink, W., Rooda, J. E. & Etman, L. F. P., 2020, Dependable Software Engineering. Theories, Tools, and Applications: 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 12153).

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

    Open Access
    File
    82 Downloads (Pure)
  • 2019

    A verified prover based on ordered resolution

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

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

    Open Access
    File
    34 Downloads (Pure)
  • Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk)

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

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

    Open Access
    File
    105 Downloads (Pure)
  • 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, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I. 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

    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, Natal, Brazil, August 27–30, 2019, 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

    Open Access
    File
    55 Downloads (Pure)
  • 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

    Open Access
    File
    41 Downloads (Pure)
  • 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. New York, NY: Association for Computing Machinery, Inc, p. 158-171 14 p.

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

    Open Access
    File
    51 Downloads (Pure)
  • Decreasing diagrams with two labels are complete for confluence of countable systems

    Endrullis, J., Klop, J. W. & Overbeek, R., 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018: [Proceedings]. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 14. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 108).

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

    Open Access
  • 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, Oxford, UK, July 14-17, 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

    Open Access
    File
    44 Downloads (Pure)
  • 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

    Open Access
    File
    48 Downloads (Pure)
  • 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, Oxford, UK, July 14-17, 2018, Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (eds.). 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

    Open Access
    File
    30 Downloads (Pure)
  • 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, Brasília, Brazil, September 26–29, 2017, Proceedings. Ayala-Rincón, M. & Muñoz, C. A. (eds.). Springer, p. 46-64 19 p. (Lecture Notes in Computer Science (LNCS); vol. 10499).

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

    Open Access
    File
    33 Downloads (Pure)
  • A lambda-free higher-order recursive path order

    Blanchette, J. C., Waldmann, U. & Wand, D., 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory anPractice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 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

    Open Access
    File
    7 Downloads (Pure)
  • 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, Gothenburg, Sweden, August 6–11, 2017, 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

    Open Access
    File
    20 Downloads (Pure)
  • A verified SAT solver framework with learn, forget, restart, and incrementality

    Blanchette, J. C., Fleury, M. & Weidenbach, C., 2017, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence Melbourne, Australia 19-25 August 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, AAAI Press, p. 4786-4790 5 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

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

    Open Access
    File
    10 Downloads (Pure)
  • 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, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings. Bouajjani, A. & Silva, A. (eds.). Springer/Verlag, 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

    Open Access
    File
    22 Downloads (Pure)
  • 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, Umeå, Sweden, March 6-9, 2017, Proceedings. Drewes, F., Martín-Vide, C. & Truthe, B. (eds.). Springer/Verlag, 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

    Open Access
    File
    26 Downloads (Pure)
  • Divide and congruence III: Stability & divergence

    Fokkink, W., Glabbeek, R. V. & Luttik, B., 2017, 28th International Conference on Concurrency Theory (CONCUR 2017): [Proceedings]. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-16 16 p. 15. (Leibniz International Proceedings in Informatics; vol. 85).

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

    Open Access
    File
    10 Downloads (Pure)
  • 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., 2017, Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 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

    Open Access
    File
    22 Downloads (Pure)
  • Foundational nonuniform (Co)datatypes for higher-order logic

    Blanchette, J. C., Meier, F., Popescu, A. & Traytel, D., 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): [Proceedings]. Institute of Electrical and Electronics Engineers Inc., p. 1-12 12 p. 8005071

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

    Open Access
    File
    11 Downloads (Pure)
  • Friends with benefits: Implementing corecursion in foundational proof assistants

    Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, D., 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, Uppsala, Sweden, April 22–29, 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

    Open Access
    File
    19 Downloads (Pure)
  • Nested multisets, hereditary multisets, & syntactic ordinals in Isabelle/HOL

    Blanchette, J. C., Fleury, M. & Traytel, D., 2017, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017): [Proceedings]. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 11. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 84).

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

    Open Access
  • Precongruence formats with lookahead through modal decomposition

    Fokkink, W. & Van Glabbeek, R. J., 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017): [Proceedings]. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-20 20 p. 25. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 82).

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

    Open Access
  • 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

    Open Access
    File
    23 Downloads (Pure)
  • Undecidability and finite automata

    Endrullis, J., Shallit, J. & Smith, T., 2017, Developments in Language Theory : 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Charlier, É., Leroy, J. & Rigo, M. (eds.). Springer/Verlag, 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

    Open Access
    File
    22 Downloads (Pure)
  • 2016

    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

  • 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

  • 2015

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

    Stringer, B., Dijkstra, M., Feenstra, A., Abeln, S. & Heringa, J., 2 Sept 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • Regularity-Preserving but not Reflecting Encodings

    Endrullis, J., Grabmayer, C. A. & Hendriks, R. D. A., 2015, Proceedings of LICS. Palamidessi, C. (ed.). IEEE Xplore Digital Library, p. 535-546

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

  • Syllogistic logic with “most”

    Endrullis, J. & Moss, L. S., 2015, Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings. Springer/Verlag, Vol. 9160. p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9160).

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

  • The Degrees of Squares is an Atom

    Endrullis, J., Grabmayer, C., Hendriks, D. & Zantema, H., 2015, Combinatorics on Words - 10th International Conference, WORDS 2015, Proceedings. Springer/Verlag, Vol. 9304. p. 109-121 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

  • 2014

    Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

    D'Argenio, P. R., Gebler, D. & Lee, M. D., 2014, Proc. 17th Conference on Foundations of Software Science and Computational Structures - FOSSACS'14. Springer, p. 289-303

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

  • Crowdsourcing knowledge-intensive tasks in cultural heritage

    Oosterman, J., Nottamkandath, A., Dijkshoorn, C., Bozzon, A., Houben, G. J. & Aroyo, L. M., 2014, ACM conference on Web science. ACM

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

  • Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators

    Gebler, D. & Tini, S., 2014, Proc. 21th Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics - EXPRESS/SOS'14. EPTCS, p. 63-78

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

  • Generalized bisimulation metrics

    Chatzikokolakis, K., Gebler, D. & Palamidessi, C., 2014, Proc. 25th Conference on Concurrency Theory - CONCUR'14. Springer, p. 32-46

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

  • Maximal Sharing in the Lambda Calculus with Letrec

    Grabmayer, C. A. & Rochel, J., 2014, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming. Jeuring, J. & Chakravarty, M. M. T. (eds.). ACM, p. 67-80 (9).

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

  • Maximal synthesis for Hennessy-Milner logic with the box modality

    van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2014, Proc. 12th Workshop on Discrete Event Systems - WODES'14. IFAC-IEEE, p. 278-285

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

  • Petri nets are a biologist's best friend

    Bonzanni, N., Feenstra, K. A., Fokkink, W. J. & Heringa, J., 2014, Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Springer/Verlag, p. 102-116 15 p. (Lecture Notes in Computer Science; vol. 8738)( Lecture Notes in Bioinformatics book sub series (LNBI); vol. 8738).

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

    File
    157 Downloads (Pure)