Programme: Computer Science MSc (60300)

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Year | Item Type
Jump to: 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1996
Number of items: 226.


Zandberg, Martin (2012) Optimization of aspect-instantiation strategies in the JIT-compiler.

Scheerens, Daan (2012) Practical indoor localization using bluetooth.

Siaw, Tien Loong (2012) Saturation for LTSmin.


Bosems, Steven (2011) A Performance Analysis of Model Transformations and Tools.

Goos, Sander (2011) A model driven approach to modernizing legacy information systems.

Nijenhuis, C.F. (2011) Automatic generation of graphical domain ontology editors.

Noltes, Johan (2011) Data location compliance in cloud computing.

Nouta, Christiaan Alexander (2011) Data processing networks made easy : improving development possibilities for people with limited computer science knowledge.

Bruintjes, Tom M. (2011) Design of a Fused Multiply-Add Floating-Point and Integer Datapath.

Peng, Yuxi (2011) Face Recognition at a Distance: a study of super resolution.

Brinke te, Steven (2011) First-order function dispatch in a Java-like programming language.

Fritz, Jako (2011) Hybrid Intrusion detection network monitoring with honeypots.

Jeeninga, Jesper (2011) Improving communication between computer programmers and domain experts : creating a generic scenario description language to aid the process of describing scenarios for emergency response training simulators.

Adolfsen, Martijn (2011) Industrial validation of test coverage quality.

Hegeman, Erik (2011) InfoSupport - On the Quality of Quality Models.

Ende van den, Frederik (2011) Interference Nulling via a Resistor-Weighted Op-Amp Vector Modulator.

Dekens, Berend (2011) Mapping of a DAB Radio Decoder to Homogeneous Multi-Core SoC : a case study to evaluate a NLP based mapping flow.

Meijer, Michael (2011) On a Design Space for Aggregating over Sliding Windows on a Stream.

Pater, Elwin (2011) Partial Order Reduction for PINS.

Klifman, T.E. (2011) Propagation of Annotations in a Streaming Context.

Rajput, Abdul Ghani (2011) Properties Relevant for Inferring Provenance.

Op 't Land, Sjoerd (2011) Ranging and localisation error mitigation in indoor obstructed direct path conditions.

Veen van, Dirk (2011) Secure searching through encrypted data - Creating an efficient Hidden Vector Encryption construction using Inner Product Encryption.

Lastdrager, Elmer (2011) Securing Patient Information in Medical Databases.

Obbink, Michel (2011) Social interaction in a cooperative brain-computer interface game.

Wal van der, Tjalling (2011) Streaming workflow transformation.

Hassani, A.Z. (2011) Touch versus in-air Hand Gestures: Evaluating the acceptance by seniors of Human-Robot Interaction using Microsoft Kinect.

Harleman, T. (2011) Towards a generic model for audit trails.


Wester, Rinse (2010) A dataflow architecture for beamforming operations.

Stuurman, Gijs (2010) Action semantics applied to model driven engineering.

Admiraal, A.J. (2010) Automated ANTLR tree walker generation.

Hove ten, D. (2010) Change management within SysML requirements models.

Kok, Guido (2010) Cloud computing & confidentiality.

Voorst van, B. (2010) Cluster-based collection selection in uncooperative distributed information retrieval.

Costa, Alvise (2010) Context - Free - Language Parser for Advanced Network Intrusion Detection.

Baardman, Roel (2010) Cumulus Humilis : wireless mesh-networking for gliders.

Yin, Haihan (2010) Developing a generic debugger for advanced-dispatching languages.

Palsma, T. (2010) Discovering groups using short messages from social network profiles : using hierarchically organized concepts to discover relations.

Kant, Gijs (2010) Distributed state space generation for graphs up to isomorphism.

Kroes, S. (2010) Domain specific embedded languages and model driven engineering.

Hollander, Emiel (2010) Dynamic access control.

Moel de, E.L. (2010) Expanding the usability of recorded lectures : a new age in teaching and classroom instruction.

Sijtema, Marten (2010) Managing variability in model transformations for model-driven product lines : extending the ATL model transformation language with variability management capabilities.

Khadka, Ravi (2010) Model-driven development of service compositions : transformation from service choreography to service orchestrations.

Punter, C.M. (2010) Multi-source entity resolution.

Lavooij, K. (2010) Near-real time statistics gathered from a continuous and voluminous data mutation stream.

