Theoretical Computer Science

Research Output 1993 2019

Filter
Article
2013

Reliability analyses of open government data

Ceolin, D., Moreau, L., O'Hara, K., Schreiber, A. T., Sackley, A., Fokkink, W. J., van Hage, W. R. & Shadbolt, N., 2013, In : CEUR Workshop Proceedings. 1079, p. 34-39

Research output: Contribution to JournalArticleAcademicpeer-review

Turning GSOS into equations for linear time-branching time semantics

Gazda, M. & Fokkink, W. J., 2013, In : Computer Journal. 56, 1, p. 34-44

Research output: Contribution to JournalArticleAcademicpeer-review

Semantics
Algebra
2012

Analysis of DIRAC's behavior using model checking with process algebra

Remenska, D., Templon, J. A., Willemse, T. A. C., Bal, H. E., Verstoep, K., Fokkink, W. J., Charpentier, P., Graciana Diaz, R., Lanciotti, E., Roiser, S. & Ciba, K., 2012, In : Journal of Physics: Conference Series. 396, 5, 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

algebra
grids
space exploration
management systems
tracing

Automated Evaluation of Annotators for Museum Collections using Subjective Logic

Ceolin, D., Nottamkandath, A. & Fokkink, W. J., 2012, In : IFIP. 374, p. 232-239

Research output: Contribution to JournalArticleAcademicpeer-review

Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics

Gebler, D. & Fokkink, W. J., 2012, In : Lecture Notes in Computer Science. 7454, p. 395-409

Research output: Contribution to JournalArticleAcademicpeer-review

Discriminating Lambda-terms using Clocked Boehm Trees

Endrullis, J., Hendriks, R. D. A., Klop, J. W. & Polonsky, A., 2012, (Accepted/In press) In : Logical Methods in Computer Science.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Divide and congruence: From decomposition of modal formulas to preservation of branching and eta-bisimilarity

Fokkink, W. J., van Glabbeek, R. J. & de Wind, P., 2012, In : Information and Computation. 214, p. 59-85

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Preservation
Algebra
Congruence
Divides
Branching

Dynamic Dependency Pairs for Algebraic Functional Systems

Kop, C. L. M. & van Raamsdonk, F., 2012, (Accepted/In press) In : Logical Methods in Computer Science.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Managing software development information in global configuration management activities

Capilla, R., Duenas, J. C. & Krikhaar, R. L., 2012, In : Systems Engineering. 15 (3), p. 241-254

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Software engineering
Industry

Modal logic and the approximation induction principle

Gazda, M. & Fokkink, W. J., 2012, In : Mathematical Structures in Computer Science (MSCS). 22, 1, p. 175-201

Research output: Contribution to JournalArticleAcademicpeer-review

Modal Logic
Proof by induction
Semantics
Equivalence
Acoustic waves

Model checking under fairness in ProB and its application to fair exchange protocols

Williams, D. M., de Ruiter, J. & Fokkink, W. J., 2012, In : Lecture Notes in Computer Science. 7521, p. 168-182

Research output: Contribution to JournalArticleAcademicpeer-review

Subjective Logic Extensions for the Semantic Web

Ceolin, D., Nottamkandath, A. & Fokkink, W. J., 2012, In : CEUR Workshop Proceedings. 900, p. 27-38

Research output: Contribution to JournalArticleAcademicpeer-review

Trust Evaluation through User Reputation and Provenance Analysis

Ceolin, D., Groth, P., van Hage, W. R., Nottamkandath, A. & Fokkink, W. J., 2012, In : CEUR Workshop Proceedings. 900, p. 15-26

Research output: Contribution to JournalArticleAcademicpeer-review

2011

A high-level framework for distributed processing of large-scale graphs

Krepska, E. L., Kielmann, T., Fokkink, W. J. & Bal, H. E., 2011, In : Lecture Notes in Computer Science. 6522, p. 155-166

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Analysis of gossip-based information propagation in wireless mesh networks

Shamsaie, A., Fokkink, W. J. & Habibi, J., 2011, In : Lecture Notes in Computer Science. 6977, p. 174-188

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Automated verification of executable UML models

Hansen, H. H., Ketema, J., Luttik, B., Mousavi, M. R., van de Pol, J. C. & dos Santos, O. M., 2011, In : Lecture Notes in Computer Science. 6957

