Filter
Conference contribution

Search results

  • 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

  • Productivity of algorithmic systems

    Ishihara, A., 2008, Proceedings Symbolic Computation in Software Science Austrian-Japanese Workshop (SCSS 2008) - RISC-Linz Report. University of Linz, p. 81-95

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

  • Proving Equality of Streams Automatically

    Endrullis, J. & Zantema, H., 2011, Proc. Conf. on Rewriting Techniques and Applications (RTA '11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. 393-408

    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

  • 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

  • Restricted Broadcast Process Theory

    Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2008, 6th IEEE International Conferences on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, November 10-14, 2008, Proceedings. Cerone, A. & Gruner, S. (eds.). IEEE Society Press, p. 345-354

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

  • Root Stabilisation Using Dependency Pairs

    Endrullis, J. & Ketema, J., 2007, Proceedings of the 9th International Workshop on Termination (WST 2007). p. 17-21

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

  • Satin: Simple and Efficient Java-based Grid Programming

    van Nieuwpoort, R. V., Maassen, J., Hofman, R., Kielmann, T. & Bal, H. E., 2003, AGridM Workshop on Adaptive Grid Middleware. New Orleans, Louisiana, USA

    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

  • 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

  • Semi-automated assessment of annotation trustworthiness

    Ceolin, D., Nottamkandath, A. & Fokkink, W. J., 2013, Proc. 11th Conference on Privacy, Security and Trust - PST'13. IEEE, p. 325-332

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

  • Simulation as a correct transformation of rewrite systems

    Fokkink, W. & van de Pol, J., 1 Jan 1997, Mathematical Foundations of Computer Science 1997 - 22nd International Symposium, MFCS 1997, Proceedings. Privara, I. & Ruzicka, P. (eds.). Springer - Verlag, p. 249-258 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1295).

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

  • Source-Level Global Optimizations for Fine-Grain Distributed Shared Memory Systems

    Veldema, R. S., Hofman, R. F. H., Jacobs, C. J. H., Bhoedjang, R. A. F. & Bal, H. E., 2001, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'01). Snowbird, Utah: ACM

    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 for Full Higher-Order Logic

    Bentkamp, A., Blanchette, J. C., Tourret, S. & Vukmirovic, P., 9 Apr 2021, (Accepted/In press) Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Proceedings.

    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

  • Superposition with First-Class Booleans and Inprocessing Clausification

    Nummelin, V., Bentkamp, A., Tourret, S. & Vukmirovic, P., 9 Apr 2021, (Accepted/In press) Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Proceedings.

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

  • 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

  • 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

  • T.R. - Special issue of the Workshop on Process Algebra: Open Questions and Future Directions

    Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Esik, Z., 2005, Workshop on Process Algebra: Open Problems and Future Directions. (Theoretical Computer Science; no. 335).

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

  • Teaching logic using a state-of-the-art proof assistant

    Kaliszyk, C., Wiedijk, F., Hendriks, M. R. & van Raamsdonk, F., 2007, Proceedings of PATE 2007 (International Workshop on Proof Assistants and Types in Education). Geuvers, H. & Courtieu, P. (eds.). Paris, France

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

  • Teaching logic using a state-of-the-art proof assistant

    Kaliszyk, C., Wiedijk, F., Hendriks, R. D. A. & van Raamsdonk, F., 2008, Proceedings of FORMED 2008 (Formal Methods in Computer Science Education). Istenes, Z. (ed.). Budapest, Hungary

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

  • The Albatross Project: Parallel Application Support for Computational Grids.

    Kielmann, T., Bal, H. E., Maassen, J., van Nieuwpoort, R. V., Veldema, R. S., Hofman, R., Jacobs, C. J. H. & Verstoep, K., 2000, Proc. 1st European GRID Forum Workshop.. Poznan, Poland, p. 341-348

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

  • The context calculus lambda-c.

    Bognar, M. & de Vrijer, R. C., 1999, Workshop on Logical Frameworks and Meta-languages, Paris, France, 28 September 1999..

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

  • The context cube lambda[]: Barendregt's lambda cube with contexts

    Bognar, M. & de Vrijer, R. C., 2002, Workshop on 25 Years of Automath. Kamareddine, F. (ed.). Herriot-Watt University

    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

  • 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

  • The tyft/tyxt format reduces to tree rules

    Fokkink, W. J., 1 Jan 1994, Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings. Mitchell, J. C. & Hagiya, M. (eds.). Springer - Verlag, p. 440-453 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 789 LNCS).

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

  • Towards performance evaluation of mobile ad hoc network protocols

    Ghassemi, F., Movaghar, A. & Fokkink, W. J., 2010, Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10. IEEE Computer Society Press, p. 85-92

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

  • Tree rules in probabilistic transition system specifications with negative and quantitative premises

    Lee, M. D., Gebler, D. & D'Argenio, P. R., 2012, Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12. Luttik, B. & Reniers, M. A. (eds.). EPTCS, p. 115-130

    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

  • Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

    Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Klop, J. W. & van Oostrom, V., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. p. 85-102

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

  • Using model checking to analyze the system behavior of the LHC production grid

    Remenska, D., Willemse, T. A. C., Verstoep, K., Fokkink, W. J., Bal, H. E. & Templon, J. A., 2012, Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, p. 335-343

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

  • Well-foundedness of the Recursive Path Ordering in Coq

    de Kleijn, N., Koprowski, A. & van Raamsdonk, F., 2004, Proceedings of the Dutch Proof Tools Day 2004.

    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

  • μCRL: A toolset for Analysing Algebraic Specifications

    Blom, S., Fokkink, W., Groote, J. F., Van Langevelde, I., Lisser, B. & Van de Pol, J., 1 Jan 2001, Computer Aided Verification - 13th International Conference, CAV 2001, Proceedings. Comon, H., Finkel, A. & Berry, G. (eds.). Springer - Verlag, p. 250-254 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2102).

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