Theoretical Computer Science

Research Output 1993 2019

Filter
Article
2010

Transforming Outermost into Context-Sensitive Rewriting

Endrullis, J. & Hendriks, R. D. A., 2010, In : Logical Methods in Computer Science. 6, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
2009

A finite equational base for CCS with left merge and communication merge

Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Luttik, B., 2009, In : ACM Transactions on Computational Logic. 10, 1:6, p. 1-26

Research output: Contribution to JournalArticleAcademicpeer-review

Communication
Recursion
Modulo
Fragment
Valid

A Kleene theorem for polynomial coalgebras

Bonsangue, M. M., Rutten, J. J. M. M. & Silva, A., 2009, In : Lecture Notes in Computer Science. 5504, p. 122-136

Research output: Contribution to JournalArticleAcademicpeer-review

An Analytical Model of Information Dissemination for a Gossip-based Protocol

Bakhshi, R. R., Gavidia Simonetti, D. P., Fokkink, W. J. & van Steen, M. R., 2009, In : Computer Networks (1999). 53, 13, p. 2288-2303

Research output: Contribution to JournalArticleAcademicpeer-review

Information dissemination
Analytical models
Experiments

An Analytical Model of Information Dissemination for a Gossip-based Protocol

Bakhshi, R. R., Gavidia Simonetti, D. P., Fokkink, W. J. & van Steen, M. R., 2009, In : Lecture Notes in Computer Science. 5408, p. 230-242

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Applications of infinitary lambda calculus

Barendregt, H. & Klop, J. W., 2009, In : Information and Computation. 207, 5, p. 559-582

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Lambda Calculus
Religious buildings
Pairing
Counterexample
Confluence

A Process-Theoretic Look at Automata

Baeten, J. C. M., Cuijpers, P. J. L., Luttik, B. & Tilburg van, P. J. A., 2009, In : Lecture Notes in Computer Science. 5961, p. 1-33

Research output: Contribution to JournalArticleAcademicpeer-review

Automated translation and analysis of a ToolBus script for auctions

Fokkink, W. J., Klint, P., Lisser, B. & Usenko, Y. S., 2009, In : Lecture Notes in Computer Science. 5961, p. 308-323

Research output: Contribution to JournalArticleAcademicpeer-review

Branching Bisimilarity with Explicit Divergence

van Glabbeek, R. J., Luttik, B. & Trcka, N., 2009, In : Fundamenta Informaticae. 93, 4, p. 371-392 21 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Complexity of Fractran and Productivity

Endrullis, J., Grabmayer, C. A. & Hendriks, R. D. A., 2009, In : Lecture Notes in Computer Science. 5663, p. 371-387

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Computation Tree Logic with Deadlock Detection

van Glabbeek, R. J., Luttik, B. & Trcka, N., 2009, In : Logical Methods in Computer Science. 5, 4

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Degrees of Undecidability in Term Rewriting

Endrullis, J., Geuvers, H. & Zantema, H., 2009, In : Lecture Notes in Computer Science. 5771, p. 255-270

Research output: Contribution to JournalArticleAcademicpeer-review

Deriving syntax and axioms for quantitative regular behaviours

Bonchi, F., Bonsangue, M. M., Rutten, J. J. M. M. & Silva, A., 2009, In : Lecture Notes in Computer Science. 5710, p. 146-162

Research output: Contribution to JournalArticleAcademicpeer-review

Equational reasoning on ad hoc networks

Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2009, In : Lecture Notes in Computer Science. 5961, p. 113-128

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development

Bonzanni, N., Krepska, E., Feenstra, K. A., Fokkink, W. J., Kielmann, T., Bal, H. E. & Heringa, J., 15 Aug 2009, In : Bioinformatics. 25, 16, p. 2049-56 8 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Predictive Modeling
Biological Phenomena
Developmental Biology
Caenorhabditis elegans
MicroRNAs

From Outermost to Context-Sensitive Rewriting

Endrullis, J. & Hendriks, R. D. A., 2009, In : Lecture Notes in Computer Science. 5595, p. 305-319

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

