Theoretical Computer Science

Research Output 1993 2019

Filter
Article
2007

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

A duality between proof systems for cyclic term graphs

Grabmayer, C. A., 2007, In : Mathematical Structures in Computer Science (MSCS). 17, 3, p. 439-484

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
Proof System
Duality
Specifications
Term
Graph in graph theory

Autocalibration of spectral-domain optical coherence tomography spectrometers for in vivo quantitative retinal nerve fiber layer birefringence determination

Mujat, M., Park, B. H., Cense, B., Chen, T. & de Boer, J. F., 2007, In : Journal of Biomedical Optics. 12, 4

Research output: Contribution to JournalArticleAcademicpeer-review

Beam-charge azimuthal asymmetry and deeply virtual Compton scattering

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., van der Nat, P. B., Volmer, J. & Wang, S., 2007, In : Physical Review D. 75, 1

Research output: Contribution to JournalArticleAcademicpeer-review

asymmetry
interference
scattering
scattering amplitude
partons

Behavioural differential equations and coinduction for binary trees

Silva, A. M. & Rutten, J. J. M. M., 2007, In : Lecture Notes in Computer Science. 4576, p. 322-336

Research output: Contribution to JournalArticleAcademicpeer-review

Bisimulation for Neighbourhood Structures

Hansen, H. H., Kupke, C. & Pacuit, E., 2007, In : Lecture Notes in Computer Science. 4624, p. 279-293

Research output: Contribution to JournalArticleAcademicpeer-review

Coalgebraic foundations of linear systems

Rutten, J. J. M. M., 2007, In : Lecture Notes in Computer Science. 4624, p. 425-446

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Formal Analysis Techniques for Gossiping Protocols

Bakhshi, R. R., Bonnet, F., Fokkink, W. J. & Haverkort, B. R., 2007, In : ACM SIGOPS Operating Systems Review. 41, 5, p. 28-36

Research output: Contribution to JournalArticleAcademicpeer-review

Network protocols
Formal verification

Hydra Games and Tree Ordinals

Ishihara, A., 2007, In : Lecture Notes in Computer Science. 4576, p. 238-247

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Model checking a cache coherence protocol of a Java DSM implementation

Pang, J., Fokkink, W. J., Hofman, R. & Veldema, R. S., 2007, In : Journal of Logic and Algebraic Programming. 71, 1, p. 1-43

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Cache Coherence
Model checking
Model Checking
Java
Network protocols

Polarization-sensitive spectral-domain optical coherence tomography using a single line scan camera

Cense, B., Mujat, M., Chen, T., Park, B. H. & de Boer, J. F., 2007, In : Optics Express. 15, 5, p. 2421-2431 11 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
tomography
cameras
birefringence
polarization
nerve fibers

Productivity of Stream Definitions

Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Ishihara, A. & Klop, J. W., 2007, In : Lecture Notes in Computer Science. 4639, p. 274-287

Research output: Contribution to JournalArticleAcademicpeer-review

Ready to Preorder: Get Your BCCSP Axiomatization for Free!

Aceto, L., Fokkink, W. J. & Ingólfsdóttir, A., 2007, In : Lecture Notes in Computer Science. 4624, p. 65-79

Research output: Contribution to JournalArticleAcademicpeer-review

Reduction Strategies and Acyclicity

Klop, J. W., van Oostrom, V. & van Raamsdonk, F., 2007, In : Lecture Notes in Computer Science. 4600, p. 89-112

Research output: Contribution to JournalArticleAcademicpeer-review

Three dimensional tracking for volumetric spectral-domain optical coherence tomography

Maguluri, G. N., Mujat, M., Park, B. H., Kim, K. I., Sun, W., Iftimia, N. V., Ferguson, R. A., Hammer, D. X., Chen, T. & de Boer, J. F., 2007, In : Optics Express. 15, 25, p. 16808-16817 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Verification of Peer-to-Peer Algorithms: a Case Study.

Bakhshi, R. R. & Gurov, D., 2007, In : Electronic Notes in Theoretical Computer Science. 181, p. 35-47

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
2006

A Finite Equational Base for CCS with Left Merge and Communication Merge

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2006, In : Lecture Notes in Computer Science. 4052, p. 492-503

