Theoretical Computer Science

Research Output 1993 2019

Filter
PhD Thesis - Research VU, graduation VU
2018

Formal Modeling and Analysis of Mobile Ad hoc Networks

Ghassemi Esfahani, F., 2018, 232 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2016

Trusting Crowdsourced Information on Cultural Artefacts

Nottamkandath, A., 2016

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
artifact
2015

Robust SOS Specifications of Probabilistic Processes

Gebler, E. D., 2015

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2014

Trusting semi-structured web data

Ceolin, D., 2014

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2012

Higher Order Termination: Automatable Techniques for Proving Termination of Higher-Order Term Rewriting Systems

Kop, C. L. M., 2012

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Towards Big Biology: high-performance verification of large concurrent systems

Krepska, E., 2012

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Towards Executable Biology

Bonzanni, N., 2012, Amsterdam: VU University. 106 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2011

Gossiping Models: Formal Analysis of Epidemic Protocols

Bakhshi, R. R., 2011

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2010

Algorithmic Term Rewriting Systems

Isihara, A., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Termination and Productivity

Endrullis, J., 2010

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2009

Clocks, Dice and Processes

Chen, T., 2009

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2006

Bohm-Like Trees for Rewriting

Ketema, J., 2006, Vrije Universiteit. 200 p.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2005

Relating Proof Systems for Recursive Types

Grabmayer, C. A., 2005, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File
2002

Contexts in Lambda Calculus

Bognar, M., 2002, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File

Probabilistic Extensions of Semantical Models

den Hartog, J. I., 2002, Vrije Universiteit.

Research output: PhD ThesisPhD Thesis - Research VU, graduation VUAcademic

Open Access
File