Theoretical Computer Science

Research output

Research output per year 1993 2021

• 261 Article
• 134 Conference contribution
• 20 Chapter
• 18 PhD Thesis - Research VU Amsterdam, graduation VU Amsterdam
• 34 More
  • 8 PhD Thesis - Research external, graduation VU Amsterdam
  • 6 Book editing
  • 6 Book
  • 4 Editorial
  • 3 Report
  • 2 PhD Thesis - Research external, graduation external
  • 1 Foreword/postscript
  • 1 Abstract
  • 1 Book/Film/Article review
  • 1 Comment / Letter to the editor
  • 1 Erratum

Research output per year

Research output per year

Search results

• 2005

  Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge

  Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, In: Logical Methods in Computer Science. 1, 1

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  File
  129 Downloads (Pure)

• Synthesis of Reo circuits

  Arbab, F., Baier, C., Boer, F. C., Rutten, J. J. M. M. & Sirjani, M., 2005, In: Lecture Notes in Computer Science. 3454, p. 236-251

  Research output: Contribution to Journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review

• Using Proofs by Coinduction to Find "Traditional" Proofs

  Grabmayer, C. A., 2005, In: Lecture Notes in Computer Science. 3629, p. 175-193

  Research output: Contribution to Journal › Article › Academic › peer-review

• Verification of a sliding window protocol in mCRL and PVS

  Badban, B., Fokkink, W. J., Groote, J. F., Pang, J. & van de Pol, J. C., 2005, In: Formal Aspects of Computing. 17, 3, p. 342-388

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Sliding Window
  • Correctness
  • Network protocols
  • Queue
  • Branching

• Vicious Circles in Orthogonal Term Rewriting Systems

  Ketema, J., Klop, J. W. & van Oostrom, V., 2005, In: Electronic Notes in Theoretical Computer Science. 124, p. 65-77

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Term Rewriting Systems
  • Normalization
  • Circle
  • Cyclic Reduction
  • Strong Normalization

• Which Two-sorted Algebras of Booleans and Naturals have a Finite Basis?

  Fokkink, W. J., van de Pol, J. C. & Vijay, S., 2005, In: Algebra Universalis. 52, 4, p. 469-485

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Algebra
• 2004

  Abstractions and Static Analysis for Verifying Reactive Systems

  Yustinova, N., 2004

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  38 Downloads (Pure)

• An application of coinductive stream calculus to signal flow graphs

  Rutten, J. J. M. M., 2004, In: Lecture Notes in Computer Science. 3188, p. 276-291

  Research output: Contribution to Journal › Article › Academic › peer-review

• Böhm-Like Trees for Term Rewriting Systems

  Ketema, J., 2004, In: Lecture Notes in Computer Science. 3091, p. 233-248

  Research output: Contribution to Journal › Article › Academic › peer-review

• Erasure and Termination in Higher-Order Rewriting

  Ketema, J. & van Raamsdonk, F., 2004, In: Aachener Informatik-Berichte. AIB-2004-0, p. 30-33

  Research output: Contribution to Journal › Article › Academic › peer-review

• Formal Verification of Distributed Systems

  Pang, J., 2004, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  18 Downloads (Pure)

• Higher-order rewriting with types and arities

  Jouannaud, J-P., van Raamsdonk, F. & Rubio, A., 2004, In: Aachener Informatik-Berichte. AIB-2004-0, p. 89-92

  Research output: Contribution to Journal › Article › Academic › peer-review

• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems

  Rutten, J. J. M. M., Kwiatkowska, M., Norman, G. & Parker, D. H., 2004, x: American Mathematical Society. (CRM Monograph Series; no. 23)

  Research output: Book / Report › Book › Academic › peer-review

