Theoretical Computer Science

Research output

Research output per year 1993 2000 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2014 2015 2017 2018 2019 2020 2021 2022 2023 2025

• 300 Article
• 172 Conference contribution
• 26 Chapter
• 25 PhD-Thesis - Research and graduation internal
• 52 More
  • 8 PhD-Thesis – Research external, graduation internal
  • 7 Book (Editorship)
  • 6 Web publication or Website
  • 5 Book
  • 4 Foreword/postscript
  • 4 Editorial
  • 3 Report
  • 3 Special issue (Editorship)
  • 2 Abstract
  • 2 Meeting Abstract
  • 2 Review article
  • 2 PhD-Thesis – Research and graduation external
  • 1 Book/Film/Article/Exhibition review
  • 1 Comment / Letter to the editor
  • 1 Erratum / Corrigendum
  • 1 Preprint

Research output per year

Research output per year

Search results

• 2009

  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 Journal › Article › Academic › peer-review

  Open Access

  File
  232 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  222 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

• Mean-field analysis for the evaluation of gossip protocols

  Bakhshi, R. R., Cloth, L., Fokkink, W. J. & Haverkort, B. R., 2009, Proc. 6th Conference on Quantitative Evaluation of SysTems - QEST'09. IEEE Computer Society Press, p. 247-256

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 Journal › Article › Academic › peer-review

  Open Access

  File
  181 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  165 Downloads (Pure)

• On the impact of modelling choices for distributed information spread. A comparative study.

  Bakhshi, R. R. & Fehnker, A., 2009, Proc. 6th Conference on Quantitative Evaluation of SysTems - QEST'09. IEEE Computer Society, p. 41-50

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

• 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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-review

  Open Access

  File
  231 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  • Sharp Contrast 100%
  • Preorder 100%
  • Infinite Set 100%
  • Equational Theory 100%
  • Axiomatization 100%

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  262 Downloads (Pure)
• 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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-review

  Open Access

  File
  240 Downloads (Pure)

• A Service for Reliable Execution of Grid Applications

  Krepska, E. L., Kielmann, T., Sirvent, R. & Badia, R. M., 2008, Achievements in European research on Grid systems. Sergei Gorlatch, S. G., Marian Bubak, M. B. & Thrierry Priol, T. P. (eds.). Springer, p. 179-192

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

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  187 Downloads (Pure)

• Coalgebraising Subsequential Transducers

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

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

  Open Access

  • Underlying Structure 100%
  • Partial Words 100%
  • State Machine 100%
  • coalgebra 100%
  • Transducer 100%

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  146 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  216 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  • 3D Imaging 100%
  • Choroidal Neovascularization 100%
  • Wet Macular Degeneration 100%
  • In Vivo 100%
  • Age-Related Macular Degeneration 100%

• 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 Journal › Article › Academic › peer-review

• Keeping Fairness Alive: Design and formal verification of optimistic fair exchange protocols

  Torabi Dashti, M., 2008, Vrije Universiteit.

  Research output: PhD Thesis › PhD-Thesis – Research external, graduation internal

  Open Access

  File
  338 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  Open Access

  • Design Language 100%
  • lambda-calculus 100%
  • Programming Language 100%

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  183 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  Open Access

  File
  134 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  Open Access

  File

  • Satisfiability Problem 100%
  • Proving Termination 100%
  • Function Symbol 50%
  • Prove Termination 50%
  • Founded Ordering 50%
  382 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

• Mechanical Verification of a Two-way Sliding Window Protocol

  Badban, B., Fokkink, W. J. & van de Pol, J. C., 2008, 9th Conference of Communicating Process Architectures, CPA 2008, York, United Kingdom, September 7-10, 2008, Proceedings. Welch, P. (ed.). IOS Press, p. 179-202

  Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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 Journal › Article › Academic › peer-review

  Open Access

  • Complete Set 100%
  • coalgebra 100%

• 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 Journal › Article › Academic › peer-review

  Open Access

  • Axiomatization 100%
  • Linear Time 100%
  • Branching Time 66%
  • Open Question 50%
  • Process Algebra 50%

• On the Axiomatisability of Priority

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

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

  • Infinite Set 100%
  • Axiomatization 100%
  • Bisimulation 100%
  • Sufficient Condition 50%
  • Process Algebra 50%

• On the Axiomatizability of Impossible Futures: Preorder versus Equivalence

  Chen, T. & Fokkink, W. J., 2008, Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA. IEEE Computer Society, p. 156-165

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

• 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 Journal › Article › Academic › peer-review

  Open Access

  File

  • Plane Geometry 100%
  • Projective Plane 100%
  • Desargues 100%
  • Interactive Proofs 100%
  • Constructive Proof 100%
  275 Downloads (Pure)

• Productivity of algorithmic systems

  Ishihara, A., 2008, Proceedings Symbolic Computation in Software Science Austrian-Japanese Workshop (SCSS 2008) - RISC-Linz Report. University of Linz, p. 81-95

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

• Rational streams coalgebraically

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

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

  Open Access

  File
  137 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  • Preorder 100%
  • Linear Time 28%

• Reduction Under Substitution

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

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

  Open Access

  File
  239 Downloads (Pure)

• Restricted Broadcast Process Theory

  Ghassemi, F., Fokkink, W. J. & Movaghar, A., 2008, 6th IEEE International Conferences on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, November 10-14, 2008, Proceedings. Cerone, A. & Gruner, S. (eds.). IEEE Society Press, p. 345-354

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

• Teaching logic using a state-of-the-art proof assistant

  Kaliszyk, C., Wiedijk, F., Hendriks, R. D. A. & van Raamsdonk, F., 2008, Proceedings of FORMED 2008 (Formal Methods in Computer Science Education). Istenes, Z. (ed.). Budapest, Hungary

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

• 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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-review

  • Regular Expression 100%
  • Finite Automata 100%
  • Modulo 100%
  • Open Question 100%

• 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 Journal › Article › Academic › peer-review

• A duality between proof systems for cyclic term graphs

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

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

  Open Access

  File

  • Proof System 100%
  • Axiomatization 40%
  • Soundness 20%
  • Consistency Check 20%
  • Type Equivalence 20%
  225 Downloads (Pure)

• A Note on Subsequential Transducers and Coalgebra

  Hansen, H. H., 2007, Proceedings of Automata: from Mathematics to Applications (AutoMathA). Mondello (Palermo), Italy

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

• 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 Journal › Article › Academic › peer-review

• Barendregt's Lemma

  de Vrijer, R. C., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, Geuvers, Capretta & Niqui (eds.). Radboud University Nijmegen, p. 275-284

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

• 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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-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 Journal › Article › Academic › peer-review

  Open Access

  File
  175 Downloads (Pure)

• 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 Journal › Article › Academic › peer-review

  • Formal Verification 100%
  • Experimental Result 100%
  • Analysis Technique 100%

• Hydra Games and Tree Ordinals

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

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

  Open Access

  File
  159 Downloads (Pure)