Research Output 1967 2020

Filter
PhD Thesis - Research external, graduation VU
2016

Software Architecture Strategies for Cyber-Foraging Systems

Lewis, G. A., 2016

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

Open Access
File
Software architecture
2014

The Effect of Governance in Global Software Development: Analyzing Transactive Memory Systems

Manteli, C., 2014

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

Open Access
File
2012

Software Architecture Discovery for Testability, Performance, and Maintainability of Industrial Systems

Ganesan, D., 2012

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

Open Access
File
2011

Coherence in Synchronous Shared Experiences

Vaishnavi, I., 2011

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

Open Access
File
2010

Formal models for component connectors

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

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

Open Access
File
2009

Agent-based matchmaking and clustering

Ogston, E. F. Y. L., 2009

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

A wide-area location service

Ballintijn, G. C., 2009

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

Scalable hosting of web applications

Sivasubramanian, S., 2009

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

Open Access
File
2008

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

Torabi Dashti, M., 2008, Vrije Universiteit.

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

Open Access
File
2007

Design and Implementation of a Secure Wide-Area Object Middleware

Popescu, B. C., 2007, Bogdan C. Popescu.

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

Open Access
File

Handling complexity and change in grid computing

Wrzesinska, G., 2007, 173 p.

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

Open Access
File

Latency-driven replication for globally distributed systems

Szymaniak, M. P., 2007

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

Open Access
File

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

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

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

Open Access
File
2006

Building Web Service Ontologies

Sabou, R. M., 2006

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

Open Access
File

Epidemic-Based Self-Organization in Peer-to-Peer Systems

Voulgaris, S., 2006

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

Open Access
File

Machine learning for human cancer research

Jong, C., 2006, 106 p.

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

Open Access
File

Verification Techniques for Extensions of Equality Logic

Badban, B., 2006, Vrije Universiteit.

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

Open Access
File
2005

From Sequence to Structure And Back Again: An Alignment Tale

Simossis, V. A., 2005

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

Open Access
File

Modal Abstraction and Replication of Processes with Data

Valero Espada, M., 2005, Vrije Universiteit.

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

Open Access
File

Storage, Querying and Inferencing for Semantic Web Languages

Broekstra, J., 2005

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

Open Access
File
2004

Abstractions and Static Analysis for Verifying Reactive Systems

Yustinova, N., 2004

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

Open Access
File

Formal Verification of Distributed Systems

Pang, J., 2004, Vrije Universiteit.

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

Open Access
File

Hybrid Genetic Relational Search for Inductive Learning

Divina, F., 2004, 191 p.

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

Open Access
File

On Distributed Verification and Verified Distribution

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

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

Open Access
File

On generalised coinduction and probabilistic specification formats: Distributive laws in coalgebraic modelling

Bartels, F., 2004

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

Open Access
File
2003

Scalable Cluster Technologies for Mission-Critical Enterprise Computing

Vogels, W., 2003

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

Open Access
File