Lange de, R-J. (2010) Provenance aware sensor networks for real-time data analysis.

Slomp, G.H. (2010) Reducing UPPAAL models through control flow analysis.

Alemneh, E. (2010) Sharing nonlinear gates in the presence of glitches.

Horst, Arie (2010) Sport coach : online activity using wireless sensor network.

Peterson, R.S. (2010) Testing real-time requirements for integrated systems.

Sikkens, B. (2010) The storage and retrieval of sensor data and its annotations.

Spijkerman, Wietze (2010) Tool support for change impact analysis in requirement models : exploiting semantics of requirement relations as traceabilitt relations.

Bakker, P.J. (2010) Train composition using motion as a common context.

Schwartzenberg, J. (2010) Using machine learning techniques for advanced passive operating system fingerprinting.


Meij van der, D.P.L. (2009) A metamodeling approach to incremental model changes.

Oostrum van, A. (2009) A model and specification for development of enterprise application frameworks.

Laarman, A. (2009) An Ontology-Based Metalanguage with Explicit Instantiation.

Brand, A. (2009) An investigation in qualities of software variability.

Rietema, Richard (2009) Automatic Verification and Analysis of Test Results of Océ Printers.

Bockting, S. (2009) Collection selection for distributed web search : using highly discriminative keys, query-driven indexing and ColRank.

Kingma, J. (2009) Combined VCO/Mixer for satellite receiver in CMOS.

Baaij, C. (2009) CλasH : from Haskell to hardware.

Blom, Koen (2009) DVB-S signal tracking techniques for mobile hased arrays.

Vliek, G. (2009) Detecting spam machines, a netflow-data based approach.

Looman, S.A.M. (2009) Impact Analysis of Changes in Functional Requirements in the Behavioral View of Software Architectures.

Sulistyo, Pythia (2009) Inter-Organizational Strategic Information Systems Planning (IOSISP) in Network Perspective: How Network Governance Influences IOSISP Effectiveness Evaluation of Healthcare, Government and logistic/Transport Industry Sectors in the Netherlands.

Kroon, E. (2009) Layered configuration management for software product lines.

Veldman, I. (2009) Matching profiles from social network sites : similarity calculations with social network support.

Westmijze, M. (2009) Memory optimizations on the sequential hardware-in-the-loop simulator.

Everse, Wouter M. (2009) Modelling and Verification of a Shortest Path Tree Protocol for Wireless Sensor Networks : Towards a Platform for Formal Veri�cation Experiments.

Diepenmaat, J. (2009) Object XML mappings.

Barbosa, Rafael Ramos Regis (2009) On Access Network Identification and Characterization.

Wolterink, T.J.L. (2009) Operational Semantics Applied to Model Driven Engineering.

Mutter, T. (2009) Partition-based network load balanced routing in large scale multi-sink wireless Sensor Networks.

Muis, Allard (2009) Patterns in data conversion.

Koelewijn, J.W. (2009) Resource operations model in a dynamic world.

Tjink-Kam-Jet, Kien-Tsoi T.E. (2009) Result merging for efficient distributed information retrieval.

Braak ter, Timon D. (2009) Run-time spatial resource management in heterogeneous MPSoCs.

Roodenburg, S.B. (2009) Scheduling the sequential hardware-in-the-loop simulator.

Veldhuis, J.W. (2009) Tool support for a metamodeling approach for reasoning about requirements.

Vries de, E. (2009) Touchscreen interaction for healthcare applications.

Graaff de, V. (2009) Towards distributed information access : possibilities and implementation.

Nijkamp, Barry (2009) Using functional design patterns to improve exports to management information systems.

Hagendoorn, B. (2009) Viscous coupling between bio-inspired hair-sensors.


Ho, Yoeng Woey (2008) .NET integration TEAHA.

Bloem van, R.J.G. (2008) A data transformation walkthrough.

Henzen, S.F. (2008) A framework for service-oriented extensions to Ruby on Rails.

Lonnee, J. (2008) A scalable repository based on a meta-modelling architecture.

Habib, Mena Badieh (2008) An intelligent system for automated arabic text categorization.

Bezemer, Maarten (2008) Analysing gCSP models using runtime and model analysis algorithms.

Franssens, Anne (2008) Analysis of Reed Solomon error correcting codes on reconfigurable hardware.