Research output: Contribution to JournalArticleAcademicpeer-review

Algebraic specification and coalgebraic synthesis of Mealy automata

Rutten, J. J. M. M., 2006, In : Electronic Notes in Theoretical Computer Science. 160, p. 305-319

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Bisimilarity is not finitely based over BPA with interrupt

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Nain, S., 2006, In : Theoretical Computer Science. 366, 1-2, p. 60-81

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Basic Algebra
Process Algebra
Algebra
Mathematical operators
Closed

Compositionality of Hennessy-Milner logic by structural operational semantics

Fokkink, W. J., van Glabbeek, R. J. & de Wind, P., 2006, In : Theoretical Computer Science. 354, 3, p. 421-440

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Structural Operational Semantics
Compositionality
Algebra
Semantics
Logic

Computing with Actions and Communications

Fokkink, W. J. & Klop, J. W., 2006, In : Bulletin of the Belgian Mathematical Society Simon Stevin. 13, 5, p. 789-806

Research output: Contribution to JournalArticleAcademicpeer-review

Cones and foci: A mechanical framework for protocol verification

Fokkink, W. J., Pang, J. & van de Pol, J. C., 2006, In : Formal Methods in System Design. 29, 1, p. 1-31

Research output: Contribution to JournalArticleAcademicpeer-review

Protocol Verification
Cones
Cone
Network protocols
Specifications

Divide and Congruence Applied to \it eta-Bisimulation

Fokkink, W. J., van Glabbeek, R. J. & de Wind, P., 2006, In : Electronic Notes in Theoretical Computer Science. 156, p. 97-113

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Bisimulation
Algebra
Congruence
Divides
Process Algebra

High-speed imaging of human retina in vivo with swept-source optical coherence tomography

Lim, H. D., Mujat, M., Kerbage, C., Lee, E. C. W., Chen, Y., Chen, T. & de Boer, J. F., 2006, In : Optics Express. 14, 26, p. 12902-12908 7 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Histologic correlation of in vivo optical coherence tomography images of the human retina

Chen, T., Cense, B., Miller, J. S., Rubin, P. A. D., Deschler, D. G., Gragoudas, E. S. & de Boer, J. F., 2006, In : American Journal of Ophthalmology. 141, 6, p. 1165-1168

Research output: Contribution to JournalArticleAcademicpeer-review

Optical Coherence Tomography
Retina
Histology
Geographic Atrophy
Optic Nerve

Iterative Lexicographic Path Orders

Klop, J. W., van Oostrom, V. & de Vrijer, R. C., 2006, In : Lecture Notes in Computer Science. 4060, p. 541-554

Research output: Contribution to JournalArticleAcademicpeer-review

Longitudinal spin transfer to the Lambda hyperon in semiinclusive deep-inelastic scattering

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., van der Nat, P. B., Volmer, J. & Wang, S., 2006, In : Physical Review D. 74, 7

Research output: Contribution to JournalArticleAcademicpeer-review

positrons
inelastic scattering
energy
momentum
polarization

Matrix Interpretations for Proving Termination of Term Rewriting

Endrullis, J., Waldmann, J. & Zantema, H., 2006, In : Lecture Notes in Computer Science. 4130, p. 574-588

Research output: Contribution to JournalArticleAcademicpeer-review

Modeling component connectors in Reo by constraint automata

Arbab, F., Baier, C., Rutten, J. J. M. M. & Sirjani, M., 2006, In : Science of Computer Programming. 61, 2, p. 75-113

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Chemical analysis

On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation

Chen, T., Fokkink, W. J. & Nain, S., 2006, In : Lecture Notes in Computer Science. 3921, p. 1-15

Research output: Contribution to JournalArticleAcademicpeer-review

On Finite Alphabets and Infinite Bases III: Simulation

Chen, T. & Fokkink, W. J., 2006, In : Lecture Notes in Computer Science. 4137, p. 421-434

Research output: Contribution to JournalArticleAcademicpeer-review

On the Axiomatizability of Priority

Aceto, L., Chen, T., Fokkink, W. J. & Ingólfsdóttir, A., 2006, In : Lecture Notes in Computer Science. 4052, p. 480-491

Research output: Contribution to JournalArticleAcademicpeer-review

