Theoretical Computer Science

Research output

Research output per year 1993 2021

• 261 Article
• 134 Conference contribution
• 20 Chapter
• 18 PhD Thesis - Research VU Amsterdam, graduation VU Amsterdam
• 34 More
  • 8 PhD Thesis - Research external, graduation VU Amsterdam
  • 6 Book editing
  • 6 Book
  • 4 Editorial
  • 3 Report
  • 2 PhD Thesis - Research external, graduation external
  • 1 Foreword/postscript
  • 1 Abstract
  • 1 Book/Film/Article review
  • 1 Comment / Letter to the editor
  • 1 Erratum

Research output per year

Research output per year

Search results

• 2015

  Proving non-termination by finite automata

  Endrullis, J. & Zantema, H., 1 Jun 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 36. p. 160-176 17 p.

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

  • Formal languages
  • Finite automata

• Regularity-Preserving but not Reflecting Encodings

  Endrullis, J., Grabmayer, C. A. & Hendriks, R. D. A., 2015, Proceedings of LICS. Palamidessi, C. (ed.). IEEE Xplore Digital Library, p. 535-546

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

  • Finite automata
  • Turing machines

• Syllogistic logic with “most”

  Endrullis, J. & Moss, L. S., 2015, Logic, Language, Information and Computation - 22nd International Workshop, WoLLIC 2015, Proceedings. Springer/Verlag, Vol. 9160. p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9160).

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

  • Proof System
  • Acoustic waves
  • Logic
  • Finite Models
  • Sound

• The Degrees of Squares is an Atom

  Endrullis, J., Grabmayer, C., Hendriks, D. & Zantema, H., 2015, Combinatorics on Words - 10th International Conference, WORDS 2015, Proceedings. Springer/Verlag, Vol. 9304. p. 109-121 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9304).

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

  • Atoms
  • Polynomials
  • Transducers
  • Polynomial
  • Periodic Sequence
• 2014

  Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

  D'Argenio, P. R., Gebler, D. & Lee, M. D., 2014, Proc. 17th Conference on Foundations of Software Science and Computational Structures - FOSSACS'14. Springer, p. 289-303

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

• Crowdsourcing knowledge-intensive tasks in cultural heritage

  Oosterman, J., Nottamkandath, A., Dijkshoorn, C., Bozzon, A., Houben, G. J. & Aroyo, L. M., 2014, ACM conference on Web science. ACM

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

• Fixed-point Characterization of Compositionality Properties of Probabilistic Process Combinators

  Gebler, D. & Tini, S., 2014, Proc. 21th Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics - EXPRESS/SOS'14. EPTCS, p. 63-78

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

• Generalized bisimulation metrics

  Chatzikokolakis, K., Gebler, D. & Palamidessi, C., 2014, Proc. 25th Conference on Concurrency Theory - CONCUR'14. Springer, p. 32-46

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

  • Algebra

• Maximal Sharing in the Lambda Calculus with Letrec

  Grabmayer, C. A. & Rochel, J., 2014, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming. Jeuring, J. & Chakravarty, M. M. T. (eds.). ACM, p. 67-80 (9).

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

• Maximal synthesis for Hennessy-Milner logic with the box modality

  van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2014, Proc. 12th Workshop on Discrete Event Systems - WODES'14. IFAC-IEEE, p. 278-285

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

• Petri nets are a biologist's best friend

  Bonzanni, N., Feenstra, K. A., Fokkink, W. J. & Heringa, J., 2014, Formal Methods in Macro-Biology: First International Conference, FMMB 2014, Nouméa, New Caledonia, September 22-24, 2014. Proceedings. Springer/Verlag, p. 102-116 15 p. (Lecture Notes in Computer Science; vol. 8738)( Lecture Notes in Bioinformatics book sub series (LNBI); vol. 8738).

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

  File

  • Concurrency
  • Petri Nets
  • Cell Differentiation
  • Petri nets
  • Stem cells
  151 Downloads (Pure)