Haanstra, Sander (2008) Analyzing and improving generalization over time in CSP-based Brain-Computer Interfaces.

Jevring, Markus (2008) Automatic management of bluetooth networks for indoor localization.

Oever van 't, Daniel (2008) CoNSoLe: A Domain Specific Language for Network Services.

Boros, H. (2008) Context Discovery Adapter (CDA) Protocol.

Klooster van 't, J-W. (2008) Context, design and implementation of a control system for ring resonator-based optical beam forming networks.

Nijssen, Bobby J.W. (2008) Cooperative Intelligent Transportation Systems Building a demonstrator for the CVIS-project on the Informatieve Weg.

Schabbink, Johan (2008) Design of a capacitive based closed-loop displacement sensor.

Mahrof, Dlovan Hoshiar (2008) Design of a fully integrated RF transceiver using noise modulation.

Twelkemeijer, R. (2008) Design of an audio power amplifier with a notch in the output impedance.

Steen van der, H. (2008) Design of animation and debug facilities for gCSP.

Griffioen, H.T. (2008) Design of clock cleaner : a fast locking PLL.

Lootsma, Marten (2008) Design of the global software structure and controller framework for the 3TU soccer robot.

Roolvink, S. (2008) Detecting attacks involving DNS servers : a netflow data based approach.

Timmer, M. (2008) Evaluating and predicting actual test coverage.

Wit de , Joost (2008) Evaluating recommender systems : an evaluation framework to predict user satisfaction for recommender systems in an electronic programme guide context.

Munsterman, Thijs Pieter (2008) Exploring software scalability : and a method for evaluating and improving software scalability.

Kruiskamp, Michel (2008) FastSOA : achieving high-performance service oriented architectures.

Bosch, Stephan (2008) FollowMe! : distributed movement coordination in wireless sensor and actuator networks.

Dam, Arjan (2008) Geographic routing in wireless sensor networks for surveillance : introducing a novel routing algorithm: GZOR.

Babakhani, Bayan (2008) Implementation of a 2D master-slave system.

Sealy, Timothy (2008) Implementation of aggregation based Resource Management in DiffServ (RMD) Quality of Service Model (QOSM).

Blumink, Remco (2008) Implementing and communicating with SHILS.

Gaiser, Vincent Alexander (2008) Improving spatial awareness in an indoor environment with wireless positioning technology.

Velner, J. (2008) Integrated state-of-charge circuit for rechargeable batteries.

Looise, M.J. (2008) Inter-level consistency checking between requirements and design artefacts.

Vos, Geert (2008) Issues of iterative mda-bades software development processes.

Scholte, Theodoor (2008) Managing continuous uncertain data by a probabilistic XML database management system.

Fournier, Bas (2008) Preprocessing on bilingual data for Statistical Machine Translation.

Eenennaam van, E.M. (2008) Providing over-the-horizon awareness to driver support systems by means of multi-hop ad hoc vehicle -to-vehicle communication.

Kessel van, Ruud (2008) Querying Probabilistic XML.

Damman, B. (2008) Representing PCTL counterexamples.

Uithol, Michiel (2008) Security in domain-driven design.

Driezen, Wouter (2008) Service-oriented and open-source software as potential markets for applications markets : analysis of the possible added value of Capgemini outsourcing's Dutch applications management service center.

Jongeling, R. (2008) Signature modification for Compose?/.NET : implications of signature modification for generic compilers and behavioral signatures of types.

Gerards, M. (2008) Streaming reduction circuit for sparse matrix vector multiplication in FPGAs.

Jonge de, Marc (2008) The SpinJ model checker : a fast, extensible, object-oriented model checker.

Bloem van, E.J.W. (2008) The user oriented knowledge management method : a knowledge management method for a small organization with a distributed environment.

Meppelink, Lianne (2008) Towards interoperability between existing VoIP systems.

Schilpzand, M.P. (2008) X-Stream in MaDAM : new junction modelling in macroscopic dynamic traffic assignment models.

Daemen, P. (2008) ZMP based control in 3D passive dynamic walking.


Rozen van, Riemer (2007) A Debugging Framework for NIPS.

Dijk van, Michel (2007) Analysis and control of nonlinear oscillators.

Gribnau, Erwin (2007) Analysis, design & implementation of a high-performance main-memory object database for Splice2.

Franken, Michel (2007) Ankle actuation for planar bipedal robots.

