Filter
Conference contribution

Search results

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

  • New results on lambda-colorings for special graph classes.

    Bodlaender, H. L., Kloks, A. J. J., van Leeuwen, J. & Tan, R. B., 2000, proceedings STACS'2000.

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

  • On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

    Chen, T. & Fokkink, W. J., 2008, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. IEEE Computer Society, p. 156-165

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

  • On the Complexity of Equivalence of Specifications of Infinite Objects

    Endrullis, J., Hendriks, R. D. A. & Bakhshi, R. R., 2012, Proc. Conf. International Conference on Functional Programming (ICFP 2012). ACM, p. 153-164

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

  • On the impact of modelling choices for distributed information spread. A comparative study.

    Bakhshi, R. R. & Fehnker, A., 2009, Proc. 6th Conference on Quantitative Evaluation of SysTems - QEST'09. IEEE Computer Society, p. 41-50

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

  • On the Mechanization of the Proof of Hessenberg's Theorem

    Bezem, M. & Hendriks, R. D. A., 2006, Proceedings of the 6th International Workshop on Automated Deduction in Geometry. Botana, F. & Roanes-Lozano, E. (eds.). Universidad de Vigo, p. 160-181

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

  • Parameterized tractability of some (efficient) Y-domination variants for planar graphs and t-degenerate graphs

    Cai, L. & Kloks, A. J. J., 2000, Proceedings International Computer Symposium 2000.

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

  • Partial order reduction for branching security protocols

    Fokkink, W. J., Torabi Dashti, M. & Wijs, A., 2010, Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10. IEEE Computer Society Press, p. 191-200

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

  • Partial Order Reduction for Branching Security Protocols

    Fokkink, W. J., Torabi Dashti, M. & Wijs, A., 2007, 7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings. Focardi, R. (ed.). IFIP, p. 178-193

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademic

  • 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

    Open Access
    File
    13 Downloads (Pure)
  • Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities.

    Dijkshoorn, C. R., Leyssen, M. H. R., Nottamkandath, A., Oosterman, J., Traub, M., Aroyo, L., Bozzon, A., Fokkink, W., Houben, G., Hovelmann, H., Jongma, L., van Ossenbruggen, J., Schreiber, G. & Wielemaker, J., 2013, PATCH 2013: Personal Access to Cultural Heritage. CEUR Workshop Proceedings

    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
    143 Downloads (Pure)
  • PLAS: The 18th Workshop on Programming Languages and Analysis for Security

    Brown, F. & v. Gleissenthall, K., 15 Nov 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 3659

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

  • Polynomial Interpretations for Higher-Order Rewriting

    Fuhs, C. & Kop, C. L. M., 2012, Proceedings of RTA '12. Tiwari, A. (ed.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 176-192

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

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

  • Recurrence-Driven Summations in Automated Deduction

    Nummelin, V., Blanchette, J. & Dahmen, S. R., 2023, Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Cham: Springer Science and Business Media Deutschland GmbH, p. 23-40 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI).

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

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

  • SAT-Inspired Eliminations for Superposition

    Vukmirovic, P., Blanchette, J. & Heule, M. J. H., Oct 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design - FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 231-240 10 p. (Conference Series: Formal Methods in Computer-Aided Design).

    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
    10 Downloads (Pure)
  • 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
    35 Downloads (Pure)
  • 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

  • Seventeen Provers Under the Hammer

    Desharnais, M., Vukmirovic, P., Blanchette, J. & Wenzel, M., 2022, 13th International Conference on Interactive Theorem Proving (ITP 2022). Andronick, J. & de Moura, L. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-18 18 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 237).

    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

  • Solver-Aided Constant-Time Hardware Verification

    von Gleissenthall, K., Klcl, R. G., Stefan, D. & Jhala, R., Nov 2021, CCS 2021: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 429-444 16 p. (Proceedings of the ACM Conference on Computer and Communications Security; vol. 2021).

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

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

  • Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts

    Wang, Z., Mohr, G., von Gleissenthall, K., Reineke, J. & Guarnieri, M., 15 Nov 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 2128-2142

    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., 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. 1-7 7 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., Tourret, S. & Vukmirović, P., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 396-412 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).

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

    Open Access
  • 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
    13 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
    12 Downloads (Pure)
  • Superposition with First-Class Booleans and Inprocessing Clausification

    Nummelin, V., Bentkamp, A., Tourret, S. & Vukmirović, P., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 378-395 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    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, 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
    24 Downloads (Pure)
  • Suppose You Had Blocks within a Notebook

    Verano Merino, M., Sáenz, J. P. & Castillo, A. M. D., Nov 2022, PAINT 2022: Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments. Beckmann, T., Hirschfeld, R., Saenz, J. P. & Merino, M. V. (eds.). Association for Computing Machinery, Inc, p. 57-62 6 p.

    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

  • Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

    Moormann, L., Schouten, R. H. J., Van De Mortel-Fronczak, J. M., Fokkink, W. J. & Rooda, J. E., 5 Oct 2021, 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). IEEE Computer Society, p. 1268-1275 8 p. (IEEE International Conference on Automation Science and Engineering; vol. 2021-August).

    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, 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

  • 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

  • Termination of Graph Transformation Systems Using Weighted Subgraph Counting

    Overbeek, R. & Endrullis, J., 2023, Graph Transformation - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Proceedings. Fernández, M. & Poskitt, C. M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 81-101 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13961 LNCS).

    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 Art of Creating Code-Based Artworks

    Verano Merino, M. & Sáenz, J. P., Apr 2023, CHI EA 2023: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-7 7 p. 271. (Conference on Human Factors in Computing Systems - Proceedings).

    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