Theoretical Computer Science

Research output

Research output per year 1993 2020

• 261 Article
• 133 Conference contribution
• 20 Chapter
• 17 PhD Thesis - Research VU Amsterdam, graduation VU Amsterdam
• 33 More
  • 8 PhD Thesis - Research external, graduation VU Amsterdam
  • 6 Book editing
  • 6 Book
  • 3 Report
  • 3 Editorial
  • 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

• 2010

  Formal models for component connectors

  de Oliveira Costa, D., 2010, 197 p.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  82 Downloads (Pure)
• 2008

  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 VU Amsterdam

  Open Access

  File
  32 Downloads (Pure)
• 2007

  What to Do Next? Analysing and Optimising System Behaviour in Time

  Wijs, A. J., 2007, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  129 Downloads (Pure)
• 2006

  Verification Techniques for Extensions of Equality Logic

  Badban, B., 2006, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  78 Downloads (Pure)
• 2005

  Modal Abstraction and Replication of Processes with Data

  Valero Espada, M., 2005, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  13 Downloads (Pure)
• 2004

  Abstractions and Static Analysis for Verifying Reactive Systems

  Yustinova, N., 2004

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  31 Downloads (Pure)

• Formal Verification of Distributed Systems

  Pang, J., 2004, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  17 Downloads (Pure)

• On Distributed Verification and Verified Distribution

  Orzan, S. M., 2004, Vrije Universiteit.

  Research output: PhD Thesis › PhD Thesis - Research external, graduation VU Amsterdam

  Open Access

  File
  58 Downloads (Pure)