Research Output per year
Research Output 1993 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review
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-66Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-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-155Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-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-116Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
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-228Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-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-84Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
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-192Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
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-284Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review
Equivalence of reduction
van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 301-474Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-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-87Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-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-59Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
Higher-Order Rewriting
van Raamsdonk, F., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 588-667Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
Orthogonality
Klop, J. W., van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 88-148Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-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-180Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
Strategies
van Oostrom, V. & de Vrijer, R. C., 2003, Term Rewriting Systems. Terese (ed.). Cambridge: Cambridge University Press, p. 475-547Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review
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-132Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic