Theoretical Computer Science

Research Output 1993 2019

Filter
Article
2005

Simplifying Itai-Rodeh Leader Election for Anonymous Rings

Fokkink, W. J. & Pang, J., 2005, In : Electronic Notes in Theoretical Computer Science. 128, p. 53-68

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Leader Election
Ring
Probabilistic Model
Symmetry Breaking
State Space

Single-spin asymmetries in semi-inclusive deep-inelastic scattering on a transversely polarized hydrogen target

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., van der Nat, P. B., Smit, G. P., Volmer, J. & Wang, S., 2005, In : Physical Review Letters. 94, 1

Research output: Contribution to JournalArticleAcademicpeer-review

inelastic scattering
pions
asymmetry
hydrogen
positrons

Some Undecidable Approximations of TRSs

Ketema, J., 2005, In : Electronic Notes in Theoretical Computer Science. 124, p. 51-63

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Computability and decidability
Reachability
Normalization
Approximation
Decidability

Spectral domain optical coherence tomography - Ultra-high speed, ultra-high resolution ophthalmic imaging

Chen, T., Cense, B., Pierce, M. C., Nassif, N. A., Park, B. H., Yun, S. H., White, B., Bouma, B. E., Tearney, G. J. & de Boer, J. F., 2005, In : Archives of Ophthalmology. 123, 12, p. 1715-1720

Research output: Contribution to JournalArticleAcademicpeer-review

Optical Coherence Tomography
Technology
Optic Disk
American Medical Association
Retina

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 JournalArticleAcademicpeer-review

Open Access
File

Subleading-twist effects in single-spin asymmetries in semi-inclusive deep-inelastic scattering on a longitudinally polarized hydrogen target

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., van der Nat, P. B., Volmer, J. & Wang, S., 2005, In : Physics Letters B. 622, 1-2, p. 14-22

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
inelastic scattering
pions
asymmetry
protons
hydrogen

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 JournalArticleAcademicpeer-review

The HERMES polarized hydrogen and deuterium gas target in the HERA electron storage ring

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., Volmer, J., Wang, S. & Smit, G. P., 2005, In : Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors, and Associated Equipment. 540, 1, p. 68-101

Research output: Contribution to JournalArticleAcademicpeer-review

Storage rings
Deuterium
deuterium
Polarization
Atoms

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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-review

Algebra
2004

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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-review

Evidence for a narrow vertical bar S vertical bar=1 baryon state at a mass of 1528 MeV in quasi-real photoproduction

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., Simani, M. C., van der Nat, P. B., Vogt, M., Volmer, J. & Smit, G. P., 2004, In : Physics Letters B. 585, 3-4, p. 213-222

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
photoproduction
deuterium
baryons
decay

Hard exclusive electroproduction of pi(+)pi(-) pairs

Airapetian, A., Blok, H. P., Chen, T., Hesselink, W. H. A., Laziev, A., van der Nat, P. B., Vogt, M., Volmer, J. & Smit, G. P., 2004, In : Physics Letters B. 599, 3-4, p. 212-222

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
pions
P waves
interference
admixtures
partons

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 JournalArticleAcademicpeer-review

In vivo high-resolution video-rate spectral-domain optical coherence tomography of the human retina and optic nerve

Nassif, N. A., Cense, B., Park, B. H., Pierce, M. C., Yun, S. H., Bouma, B. E., Tearney, G. J., Chen, T. & de Boer, J. F., 2004, In : Optics Express. 12, 3, p. 367-376 10 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

In vivo human retinal imaging by ultrahigh-speed spectral domain optical coherence tomography

Nassif, N. A., Cense, B., Park, B. H., Yun, S. H., Chen, T., Bouma, B. E., Tearney, G. J. & de Boer, J. F., 2004, In : Optics Letters. 29, 5, p. 480-482 3 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Landau-Pomeranchuk-Migdal effect for multihundred GeV electrons

Hansen, H. H. & Ketel, T. J., 2004, In : Physical Review D. 69, 3

Research output: Contribution to JournalArticleAcademicpeer-review

bremsstrahlung
retarding
electrons
simulation
energy dissipation

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 JournalArticleAcademicpeer-review