Research output: Contribution to JournalArticleAcademicpeer-review

Computations and Interaction.

Baeten, J. C. M., Luttik, B. & van Tilburg, P., 2011, In : Lecture Notes in Computer Science. 6536, p. 35-54

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Context-Free Languages, Coalgebraically

de Winter, J., Bonsangue, M. M. & Rutten, J. J. M. M., 2011, In : Lecture Notes in Computer Science. 6859, p. 359-376

Research output: Contribution to JournalArticleAcademicpeer-review

Distributed MAP in the SpinJa model checker

Vijzelaar, S. J. J., Verstoep, K., Fokkink, W. J. & Bal, H. E., 2011, In : Electronic Proceedings in Theoretical Computer Science. 72, p. 84-90

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Estimating uncertainty of categorical Web data

Ceolin, D., van Hage, W. R., Fokkink, W. J. & Schreiber, A. T., 2011, In : CEUR Workshop Proceedings. 778, p. 15-26

Research output: Contribution to JournalArticleAcademicpeer-review

Fast leader election in anonymous rings with bounded expected delay

Bakhshi, R. R., Endrullis, J., Fokkink, W. J. & Pang, J., 2011, In : Information Processing Letters. 111, 17, p. 864-870

Research output: Contribution to JournalArticleAcademicpeer-review

Leader Election
Ring
Ad hoc networks
Sensor networks
Elections

Harnessing First Order Termination Provers Using Higher Order Dependency Pairs

Fuhs, C. & Kop, C. L. M., 2011, In : Lecture Notes in Computer Science. 6989, p. 147-162

Research output: Contribution to JournalArticleAcademicpeer-review

Termination
Higher Order
First-order
Rewriting
Term

HipG: Parallel processing of large-scale graphs

Krepska, E. L., Kielmann, T., Fokkink, W. J. & Bal, H. E., 2011, In : ACM SIGOPS Operating Systems Review. 45, 2, p. 1-13

Research output: Contribution to JournalArticleAcademicpeer-review

Intentional Automata: A context-Dependent Model for Component Connectors

Costa, D., Niqui, M. & Rutten, J. J. M. M., 2011, In : Lecture Notes in Computer Science. 7141, p. 335-342

Research output: Contribution to JournalArticleAcademicpeer-review

Lazy Productivity via Termination

Endrullis, J. & Hendriks, R. D. A., 2011, In : Theoretical Computer Science. 412, 28, p. 3203-3225

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Term Rewriting Systems
Termination
Productivity
Haskell
Rewriting

Levels of Undecidability in Rewriting

Endrullis, J., Geuvers, H., Simonsen, J. G. & Zantema, H., 2011, In : Information and Computation. 209, 2, p. 227-245

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Undecidability
Rewriting
Confluence
Arithmetical Hierarchy
Term Rewriting Systems

Mean-field framework for performance evaluation of push-pull gossip protocols

Bakhshi, R. R., Cloth, L., Fokkink, W. J. & Haverkort, B. R., 2011, In : Performance Evaluation. 68, 2, p. 157-179

Research output: Contribution to JournalArticleAcademicpeer-review

Gossip
Random processes
Mean Field
Performance Evaluation
Stochastic Processes

On Equal mu-Terms

Endrullis, J., Grabmayer, C. A., Klop, J. W. & van Oostrom, V., 2011, In : Theoretical Computer Science. 412, 28, p. 3175-3202

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Term

On the Axiomatizability of Priority II

Aceto, L., Chen, T., Ingolfsdottir, A., Luttik, B. & van de Pol, J. C., 2011, In : Theoretical Computer Science. 412, p. 3035-3044

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Algebra
Valid
Equational Theory
Process Algebra
Operator

Quantitative Kleene coalgebras

Silva, A., Bonchi, F., Bonsangue, M. M. & Rutten, J. J. M. M., 2011, In : Information and Computation. 209, 5, p. 822-849

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Coalgebra
Acoustic waves
Costs
Axiomatization
Regular Expressions

Reactive Turing Machines

Baeten, J. C. M., Luttik, B. & Tilburg van, P. J. A., 2011, In : Lecture Notes in Computer Science. 6914, p. 348-359

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Simplifying Algebraic Functional Systems