• 2013

  Algebraic Meta-Theory of Processes with Data

  Gebler, E. D., Goriac, E-I. & Mousavi, M., 2013, Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13. Borgström, J. & Luttik, B. (eds.). EPTCS, Vol. 120. p. 63-77

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

• Compositionality of Approximate Bisimulation for Probabilistic Systems

  Gebler, D. & Tini, S., 2013, Proc. 20th Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics - EXPRESS/SOS'13. Borgström, J. & Luttik, B. (eds.). EPTCS, p. 32-46

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

• Maximal synthesis for Hennessy-Milner logic

  van Hulst, A., Reniers, M. A. & Fokkink, W. J., 2013, Proc. 13th Conference on Application of Concurrency to System Design - ACSD'13. IEEE, p. 1-10

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

• Maximal synthesis for Hennessy-Milner logic

  Van Hulst, A. C., Reniers, M. A. & Fokkink, W. J., 21 Oct 2013, Proceedings - 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013. p. 1-10 10 p. 6598335

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

• Personalized Nichesourcing: Acquisition of Qualitative Annotations from Niche Communities.

  Dijkshoorn, C. R., Leyssen, M. H. R., Nottamkandath, A., Oosterman, J., Traub, M., Aroyo, L., Bozzon, A., Fokkink, W., Houben, G., Hovelmann, H., Jongma, L., van Ossenbruggen, J., Schreiber, G. & Wielemaker, J., 2013, PATCH 2013: Personal Access to Cultural Heritage. CEUR Workshop Proceedings

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

• Semi-automated assessment of annotation trustworthiness

  Ceolin, D., Nottamkandath, A. & Fokkink, W. J., 2013, Proc. 11th Conference on Privacy, Security and Trust - PST'13. IEEE, p. 325-332

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

  Automatic Sequences and Zip-Specifications

  Grabmayer, C. A., Endrullis, J., Hendriks, R. D. A., Klop, J. W. & Moss, L. S., 2012, Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012.

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

• On the Complexity of Equivalence of Specifications of Infinite Objects

  Endrullis, J., Hendriks, R. D. A. & Bakhshi, R. R., 2012, Proc. Conf. International Conference on Functional Programming (ICFP 2012). ACM, p. 153-164

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

  • Specification
  • Equality
  • Equivalence
  • Object
  • Hierarchy

• Polynomial Interpretations for Higher-Order Rewriting

  Fuhs, C. & Kop, C. L. M., 2012, Proceedings of RTA '12. Tiwari, A. (ed.). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 176-192

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

  • Algebra
  • Polynomials

• Tree rules in probabilistic transition system specifications with negative and quantitative premises

  Lee, M. D., Gebler, D. & D'Argenio, P. R., 2012, Proc. 19th Workshop on Expressiveness in Concurrency and 9th Workshop on Structural Operational Semantics - EXPRESS/SOS'12. Luttik, B. & Reniers, M. A. (eds.). EPTCS, p. 115-130

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