FTRepMI: Fault-tolerant, sequentially-consistent object replication for grid applications

Oprescu, A., Kielmann, T. & Fokkink, W. J., 2009, In : Lecture Notes in Computer Science. 5408, p. 368-376

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Guest editors' introduction

Krikhaar, R. L. & Laemmel, R., 2009, In : Science of Computer Programming. 74, 7, p. 397-398

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Local Termination

Endrullis, J., de Vrijer, R. C. & Waldmann, J., 2009, In : Lecture Notes in Computer Science. 5595, p. 270-284

Research output: Contribution to JournalArticleAcademicpeer-review

Modal logic and the approximation induction principle

Gazda, M. & Fokkink, W. J., 2009, In : Electronic Proceedings in Theoretical Computer Science. 8, p. 41-50

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Neighbourhood Structures: Bisimilarity and Basic Model Theory

Hansen, H. H., Kupke, C. & Pacuit, E., 2009, In : Logical Methods in Computer Science. 5, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Neighbourhood Structures: Bisimilarity and Basic Model Theory

Hansen, H. H., Kupke, C. & Pacuit, E., 2009, In : Logical Methods in Computer Science. 5, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

On Finite Bases for Weak Semantics: Failures Versus Impossible Futures

Chen, T., Fokkink, W. J. & van Glabbeek, R. J., 2009, In : Lecture Notes in Computer Science. 5404, p. 167-180

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Process algebra: An algebraic theory of concurrency

Fokkink, W. J., 2009, In : Lecture Notes in Computer Science. 5725, p. 47-77

Research output: Contribution to JournalArticleAcademicpeer-review

Proving Infinitary Normalization

Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Klop, J. W. & de Vrijer, R. C., 2009, In : Lecture Notes in Computer Science. 5497, p. 64-82

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

The Equational Theory of Prebisimilarity over Basic CCS with Divergence

Aceto, L., Capobianco, S., Ingolfsdottir, A. & Luttik, B., 2009, In : Information Processing Letters. 108, 5, p. 284-289

Research output: Contribution to JournalArticleAcademicpeer-review

Equational Theory
Divergence
Axiomatization
Preorder
Bisimulation

What can formal methods bring to systems biology?

Bonzanni, N., Feenstra, K. A., Fokkink, W. J. & Krepska, E., 2009, In : Lecture Notes in Computer Science. 5850, p. 16-22

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
2008

A Cancellation Theorem for BCCSP

Aceto, L., Fokkink, W. J. & Ingólfsdóttir, A., 2008, In : Fundamenta Informaticae. 88, 1-2, p. 1-21

Research output: Contribution to JournalArticleAcademicpeer-review

A Higher-Order Iterative Path Ordering

Kop, C. L. M., 2008, In : Lecture Notes in Computer Science. 5330, p. 697-711

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Coalgebraic logic and synthesis of Mealy machines

Bonsangue, M. M., Rutten, J. J. M. M. & Silva, A. M., 2008, In : Lecture Notes in Computer Science. 4962, p. 231-245

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Coalgebraising Subsequential Transducers

Hansen, H. H., 2008, In : Electronic Notes in Theoretical Computer Science. 203, p. 109-129

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Transducer
Transducers
Coalgebra
Partial Words
State Machine

Data-Oblivious Stream Productivity

Endrullis, J., Grabmayer, C. A. & Hendriks, R. D. A., 2008, In : Lecture Notes in Computer Science. 5330, p. 79-96

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Design Issues for Qualitative Modelling of Biological Cells with Petri Nets

Krepska, E., Bonzanni, N., Feenstra, K. A., Fokkink, W. J., Kielmann, T., Bal, H. E. & Heringa, J., 2008, In : Lecture Notes in Computer Science. 5054, p. 48-62

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

In vivo three-dimensional imaging of neovascular age-related macular degeneration using optical frequency domain imaging at 1050 nm

R.E. Bruin, D. E., Burnes, D. L., Loewenstein, J., Chen, Y., Chang, S., Chen, T., Esmaili, D. D. & de Boer, J. F., 2008, In : Investigative Ophthalmology and Visual Science. p. 4545-4552