• Models and Temporal Logics for Timed Component Connectors

  Arbab, F., Baier, C., Boer, F. C. & Rutten, J. J. M. M., 2004, Proceedings of the International Conference on Software Engineering and Formal Methods (SEFM'04). IEEE Society Press, p. 198-207

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

• Nested semantics over finite trees are equationally hard

  Aceto, L., Fokkink, W. J., van Glabbeek, R. J. & Ingólfsdóttir, A., 2004, In: Information and Computation. 191, 2, p. 203-232

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Semantics
  • Axiomatization
  • Sound
  • Express
  • Trace

• On Distributed Verification and Verified Distribution

  Orzan, S. M., 2004, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  58 Downloads (Pure)

• On Finite Alphabets and Infinite Bases: From Ready Pairs to Possible Worlds

  Fokkink, W. J. & Nain, S., 2004, In: Lecture Notes in Computer Science. 2987, p. 182-194

  Research output: Contribution to Journal › Article › Academic › peer-review

• Precongruence formats for decorated trace semantics

  Bloom, B., Fokkink, W. J. & van Glabbeek, R. J., 2004, In: ACM Transactions on Computational Logic. 5, 1, p. 26-78

  Research output: Contribution to Journal › Article › Academic › peer-review

  • Preorder
  • Semantics
  • Trace
  • Concretes
  • Specifications

• Proceedings of the 2nd International Workshop on Higher-Order Rewriting (HOR 2004)

  Kesner, D. (ed.), van Raamsdonk, F. (ed.) & Wells, J. (ed.), 2004, Unknown Publisher. (Aachener Informatik-Berichte; no. AIB-2004-03)

  Research output: Book / Report › Book editing › Academic

• Process Algebra Needs Proof Methodology (Columns: Concurrency)

  Fokkink, W. J., Groote, J. F. & Reniers, M. A., 2004, In: Bulletin of the European Association for Theoretical Computer Science. 82, p. 109-125

  Research output: Contribution to Journal › Article › Academic › peer-review

• Verifying a Sliding Window Protocol in mCRL

  Fokkink, W. J., Groote, J. F., Pang, J., Badban, B. & van de Pol, J. C., 2004, In: Lecture Notes in Computer Science. 3116, p. 148-163

  Research output: Contribution to Journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-review
• 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 proceeding › Chapter › Academic › peer-review

• A coinductive calculus of component connectors

  Arbab, F. & Rutten, J. J. M. M., 2003, In: Lecture Notes in Computer Science. 2755, p. 35-56

  Research output: Contribution to Journal › Article › 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

• Analysis of a Redesigned Lift System Using UPPAAL

  Karstens, B., Fokkink, W. & Pang, J., 2003, Proceedings 5th Conference on Formal Engineering Methods: ICFEM'03: Lecture Notes in Computer Science 2885 . Springer/Verlag, Vol. 2885. p. 504-522

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic

  Open Access

  • Testing

• Analyzing the Redesign of a Distributed Lift System in UPPAAL

  Pang, J., Karstens, B. & Fokkink, W. J., 2003, In: Lecture Notes in Computer Science. 2885, p. 504-522

  Research output: Contribution to Journal › Article › Academic › peer-review

• A note on an expressiveness hierarchy for multi-exit iteration

  Aceto, L., Fokkink, W. J. & Ingólfsdóttir, A., 2003, In: Information Processing Letters. 87, 1, p. 17-23

  Research output: Contribution to Journal › Article › Academic › peer-review

• A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory

  Luttik, B., 2003, In: Lecture Notes in Computer Science. 2747, p. 562-571

  Research output: Contribution to Journal › Article › Academic › peer-review

• Behavioural differential equations: a coinductive calculus of streams, automata, and power series

  Rutten, J. J. M. M., 2003, In: Theoretical Computer Science. 308, 1, p. 1-53

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

• Coinductive counting with weighted automata

  Rutten, J. J. M. M., 2003, In: Journal of Automata, Languages and Combinatorics. 8, 2, p. 319-352

  Research output: Contribution to Journal › Article › Academic › peer-review

• Compiler and Runtime Optimizations for Fine-Grained Distributed Shared Memory Systems

  Veldema, R. S., 2003

  Research output: PhD Thesis › PhD Thesis - Research VU Amsterdam, graduation VU Amsterdam

  Open Access

  File
  8 Downloads (Pure)

• Compositionality of Hennessy-Milner Logic through Structural Operational Semantics

  Fokkink, W. J., van Glabbeek, R. J. & de Wind, P., 2003, Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings. Lingas, A. & Nilsson, B. (eds.). Springer, p. 412-422 (Lecture Notes in Computer Science).

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

• Cones and Foci for Protocol Verification Revisited

  Fokkink, W. J. & Pang, J., 2003, In: Lecture Notes in Computer Science. 2620, p. 267-281

  Research output: Contribution to Journal › Article › 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-474

  Research 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-87

  Research 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-59

  Research 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-667

  Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

• Model Checking a Cache Coherence Protocol for a Java DSM Implementation

  Pang, J., Fokkink, W. J., Hofman, R. F. H. & Veldema, R. S., 2003, 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. IEEE Computer Society, p. 238

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

• Modeling component connectors in Reo by constraint automata

  Arbab, F., Baier, C., Rutten, J. J. M. M. & Sirjani, M., 2003, In: Electronic Notes in Theoretical Computer Science. 97

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

  • Connector
  • Automata
  • Semantics
  • Modeling
  • Model checking

• On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces

  Blom, S., Fokkink, W. J. & Nain, S., 2003, In: Lecture Notes in Computer Science. 2719, p. 109-118

  Research output: Contribution to Journal › Article › Academic › peer-review

• On the expressiveness of choice quantification

  Luttik, B., 2003, In: Annals of Pure and Applied Logic. 121, 1, p. 39-87

  Research output: Contribution to Journal › Article › Academic › peer-review

  Open Access

• 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 proceeding › Chapter › Academic › peer-review

• Proceedings of the 8th Workshop on Formal Methods for Industrial Critical Systems

  Arts, T. (ed.) & Fokkink, W. J. (ed.), 2003, Elsevier. (Electronic Notes in Theoretical Computer Science; no. 80)

  Research output: Book / Report › Book editing › Academic

• 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 proceeding › Chapter › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Chapter › Academic › peer-review

• Structural operational semantics and bounded nondeterminism

  Fokkink, W. J. & Vu, T. D., 2003, In: Acta Informatica. 39, 6-7, p. 501-516

  Research output: Contribution to Journal › Article › Academic › peer-review

• Term Rewriting Systems

  Terese, U., 2003, Cambridge: Cambridge University Press. (Cambridge Tracts in Theoretical Computer Science; no. 55)

  Research output: Book / Report › Book › Academic › peer-review