Open Access
Semantics
Axiomatization
Express
Trace
Acoustic waves

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 JournalArticleAcademicpeer-review

Polarization sensitive optical coherence tomography measurement of thickness and birefringence of healthy retinal nerve fiber layer tissue

Chen, T., Cense, B., Park, B. H., Pierce, M. C. & de Boer, J. F., 2004, In : Investigative Ophthalmology and Visual Science. p. 3350

Research output: Contribution to JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-review

Preorder
Semantics
Trace
Concretes
Specifications

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 JournalArticleAcademicpeer-review

Thickness and birefringence of healthy retinal nerve fiber layer tissue measured with polarization-sensitive optical coherence tomography

Cense, B., Chen, T., Park, B. H., Pierce, M. C. & de Boer, J. F., 2004, In : Investigative Ophthalmology and Visual Science. 45, 8, p. 2606-2612

Research output: Contribution to JournalArticleAcademicpeer-review

Birefringence
Optical Coherence Tomography
Nerve Fibers
Optic Disk
Healthy Volunteers

Ultrahigh-resolution high-speed retinal imaging using spectral-domain optical coherence tomography

Cense, B., Nassif, N. A., Chen, T., Pierce, M. C., Yun, S. H., Park, B. H., Bouma, B. E., Tearney, G. J. & de Boer, J. F., 2004, In : Optics Express. 12, 11, p. 2435-2447 13 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
tomography
high speed
signal to noise ratios
epithelium
blood vessels

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 JournalArticleAcademicpeer-review

2003

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 JournalArticleAcademicpeer-review

adbmal

Hendriks, R. D. A. & van Oostrom, V., 2003, In : Lecture Notes in Computer Science. 2741, p. 136-150

Research output: Contribution to JournalArticleAcademicpeer-review

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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-review

In vivo dynamic human retinal blood flow imaging using ultra-high-speed spectral domain optical Doppler tomography

White, B., Pierce, M. C., Nassif, N. A., Cense, B., Park, B. H., Tearney, G. J., Bouma, B. E., Chen, T. & de Boer, J. M. C., 2003, In : Optics Express. 11, 25, p. 3490-3497 8 p.

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File

Is the electron radiation length constant at high energies?

Hansen, H. H. & Ketel, T. J., 2003, In : Physical Review Letters. 91, 1

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., 2003, In : Electronic Notes in Theoretical Computer Science. 97

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Connector
Automata
Semantics
Model checking
Modeling

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 JournalArticleAcademicpeer-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 JournalArticleAcademicpeer-review

Open Access

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 JournalArticleAcademicpeer-review

2002

A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs

Grabmayer, C. A., 2002, In : Electronic Notes in Theoretical Computer Science. 72, p. 59-74

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Proof System
Bisimulation
Syntactics
Equality
Duality

Automated Proof Construction in Type Theory Using Resolution

Bezem, M., Hendriks, R. D. A. & de Nivelle, H., 2002, In : Journal of Automated Reasoning. 29, 3-4, p. 253-275

Research output: Contribution to JournalArticleAcademicpeer-review

Coinductive counting: bisimulation in enumerative combinatorics

Rutten, J. J. M. M., 2002, In : Electronic Notes in Theoretical Computer Science. 65

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access

Eliminating Proofs from Programs

van Raamsdonk, F. & Severi, P., 2002, In : Electronic Notes in Theoretical Computer Science. 70

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Type Theory
Term

Four equivalent equivalences of reductions

van Oostrom, V. & de Vrijer, R. C., 2002, In : Electronic Notes in Theoretical Computer Science. 70

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
Term Rewriting Systems
Equivalence
Standardization
Labeling
Permutation

Refinement and Verification Applied to an In-Flight Data Acquisition Unit

Fokkink, W. J., Ioustinova, N., Kesseler, E., van de Pol, J. C., Usenko, Y. S. & Yushtein, Y. A., 2002, In : Lecture Notes in Computer Science. 2421, p. 1-23

Research output: Contribution to JournalArticleAcademicpeer-review

2000

A geometric proof of confluence by decreasing diagrams

Klop, J. W., van Oostrom, V. & de Vrijer, R. C., 2000, In : Journal of Logic and Computation. 10, 3, p. 437-460

Research output: Contribution to JournalArticleAcademicpeer-review