Research Output 1967 2020

Filter
PhD Thesis - Research VU, graduation VU
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

Improving Solution Architecting Practices

Poort, E. R., 2012, 210 p.

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

Open Access
File

Never Too Old To Learn: On-line Evolution of Controllers in Swarm- and Modular Robotics

Haasdijk, E. W., 2012, 277 p.

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

Open Access
File

On Combining Alignment Techniques

Tordai, A., 2012

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

Open Access
File

Parameter Tuning and Scientific Testing in Evolutionary Algorithms

Smit, S. K., 2012

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

Open Access
File

Performance Guarantees for Web Applications

Jiang, D., 2012

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

Open Access
File

Scalable data management for web applications

Zhou, W., 2012, Amsterdam: VU University Press. 134 p.

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

Open Access
File

Smartphones: A Platform For Disaster Management

Palmer, N. O., 2012

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

Open Access
File

Social Agents: Agent-Based Modelling of Integrated Internal and Social Dynamics of Cognitive and Affective Processes

van der Wal, C. N., 2012

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

Open Access
File

Supporting Architecture Evolution by Mining Software Repositories

Vanya, A., 2012, 156 p.

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

Unified Messaging Atop a Cloud of Micro-Objects

Wams, J. M. S., 2012

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

Open Access
File

Using information flow tracking to protect legacy binaries

Slowinska, J. M., 2012

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

Open Access
File

When the Going Gets Tough: Exploring Agent-based Models of Human Performance under Demanding Conditions

van Lambalgen, R. M., 2012

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

Open Access
File
2011

Adaptive Resource Allocation in High-Performance Distributed Multimedia Computing

Yang, R., 2011

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

Open Access
File

Analysis and Validation of Models for Trust Dynamics

Jaffry, S. W., 2011

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

Open Access
File

Architectural Knowledge Management in Global Software Development

Clerc, V., 2011

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

Open Access
File

Collaborative Wikipedia Hosting

Urdaneta Paredes, G. A., 2011

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

Open Access
File

Dynamic website optimization through autonomous management of design patterns

Bhulai, A., 2011

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

Open Access
File

Enterprise Architecture Coming of Age: Increasing the Performance of an Emerging Discipline

van der Raadt, B., 2011, 173 p.

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

Open Access
File

Exploring Computational Models for Intelligent Support of Persons with Depression

Bin Ab Aziz, A., 2011

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

Open Access
File

Fluxes of Life: Bioinformatics for Metabolic Flux Quantification in Isotopic Non-Steady-State

Binsl, T. W., 2011

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

Open Access
File

Gossiping Models: Formal Analysis of Epidemic Protocols

Bakhshi, R. R., 2011

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

Open Access
File

Guiding Service-Oriented Software Engineering: A View-based Approach

Gu, Q., 2011, 304 p.

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

Open Access
File

IT Forecast Quality in Measure and Number

Eveleens, J. L., 2011

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

Open Access
File

OPerationalized ALignment: Assessing feasibility of value constellations exploiting innovative services

Kraussl, Z., 2011, Amsterdam: VU. 208 p.

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

Open Access
File

Virtual Agents for Human Communication: Emotion Regulation and Involvement-Distance Trade-Offs in Embodied Conversational Agents and Robots

Pontier, M. A., 2011, Amsterdam: VU University Amsterdam. 231 p.

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

Open Access
File
2010

Adaptive Operating System Design for High Throughput I/O

de Bruijn, W. J., 2010

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

Open Access
File

Adaptive Support for Human-Computer Teams: Exploring the Use of Cognitive Models of Trust and Attention

van Maanen, P., 2010

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

Open Access
File

A Framework for Parallel Streaming Applications

Nijhuis, M. H. J., 2010

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

Open Access
File

Algorithmic Term Rewriting Systems

Isihara, A., 2010

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

Open Access
File

Automated Web Service Reconfiguration

van Splunter, S., 2010, 253 p.

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

Open Access
File

Building a dependable operating system: fault tolerance in MINIX 3

Herder, J. N., 2010

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

Open Access
File

Caught in the Act: Investigating Crime by Agent-Based Simulation

Gerritsen, C., 2010

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

Open Access
File

Comparing building blocks of life: sequence alignment and evaluation of predicted structural and functional features

Pirovano, W. A., 2010, 138 p.

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

Open Access
File

Converting and Integrating Vocabularies for the Semantic Web

van Assem, M. F. J., 2010, 203 p.

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

Open Access
File

e3alignment : Exploring Inter-Organizational Business ICT Alignment

Pijpers, V. A., 2010

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

Open Access
File

Hierarchical Routing in Low-Power Wireless Networks

Iwanicki, K. S., 2010

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

Open Access
File

Integrative Modeling of Emotions in Virtual Agents

Siddiqui, G. F., 2010

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

Open Access
File

Managing software evolution in embedded systems

van der Spek, P. N., 2010

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

Open Access
File

Modelling Human-Awareness for Ambient Agents: A Human Mindreading Perspective

Memon, Z. A., 2010

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

Open Access
File

Needs-driven service bundling in a multi-supplier setting: The computational e3 service approach

de Kinderen, S., 2010

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

Open Access
File

Real-World Distributed Supercomputing

Drost, N., 2010

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

Open Access
File

Recovery, Convergence and Documentation of Languages

Zaytsev, V. V., 2010, 271 p.

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

Open Access
File

Remote Policy Enforcement Using Java Virtual Machine

Krishnan Nair, S., 2010, 166 p.

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

Open Access
File

Scalable discovery of networked data: Algorithms, Infrastructure, Applications

Kotoulas, S., 2010, 192 p.

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

Using Virtualisation to Protect Against Zero-Day Attacks

Portokalidis, G., 2010

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

Open Access
File
2009

Architectural Knowledge Management: Supporting Architects and Auditors

Farenhorst, R., 2009, 378 p.

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

Open Access
File