• Using model checking to analyze the system behavior of the LHC production grid

  Remenska, D., Willemse, T. A. C., Verstoep, K., Fokkink, W. J., Bal, H. E. & Templon, J. A., 2012, Proc. 12th Symposium on Cluster, Cloud and Grid Computing - CCGrid'12. IEEE/ACM, p. 335-343

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

  A modeling framework for gossip-based information spread

  Bakhshi, R. R., Gavidia Simonetti, D. P., Fokkink, W. J. & van Steen, M. R., 2011, Proc. 8th Conference on Quantitative Evaluation of SysTems (QEST'11). IEEE, p. 245-254

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

• A Process-Theoretic Approach to Supervisory Control Theory

  Baeten, J. C. M., Beek van, D. A., Luttik, B., Markovski, J. & Rooda, J. E., 2011, Proceedings of ACC 2011. IEEE, p. 4496-4501

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

• Axiomatizing the Quote

  Polonsky, A., 2011, Proc. 20th Conference on Computer Science Logic - CSL'11. Schloss Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. 458-469

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

• Higher Order Dependency Pairs for Algebraic Functional Systems

  Kop, C. L. M. & van Raamsdonk, F., 2011, Proc. 22th Conference on Rewriting Techniques and Applications. Schmidt-Schauß, M. (ed.). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, p. 203-218

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

• Proving Equality of Streams Automatically

  Endrullis, J. & Zantema, H., 2011, Proc. Conf. on Rewriting Techniques and Applications (RTA '11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, p. 393-408

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

  A Trust Model to Estimate the Quality of Annotations using the Web

  Ceolin, D., van Hage, W. R. & Fokkink, W. J., 2010, Proceedings of the WebSci10: Extending the Frontiers of Society On-Line. Web: journal.webscience.org

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

• Automating the mean-field method for large dynamic gossip networks

  Bakhshi, R. R., Endrullis, J., Endrullis, S., Fokkink, W. J. & Haverkort, B. R., 2010, Proc. 7th Conference on Quantitative Evaluation of SysTems - QEST'10. IEEE, p. 241-250

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

• Brief announcement: A shared disk on distributed storage

  Vijzelaar, S. J. J., Bos, H. J. & Fokkink, W. J., 2010, Proc. 29th Symposium on Principles of Distributed Computing - PODC'10. ACM, p. 79-80

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

• Brief announcement: Asynchronous bounded expected delay networks

  Bakhshi, R. R., Endrullis, J., Fokkink, W. J. & Pang, J., 2010, Proc. 29th Symposium on Principles of Distributed Computing - PODC'10. ACM, p. 392-393

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

• Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition.

  Baeten, J. C. M., Luttik, B., Muller, T. & van Tilburg, P., 2010, Proceedings of the 17th Workshop on Expressiveness in Concurrency. Electronic Proceedings in Theoretical Computer Science, p. 1-15

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

• Generalizing the powerset construction, coalgebraically

  Silva, A., Bonchi, F., Bonsangue, M. M. & Rutten, J. J. M. M., 2010, Proceeedings 30th Conference on foundations of Software Technology and Theoretcial Computer Science (FSTTCS'2010). Leibniz International Proceedings in Informatics, p. 272-283

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

• Higher Order Dependency Pairs With Argument Filterings

  Kop, C. L. M. & van Raamsdonk, F., 2010, Proceedings of WST 2010.

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

  File
  10 Downloads (Pure)

• Modular Construction of Fixed Point Combinators and Clocked Boehm Trees

  Endrullis, J., Hendriks, R. D. A. & Klop, J. W., 2010, Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. IEEE Computer Society, p. 111-119

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

• Partial order reduction for branching security protocols

  Fokkink, W. J., Torabi Dashti, M. & Wijs, A., 2010, Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10. IEEE Computer Society Press, p. 191-200

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

• Towards performance evaluation of mobile ad hoc network protocols

  Ghassemi, F., Movaghar, A. & Fokkink, W. J., 2010, Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10. IEEE Computer Society Press, p. 85-92

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

• Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

  Endrullis, J., Grabmayer, C. A., Hendriks, R. D. A., Klop, J. W. & van Oostrom, V., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. p. 85-102

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

  An algebra for Kripke polynomial coalgebras

  Bonsangue, M. M., Rutten, J. J. M. M. & Silva, A., 2009, Proc. 24th Symposium on Logic in Computer Science - LICS'09. IEEE Computer Society Press, p. 49-58

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

• Fault-Based Test Case Generation for Component Connectros

  Aichernig, B. K., Arbab, F., Astefanoaei, L., de Boer, F. S., Meng, S. & Rutten, J. J. M. M., 2009, Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering - TASE'09. IEEE Computer Society Press, p. 147-154

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

• 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
• 2008

  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

• 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

• 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

• 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
• 2007

  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

• Partial Order Reduction for Branching Security Protocols

  Fokkink, W. J., Torabi Dashti, M. & Wijs, A., 2007, 7th International Workshop on Issues in the Theory of Security, WITS 2007, Braga, Portugal, March 24-25, 2007, Proceedings. Focardi, R. (ed.). IFIP, p. 178-193

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

• Root Stabilisation Using Dependency Pairs

  Endrullis, J. & Ketema, J., 2007, Proceedings of the 9th International Workshop on Termination (WST 2007). p. 17-21

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