Theoretical Computer Science

Filter
Chapter

Search results

  • 2000

    From Banach to Milner: Metric semantics for second order communication and concurrency

    de Bakker, J. W. & van Breugel, P. C., 2000, Proof, Language, and Interaction, Essays in Honour of Robin Milner. Plotkin, G. D. (ed.). MIT Press, p. 99-132

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademic

  • 2003

    Abstract reduction systems

    Bezem, M. & Klop, J. W., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 7-23 (Cambridge Tracts in Theoretical Computer Science; no. 55).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Advanced ARS theory

    Bezem, M. & Klop, J. W., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 744-789 (Cambridge Tracts in Theoretical Computer Science; no. 55).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Equivalence of reduction

    van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 301-474

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Examples of TRSs and special rewriting formats

    Klop, J. W. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 60-87

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • First-order term rewriting systems

    Klop, J. W. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 24-59

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Higher-Order Rewriting

    van Raamsdonk, F., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 588-667

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Orthogonality

    Klop, J. W., van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 88-148

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Properties of rewriting: decidability and modularity

    Klop, J. W. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 149-180

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Strategies

    van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 475-547

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2007

    Barendregt's Lemma

    de Vrijer, R. C., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, Geuvers, Capretta & Niqui (eds.). Radboud University Nijmegen, p. 275-284

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2008

    A Service for Reliable Execution of Grid Applications

    Krepska, E. L., Kielmann, T., Sirvent, R. & Badia, R. M., 2008, Achievements in European research on Grid systems. Sergei Gorlatch, S. G., Marian Bubak, M. B. & Thrierry Priol, T. P. (eds.). Springer, p. 179-192

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2012

    Automated Evaluation of Annotators for Museum Collections using Subjective Logic

    Ceolin, D., Nottamkandath, A. & Fokkink, W. J., 2012, IFIPTM 2012: Trust Management VI . Springer, p. 232-239 8 p. ( IFIP Advances in Information and Communication Technology book series (IFIPAICT); vol. 374).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2013

    Assessing trust for determining the reliability of information

    Ceolin, D., van Hage, W. R., Schreiber, A. T. & Fokkink, W. J., 2013, Situational Awareness with Systems of Systems. Borth, M., Tretmans, J. & van de Laar, P. (eds.). Springer, p. 209-228

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Some trends in formal methods applications to railway signaling

    Fantechi, A., Fokkink, W. J. & Morzenti, A., 2013, Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley-IEEE, p. 63-84

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2014

    A tutorial on interactive markov chains

    Arnold, F., Gebler, D., Guck, D. & Hatefi, H., 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer, p. 26-66

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Computing behavioral rela- tions for probabilistic concurrent systems

    Gebler, D., Hashemi, H. & Turrini, A., 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer, p. 117-155

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • On abstraction of probabilistic systems

    Dehnert, C., Gebler, D., Volpato, M. & Jansen, D., 2014, tochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Springer, p. 87-116

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2015

    Evaluando el Patrón de Arquitectura Monolítica y de Micro Servicios Para Desplegar Aplicaciones en la Nube

    Villamizar, M., Garcés, O., Castro, H., Verano Merino, M., Salamanca, L. & Gil, S., 2015, 10th Computing Colombian Conference. p. 583-590 8 p. (10th Computing Colombian Conference).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Symbolic Polytopes for Quantitative Interpolation and Verification

    von Gleissenthal, K., Köpf, B. & Rybalchenko, A., 2015, Computer Aided Verification - 27th International Conference. Springer LNCS

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2016

    Cardinalities and universal quantifiers for verifying parameterized systems

    von Gleissenthal, K., Bjørner, N. & Rybalchenko, A., 2016, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, (PLDI '16: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • 2019

    Confluence of the Chinese Monoid

    Endrullis, J. & Klop, J. W., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 206-220 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    10 Downloads (Pure)
  • IODINE: Verifying Constant-Time Execution of Hardware

    von Gleissenthal, K., Klcl, R. G., Stefan, D. & Jhala, R., 2019, 28th USENIX Security Symposium 2019. USENIX

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

  • Variations of the Itai-Rodeh Algorithm for Computing Anonymous Ring Size

    Fokkink, W. & Samsom, G., 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer Verlag, p. 3-13 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11760 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    110 Downloads (Pure)
  • 2022

    A Note on the Message Complexity of Cidon’s Distributed Depth-First Search Algorithm

    Musaev, S. & Fokkink, W., 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer Science and Business Media Deutschland GmbH, p. 467-471 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

    Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

    Open Access
    File
    34 Downloads (Pure)