Pulsed illumination spectral-domain optical coherence tomography for human retinal imaging

You, J. W., Chen, T., Mujat, M., Park, B. H. & de Boer, J. F., 2006, In : Optics Express. 14, 15, p. 6739-6748 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Reflections on a Geometry of Processes

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2006, In : Electronic Notes in Theoretical Computer Science. 162, p. 183-190

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Process Algebra
Geometric Approach
Algebra
Geometry

Some Remarks on Definability of Process Graphs

Grabmayer, C. A., Klop, J. W. & Luttik, B., 2006, In : Lecture Notes in Computer Science. 4137, p. 16-36

Research output: Contribution to JournalArticleAcademicpeer-review

Synthesis of Mealy Machines Using Derivatives

Hansen, H. H., de Oliveira-Costa, D. & Rutten, J. J. M. M., 2006, In : Electronic Notes in Theoretical Computer Science. 164(1), p. 27-45

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Synthesis
Specification
Derivatives
Specifications
Derivative

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, L. & Fokkink, W. J., 2006, In : Electronic Notes in Theoretical Computer Science. 162, p. 43-48

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Parallel Composition
Formal languages
Formal Languages
Composition Operator
Axiomatization

Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM

Fokkink, W. J. & Pang, J., 2006, In : Journal of universal computer science. 12, 8, p. 981-1006

Research output: Contribution to JournalArticleAcademicpeer-review

2005

A coinductive calculus of streams

Rutten, J. J. M. M., 2005, In : Mathematical Structures in Computer Science (MSCS). 15, p. 93-147

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

A Finite Basis for Failure Semantics

Fokkink, W. J. & Nain, S., 2005, In : Lecture Notes in Computer Science. 3580, p. 755-765

Research output: Contribution to JournalArticleAcademicpeer-review

Algebra, bitstreams, and circuits

Rutten, J. J. M. M., 2005, In : Contributions to General Algebra. 16, p. 231-250

Research output: Contribution to JournalArticleAcademicpeer-review

Analyzing a Chi model of a turntable system using Spin, CADP and Uppaal

Bortnik, E. M., Trcka, N., Wijs, A., Luttik, B., van de Mortel-Fronczak, J. M., Baeten, J. C. M., Fokkink, W. J. & Rooda, J. E., 2005, In : Journal of Logic and Algebraic Programming. 65, 2, p. 51-104

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Phonographs
Spin Systems
Functional Analysis
Functional analysis
Performance Analysis

A Note on K-State Self-stabilization in a Ring with K=N

Fokkink, W. J., Hoepman, J. H. & Pang, J., 2005, In : Nordic Journal of Computing. 12, 1, p. 18-26

Research output: Contribution to JournalArticleAcademicpeer-review

A tutorial on coinductive stream calculus and signal flow graphs

Rutten, J. J. M. M., 2005, In : Theoretical Computer Science. 343, 3, p. 443-481

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Bisimilarity Is Not Finitely Based over BPA with Interrupt

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Nain, S., 2005, In : Lecture Notes in Computer Science. 3629, p. 52-66

Research output: Contribution to JournalArticleAcademicpeer-review

CCS with Hennessy's merge has no finite-equational axiomatization

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, In : Theoretical Computer Science. 330, 3, p. 377-405

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Bisimulation
Axiomatization
Algebra
Mathematical operators
Modulo

Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation

Fokkink, W. J., van Glabbeek, R. J. & de Wind, P., 2005, In : Lecture Notes in Computer Science. 4111, p. 195-218

Research output: Contribution to JournalArticleAcademicpeer-review

Finite Equational Bases in Process Algebra: Results and Open Questions

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, In : Lecture Notes in Computer Science. 3838, p. 338-367

Research output: Contribution to JournalArticleAcademicpeer-review

Formal Verification of Timed Systems Using Cones and Foci

Fokkink, W. J. & Pang, J., 2005, In : Electronic Notes in Theoretical Computer Science. 139, p. 105-122

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Formal Verification
Cones
Cone
Protocol Verification
Transition Systems

Infinitary Combinatory Reduction Systems

Ketema, J. & Simonsen, J. G., 2005, In : Lecture Notes in Computer Science. 3467, p. 438-452

Research output: Contribution to JournalArticleAcademicpeer-review