Maatjes, N.C. (2007) Automated transformations from ECA rules to Jess.

Putten van, Ing. A.E. (2007) Behavioural hybrid process calculus translation to modelica.

Huisman, Rolf (2007) Bugspray for composition filters.

Veelen van, P. (2007) Clustered acoustic modelling in speech recognition.

Oostveen van, Laurens (2007) Conductivity gradient focusing by pervaporationand osmosis-induced fluxes.

Bouwmeester, Egbert (2007) Continuous Classes of Power Amplifiers.

Verdonkschot, S.F.G. (2007) Design and implementation of a trusted RFID reader.

Bergen van, Marcel (2007) Design and prototyping of a human-computer interface for a desktop tele-classroom conference application.

Leong, Frank (2007) Design of an oscillator for satellite reception.

Poulisse, Gert-Jan (2007) Exploiting inter-conceptual relationships to boost SVM classification.

Prins, Martin (2007) Fast retransmission for multicast IPTV.

Molderink, Albert (2007) Feasibility Analysis of MPEG decoding on reconfigurable hardware.

Sombekke, N.B.H. (2007) Graph-Based Semantics of the .NET Intermediate Language.

Krijnen, Bram (2007) Heat flow modeling in copiers.

Siles Del Castillo, Hugo (2007) Hybrid Content-Based Collaborative-Filtering Music Recommendations.

Roes, J.B.M. (2007) Identifying and solving overlap between messaging standards with the help of domain models, illustrated with HR-XML’s SIDES and SEP.

Baesjou, Bertrand (2007) Improving dependability of OSS access to a hierarchical distributed ad-hoc NMS.

Kuppeveld van, Teun (2007) Model-based redesign of a self-balancing scooter.

Vervuurt, Mark (2007) Modeling business process variability : a search for innovative solutions to business process variability modeling problems.

Ambrosius, Frank (2007) Modelling and distributed controller design of the bodeRC paper-path setup.

Kuperus, J.H. (2007) Nested quantification in graph transformation rules.

Reede, Joost (2007) On A-Select and Federated Identity Management Systems.

Atketin, Namik (2007) Ontwikkeling van een interactieve model-gedreven E-formulier generator.

Nguyen, V.Y. (2007) Optimising techniques for model checkers.

Nguyen, Viet Yen (2007) Optimising techniques for model checkers.

Os van, Roel (2007) Optimizing XML information retrieval query execution at the physical level.

Olthof, Mark (2007) Performance & Scalability of a Spatial Database in a GIS-Web Service Environment.

Portengen, Rik (2007) Phased array antenna processing on reconfigurable hardware.

Spenkelink, Roy David (2007) Porting Compose* to the Java Platform.

Hegge, Stephan (2007) Predicting end-to-end network characteristics on mobile devices.

Oldenkamp, H.A. (2007) Probabilistic model checking : a comparison of tools.

Sambeek van, M. (2007) Real-time shadow generation for 3D simulations using modern hardware.

Smulders, Bram (2007) SQLbusRT : real time data distribution and storage.

Kooijman, Ruben (2007) See, hear, listen : head movements and the sensitive artificial listener.

Staal, Eric (2007) Simulation with Hamiltonian mechanics : creating a module for 20-sim.

Veen van der, Marcel (2007) Sparse matrix vector multiplication on a field programmable gate array.

Zwerus, Robert (2007) Storing Personal Information Management data: Akonadi - unifying PIM data for KDE.

Hoogsteder, V.J.M. (2007) Strategic performance measurement for eBuddy.

Heddema, R.R. (2007) Strategy for a robot soccer team - Let’s play robot soccer -.

Ordelmans, L. (2007) The Creation of a Flexible, Functional Simulation Generator for the Montium Tile Processor.

Papegaaij, E. (2007) The Tree Processing Language: Defining the structure and behaviour of a tree.

Tinselboer, Koen (2007) The use of rare key indexing for distributed web search.

Roo, A.J. de (2007) Towards more robust advice : message flow analysis for composition Filters and its Application.

Klaver, Ruud (2007) Using NSIS (Next Steps in Signaling) for support of QoS aware multimedia services.


Broekhuijsen, Jeroen (2006) 2D Upper Body Pose Estimation from Monocular Images.

Sikkes, Bart (2006) A stable matching based adaptive subcarrier assignment method for multimodal fibre access networks.

