Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 14
Number of items: 14
  • Open Access
    VC3BI commissie, Sandberg, J., Belleman, R., Bredeweg, B., Visser, A., Endriss, U., Roelofsen, F., Schaffner, C., van Schoot, T., Sluijter, B., Fokkink, W., Haasdijk, E., de Boer, V., & Klein, M. (2016). Eindrapport VC3BI commissie. UvA.
  • Nottamkandath, A., Oosterman, J., Ceolin, D., de Vries, G. K. D., & Fokkink, W. (2015). Predicting Quality of Crowdsourced Annotations Using Graph Kernels. In C. Damsgaard Jensen, S. Marsh, T. Dimitrakos, & Y. Murayama (Eds.), Trust Management IX: 9th IFIP WG 11.11 International Conference, IFIPTM 2015, Hamburg, Germany, May 26-28, 2015 : proceedings (pp. 134-148). (IFIP Advances in Information and Communication Technology; Vol. 454). Springer. https://doi.org/10.1007/978-3-319-18491-3_10
  • Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. S. (2008). Towards formal verification of ToolBus scripts. In J. Meseguer, & G. Roşu (Eds.), Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 : proceedings (pp. 160-166). (Lecture Notes in Computer Science; Vol. 5140). Springer. https://doi.org/10.1007/978-3-540-79980-1_13
  • Bergstra, J. A., Fokkink, W. J., & Ponse, A. (2001). Process algebra with recursive operations. In J. A. Bergstra, A. Ponse, & S. A. Smolka (Eds.), Handbook of Process Algebra (pp. 333-389). Elsevier.
  • Fokkink, W. J., & Luttik, B. (2000). An omega-complete Equational Specification of Interleaving (extended abstract). In U. Montanari, J. D. P. Rolim, & E. Welz (Eds.), Proceedings of the 27th Colloqium on Automata, Languages and Programming (pp. 729-743). ICALP.
  • Fokkink, W. J., & Luttik, B. (2000). An omega-complete Equational Specification of Interleaving. (Report SEN; No. R0012). CWI.
  • Fokkink, W. J., & Verhoef, C. (1999). Conservative extension in positive/negative conditional term rewriting with applications to software renovation factories. Lecture Notes in Computer Science, 1577, 98-113.
  • Verhoef, C., Aceto, L., & Fokkink, W. J. (1999). Conservative extension in structural operational semantics. The Concurrency Column, Bulletin of the EATCS, 69, 110-132.
  • Fokkink, W., & Verhoef, C. (1998). A conservative look at operational semantics with variable binding. Information and Computation, 146(1), 24-54. https://doi.org/10.1006/inco.1998.2729
  • Bergstra, J. A., Fokkink, W. J., Mennen, W. M. T., & van Vlijmen, S. F. M. (1997). Spoorweglogica via EURIS. (Quaestiones Infinitae; No. volume XII). Zeno-insitute for Philosophy.
Page 1 of 2