Kop, C. L. M., 2011, In : Lecture Notes in Computer Science. 6742, p. 201-215

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Stochastic restricted broadcast process theory

Ghassemi, F., Talebi, M., Movaghar, A. & Fokkink, W. J., 2011, In : Lecture Notes in Computer Science. 6977, p. 72-86

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

The free process algebra generated by δ, ϵ and τ

Rodenburg, P., Klop, J. W., Koymans, K. & Vrancken, J. L. M., 2011, In : Theoretical Computer Science. 412, 28, p. 3370-3377

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in Saccharomyces cerevisiae

Bonzanni, N., Zhang, N., Oliver, S. G. & Fisher, J., 2011, In : Bioinformatics. 27, 13, p. 283-287

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Proteolysis
Transcription factors
Saccharomyces Cerevisiae
Proteasome Endopeptidase Complex
Transcription Factor

Towards model checking executable UML specifications in mCRL2

Hansen, H. H., Ketema, J., Mousavi, M. R., Luttik, B. & van de Pol, J. C., 2011, In : Innovations in Systems and Software Engineering. 6, 1-2, p. 83-90

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Unguardedness Mostly Means Many Solutions

Baeten, J. C. M. & Luttik, B., 2011, In : Theoretical Computer Science. 412, p. 3090-3100

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Process Algebra
Algebra
Specifications
Unique Solution
Specification

Verification of mobile ad hoc networks: An algebraic approach

Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2011, In : Theoretical Computer Science. 412, 28, p. 3262-3282

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Algebraic Approach
Mobile ad hoc networks
Mobile Ad Hoc Networks
Model checking
Model Checking
2010

A coinductive calculus of binary trees

Silva, A. & Rutten, J. J. M. M., 2010, In : Information and Computation. 208, 5, p. 578-593 15 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Binary trees
Binary Tree
Calculus

A decision procedure for bisimilarity of generalized regular expressions.

Bonsangue, M. M., Caltais, G., Goriac, D., Lucanu, D., Rutten, J. J. M. M. & Silva, A., 2010, In : Lecture Notes in Computer Science.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Complete sets of cooperations.

Kupke, C. & Rutten, J. J. M. M., 2010, In : Information and Computation. 208, 12, p. 1398-1420 22 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Coalgebra
Concretes
Carrier set

Congruence from the operator's point of view: compositionality requirements on process semantics

Gazda, M. & Fokkink, W. J., 2010, In : Electronic Proceedings in Theoretical Computer Science. 32, p. 15-25

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Semantics
Chemical analysis
Algebra
Specifications

Embedded network protocols for mobile devices

Galataki, D., Radulescu, A., Verstoep, K. & Fokkink, W. J., 2010, In : Lecture Notes in Computer Science. 6371, p. 164-179

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Equational reasoning on mobile ad hoc networks

Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2010, In : Fundamenta Informaticae. 103, 1, p. 1-41

Research output: Contribution to JournalArticleAcademicpeer-review

Lifting non-finite axiomatizability results to extensions of process algebras

Aceto, L., Fokkink, W. J., Ingolfsdottir, A. & Mousavi, M. R., 2010, In : Acta Informatica. 47, 3, p. 147-177

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Algebra
Acoustic waves

Local Termination: theory and practice

Endrullis, J., de Vrijer, R. C. & Waldmann, J., 2010, In : Logical Methods in Computer Science. 6, 3

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Non-deterministic Kleene coalgebras

Silva, A. M., Bonsangue, M. M. & Rutten, J. J. M. M., 2010, In : Logical Methods in Computer Science. 6, 3, p. 1-44 44 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Productivity of Stream Definitions

Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Ishihara, A. & Klop, J. W., 2010, In : Theoretical Computer Science. 411, 4-5, p. 765-782

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Productivity
Data Flow
Normal Form
Trivial
Output

Sampling, Splitting and Merging in Coinductive stream Caculus

Niqui, M. & Rutten, J. J. M. M., 2010, In : Lecture Notes in Computer Science. 6120, p. 310-330

Research output: Contribution to JournalArticleAcademicpeer-review

Symbolic Synthesis of Mealy Machines from Arithmetic Bistream Functions

Hansen, H. H. & Rutten, J. J. M. M., 2010, In : Scientific Annals of Computer Science. 20, p. 97-130

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File