Doornenbal, Ing. Dirk (2006) Analysis and redesign of the compose*language.

Nguyen, H.Q. (2006) Analysis of crosscutting concerns in QVT-based model transformations.

Noordhuizen, Paul (2006) Analyzing aspects in production : plans for software product lines.

Winkel te, J.D. (2006) Applying Composition Filters to C.

Linnenbank, Tristan (2006) Architectural Principles for Large Scale Web sites: a Case Study.

Buth, Maarten Dimmen (2006) Ball-handling motion control for soccer playing mini-robots.

Kemna, Tim (2006) Bisimulation minimisation and probabilistic model checking.

Tetteroo, Arend-Jan (2006) Bomb-Proof Server : benodigde technieken en producten voor een high availability systeem en hun consequenties voor beschikbaarheid.

Koop, O.R. (2006) Continuous and discontinuous Galerkin finite element methods of variational Boussinesq water-wave models.

Veldhuijsen van, Gerald (2006) DICOM Image Retrieval.

Berkel, K. (2006) Determinanten van persoonlijk gezondheidsmanagement door senioren.

Dijk van, J.J. (2006) Entiteitreconciliatie ondanks beperkte overlap door middel van objectgelijkheid : casus ¿Koppelen van persoonsgegevens zonder een gemeenschappelijke identificatie¿.

Speelziek, M.D. (2006) Evaluating rapide using the FRODO service discovery protocol.

Conradi, Olaf (2006) Fine-grained Join Point Model in Compose.

Rovers, Kenneth C. (2006) Front-end research for a low-cost spectrum analyser : receiver system and topology study.

Derks, Theo (2006) Health at home.

Spenkelink, Dennis (2006) Incremental Compilation in Compose*.

Rorije, R.J. (2006) Input/output in functional languages : using algebraic uniontTypes.

Bos, Pieter (2006) Interacting with a virtual conductor.

Steen van der, J.L.P.J. (2006) Investigation of the band gap widening effect in thin silicon double gate MOSFETs.

Heerde van, Harold (2006) Life-cycle privacy policies for the ambient intelligence.

Engelen van, L. (2006) Massively parallel quantization implementation using simulated annealing.

Overbeek, J.F. (2006) Meta Object Facility (MOF): investigation of the state of the art.

Groen, Ruud (2006) Modelleren en analyseren van een Ethernet switch.

Backx, Niels (2006) On the design of a mobile e-health platform ¿ towards deployment flexibility.

Dimitrova, Desislava C. (2006) Performance evaluation of RMD (Resource Management in DIFFSERV) within NSIS (Next Steps In Signaling).

Boschman, S.R. (2006) Performing transformations on .NET intermediate language code.

Sirchia, Riccardo (2006) Realtime softwarematige radarscan conversie : met GPU programmeren.

Smelik, R.M. (2006) Specification and Construction of Control Flow Semantics : a generic approach using graph transformations.

Leenslag, Wilco (2006) Werkwijze ter beoordeling van IT governance op basis van geaccepteerde methodes op het terrein van IT governance.


Withaar, T. (2005) Analyzing joint-measurements using 3D scancs and statistical models.

Oosterhof, N.N. (2005) Application patterns in functional languages.

Borkent, Michiel (2005) De- and recomposition of expression in music performance.

Havinga, W. (2005) Designating join points in Compose* : a predicate-based superimposition selector language for Compose.

Holzenspies, Philip (2005) SILC: SPRITE Input Language with C(++).

Nijenhuis, Barry (2005) Smart sign for smart surroundings.


Sözer, Hasan (2004) A peer-to-peer file sharing system for wireless ad-hoc networks.

Evers, Sander (2004) Form follows function. Editor GUIs in a functional style.


He, Xiaobo and Mayasari, Elisabeth E. (2003) A Design of Software Architecture for “SHAPE” Workforce Management Game.


Nurdin, H.I. (2002) Mathematical modelling of bias and uncertainty in accident risk assessment.


Donckers, L. (2001) Energy Efficient TCP.

Agung Julius, A.A. (2001) Evolution of the modal densities of a class of stochastic hybrid systems.


Schiphorst, R. (2000) Demonstration of the Software-Radio Concept.


Hiemstra, D. (1996) Using statistical methods to create a bilingual dictionary.

This list was generated on Wed Jun 27 03:01:08 2012 CEST.