Research output: Contribution to JournalArticleAcademicpeer-review

Choroidal Neovascularization
Three-Dimensional Imaging
Macular Degeneration
Fluorescein
Angiography

Is Timed Branching Bisimilarity a Congruence Indeed?

Fokkink, W. J., Pang, J. & Wijs, A., 2008, In : Fundamenta Informaticae. 87, 3-4, p. 287-311

Research output: Contribution to JournalArticleAcademicpeer-review

Lambda calculus with patterns

Klop, J. W., van Oostrom, V. & de Vrijer, R. C., 2008, In : Theoretical Computer Science. 398, 1-3, p. 16-31

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Functional programming
Lambda Calculus
Computer programming languages
Calculus
Functional Programming

Leader Election in Anonymous Rings: Franklin Goes Probabilistic

Bakhshi, R. R., Fokkink, W. J., Pang, J. & van de Pol, J. C., 2008, In : IFIP. 273, p. 57-72

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Mousavi, M. R., 2008, In : IFIP. 273, p. 301-316

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Matrix Interpretations for Proving Termination of Term Rewriting

Endrullis, J., Waldmann, J. & Zantema, H., 2008, In : Journal of Automated Reasoning. 40, 2-3, p. 195-220

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Industry

Mean-field Analysis for the Evaluation of Gossip Protocols

Bakhshi, R. R., Cloth, L., Fokkink, W. J. & Haverkort, B. R., 2008, In : ACM Sigmetrics Performance Evaluation Review. 36, 3, p. 31-39

Research output: Contribution to JournalArticleAcademicpeer-review

Observational coalgebras and complete sets of co-operations

Kupke, C. & Rutten, J. J. M. M., 2008, In : Electronic Notes in Theoretical Computer Science. 203, p. 153-174

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Coalgebra
Demonstrate

On finite alphabets and infinite bases

Chen, T., Fokkink, W. J., Luttik, B. & Nain, S., 2008, In : Information and Computation. 206, 5, p. 492-519

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Semantics
Axiomatization
Branching
Linear Time
Simulation

On the Axiomatisability of Priority

Aceto, L., Chen, T., Fokkink, W. J. & Ingólfsdóttir, A., 2008, In : Mathematical Structures in Computer Science (MSCS). 18, 1, p. 5-28

Research output: Contribution to JournalArticleAcademicpeer-review

Bisimulation
Acoustic waves
Axiomatization
Equivalence
Predicate

On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic

Bezem, M. & Hendriks, R. D. A., 2008, In : Journal of Automated Reasoning. 40, 1, p. 61-85

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Mechanization
Automation
Geometry
Industry

Rational streams coalgebraically

Rutten, J. J. M. M., 2008, In : Logical Methods in Computer Science. 4, 3

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Ready to preorder: The case of weak process semantics

Chen, T., Fokkink, W. J. & van Glabbeek, R. J., 2008, In : Information Processing Letters. 109, 2, p. 104-111

Research output: Contribution to JournalArticleAcademicpeer-review

Preorder
Semantics
Axiomatization
Acoustic waves
Branching

Reduction Under Substitution

Endrullis, J. & de Vrijer, R. C., 2008, In : Lecture Notes in Computer Science. 5117, p. 425-440

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Towards Formal Verification of ToolBusScripts

Fokkink, W. J., Klint, P., Lisser, B. & Usenko, Y. S., 2008, In : Lecture Notes in Computer Science. 5140, p. 160-166

Research output: Contribution to JournalArticleAcademicpeer-review

2007

A characterization of regular expressions under bisimulation

Baeten, J. C. M., Corradini, F. & Grabmayer, C. A., 2007, In : Journal of the Association for Computing Machinery. 54, 2

Research output: Contribution to JournalArticleAcademicpeer-review

Finite automata
Stars

Adapting the UPPAAL Model of a Distributed Lift System

Fokkink, W. J., Kakebeen, A. & Pang, J., 2007, In : Lecture Notes in Computer Science. 4767, p. 81-97

Research output: Contribution to JournalArticleAcademicpeer-review