Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : Software Systems

select other reports

this selection

afdeling Software Systems

reports (373)

techrep_id file title / author
UU-CS-2017-016 not
online
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions
Hugo Arends, Bastiaan Heeren, Hieke Keuning and Johan Jeuring
UU-CS-2017-013 pdf Building a generic feedback system for rule-based problems
Nico Naus and Johan Jeuring
UU-CS-2017-012 pdf Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training
Raja Lala, Johan Jeuring and Timo Overbeek.
UU-CS-2017-011 pdf Cognitive Modelling with Term Rewriting
Ivica Milovanovic, and Johan Jeuring
UU-CS-2017-009 pdf Towards the adoption of DevOps in sotfware product organizations: A maturity model approach
Rico de Feijter, Rob van Vliet, Erik Jagroep, Sietse Overbeek and Sjaak Brinkkemper
UU-CS-2017-008 pdf Using scenario smells to analyse scripted communication scenarios in virtual learning environments
Timo Overbeek, Johan Jeuring and Raja Lala
UU-CS-2017-007 pdf An extensible domain-specific language for describing problem-solving procedures
Bastiaan Heeren and Johan Jeuring
UU-CS-2017-006 pdf Code quality Issues in Student Programs
Hieke Keuning, Bastiaan Heeren and Johan Jeuring
UU-CS-2017-005 pdf Scenarios in virtual learning environments for one-to-one communication skills training
Raja Lala, Johan Jeuring, Jordy van Dortmont and Marcell van Geest
UU-CS-2017-004 pdf Risk Mediation in Association Rules: Application Examples
Michiel Meulendijk, Marco Spruit and Sjaak Brinkkemper
UU-CS-2017-003 pdf A Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software Systems
Amir Saeidi, Jurriaan Hage, Ravi Khadka and Slinger Jansen
UU-CS-2017-002 pdf Structure-aware Version Control: A generic approach using Agda
Victor Cacciari Miraldo and Wouter Swierstra
UU-CS-2016-012 pdf A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts
Doaitse Swierstra, Marcos Viera and Atze Dijkstra
UU-CS-2016-011 pdf Context-Dependent Type Error Diagnosis for Functional Languages
Alejandro Serrano Mena and Jurriaan Hage
UU-CS-2016-010 pdf From Attribute Grammars to Constraint Handling Rules
Alejandro Serrano Mena and Jurriaan Hage
UU-CS-2016-009 pdf Generating hints and feedback for Hilbert-style axiomatic proofs
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2016-008 pdf Talk and Tools: The Best of Both Worlds in Mobile User Interfaces of E-coaching
Robbert Jan Beun, Siska Fitrianie, Fiemke Griffioen-Both, Sandor Spruit, Corine Horsch, Jaap Lancee and Willem-Paul Brinkman
UU-CS-2016-005 pdf Vorm en effect van Programmeeronderwijs in het primair onderwijs
Johan Jeuring, Gemma Corbalan, Joek van Montfort, Nienke van Es and Hanneke Leeuwestein
UU-CS-2016-003 pdf The Automatic Generation of Knowledge Spaces From Problem Solving Strategies
Ivica Milovanovic and Johan Jeuring
UU-CS-2016-002 pdf An implementation architecture for scenario-based simulations
Raja Lala, Johan Jeuring and Jordy van Dortmont
UU-CS-2016-001 pdf Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version
Hieke Keuning, Johan Jeuring and Bastiaan Heeren
UU-CS-2015-021 pdf A domain reasoner for propositional logic
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2015-020 pdf Accuracy Test of Software Architecture Compliance Checking Tools – Test Instruction
Leo Pruijt, Christian Köppe, Jan Martijn van der Werf and Sjaak Brinkkemper.
UU-CS-2015-019 pdf Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback
Alex Gerdes, Bastiaan Heeren, Johan Jeuring andThomas van Binsbergen
UU-CS-2015-017 pdf The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review
Stephanie de Smale, Tom Overmans, Johan Jeuring and Liesbeth van de Grint
UU-CS-2015-015 pdf Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education
Johan Jeuring
UU-CS-2015-014 pdf Type Class Instances for Type-Level Lambdas in Haskell
Thijs Alkemade and Johan Jeuring
UU-CS-2015-012 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2015-011 pdf Identifying Companies in Open Source Software Ecosystems
Jakob Buis and SlingerJansen
UU-CS-2015-009 pdf Demo: Communicate! — a serious game for communication skills
Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters and Henk van Zeijts
UU-CS-2015-008 pdf Quality Metrics for Sustainability - The operational Energy Use of Application Software
Ruvar Spauwen, Jan Martijn van der Werf, Sjaak Brinkkemper, Erik Jagroep and Leen Blom
UU-CS-2015-007 pdf A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren and Johan Jeuring
UU-CS-2015-004 pdf Crowd-centric requirements engineering: A method based on crowdsourcing and gamification
Remco Snijders, Atilla Özüm, Fabiano Dalpiaz and Sjaak Brinkkemper
UU-CS-2014-027 pdf Effectieve computerapplicaties: vergelijk de didactiek, niet het domein
Johan Jeuring
UU-CS-2014-026 pdf Strategy-based feedback in a programming tutor
Hieke Keuning, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-025 pdf Model solutions and properties for diagnosing student programs in Ask-Elle
Johan Jeuring, Thomas van Binsbergen, Alex Gerdes and Bastiaan Heeren
UU-CS-2014-023 pdf The business intelligence as a service capability maturity model
Tim de Boer and Marco Spruit
UU-CS-2014-022 pdf The MD3M Questionnaire: Assessing Master Data Management Maturity
Marco Spruit and Katharina Pietzka
UU-CS-2014-021 pdf Evaluating Haskell expressions in a tutoring environment
Tim Olmer, Bastiaan Heeren and Johan Jeuring
UU-CS-2014-019 pdf DOMain Specific Type Error Diagnosis (DOMSTED)
Jurriaan Hage
UU-CS-2014-018 pdf A Quantitative Comparison of Semantic Web Page Segmentation Approaches
Robert Kreuzer, Jurriaan Hage en Ad Feelders
UU-CS-2014-017 pdf Cost versus Precision for Approximate Typing for Python
Levin Fritz and Jurriaan Hage
UU-CS-2014-013 pdf Exploiting Attribute Grammars to Achieve Automatic Tupling
Jeroen Bransen, Atze Dijkstra and Doaitse Swierstra
UU-CS-2014-011 pdf Evaluating Rogue User Testing in Industry: an Experience Report
Sebastian Bauersfeld, Antonio de Rojas and Tanja Vos
UU-CS-2014-010 pdf Evaluating Rogue User an Industrial Case Study at Softeam
Sebastian Bauersfeld, Nelly Condori-Fernandez, Tanja Vos, Etienne Brosse and Alessandra Bagnato
UU-CS-2014-009 pdf Evaluating the FITTEST Automated Testing Tools in SOFTEAM: an Industrial Case Study
Etienne Brosse, Alessandra Bagnato, Tanja Vos and Nelly Condori
UU-CS-2014-006 pdf Cybersecurity in the news: A grounded theory approach to better understand its emerging prominence
Tjalling Reijmer and Marco Spruit
UU-CS-2014-005 pdf Feedback services for stepwise exercises
Bastiaan Heeren and Johan Jeuring
UU-CS-2014-004 pdf Industrial Perception of Legacy Software System and their Modernization
Belfrit Batlajery, Ravi Khadka, Amir Saeidi, Slinger Jansen and Jurriaan Hage
UU-CS-2013-021 pdf Exploring Big Data opportunities for Online Customer Segmentation
Georgia Fotaki, Marco Spruit, Sjaak Brinkkemper and Dlon Meijer
UU-CS-2013-020 pdf Intention-mining: A solution to process participant support in process aware information systems
Elena Epure, Charlotte Hug, Rébecca Deneckère and Sjaak Brinkkemper
UU-CS-2013-019 pdf University Students' Achievement Goals and Help-Seeking Strategies in an Intelligent Tutoring System
Bram Vaessen, Frans Prins and Johan Jeuring
UU-CS-2013-018 pdf The 5/10 method: a method for designing educational games
Johan Jeuring, Rick van Rooij and Nicolas Pronost
UU-CS-2013-017 pdf Type-Changing Rewriting and Semantics-Preserving Transformation
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2013-016 pdf Finding palindromes: variants and algorithms
Johan Jeuring
UU-CS-2013-015 pdf Sharing is Caring - A Decision Support Model for Multi-Tenant Architectures
Michiel Pors, Leen Blom, Jaap Kabbedijk and Slinger Jansen
UU-CS-2013-014 pdf Usage of Generic Programming on Hackage — Experience report —
Nikolaos Bezirgiannis, Johan Jeuring and Sean Leather
UU-CS-2013-013 pdf Haskell in the Large
Jurriaan Hage
UU-CS-2013-012 pdf Towards automatic generationof domain-specific mathematical input support
Eric Andre ́s, Bastiaan Heeren and Johan Jeuring
UU-CS-2013-011 pdf Type-changing program transformations with pattern matching
Joeri van Eekelen, Sean Leather and Johan Jeuring
UU-CS-2013-009 pdf Inductive triple graphs: a purely functional approach to represent RDF
Jose Emilio Labra Gayo, Johan Jeuring and Jose María Álvarez Rodríguez
UU-CS-2013-008 pdf The history of finding palindromes
Johan Jeuring
UU-CS-2013-006 pdf A data architecture for research in mobile health
Anna van der Zalm, Sandor Spruit and Robbert-Jan Beun
UU-CS-2013-005 pdf Parse Your Options
Doaitse Swierstra and Atze Dijkstra
UU-CS-2013-003 pdf A DSL for describing the artificial intelligence in real-time video games
Tom Hastjarjanto, Johan Jeuring and Sean Leather
UU-CS-2013-001 pdf RFID Security and Privacy: Threats and Countermeasures
Marco Spruit and Wouter Wester
UU-CS-2012-017 pdf Cyber Security in Smart Grid Substations
Thijs Baars, Lucas van den Bemd, Michail Theuns, Robin van den Akker, Machiel Schönbeck and Sjaak Brinkkemper
UU-CS-2012-016 pdf Compositional Compiler Construction: Oberon0
Marcos Viera and S.Doaitse Swierstra
UU-CS-2012-014 pdf FITTEST Log Format (version 1.1)
Wishnu Prasetya, Alexander Elyasov, Arie Middelkoop and Jurriaan Hage
UU-CS-2012-013 pdf Log-Based Reduction by Rewriting
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage
UU-CS-2012-012 pdf Using Sub-cases to Improve Log-based Oracles Inference
Wishnu Prasetya, Jurriaan Hage and Alexander Elyasov
UU-CS-2012-011 pdf Feedback Genereren in Leeromgevingen voor Algebra
Johan Jeuring and Bastiaan Heeren
UU-CS-2012-010 pdf Ask-Elle: A Haskell tutor -- Demonstration --
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-009 pdf Generic conversions of abstract syntax rep- resentations
Steven Keuchel and Johan Jeuring
UU-CS-2012-008 pdf Testing Type Class Laws
Johan Jeuring, Patrik Jansson and Cláudio Amaral
UU-CS-2012-007 pdf Teachers and students in charge- Using annotated model solutions in a functional programming tutor-
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2012-006 pdf Legacy to SOA Evolution:Evaluation Results
Ravi Khadka, Amir Saeide, Andrei Idu, Jurriaan Hage and Slinger Jansen
UU-CS-2012-005 pdf A Programming tutor for Haskell
Johan Jeuring, Alex Gerdes and Bastiaan Heeren
UU-CS-2012-004 pdf Type-and-Transform Systems
Sean Leather, Johan Jeuring, Andres Löh and Bram Schuur
UU-CS-2012-003 pdf Probability estimation and a competence model for rule based e-tutoring systems
Diederik M. Roijers, Johan Jeuring and Ad Feelders
UU-CS-2012-002 pdf An Interactive Functional Programming Tutor
Alex Gerdes, Johan Jeuring and Bastiaan Heeren
UU-CS-2011-033 pdf Logisch en Functioneel Programmeren voor Wiskunde D
Wouter Swierstra, Doaitse Swierstra and Jurriën Stutterheim
UU-CS-2011-032 pdf Grammar Fragments Fly First-Class
Marcos Viera and Doaitse Swierstra
UU-CS-2011-031 pdf Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode
Ernst Koldenhof, Johan Jeuring, and Sandra Ruth
UU-CS-2011-030 pdf Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten
Josje Lodder and Johan Jeuring
UU-CS-2011-029 pdf UUAG Meets AspectAG- How to make Attribute Grammars First-Class
Marcos Viera, Doaitse Swierstra and Arie Middelkoop
UU-CS-2011-028 pdf Semantic Macros- Attribute Grammar Combinators
Marcos Viera, Doaitse Swierstra
UU-CS-2011-023 pdf HarmTrace: Automatic functional harmonic analysis
W. Bas de Haas, José Pedro Magalhães, Frans Wiering and Remco C. Veltkamp
UU-CS-2011-022 pdf Software Product Portfolio Management - Towards improvement of current practice
Erik Jagroep, Inge van de Weerd, Sjaak Brinkkemper and Ton Dobbe
UU-CS-2011-021 pdf Generic Programming for Indexed Datatypes
José Pedro Magalhães and Johan Jeuring
UU-CS-2011-020 pdf Comparing Datatype Generic Libraries in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov and Bruno C.D.S. Oliveira
UU-CS-2011-019 pdf Modeling XML Content Explained
Harrie Passier and Bastiaan Heeren
UU-CS-2011-018 pdf Maturity of Operational Procurement in the Construction Industry
X.C. Xing, J. Versendaal, J.M. van den Akker, and B. De Bevere
UU-CS-2011-016 pdf Interleaving strategies
Bastiaan Heeren and Johan Jeuring
UU-CS-2011-009 pdf A Comparative Study of Code Query Technologies
Tiago Alves, Jurriaan Hage, Peter Rademaker
UU-CS-2011-008 pdf Developing a legacy to SOA Migration Method
Gijs Reijnders, Ravi Khadka, Slinger Jansen, and Jurriaan Hage
UU-CS-2011-007 pdf Experience Report: Functional Modelling of Musical Harmony
José Pedro Magalhães and W. Bas de Haas
UU-CS-2011-006 pdf A framework for IT performance management - Enabling organizational growth with IT performance management
S. Haanappel, R. Drost, F. Harmsen, S. Brinkkemper, and J.M. Versendaal
UU-CS-2011-005 pdf CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases
I. S. W. B. Prasetya, J. Amorim, T. E. J. Vos, and A. Baars
UU-CS-2011-001 pdf The MT940 Project Requirement Document
Martin Janek, Ravi Khadka, and Slinger Jansen
UU-CS-2010-028 pdf Properties of exercise strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
UU-CS-2010-025 pdf Kevin Vlaanderen, Inge van de Weerd, Sjaak Brinkkemper
Improving Software Product anagement Processes: a detailed view ofthe Product Software Knowledge Infrastructure
UU-CS-2010-023 pdf How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge
Rolf Biehler, Pascal R. Fischer, Reinhard Hochmuth, Johan Jeuring, Thomas Wassong
UU-CS-2010-021 pdf Data Warehouse (DW) Maturity Assessment Questionnaire
Catalina Sacu, Marco Spruit and Frank Habers
UU-CS-2010-020 pdf Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)
Jurriaan Hage (editor)
UU-CS-2010-017 pdf A generic deriving mechanism for Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
UU-CS-2010-016 pdf Generic selections of subexpressions
Martijn van Steenbergen, José Pedro Magalhães, and Johan Jeuring
UU-CS-2010-015 pdf A comparison of plagiarism detection tools
Jurriaan Hage, Peter Rademaker, Nikè van Vugt
UU-CS-2010-014 pdf The Contribution of Enterprise Architecture to the Achievement of Organizational Goals: Establishing the Enterprise Architecture Benefits Framework
Vasilis Boucharas, Marlies van Steenbergen, Slinger Jansen, Sjaak Brinkkemper
UU-CS-2010-013 pdf SPM Maturity Matrix
Willem Bekkers, Inge van de Weerd
UU-CS-2010-011 pdf Adapting Mathematical Domain Reasoners
Bastiaan Heeren, Johan Jeuring
UU-CS-2010-010 pdf BIDM: The Business Intelligence Development Model
Catalina Sacu, Marco Spruit
UU-CS-2010-008 pdf A Lightweight Approach to Datatype-generic Rewriting
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
UU-CS-2010-004 pdf An empirical research to the relationships between software product management and software project management
Christina Manteli, Inge van de Weerd, Sjaak Brinkkemper
UU-CS-2010-003 pdf Productization: The process of transforming from customer-specific software development to product software development
Peter Artz, Inge van de Weerd, Sjaak Brinkkemper
UU-CS-2010-001 pdf Studying Multi-sourced IT Service Chain Arrangements - The Case of Mission Critical Outsourcing
Ilja Heitslager, Remko Helms, Sjaak Brinkkemper
UU-CS-2009-032 pdf Library-style ontologies to support varying model views
Linda C. van der Gaag, Hermi Tabachneck-Schijf
UU-CS-2009-031 pdf Using Strategies for Assessment of Programming Exercises
Alex Gerdes, Johan Jeuring, Bastiaan Heeren
UU-CS-2009-030 pdf An Interactive Exercise Player for Math-Bridge
Johan Jeuring, Bastiaan Heeren
UU-CS-2009-029 pdf Construct Your Own Favorite Programming Language
S.Doaitse Swierstra
UU-CS-2009-028 pdf A Survey of Tools for Software Operation Knowledge Acquisition
Baldur Kristjánsson, Henk van der Schuur
UU-CS-2009-024 pdf Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.
Sean Leather, Andres Löh, Johan Jeuring
UU-CS-2009-022 pdf Optimizing Generics Is Easy!
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
UU-CS-2009-021 pdf Categorizing impacts of implementing Enterprise Content Management Systems
Knut R. Grahlmann, Cokky Hilhorst, Sander van Amerongen, Remko Helms, Sjaak Brinkkemper
UU-CS-2009-020 pdf Mutational data loading routines for human genome databases: the BRCA1 case
Matthijs van der Kroon, Ignacio Lereu Ramirez, Ana M. Levin, Oscar Pastor, Sjaak Brinkkemper
UU-CS-2009-017 pdf Enumerating Well-Typed Terms Generically
Alexey Rodriguez Yakushev ,Johan Jeuring
UU-CS-2009-016 pdf Generic Programming for Domain Reasoners
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
UU-CS-2009-015 pdf Developing a Maturity Matrix for Software Product Management
Inge van de Weerd, Willem Bekkers, Sjaak Brinkkemper
UU-CS-2009-011 pdf Canonical Forms in Interactive Exercise Assistants.
Bastiaan Heeren, Johan Jeuring
UU-CS-2009-009 pdf Corrective Hints for Type Incorrect Generic Java Programs
Nabil el Boustani, Jurriaan Hage
UU-CS-2009-006 pdf Wetenschap is voor iedereen
Suzanne Haanappel, Sjaak Brinkkemper
UU-CS-2009-005 pdf Case Study Report: Agile Product Management at Planon
Kevin Vlaanderen, Sjaak Brinkkemper, Tjan-Hien Cheng, Slinger Jansen
UU-CS-2009-004 pdf Soft Typing PHP
Patrick Camphuijsen, Jurriaan Hage and Stefan Holdermans
UU-CS-2009-003 pdf Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Alex Gerdes
UU-CS-2009-001 pdf Geniaal programmeren - Generic programming at Utrecht
Johan Jeuring, Lambert Meertens
UU-CS-2008-049 pdf Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren and Johan Jeuring
UU-CS-2008-048 pdf Best practices voor projecten onder enterprise architectuur
Ralph Foorthuis and Sjaak Brinkkemper
UU-CS-2008-047 pdf Best Practices for Business and Systems Analysis in Projects Conforming to Enterprise Architecture
Ralph Foorthuis and Sjaak Brinkkemper
UU-CS-2008-046 pdf A Framework for Local Project Architecture in the Context of Enterprise Architecture
Ralph Foorthuis and Sjaak Brinkkemper
UU-CS-2008-045 pdf Haskell as an Architecture Description Language
Martijn M. Schrage, S. Doaitse Swierstra
UU-CS-2008-044 pdf Combinator Parsing: A Short Tutorial
Doaitse Swierstra
UU-CS-2008-039 pdf On alignment of eye behaviour in human-agent interaction
Huub Prüst, Robbert-Jan Beun and Rogier van Eijk
UU-CS-2008-038 pdf Improving Type Error Messages for Generic Java
Nabil el Boustani and Jurriaan Hage
UU-CS-2008-037 pdf Patterns for In-code Algebraic Testing
Wishnu Prasetya and Tanja Vos
UU-CS-2008-027 pdf Efficient Functional Unification and Substitution
Atze Dijkstra, Arie Middelkoop, and S. Doaitse Swierstra
UU-CS-2008-025 pdf Libraries for Generic Programming in Haskell
Johan Jeuring, Sean Leather, José Pedro Magalhães, and Alexey Rodriguez Yakushev
UU-CS-2008-023 pdf A Process Model for Project Members Conforming to Enterprise Architecture
Ralph Foorthuis and Sjaak Brinkkemper
UU-CS-2008-021 pdf Typed Transformations of Typed Abstract Syntax
Arthur Baars, Doaitse Swierstra
UU-CS-2008-020 pdf A Lightweight Approach to Datatype-Generic Rewriting
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
UU-CS-2008-019 pdf Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring
UU-CS-2008-018 pdf Feedback Services for Exercise Assistants
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman
UU-CS-2008-016 pdf The Relevance of Situational Factors in Software Product Management
Willem Bekkers, Inge van de Weerd, Sjaak Brinkkemper, Alain Mahieu
UU-CS-2008-014 ps.gz
pdf
Verifying Monotonicity of Bayesian Networks with Domain Experts
Linda C. van der Gaag, Hermina J.M. Tabachneck-Schijf, Petra L. Geenen
UU-CS-2008-012 pdf Recognizing Strategies
Bastiaan Heeren and Johan Jeuring
UU-CS-2008-011 pdf The Generic Haskell user's guide, Version 1.80 - Emerald release
Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit
UU-CS-2008-010 pdf Comparing Libraries for Generic Programming in Haskell
Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliviera
UU-CS-2008-009 pdf Controlling risk prior to offshore application development - Investigation and mitigation of collaboration and application risk
Cor-Jan Jager, Stefan Vos, Michiel Borgers, Frank Harmsen, Sjaak Brinkkemper, Lidwien van de Wijngaert
UU-CS-2008-001 pdf Specifying Strategies for Exercises
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen and Alex Gerdes
UU-CS-2007-053 pdf On Involutive Anti-Automorphisms of Finite Abelian Groups
Jurriaan Hage and Tero Harju
UU-CS-2007-049 pdf Abstract Interpretation of Functional Programs using an Attribute Grammar System
Jeroen Fokker and S. Doaitse Swierstra
UU-CS-2007-041 pdf Business Process Improvement in Organizational Design of E-Government Services
Ömer Faruk Aydinli, Sjaak Brinkkemper, and Pascal Ravesteyn
UU-CS-2007-037 pdf Trace-based Reflexive Testing of OO Programs
I.S.W.B. Prasetya, T.E.J. Vos, A. Baars
UU-CS-2007-036 pdf Feedback in exercise assistants
Johan Jeuring
UU-CS-2007-029 pdf Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh
UU-CS-2007-027 pdf Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh
UU-CS-2007-026 not
online
Poster Proceedings of the IFIP WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (ME07)
Jolita Ralyté, Sjaak Brinkkemper, Brian Henderson-Sellers
UU-CS-2007-023 pdf The Neon DSEL for Mining Helium Programs
Jurriaan Hage and Peter van Keeken
UU-CS-2007-022 not
online
SAIM - A situational method for application integration
Sj. Brinkkemper
UU-CS-2007-021 pdf Improving offshore communication by choosing the right coordination strategy
Matthias Fabriek, Mischa van den Brand, Sjaak Brinkkemper, Frank Harmsen, and Remko Helms
UU-CS-2007-017 pdf A Generic Framework for Developing Exercise Assistants
Johan Jeuring, Harrie Passier, Sylvia Stuurman
UU-CS-2007-012 pdf Mining Helium programs with Neon
Jurriaan Hage and Peter van Keeken
UU-CS-2007-008 pdf Turning an interactive tool implemented in Haskell into a web application -- An experience report
Sylvia Stuurman and Johan Jeuring
UU-CS-2007-007 pdf Strategy Feedback in an E-learning Tool for Mathematical Exercises
Johan Jeuring and Wouter Pasman
UU-CS-2006-065 pdf An Integer Linear Programming Approach to Product Software Release Planning & Scheduling
Chen Li, Marjan van den Akker, Sjaak Brinkkemper
UU-CS-2006-063 pdf Software product release planning through optimization and what-if analysis
Marjan van den Akker, Sjaak Brinkemper, Guido Diepen, Johan Versendaal
UU-CS-2006-062 pdf Programmeerplagiaatdetectie met Marble
Jurriaan Hage
UU-CS-2006-061 pdf A Landscape of Agent Systems in the Real World
Virginia Dignum, Frank Dignum
UU-CS-2006-060 pdf Towards formal semantics for reorganization
Virginia Dignum, Frank Dignum
UU-CS-2006-059 pdf Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product
C. Li, J.M. van den Akker, S. Brinkkemper, and G. Diepen
UU-CS-2006-057 not
online
Incremental method evolution in requirements management: A case study at Baan 1994-2006
Inge van de Weerd, Sjaak Brinkkemper, Johan Versendaal
UU-CS-2006-055 pdf Strategies for solving constraints in program analysis
Jurriaan Hage and Bastiaan Heeren
UU-CS-2006-054 pdf Heuristics for type error discovery and recovery (revised revised)
Jurriaan Hage and Bastiaan Heeren
UU-CS-2006-051 pdf Exploiting Type Annotations
Atze Dijkstra and Doaitse S. Swierstra
UU-CS-2006-049 pdf The Generic Haskell user's guide, Version 1.60 - Diamond release
Andres Löh, Johan Jeuring, and Alexey Rodriguez (editors) et al.
UU-CS-2006-047 pdf Mining for Helium
Jurriaan Hage and Peter van Keeken
UU-CS-2006-045 pdf Proceedings of the First International Workshop on Software Product Management (Pre-publication)
Johan Versendaal, Christof Ebert, Sjaak Brinkkemper (editors)
UU-CS-2006-044 pdf A Case Study of a product software vendor's Customer Configuration Updating Process: GX Creative Online Development
Slinger Jansen, Sjaak Brinkkemper, Jurriaan Souer
UU-CS-2006-043 pdf Testing properties of generic functions
Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class
UU-CS-2006-040 pdf An interactive tool for manipulating logical formulae
Josje Lodder, Johan Jeuring, and Harrie Passier
UU-CS-2006-039 pdf Generating generic functions
Johan Jeuring, Alexey Rodriguez, and Gideon Smeding
UU-CS-2006-030 pdf SHREC2006: 3D Shape Retrieval Contest
Remco C. Veltkamp, Remco Ruijsenaars, Michela Spagnuolo, Roelof van Zwol, Frank ter Haar
UU-CS-2006-028 pdf Towards a characterization of bipartite switching classes by means of forbidden subgraphs
Jurriaan Hage and Tero Harju
UU-CS-2006-026 pdf Typed Contracts for Functional Programming
Ralf Hinze, Johan Jeuring, and Andres Löh
UU-CS-2006-025 pdf Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell
Frank Atanassow and Johan Jeuring
UU-CS-2006-024 pdf Generic Programming for Software Evolution
Johan Jeuring and Rinus Plasmeijer
UU-CS-2006-022 pdf Comparing approaches to generic programming in Haskell
Ralf Hinze, Johan Jeuring, Andres Löh
UU-CS-2006-021 pdf Feedback in an interactive equation solver
Harrie Passier and Johan Jeuring
UU-CS-2006-020 pdf Generic Views on Data Types
Stefan Holdermans, Johan Jeuring, Andres Löh and Alexey Rodriguez
UU-CS-2006-016 pdf Netherware: analysis, results, and success factors of the designed curriculum unit
Hanne ten Berge, Stephan Ramaekers, Sjaak Brinkkemper, Albert Pilot
UU-CS-2006-014 pdf A Reference Framework for Software Product Management
Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal and Lex Bijlsma
UU-CS-2006-009 pdf MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT
Martin Bravenboer, René de Groot, Eelco Visser
UU-CS-2006-008 pdf A Product Software Knowledge Infrastructure for Situational Capability Maturation: Vision and Case Studies in Product Management
Inge van de Weerd, Johan Versendaal and Sjaak Brinkkemper
UU-CS-2006-007 pdf Heuristics for type error discovery and recovery (revised)
Jurriaan Hage, Bastiaan Heeren
UU-CS-2006-004 pdf An Inquiry Tool for Stakeholder Concerns of Architectural Viewpoints: a Case Study at a large Financial Service Provider
Henk Koning, Rik Box, Sjaak Brinkkemper
UU-CS-2006-003 pdf A Lightweight Method for the Modeling of Enterprise Architectures: Introduction and Emperical Validation
Henk Koning, Rik Bos, Sjaak Brinkkemper
UU-CS-2006-002 pdf Alignment matters - Improving business functions using the Procurement Alignment Framework
Ronald Batenburg and Johan Versendaal
UU-CS-2005-060 pdf Type Inference for Generic Haskell
Alexey Rodriguez, Johan Jeuring, Andres Löh
UU-CS-2005-059 pdf Het IT-methodenlandschap in Nederland anno 2005
Via selectie, implementatie en toepassing naar succes?

Rob Neering Msc., Dr. Ronald Batenburg, Drs. Erik Bunk, Dr. Frank Harmsen, Prof. dr. Sjaak Brinkkemper
UU-CS-2005-055 pdf The Helium Logging Facility
Jurriaan Hage
UU-CS-2005-053 pdf Proceedings of the Sixth Stratego Users Day
Karl Trygve Kallenberg and Eelco Visser (editor)
UU-CS-2005-052 pdf Stratego/XT 0.16. Components for Transformation Systems
Martin Bravenboer, Karl Trygve Kallenberg, Rob Vermaas, Eelco Visser
UU-CS-2005-050 pdf Situational Requirements Engineering for the Development of Content Management System-based Web Applications
Jurriaan Souer, Inge van de Weerd, Johan Versendaal, and Sjaak Brinkkemper
UU-CS-2005-046 pdf Theorem Prover Supported Logics for Small Imperative Languages
I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A. van Leeuwen, H. Suhartanto
UU-CS-2005-043 pdf WEM: A design method for CMS-based web implementations
Inge van de Weerd
UU-CS-2005-041 pdf Definition and Validation of the Key Process Areas of Release, Delivery and Deployment of Product Software Vendors: turning the ugly duckling into a swan
Slinger Jansen and Sjaak Brinkkemper
UU-CS-2005-039 pdf Service Configuration Management
Eelco Dolstra, Martin Bravenboer, Eelco Visser
UU-CS-2005-038 pdf A Collection of XML documents and Query Tasks
Joris Graaumans
UU-CS-2005-035 pdf Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax
Martin Bravenboer, Rob Vermaas, Jurgen Vinju, Eelco Visser
UU-CS-2005-034 pdf Transformations for Abstractions
Eelco Visser
UU-CS-2005-033 pdf Ruler: Programming Type Rules
Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2005-032 pdf Making Implicit Parameters Explicit
Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2005-031 pdf Adaptive Code Reuse by Aspects, Cloning and Renaming
Anya Helene Bagge, Martin Bravenboer, Karl Trygve Kalleberg, Koen Muilwijk, Eelco Visser
UU-CS-2005-030 pdf Combining Aspect-Oriented and Strategic Programming
Karl Trygve Kalleberg, Eelco Visser
UU-CS-2005-029 pdf Heuristics for type error discovery and recovery
Jurriaan Hage and Bastiaan Heeren
UU-CS-2005-025 pdf Preserving order in non-order preserving parsers
Rui Guerra, Arthur I. Baars, S. Doaitse Swierstra, and João Saraiva
UU-CS-2005-022 pdf A Survey of Strategies in Rule-Based Program Transformation Systems
E. Visser
UU-CS-2005-019 pdf Content Authoring in an XML-based and Author Friendly Environment
Roelof van Zwol, Astrid Callista
UU-CS-2005-016 pdf Ordering Type Constraints: A Structured Approach
Jurriaan Hage and Bastiaan Heeren
UU-CS-2005-015 pdf Task and Social Coordination in Agent Organizations
Virginia Dignum and Frank Dignum
UU-CS-2005-012 pdf Generic Views on Data Types
Stefan Holdermans, Johan Jeuring and Andres L\"oh
UU-CS-2005-009 pdf The Maturity of Product Lifecycle Management in Dutch Organizations. A Strategic Perspective
Ronald Batenburg, Remko Helms, Johan Versendaal
UU-CS-2005-008 pdf Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding
Frank Atanassow and Johan Jeuring
UU-CS-2005-007 pdf The Embedding Problem for Switching Classes
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg
UU-CS-2005-006 pdf Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules
K. Olmos and E. Visser
UU-CS-2005-005 pdf Program Transformation with Scoped Dynamic Rewrite Rules
M. Bravenboer, A. van Dam, K. Olmos, and E. Visser
UU-CS-2005-004 pdf Generic Haskell User's Guide -- Version 1.42 (Coral)
Andres Loeh, Johan Jeuring (editors); Dave Clarke, Ralf Hinze, Alexey Rodriguez, Jan de Wit
UU-CS-2005-002 pdf Web Cube: a Programming Model for Reliable Web Applications
I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra, B. Widjaja
UU-CS-2005-001 pdf Busines Alignment in the Procurement Domain
Johan Versendaal, Mark Beukers, Ronald Batenburg
UU-CS-2004-065 pdf Knowledge Entry Maps: structuring of method knowledge in the IT industry
Remko Helms, Sjaak Brinkkemper, Job van Oosterum, Frank de Nijs
UU-CS-2004-063 ps.gz
pdf
Flexible Release Composition using Integer Linear Programming
Marjan van den Akker, Sjaak Brinkkemper, Guido Diepen, Johan Versendaal
UU-CS-2004-059 pdf Explicit implicit parameters
Atze Dijkstra and S. Doaitse Swierstra
UU-CS-2004-054 pdf Building Verification Condition Generators by Compositional Extensions
I. S. W. B. Prasetya, A. Azurat, and T.E.J. Vos
UU-CS-2004-052 pdf The lazy virtual machine specification
Daan Leijen
UU-CS-2004-051 pdf First-class labels for extensible rows
Daan Leijen
UU-CS-2004-046 pdf Build-level Component-Based Software Engineering
Merijn de Jonge
UU-CS-2004-045 pdf Nix: A Safe and Policy-Free System for Software Deployment
Eelco Dolstra, Merijn de Jonge and Eelco Visser
UU-CS-2004-044 pdf Imposing a Memory Management Discipline on Software Deployment
Eelco Dolstra, Eelco Visser and Merijn de Jonge
UU-CS-2004-039 pdf A first attempt at type class directives
Bastiaan Heeren en Jurriaan Hage
UU-CS-2004-037 pdf Typing Haskell with an Attribute Grammar (Part I)
Atze Dijkstra, Doaitse Swierstra
UU-CS-2004-035 pdf Knowledge Entry Maps: ontology to structure method knowledge in the IT industry
Remko Helms, Sjaak Brinkkemper, Frank de Nijs, Job van Oosterum
UU-CS-2004-027 ps.gz
pdf
Distributed Ranking Methods for Geographic Information Retrieval
Marc van Kreveld, Iris Reinbacher, Avi Arampatzis, Roelof van Zwol
UU-CS-2004-025a pdf Linear, Online, Functional Pretty Printing (corrected and extended version)
S. Doaitse Swierstra
UU-CS-2004-024 pdf Decoupling Source Trees into Build-level Components
Merijn de Jonge
UU-CS-2004-023 pdf Embedding in Switching Classes with Skew Gains
Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, and Grzegorz Rosenberg
UU-CS-2004-021 pdf ICT-Kanskaart Vergrijzing: Innovatieve ICT-Kansen op het Terrein van de Vergrijzingsproblematiek
Ronald Batenburg, Elly Breedveld, Jolijn van Haaf, Kitty Pardoel, Johan Versendaal
UU-CS-2004-019 ps.gz
pdf
An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations
V. Dignum, F. Dignum, J.J. Meyer
UU-CS-2004-017 pdf An Overview of Agents in Knowledge Management
Virginia Dignum
UU-CS-2004-015 pdf Organizing Multi-Agent Systems
Javier Vázquez-Salceda, Virginia Dignum, Frank Dignum
UU-CS-2004-012 pdf Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax
Bernd Fischer and Eelco Visser
UU-CS-2004-011 pdf Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9
Eelco Visser
UU-CS-2004-005 pdf Ontological Feedback in Multiagent Systems
Robbert-Jan Beun, Rogier M. van Eijk, and Huub Prüst
UU-CS-2004-003 pdf Optimal communication vocubularies in the presence of heterogeneous ontologies
Jurriaan van Diggelen, Robbert Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Meyer
UU-CS-2003-054 pdf Putting Engineering into the Enterprise System
Remko Helms
UU-CS-2003-053 ps.gz
pdf
The elicitation of test-selection strategies: a case study in oncology
Danielle Sent, Linda C. van der Gaag, Cilia L.M. Witteman, Berthe M.P. Aleman, and Babs G. Taal
UU-CS-2003-052 pdf Timeline Variability: The Variability of Binding Time of Variation Points
E. Dolstra, G. Florijn, and E. Visser
UU-CS-2003-051 pdf Capturing Timeline Variability with Transparent Configuration Environments
E. Dolstra, G. Florijn, M. de Jonge, and E. Visser
UU-CS-2003-050 pdf Strategies for Fusing Logic and Control via Local, Application-Specific Transformations
P. Johann and E. Visser
UU-CS-2003-049 pdf Turning dynamic typing into static typing by program specialization
K. Olmos and E. Visser
UU-CS-2003-048 pdf Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems
Jonne van Wijngaarden and Eelco Visser
UU-CS-2003-043 pdf A UNITY-based Framework towards Component Based Systems
I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, and S.D. Swierstra
UU-CS-2003-030 pdf Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
Dave Clark (editor)
UU-CS-2003-028 pdf Improvement Framework for Buyer-Owned Trading Exchanges: Procurement at Komatsu America Corp. - Peoria Manufacturing Operations
Johan Versendaal and Sjaak Brinkkemper
UU-CS-2003-023 ps.gz
pdf
Scripting XML with Generic Haskell
Frank Atanassow, Dave Clarke, Johan Jeuring
UU-CS-2003-022 pdf Dependency-style Generic Haskell
Andres Lö, Dave Clarke, and Johan Jeuring
UU-CS-2003-016 pdf Generic Haskell: Applications
Ralf Hinze and Johan Jeuring
UU-CS-2003-015 pdf Generic Haskell: Practice and Theory
Ralf Hinze and Johan Jeuring
UU-CS-2002-048 ps.gz
pdf
External Uniqueness is Unique Enough
Dave Clarke, Tobias Wrigstad
UU-CS-2002-047 pdf The Generic Haskell User's Guide. Version 1.23 - Beryl release
David Clarke, Johan Jeuring, Andres Löh
UU-CS-2002-045 pdf XML query requirements
Joris Graaumans
UU-CS-2002-042 ps.gz
pdf
Strategies for Source-to-Source Constant Propagation
Karina Olmos and Eelco Visser
UU-CS-2002-035 ps.gz
pdf
Parametric Type Inferencing for Helium
Bastiaan Heeren and Jurriaan Hage
UU-CS-2002-031 ps.gz
pdf
Generalizing Hindley-Milner Type Inference Algorithms
Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra
UU-CS-2002-030 ps.gz
pdf
Combinators for layered software architectures
Martijn M. Schrage, Johan Jeuring, S. Doaitse Swierstra
UU-CS-2002-028 pdf Meta-programming with concrete object syntax
E. Visser
UU-CS-2002-025 pdf !UNITY: A Theory of General UNITY
I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra
UU-CS-2002-023 pdf Generic Programming for XML Tools
Johan Jeuring, Paul Hagg
UU-CS-2002-022 pdf Building interpreters with rewriting strategies
E. Dolstra, E. Visser
UU-CS-2002-021 pdf Rewriting Strategies for Instruction Selection
Martin Bravenboer, Eelco Visser
UU-CS-2002-017 ps.gz
pdf
Euler graphs, triangle-free graphs and bipartite graphs in switching classes
Jurriaan Hage, Tero Harju, and Emo Welzl
UU-CS-2002-011 ps.gz
pdf
Type-indexed data types
Ralf Hinze, Johan Jeuring, Andres Löh
UU-CS-2002-009 ps.gz
pdf
Improving type-error messages in functional languages
Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer
UU-CS-2002-008 ps.gz
pdf
A preliminary report on xMECH
A. Azurat and I.S.W.B. Prasetya
UU-CS-2002-007 ps.gz
pdf
A Survey on Embedding Programming Logics in a Theorem Prover
A. Azurat and I.S.W.B. Prasetya
UU-CS-2001-62 pdf Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001)
Ralf Hinze (editor)
UU-CS-2001-54 ps.gz
pdf
Proceedings of the Second Stratego Users Day
Eelco Visser (editor)
UU-CS-2001-42 pdf Guiding visitors: separating navigation from computation
Martin Bravenboer, Eelco Visser
UU-CS-2001-41 ps.gz
pdf
Program refinement in UNITY
T.E.J. Vos and S.D. Swierstra
UU-CS-2001-40 pdf Proving distributed hylomorphisms
T.E.J. Vos, S.D. Swierstra
UU-CS-2001-39 pdf Disambiguation filters for scannerless generalized LR parsers
M.G.J. van den Brand, J. Scheerder, J.J. Vinju, E. Visser
UU-CS-2001-38 pdf First-class rules and generic traversal
E. Dolstra, E. Visser
UU-CS-2001-35 pdf Parsec: Direct style monadic parser combinators for the real world
D. J. P. Leijen, H. J. M. Meijer
UU-CS-2001-34 pdf Polytypic data conversion programs
P. Jansson, J. T. Jeuring
UU-CS-2001-33 pdf Functional Pearl. Weaving a Web
R. Hinze, J. T. Jeuring
UU-CS-2001-32 ps.gz
pdf
CodeBoost. A framework for transforming C++ programs
O. S. Bagge, M. Haveraaen, E. Visser
UU-CS-2001-31 pdf A survey of rewriting strategies in program transformation systems
E. Visser
UU-CS-2001-30 pdf Fusing logic and control with local transformations: an example optimization
P. Johann, E. Visser
UU-CS-2001-29 pdf Scoped dynamic rewrite rules
E. Visser
UU-CS-2001-28 pdf Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5
E. Visser
UU-CS-2001-27 pdf Enumerating submultisets of multisets
J. Hage
UU-CS-2001-26 pdf The Generic Haskell User's Guide
D. Clarke, R. T. W. Hinze, J. T. Jeuring, A. Löh, J. de Wit
UU-CS-2001-18 pdf Lazy Functional Parser Combinators in Java
Atze Dijkstra, Doaitse S. Swierstra
UU-CS-2001-09 pdf A Simple Implementation Technique for Priority Search Queues
R. T. W. Hinze
UU-CS-2001-01 ps.gz
pdf
Probabilities for a probabilistic network: A case-study in Oesophageal Carcinoma
L. C. van der Gaag, S. Renooij, C. L. M. Witteman, B. M. P. Aleman, B. G. Taal
UU-CS-2000-43 ps.gz
pdf
Warm fusion in Stratego - A case study in the generation of program transformation systems
P. Johann, E. Visser
UU-CS-2000-19 ps.gz
pdf
Proceedings Workshop on Generic Programming (WGP2000)
J. T. Jeuring
UU-CS-2000-10 ps.gz
pdf
Sequential program composition in Unity
T.E.J. Vos, S. D. Swierstra
UU-CS-2000-09 ps.gz
pdf
Defining a non-concrete recursive type in HOL which includes sets
T.E.J. Vos, S. D. Swierstra
UU-CS-2000-07 ps.gz
pdf
Formal design of self-stabilizing programs: Theory and examples
S. W. B. Prasetya, S. D. Swierstra
UU-CS-2000-02 ps.gz
pdf
Factorizing fault tolerance
S. W. B. Prasetya, S. D. Swierstra
UU-CS-2000-01 ps.gz
pdf
Component-wise formal approach to design distributed systems
S. W. B. Prasetya, S. D. Swierstra, B. Widjaja
UU-CS-1999-28 ps.gz
pdf
Proceedings of the 1999 Haskell Workshop
H. J. M. Meijer
UU-CS-1999-26 ps.gz
pdf
SKIT, An open architecture for courseware authoring
Atze Dijkstra, Martijn Schrage, Doaitse Swierstra
UU-CS-1999-19 ps.gz
pdf
Talking probabilities: communicating probabilistic information with words and numbers
S. Renooij, C. L. M. Witteman
UU-CS-1999-15 ps.gz
pdf
How to elicit many probabilities
L. C. van der Gaag, S. Renooij, C. L. M. Witteman, B. M. P. Aleman, B. G. Taal
UU-CS-1997-30 ps.gz
pdf
Strictification of computations on trees
J. Saraiva, S. D. Swierstra, M. F. Kuiper
UU-CS-1996-51 ps.gz
pdf
Strictification of lazy functions
J. Saraiva, S. D. Swierstra, M. F. Kuiper, M. Pennings
UU-CS-1996-50 ps.gz
pdf
Effective function cache management for incremental attribute evaluation
J. Saraiva, M. F. Kuiper, S. D. Swierstra
UU-CS-1996-37 ps.gz
pdf
Formal methods and mechanical verification applied to the development of a convergent distributed sorting program
T.E.J. Vos, S. D. Swierstra, S. W. B. Prasetya
UU-CS-1996-01 ps.gz
pdf
Formalizing UNITY with HOL
S. W. B. Prasetya
UU-CS-1995-07 ps.gz
pdf
Formal design of self-stabilizing programs
S. W. B. Prasetya, S. D. Swierstra
UU-CS-1994-50 pdf Modelling Office Processes with Functional Parsers
G. Florijn
UU-CS-1994-19 pdf Mechanization of Substitution Rule and Compostionality of UNITY in HOL
I.S.W.B. Prasetya
UU-CS-1994-06 pdf Hazard Algebra for Asynchronous Circuits
E. Meijer
UU-CS-1994-05 pdf More Advice on Proving a Compiler Correct: Improve a Correct Compiler
E. Meijer
UU-CS-1994-04 pdf Back to Basics: Deriving Presentations Changers Without Relations
G. Hutton and E. Meijer
UU-CS-1994-01 ps.gz
pdf
Bottom-up grammar analysis - A functional formulation
J. T. Jeuring, S. D. Swierstra
RUU-CS-93-46 ps.gz
pdf
Multi-traversal tree-decoration in a functional setting: monads versus bindings
M. Pennings
RUU-CS-93-29 pdf The Secrets of Causality
F. Rietman
RUU-CS-93-08 pdf Mapping objects to files: a UNIX file system interface to an object management system
Gert Florijn and Leo Soepenberg and Atze Dijkstra
RUU-CS-93-07 ps.gz
pdf
On the relation between Unity properties and sequences of states
R. T. Udink, J. N. Kok
RUU-CS-92-25 pdf Towards the formal design of self-stabilizing distributed algorithms
P.J.A. Lentfert and S.D. Swierstra
RUU-CS-92-23 pdf Congruences and quotients in categories of algebras
N. Verwer
RUU-CS-92-18 pdf Speeding up parallelism detection for attribute grammars
M.F. Kuiper
RUU-CS-92-16 pdf Virtual data structures
D. Swierstra and O. de Moor
RUU-CS-92-11 pdf Using cached functions and constructors for incremental attribute evaluation
M. Pennings and D. Swierstra and H. Vogt
RUU-CS-91-34 pdf Superposition refinement of parallel algorithms
R.J.R. Back and K. Sere
RUU-CS-91-17 pdf Stepwise refinement of reactive processor farms
K. Sere
RUU-CS-91-14 pdf Higher order attribute grammars, Lecture notes of the International Summer School on Attribute Grammars, applications and systems
S.D. Swierstra and H.H. Vogt
RUU-CS-91-11 pdf Mechanising proofs of program transformaton rules
K. Sere and J. von Wright
RUU-CS-90-43 pdf From game trees to game graphs
W.T.M. Kars
RUU-CS-90-38 pdf Categorical semantics as a basis for program transformation
N. Verwer
RUU-CS-90-36 pdf On the efficient incremental evaluation of higher order attribute grammars
H. Vogt and D. Swierstra and M. Kuiper
RUU-CS-90-30 pdf Distributed incremental maximum finding in hierarchically divided graphs
P.J.A. Lentfert and S.D. Swierstra and A.H. Uittenbogaard
RUU-CS-90-23 pdf Rapid development of a program transformation system with attribute grammars and dynamic transformations
H. Vogt and A. van den Berg and A. Freije
RUU-CS-90-14 pdf A lower bound for full polymorphic type inference: Girard-Reynolds Typability is DEXPTIME-hard
F. Henglein
RUU-CS-90-12 pdf Higher order attribute grammars: a merge between functional and object oriented programming
S.D. Swierstra and H.H. Vogt
RUU-CS-90-06 pdf Deriving programming laws categorically
N. Verwer
RUU-CS-90-05 pdf Homomorphisms, factorisation and promotion
N. Verwer
RUU-CS-90-04 pdf Paramorphisms
L. Meertens
RUU-CS-90-03 pdf Algorithms from theorems
J. Jeuring
RUU-CS-89-33 pdf Fast left-linear semi-unification
F. Henglein
RUU-CS-89-14 pdf The systematic construction of a one-combinator basis
J. Fokker
RUU-CS-89-09 pdf Constructing a calculus of programs
L. Meertens
RUU-CS-89-05 pdf Distributed hierarchical routing
P.J.A. Lentfert and A.H. Uittenbogaard and S.D. Swierstra
RUU-CS-89-04 pdf Higher order attribute grammars
H.H. Vogt and S.D. Swierstra and M.F. Kuiper
RUU-CS-88-30 pdf Data conversions in abstract data types
N. Verwer
RUU-CS-87-26 pdf The role of divide in divide-and-rule algorithms
O. de Moor
RUU-CS-87-24 pdf Elimination of variables from functional programs
O. de Moor
RUU-CS-86-16 ps.gz
pdf
Using attribute grammars to derive efficient functional programs
M. F. Kuiper, S. D. Swierstra
RUU-CS-86-15 pdf How to prove the first and second incompleteness theorem using concatenation
A. Visser and O. de Moor and M.J. Walsteijn
RUU-CS-86-14 pdf Attribute grammars in Prolog
M.J. Walsteijn and M.F. Kuiper
RUU-CS-85-19 pdf A LAN with real-time facilities based on OSI concepts
A.J. de Raaf and A.Dijkstra and S.D. Swierstra
RUU-CS-83-03 pdf Interaction with personal information systems (in Dutch)
P. van Oostrum

indexed authors

author group
Akker, dr. ir. J.M. van den all reports Algorithmic Systems all reports
Arampatzis, dr. A. all reports Games and Virtual Worlds all reports
Atanassow, F. all reports Software Technology all reports
Azero Alcocer, P.R. all reports Software Technology all reports
Azurat, A. all reports Software Technology all reports
Baars, dr. A.I. all reports Software Technology all reports
Bagge, drs. A.H. all reports Software Technology all reports
Batenburg, dr. R.S. all reports Organisation and Information all reports
Bekkers, dr. W.J. all reports Organisation and Information all reports
Beun, dr. ir. R.J. all reports Multimedia and Geometry all reports
Bijlsma, dr. A. all reports Software Technology all reports
Bos, dr. R. all reports Organisation and Information all reports
Bransen, dr. J. all reports Software Technology all reports
Bravenboer, dr. M. all reports Software Technology all reports
Brinkkemper, prof. dr. S. all reports Organisation and Information all reports
Clarke, D.G. all reports Software Technology all reports
Dalpiaz, dr. F. all reports Organisation and Information all reports
Diepen, dr. G. all reports Algorithmic Systems all reports
Diggelen, dr. J. van all reports Cognition and Communication all reports
Dignum, dr. F.P.M. all reports Intelligent Systems all reports
Dignum, dr. M.V. all reports Cognition and Communication all reports
Dijkstra, dr. A. all reports Software Technology all reports
Dolstra, dr. E. all reports Software Technology all reports
Eijk, dr. R.M. van all reports Intelligent Systems all reports
Elyasov, A.B. all reports Software Technology all reports
Feelders, dr. A.J. all reports Algorithmic Data Analysis all reports
Florijn, ing. G. all reports Software Technology all reports
Fokker, drs. J.D. all reports Software Technology all reports
Gaag, prof. dr. ir. L.C. van der all reports Decision Support Systems all reports
Geenen, dr. ir. P.L. all reports Decision Support Systems all reports
Gerdes, ir. A. all reports Software Technology all reports
Graaumans, dr. J.P.M. all reports Content and Knowledge Engineering all reports
Griffioen-Both, dr. F. all reports Multimedia and Geometry all reports
Guerra, R.M. all reports Software Technology all reports
Haar, dr. F.B. ter all reports Multimedia and Geometry all reports
Haas, dr. W.B. de all reports Multimedia and Geometry all reports
Hage, dr. J. all reports Software Technology all reports
Heeren, dr. B.J. all reports Software Technology all reports
Helms, prof.dr. ir. R.W. all reports Organisation and Information all reports
Henglein, dr. F.H. all reports Software Technology all reports
Hinze, dr. R.T.W. all reports Software Technology all reports
Holdermans, drs. S. all reports Software Technology all reports
Jagroep, MSc E.A. all reports Organisation and Information all reports
Jansen, dr. S. all reports Organisation and Information all reports
Jeuring, prof. dr. J.T. all reports Software Technology all reports
Jonge, dr. M. de all reports Software Technology all reports
Kabbedijk, Dr. J. all reports Organisation and Information all reports
Kalleberg, MSc K.T. all reports Software Technology all reports
Kars, dr. W.T.M. all reports Software Technology all reports
Khadka, dr. R. all reports Organisation and Information all reports
Kok, prof. dr. J.N. all reports Games and Virtual Worlds all reports
Koning, dr. H. all reports Organisation and Information all reports
Kreveld, prof. dr. M.J. van all reports Games and Virtual Worlds all reports
Kuiper, dr. M.F. all reports Software Technology all reports
Lala, R. all reports Software Technology all reports
Leather, MSc S.P. all reports Software Technology all reports
Leeuwen, drs. A.J. van all reports Software Technology all reports
Leijen, dr. DJP all reports Software Technology all reports
Löh, dr. A. all reports Software Technology all reports
Magalhães, dr. ir. J.P. all reports Software Technology all reports
Meertens, prof. L.G.L.T. all reports Software Technology all reports
Meijer, dr. HJM all reports Software Technology all reports
Meulendijk, dr. M. all reports Organisation and Information all reports
Meyer, prof. dr. J-J.Ch. all reports Intelligent Systems all reports
Middelkoop, dr. A. all reports Software Technology all reports
Milovanovic, MSc I. all reports Software Technology all reports
Moor, dr. O. de all reports Software Technology all reports
Naus, MSc N. all reports Software Technology all reports
Noort, MSc T.R. van all reports Software Technology all reports
Olmos Joffre, dr. K.R. all reports Software Technology all reports
Oostrum, drs. P. van all reports Software Technology all reports
Overbeek, dr. S.J. all reports Organisation and Information all reports
Pennings, dr. M. all reports Software Technology all reports
Prasetya, dr. S.W.B. all reports Software Technology all reports
Pronost, dr. N.G. all reports Games and Virtual Worlds all reports
Prüst, dr. H.H.A.M. all reports Organisation and Information all reports
Ravesteyn, dr. J.P.P. all reports Organisation and Information all reports
Reinbacher, dr. Dipl-Ing I. all reports Games and Virtual Worlds all reports
Renooij, dr. S. all reports Decision Support Systems all reports
Rietman, dr. F.J. all reports Software Technology all reports
Rodriguez Yakushev, dr. A.L. all reports Software Technology all reports
Saeidi, A.M. all reports Software Technology all reports
Saraiva, dr. J. all reports Software Technology all reports
Schijf, dr. H.J.M. Tabachneck- all reports Cognition and Communication all reports
Schrage, dr. M.M. all reports Software Technology all reports
Schuur, dr. H.W. van der all reports Organisation and Information all reports
Sent, dr. D. all reports Decision Support Systems all reports
Sere, prof. K all reports Software Technology all reports
Serrano Mena, A. all reports Software Technology all reports
Souer, dr. J. all reports Organisation and Information all reports
Spruit, dr. M.R. all reports Organisation and Information all reports
Spruit, ir. A.G.L. all reports Organisation and Information all reports
Swierstra, dr. W.S. all reports Software Technology all reports
Swierstra, prof. dr. (em.) S.D. all reports Software Technology all reports
Udink, dr. ir. R.T. all reports Software Technology all reports
Vazquez Salceda, dr. J. all reports Intelligent Systems all reports
Veltkamp, prof. dr. R.C. all reports Multimedia and Geometry all reports
Vermaas, drs. R.B. all reports Software Technology all reports
Versendaal, dr. ir. J.M. all reports Organisation and Information all reports
Verwer, dr. N. all reports Software Technology all reports
Viera Larrea, dr. MSc M.O. all reports Software Technology all reports
Visser, dr. E. all reports Software Technology all reports
Vlaanderen, dr. K. all reports Organisation and Information all reports
Vogt, dr. H.H. all reports Software Technology all reports
Vos, dr. T.E.J. all reports Software Technology all reports
Weerd, dr. I. van de all reports Organisation and Information all reports
Werf, dr.ir. J.M.E.M. van der all reports Organisation and Information all reports
Wiering, dr. F. all reports Multimedia and Geometry all reports
Wijngaert, dr. L. van de all reports Organisation and Information all reports
Witteman, dr. C.L.M. all reports Content and Knowledge Engineering all reports
Wrigstad, T. all reports Guests and Others all reports
Zalm, MSc A. van der all reports Multimedia and Geometry all reports
Zwol, dr. ir. R. van all reports Content and Knowledge Engineering all reports

BibTeX entries

@TECHREPORT{UUCS2017016,
author = {Arends, Hugo and Heeren, Bastiaan and Keuning, Hieke and Jeuring, Johan},
year = 2017,
title = {An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions},
number = {UU-CS-2017-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017013,
author = {Naus, Nico and Jeuring, Johan},
year = 2017,
title = {Building a generic feedback system for rule-based problems},
number = {UU-CS-2017-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017012,
author = {Lala, Raja and Jeuring, Johan and Overbeek., Timo},
year = 2017,
title = {Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training},
number = {UU-CS-2017-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017011,
author = {Milovanovic, Ivica and Jeuring, Johan},
year = 2017,
title = {Cognitive Modelling with Term Rewriting},
number = {UU-CS-2017-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017009,
author = {Feijter, Rico~de and Vliet, Rob~van and Jagroep, Erik and Overbeek, Sietse and Brinkkemper, Sjaak},
year = 2017,
title = {Towards the adoption of DevOps in sotfware product organizations: A maturity model approach},
number = {UU-CS-2017-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017008,
author = {Overbeek, Timo and Jeuring, Johan and Lala, Raja},
year = 2017,
title = {Using scenario smells to analyse scripted communication scenarios in virtual learning environments},
number = {UU-CS-2017-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017007,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2017,
title = {An extensible domain-specific language for describing problem-solving procedures},
number = {UU-CS-2017-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017006,
author = {Keuning, Hieke and Heeren, Bastiaan and Jeuring, Johan},
year = 2017,
title = {Code quality Issues in Student Programs},
number = {UU-CS-2017-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017005,
author = {Lala, Raja and Jeuring, Johan and Dortmont, Jordy~van and Geest, Marcell~van},
year = 2017,
title = {Scenarios in virtual learning environments for one-to-one communication skills training},
number = {UU-CS-2017-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017004,
author = {Meulendijk, Michiel and Spruit, Marco and Brinkkemper, Sjaak},
year = 2017,
title = {Risk Mediation in Association Rules: Application Examples},
number = {UU-CS-2017-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017003,
author = {Saeidi, Amir and Hage, Jurriaan and Khadka, Ravi and Jansen, Slinger},
year = 2017,
title = {A Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software Systems},
number = {UU-CS-2017-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2017002,
author = {Miraldo, Victor~Cacciari and Swierstra, Wouter},
year = 2017,
title = {Structure-aware Version Control: A generic approach using Agda},
number = {UU-CS-2017-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2017/2017-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016012,
author = {Swierstra, Doaitse and Viera, Marcos and Dijkstra, Atze},
year = 2016,
title = {A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts},
number = {UU-CS-2016-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016011,
author = {Mena, Alejandro~Serrano and Hage, Jurriaan},
year = 2016,
title = {Context-Dependent Type Error Diagnosis for Functional Languages},
number = {UU-CS-2016-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016010,
author = {Mena, Alejandro~Serrano and Hage, Jurriaan},
year = 2016,
title = {From Attribute Grammars to Constraint Handling Rules},
number = {UU-CS-2016-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016009,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2016,
title = {Generating hints and feedback for Hilbert-style axiomatic proofs},
number = {UU-CS-2016-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016008,
author = {Beun, Robbert~Jan and Fitrianie, Siska and Griffioen-Both, Fiemke and Spruit, Sandor and Horsch, Corine and Lancee, Jaap and Brinkman, Willem-Paul},
year = 2016,
title = {Talk and Tools: The Best of Both Worlds in Mobile User Interfaces of E-coaching},
number = {UU-CS-2016-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016005,
author = {Jeuring, Johan and Corbalan, Gemma and Montfort, Joek~van and Es, Nienke~van and Leeuwestein, Hanneke},
year = 2016,
title = {Vorm en effect van Programmeeronderwijs in het primair onderwijs},
number = {UU-CS-2016-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016003,
author = {Milovanovic, Ivica and Jeuring, Johan},
year = 2016,
title = {The Automatic Generation of Knowledge Spaces From Problem Solving Strategies},
number = {UU-CS-2016-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016002,
author = {Lala, Raja and Jeuring, Johan and Dortmont, Jordy~van},
year = 2016,
title = {An implementation architecture for scenario-based simulations},
number = {UU-CS-2016-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2016001,
author = {Keuning, Hieke and Jeuring, Johan and Heeren, Bastiaan},
year = 2016,
title = {Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version},
number = {UU-CS-2016-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2016/2016-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015021,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2015,
title = {A domain reasoner for propositional logic},
number = {UU-CS-2015-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015020,
author = {Pruijt, Leo and Köppe, Christian and Werf, Jan~Martijn~van~der and Brinkkemper., Sjaak},
year = 2015,
title = {Accuracy Test of Software Architecture Compliance Checking Tools – Test Instruction},
number = {UU-CS-2015-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015019,
author = {Gerdes, Alex and Heeren, Bastiaan and Binsbergen, Johan~Jeuring~andThomas~van},
year = 2015,
title = {Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback},
number = {UU-CS-2015-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015017,
author = {Smale, Stephanie~de and Overmans, Tom and Jeuring, Johan and Grint, Liesbeth~van~de},
year = 2015,
title = {The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review},
number = {UU-CS-2015-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015015,
author = {Jeuring, Johan},
year = 2015,
title = {Proceedings TFPIE 2015: the Fourth International Workshop on Trends in Functional Programming in Education},
number = {UU-CS-2015-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015014,
author = {Alkemade, Thijs and Jeuring, Johan},
year = 2015,
title = {Type Class Instances for Type-Level Lambdas in Haskell},
number = {UU-CS-2015-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015012,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2015,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2015-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015011,
author = {Buis, Jakob and SlingerJansen},
year = 2015,
title = {Identifying Companies in Open Source Software Ecosystems},
number = {UU-CS-2015-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015009,
author = {Jeuring, Johan and Grosfeld, Frans and Heeren, Bastiaan and Hulsbergen, Michiel and IJntema, Richta and Jonker, Vincent and Mastenbroek, Nicole and Smagt, Maarten~van~der and Wijmans, Frank and Wolters, Majanne and Zeijts, Henk~van},
year = 2015,
title = {Demo: Communicate! — a serious game for communication skills},
number = {UU-CS-2015-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015008,
author = {Spauwen, Ruvar and Werf, Jan~Martijn~van~der and Brinkkemper, Sjaak and Jagroep, Erik and Blom, Leen},
year = 2015,
title = {Quality Metrics for Sustainability - The operational Energy Use of Application Software},
number = {UU-CS-2015-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015007,
author = {Lodder, Josje and Heeren, Bastiaan and Jeuring, Johan},
year = 2015,
title = {A pilot study of the use of LogEx, lessons learned},
number = {UU-CS-2015-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2015004,
author = {Snijders, Remco and Atilla,  Özüm and Dalpiaz, Fabiano and Brinkkemper, Sjaak},
year = 2015,
title = {Crowd-centric requirements engineering: A method based on crowdsourcing and gamification},
number = {UU-CS-2015-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2015/2015-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014027,
author = {Jeuring, Johan},
year = 2014,
title = {Effectieve computerapplicaties: vergelijk de didactiek, niet het domein},
number = {UU-CS-2014-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014026,
author = {Keuning, Hieke and Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Strategy-based feedback in a programming tutor},
number = {UU-CS-2014-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014025,
author = {Jeuring, Johan and Binsbergen, Thomas~van and Gerdes, Alex and Heeren, Bastiaan},
year = 2014,
title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
number = {UU-CS-2014-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014023,
author = {Boer, Tim~de and Spruit, Marco},
year = 2014,
title = {The business intelligence as a service capability maturity model},
number = {UU-CS-2014-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014022,
author = {Spruit, Marco and Pietzka, Katharina},
year = 2014,
title = {The MD3M Questionnaire: Assessing Master Data Management Maturity},
number = {UU-CS-2014-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014021,
author = {Olmer, Tim and Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Evaluating Haskell expressions in a tutoring environment},
number = {UU-CS-2014-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014019,
author = {Hage, Jurriaan},
year = 2014,
title = {DOMain Specific Type Error Diagnosis (DOMSTED)},
number = {UU-CS-2014-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014018,
author = {Kreuzer, Robert and Feelders, Jurriaan~Hage~en~Ad},
year = 2014,
title = {A Quantitative Comparison of Semantic Web Page Segmentation Approaches},
number = {UU-CS-2014-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014017,
author = {Fritz, Levin and Hage, Jurriaan},
year = 2014,
title = {Cost versus Precision for Approximate Typing for Python},
number = {UU-CS-2014-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014013,
author = {Bransen, Jeroen and Dijkstra, Atze and Swierstra, Doaitse},
year = 2014,
title = {Exploiting Attribute Grammars to Achieve Automatic Tupling},
number = {UU-CS-2014-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014011,
author = {Bauersfeld, Sebastian and Rojas, Antonio~de and Vos, Tanja~},
year = 2014,
title = {Evaluating Rogue User Testing in Industry: an Experience Report},
number = {UU-CS-2014-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014010,
author = {Bauersfeld, Sebastian and Condori-Fernandez, Nelly and Vos, Tanja~ and Brosse, Etienne and Bagnato, Alessandra},
year = 2014,
title = {Evaluating Rogue User  an Industrial Case Study at Softeam},
number = {UU-CS-2014-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014009,
author = {Brosse, Etienne and Bagnato, Alessandra and Vos, Tanja and Condori, Nelly},
year = 2014,
title = {Evaluating the FITTEST Automated Testing Tools in SOFTEAM: an Industrial Case Study},
number = {UU-CS-2014-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014006,
author = {Reijmer, Tjalling and Spruit, Marco},
year = 2014,
title = {Cybersecurity in the news: A grounded theory approach to better understand its emerging prominence},
number = {UU-CS-2014-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014005,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2014,
title = {Feedback services for stepwise exercises},
number = {UU-CS-2014-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014004,
author = {Batlajery, Belfrit and Khadka, Ravi and Saeidi, Amir and Jansen, Slinger and Hage, Jurriaan},
year = 2014,
title = {Industrial Perception of Legacy Software System and their Modernization},
number = {UU-CS-2014-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013021,
author = {Fotaki, Georgia and Spruit, Marco and Brinkkemper, Sjaak and Meijer, Dlon},
year = 2013,
title = {Exploring Big Data opportunities for Online Customer Segmentation},
number = {UU-CS-2013-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013020,
author = {Epure, Elena and Hug, Charlotte and Deneckère, Rébecca and Brinkkemper, Sjaak},
year = 2013,
title = {Intention-mining: A solution to process participant support in process aware information systems},
number = {UU-CS-2013-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013019,
author = {Vaessen, Bram and Prins, Frans and Jeuring, Johan},
year = 2013,
title = {University Students' Achievement Goals and Help-Seeking Strategies in an Intelligent Tutoring System},
number = {UU-CS-2013-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013018,
author = {Jeuring, Johan and Rooij, Rick~van and Pronost, Nicolas},
year = 2013,
title = {The 5/10 method: a method for designing educational games},
number = {UU-CS-2013-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013017,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2013,
title = {Type-Changing Rewriting and Semantics-Preserving Transformation},
number = {UU-CS-2013-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013016,
author = {Jeuring, Johan},
year = 2013,
title = {Finding palindromes: variants and algorithms},
number = {UU-CS-2013-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013015,
author = {Pors, Michiel and Blom, Leen and Kabbedijk, Jaap and Jansen, Slinger},
year = 2013,
title = {Sharing is Caring - A Decision Support Model for Multi-Tenant Architectures},
number = {UU-CS-2013-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013014,
author = {Bezirgiannis, Nikolaos and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {Usage of Generic Programming on Hackage — Experience report —},
number = {UU-CS-2013-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013013,
author = {Hage, Jurriaan},
year = 2013,
title = {Haskell in the Large},
number = {UU-CS-2013-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013012,
author = {Andre, Eric ́s and Heeren, Bastiaan and Jeuring, Johan},
year = 2013,
title = {Towards automatic generationof domain-specific mathematical input support},
number = {UU-CS-2013-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013011,
author = {Eekelen, Joeri~van and Leather, Sean and Jeuring, Johan},
year = 2013,
title = {Type-changing program transformations with pattern matching},
number = {UU-CS-2013-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013009,
author = {Gayo, Jose~Emilio~Labra and Jeuring, Johan and Rodríguez, Jose~María~Álvarez},
year = 2013,
title = {Inductive triple graphs: a purely functional approach to represent RDF},
number = {UU-CS-2013-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013008,
author = {Jeuring, Johan},
year = 2013,
title = {The history of finding palindromes},
number = {UU-CS-2013-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013006,
author = {Zalm, Anna~van~der and Spruit, Sandor and Beun, Robbert-Jan},
year = 2013,
title = {A data architecture for research in mobile health},
number = {UU-CS-2013-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013005,
author = {Swierstra, Doaitse and Dijkstra, Atze},
year = 2013,
title = {Parse Your Options},
number = {UU-CS-2013-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013003,
author = {Hastjarjanto, Tom and Jeuring, Johan and Leather, Sean},
year = 2013,
title = {A DSL for describing the artificial intelligence in real-time video games},
number = {UU-CS-2013-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2013001,
author = {Spruit, Marco and Wester, Wouter},
year = 2013,
title = {RFID Security and Privacy: Threats and Countermeasures},
number = {UU-CS-2013-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2013/2013-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012017,
author = {Baars, Thijs and Bemd, Lucas~van~den and Theuns, Michail and Akker, Robin~van~den and Schönbeck, Machiel and Brinkkemper, Sjaak},
year = 2012,
title = {Cyber Security in Smart Grid Substations},
number = {UU-CS-2012-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012016,
author = {Viera, Marcos and Swierstra, S.Doaitse},
year = 2012,
title = {Compositional Compiler Construction: Oberon0},
number = {UU-CS-2012-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012014,
author = {Prasetya, Wishnu and Elyasov, Alexander and Middelkoop, Arie and Hage, Jurriaan},
year = 2012,
title = {FITTEST Log Format (version 1.1)},
number = {UU-CS-2012-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012013,
author = {Elyasov, Alexander and Prasetya, Wishnu and Hage, Jurriaan},
year = 2012,
title = {Log-Based Reduction by Rewriting},
number = {UU-CS-2012-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012012,
author = {Prasetya, Wishnu and Hage, Jurriaan and Elyasov, Alexander},
year = 2012,
title = {Using Sub-cases to Improve Log-based Oracles Inference},
number = {UU-CS-2012-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012011,
author = {Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {Feedback Genereren in Leeromgevingen voor Algebra},
number = {UU-CS-2012-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012010,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {Ask-Elle: A Haskell tutor -- Demonstration --},
number = {UU-CS-2012-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012009,
author = {Keuchel, Steven and Jeuring, Johan},
year = 2012,
title = {Generic conversions of abstract syntax rep- resentations},
number = {UU-CS-2012-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012008,
author = {Jeuring, Johan and Jansson, Patrik and Amaral, Cláudio},
year = 2012,
title = {Testing Type Class Laws},
number = {UU-CS-2012-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012007,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2012,
title = {Teachers and students in charge- Using annotated model solutions in a functional programming tutor-},
number = {UU-CS-2012-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012006,
author = {Khadka, Ravi and Saeide, Amir and Idu, Andrei and Hage, Jurriaan and Jansen, Slinger},
year = 2012,
title = {Legacy to SOA Evolution:Evaluation Results},
number = {UU-CS-2012-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012005,
author = {Jeuring, Johan and Gerdes, Alex and Heeren, Bastiaan},
year = 2012,
title = {A Programming tutor for Haskell},
number = {UU-CS-2012-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012004,
author = {Leather, Sean and Jeuring, Johan and Löh, Andres and Schuur, Bram},
year = 2012,
title = {Type-and-Transform Systems},
number = {UU-CS-2012-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012003,
author = {Roijers, Diederik~M. and Jeuring, Johan and Feelders, Ad},
year = 2012,
title = {Probability estimation and a competence model for rule based e-tutoring systems},
number = {UU-CS-2012-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012002,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2012,
title = {An Interactive Functional Programming Tutor},
number = {UU-CS-2012-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011033,
author = {Swierstra, Wouter and Swierstra, Doaitse and Stutterheim, Jurriën},
year = 2011,
title = {Logisch en Functioneel Programmeren voor Wiskunde D},
number = {UU-CS-2011-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-033.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011032,
author = {Viera, Marcos and Swierstra, Doaitse},
year = 2011,
title = {Grammar Fragments Fly First-Class},
number = {UU-CS-2011-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011031,
author = {Koldenhof, Ernst and Jeuring, Johan and Ruth, Sandra},
year = 2011,
title = {Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode},
number = {UU-CS-2011-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011030,
author = {Lodder, Josje and Jeuring, Johan},
year = 2011,
title = {Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten},
number = {UU-CS-2011-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011029,
author = {Viera, Marcos and Swierstra, Doaitse and Middelkoop, Arie},
year = 2011,
title = {UUAG Meets AspectAG- How to make Attribute Grammars First-Class},
number = {UU-CS-2011-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011028,
author = {Viera, Marcos and Swierstra, Doaitse},
year = 2011,
title = {Semantic Macros- Attribute Grammar Combinators},
number = {UU-CS-2011-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011023,
author = {Haas, W.~Bas~de and Magalhães, José~Pedro and Wiering, Frans and Veltkamp, Remco~C.},
year = 2011,
title = {HarmTrace: Automatic functional harmonic analysis},
number = {UU-CS-2011-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011022,
author = {Jagroep, Erik and Weerd, Inge~van~de and Brinkkemper, Sjaak and Dobbe, Ton},
year = 2011,
title = {Software Product Portfolio Management - Towards improvement of current practice},
number = {UU-CS-2011-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011021,
author = {Magalhães, José~Pedro and Jeuring, Johan},
year = 2011,
title = {Generic Programming for Indexed Datatypes},
number = {UU-CS-2011-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011020,
author = {Yakushev, Alexey~Rodriguez and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliveira, Bruno~C.D.S.},
year = 2011,
title = {Comparing Datatype Generic Libraries in Haskell},
number = {UU-CS-2011-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011019,
author = {Passier, Harrie and Heeren, Bastiaan},
year = 2011,
title = {Modeling XML Content Explained},
number = {UU-CS-2011-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011018,
author = {Xing, X.C. and Versendaal, J. and Akker, J.M.~van~den and Bevere, B.~De},
year = 2011,
title = {Maturity of Operational Procurement in the Construction Industry},
number = {UU-CS-2011-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011016,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2011,
title = {Interleaving strategies},
number = {UU-CS-2011-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011009,
author = {Alves, Tiago and Hage, Jurriaan and Rademaker, Peter},
year = 2011,
title = {A Comparative Study of Code Query Technologies},
number = {UU-CS-2011-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011008,
author = {Reijnders, Gijs and Khadka, Ravi and Jansen, Slinger and Hage, Jurriaan},
year = 2011,
title = {Developing a legacy to SOA Migration Method},
number = {UU-CS-2011-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011007,
author = {Magalhães, José~Pedro and Haas, W.~Bas~de},
year = 2011,
title = {Experience Report: Functional Modelling of Musical Harmony},
number = {UU-CS-2011-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011006,
author = {Haanappel, S. and Drost, R. and Harmsen, F. and Brinkkemper, S. and Versendaal, J.M.},
year = 2011,
title = {A framework for IT performance management - Enabling organizational growth with IT performance management},
number = {UU-CS-2011-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011005,
author = {Prasetya, I.~S.~W.~B. and Amorim, J. and Vos, T.~E.~J. and Baars, A.},
year = 2011,
title = {CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases},
number = {UU-CS-2011-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2011001,
author = {Janek, Martin and Khadka, Ravi and Jansen, Slinger},
year = 2011,
title = {The MT940 Project Requirement Document},
number = {UU-CS-2011-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010028,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Properties of exercise strategies},
number = {UU-CS-2010-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010025,
author = {Infrastructure, Improving~Software~Product~anagement~Processes:~a~detailed~view~ofthe~Product~Software~Knowledge},
year = 2010,
title = {Kevin Vlaanderen, Inge van de Weerd, Sjaak Brinkkemper},
number = {UU-CS-2010-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010023,
author = {Biehler, Rolf and Fischer, Pascal~R. and Hochmuth, Reinhard and Jeuring, Johan and Wassong, Thomas},
year = 2010,
title = {How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge},
number = {UU-CS-2010-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010021,
author = {Sacu, Catalina and Spruit, Marco and Habers, Frank},
year = 2010,
title = {Data Warehouse (DW) Maturity Assessment Questionnaire},
number = {UU-CS-2010-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010020,
author = {Hage, Jurriaan (editor)},
year = 2010,
title = {Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages (IFL 2010)},
number = {UU-CS-2010-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010017,
author = {Magalhães, José~Pedro and Dijkstra, Atze and Jeuring, Johan and Löh, Andres},
year = 2010,
title = {A generic deriving mechanism for Haskell},
number = {UU-CS-2010-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010016,
author = {Steenbergen, Martijn~van and Magalhães, José~Pedro and Jeuring, Johan},
year = 2010,
title = {Generic selections of subexpressions},
number = {UU-CS-2010-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010015,
author = {Hage, Jurriaan and Rademaker, Peter and Vugt, Nikè~van},
year = 2010,
title = {A comparison of plagiarism detection tools},
number = {UU-CS-2010-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010014,
author = {Boucharas, Vasilis and Steenbergen, Marlies~van and Jansen, Slinger and Brinkkemper, Sjaak},
year = 2010,
title = {The Contribution of Enterprise Architecture to the Achievement of Organizational Goals: Establishing the Enterprise Architecture Benefits Framework},
number = {UU-CS-2010-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010013,
author = {Bekkers, Willem and Weerd, Inge~van~de},
year = 2010,
title = {SPM Maturity Matrix},
number = {UU-CS-2010-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2010,
title = {Adapting Mathematical Domain Reasoners},
number = {UU-CS-2010-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010010,
author = {Sacu, Catalina and Spruit, Marco},
year = 2010,
title = {BIDM: The Business Intelligence Development Model},
number = {UU-CS-2010-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010008,
author = {Noort, Thomas~van and Yakushev, Alexey~Rodriguez and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalhães, José~Pedro},
year = 2010,
title = {A Lightweight Approach to Datatype-generic Rewriting},
number = {UU-CS-2010-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010004,
author = {Manteli, Christina and Weerd, Inge~van~de and Brinkkemper, Sjaak},
year = 2010,
title = {An empirical research to the relationships between software product management and software project management},
number = {UU-CS-2010-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010003,
author = {Artz, Peter and Weerd, Inge~van~de and Brinkkemper, Sjaak},
year = 2010,
title = {Productization: The process of transforming from customer-specific software development to product software development},
number = {UU-CS-2010-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2010001,
author = {Heitslager, Ilja and Helms, Remko and Brinkkemper, Sjaak},
year = 2010,
title = {Studying Multi-sourced IT Service Chain Arrangements - The Case of Mission Critical Outsourcing},
number = {UU-CS-2010-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2010/2010-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009032,
author = {Gaag, Linda~C.~van~der and Tabachneck-Schijf, Hermi},
year = 2009,
title = {Library-style ontologies to support varying model views},
number = {UU-CS-2009-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009031,
author = {Gerdes, Alex and Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {Using Strategies for Assessment of Programming Exercises},
number = {UU-CS-2009-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009030,
author = {Jeuring, Johan and Heeren, Bastiaan},
year = 2009,
title = {An Interactive Exercise Player for Math-Bridge},
number = {UU-CS-2009-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009029,
author = {Swierstra, S.Doaitse},
year = 2009,
title = {Construct Your Own Favorite Programming Language},
number = {UU-CS-2009-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009028,
author = {Kristjánsson, Baldur and Schuur, Henk~van~der},
year = 2009,
title = {A Survey of Tools for Software Operation Knowledge Acquisition},
number = {UU-CS-2009-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009024,
author = {Leather, Sean and Löh, Andres and Jeuring, Johan},
year = 2009,
title = {Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization.},
number = {UU-CS-2009-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009022,
author = {Magalhães, José~Pedro and Holdermans, Stefan and Jeuring, Johan and Löh, Andres},
year = 2009,
title = {Optimizing Generics Is Easy!},
number = {UU-CS-2009-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009021,
author = {Grahlmann, Knut~R. and Hilhorst, Cokky and Amerongen, Sander~van and Helms, Remko and Brinkkemper, Sjaak},
year = 2009,
title = {Categorizing impacts of implementing Enterprise Content Management Systems},
number = {UU-CS-2009-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009020,
author = {Kroon, Matthijs~van~der and Ramirez, Ignacio~Lereu and Levin, Ana~M. and Pastor, Oscar and Brinkkemper, Sjaak},
year = 2009,
title = {Mutational data loading routines for human genome databases: the BRCA1 case},
number = {UU-CS-2009-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009017,
author = {Jeuring, Alexey~Rodriguez~Yakushev~,Johan},
year = 2009,
title = {Enumerating Well-Typed Terms Generically},
number = {UU-CS-2009-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009016,
author = {Jeuring, Johan and Magalhães, José~Pedro and Heeren, Bastiaan},
year = 2009,
title = {Generic Programming for Domain Reasoners},
number = {UU-CS-2009-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009015,
author = {Weerd, Inge~van~de and Bekkers, Willem and Brinkkemper, Sjaak},
year = 2009,
title = {Developing a Maturity Matrix for Software Product Management},
number = {UU-CS-2009-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009011,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2009,
title = {Canonical Forms in Interactive Exercise Assistants.},
number = {UU-CS-2009-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009009,
author = {Boustani, Nabil~el and Hage, Jurriaan},
year = 2009,
title = {Corrective Hints for Type Incorrect Generic Java Programs},
number = {UU-CS-2009-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009006,
author = {Haanappel, Suzanne and Brinkkemper, Sjaak},
year = 2009,
title = {Wetenschap is voor iedereen},
number = {UU-CS-2009-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009005,
author = {Vlaanderen, Kevin and Brinkkemper, Sjaak and Cheng, Tjan-Hien and Jansen, Slinger},
year = 2009,
title = {Case Study Report: Agile Product Management at Planon},
number = {UU-CS-2009-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009004,
author = {Camphuijsen, Patrick and Hage, Jurriaan and Holdermans, Stefan},
year = 2009,
title = {Soft Typing PHP},
number = {UU-CS-2009-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009003,
author = {Heeren, Bastiaan and Jeuring, Johan and Gerdes, Alex},
year = 2009,
title = {Strategies for Exercises},
number = {UU-CS-2009-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2009001,
author = {Jeuring, Johan and Meertens, Lambert},
year = 2009,
title = {Geniaal programmeren - Generic programming at Utrecht},
number = {UU-CS-2009-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008049,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Constructing Strategies for Programming},
number = {UU-CS-2008-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008048,
author = {Foorthuis, Ralph and Brinkkemper, Sjaak},
year = 2008,
title = {Best practices voor projecten onder enterprise architectuur},
number = {UU-CS-2008-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-048.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008047,
author = {Foorthuis, Ralph and Brinkkemper, Sjaak},
year = 2008,
title = {Best Practices for Business and Systems Analysis in Projects Conforming to Enterprise Architecture},
number = {UU-CS-2008-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008046,
author = {Foorthuis, Ralph and Brinkkemper, Sjaak},
year = 2008,
title = {A Framework for Local Project Architecture in the Context of Enterprise Architecture},
number = {UU-CS-2008-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008045,
author = {Schrage, Martijn~M. and Swierstra, S.~Doaitse},
year = 2008,
title = {Haskell as an Architecture Description Language},
number = {UU-CS-2008-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008044,
author = {Swierstra, Doaitse},
year = 2008,
title = {Combinator Parsing: A Short Tutorial},
number = {UU-CS-2008-044},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-044.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008039,
author = {Prüst, Huub and Beun, Robbert-Jan and Eijk, Rogier~van},
year = 2008,
title = {On alignment of eye behaviour in human-agent interaction},
number = {UU-CS-2008-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008038,
author = {Boustani, Nabil~el and Hage, Jurriaan},
year = 2008,
title = {Improving Type Error Messages for Generic Java},
number = {UU-CS-2008-038},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-038.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008037,
author = {Prasetya, Wishnu and Vos, Tanja},
year = 2008,
title = {Patterns for In-code Algebraic Testing},
number = {UU-CS-2008-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008027,
author = {Dijkstra, Atze and Middelkoop, Arie and Swierstra, S.~Doaitse},
year = 2008,
title = {Efficient Functional Unification and Substitution},
number = {UU-CS-2008-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008025,
author = {Jeuring, Johan and Leather, Sean and Magalhães, José~Pedro and Rodriguez~Yakushev, Alexey},
year = 2008,
title = {Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008023,
author = {Foorthuis, Ralph and Brinkkemper, Sjaak},
year = 2008,
title = {A Process Model for Project Members Conforming to Enterprise Architecture},
number = {UU-CS-2008-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008021,
author = {Baars, Arthur and Swierstra, Doaitse},
year = 2008,
title = {Typed Transformations of Typed Abstract Syntax},
number = {UU-CS-2008-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008020,
author = {Noort, Thomas~van and Rodriguez, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan},
year = 2008,
title = {A Lightweight Approach to Datatype-Generic Rewriting},
number = {UU-CS-2008-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008019,
author = {Rodriguez, Alexey and Holdermans, Stefan and Löh, Andres and Jeuring, Johan},
year = 2008,
title = {Generic programming with fixed points for mutually recursive datatypes},
number = {UU-CS-2008-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008018,
author = {Gerdes, Alex and Heeren, Bastiaan and Jeuring, Johan and Stuurman, Sylvia},
year = 2008,
title = {Feedback Services for Exercise Assistants},
number = {UU-CS-2008-018},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-018.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008016,
author = {Bekkers, Willem and Weerd, Inge~van~de and Brinkkemper, Sjaak and Mahieu, Alain},
year = 2008,
title = {The Relevance of Situational Factors in Software Product Management},
number = {UU-CS-2008-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008014,
author = {Gaag, Linda~C.~van~der and Tabachneck-Schijf, Hermina~J.M. and Geenen, Petra~L.},
year = 2008,
title = {Verifying Monotonicity of Bayesian Networks with Domain Experts},
number = {UU-CS-2008-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-014.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008012,
author = {Heeren, Bastiaan and Jeuring, Johan},
year = 2008,
title = {Recognizing Strategies},
number = {UU-CS-2008-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008011,
author = {Löh, Andres and Jeuring, Johan and Noort, Thomas~van and Rodriguez, Alexey and Clarke, Dave and Hinze, Ralf and Wit, Jan~de},
year = 2008,
title = {The Generic Haskell user's guide, Version 1.80 - Emerald release},
number = {UU-CS-2008-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008010,
author = {Rodriguez~Yakushev, Alexey and Jeuring, Johan and Jansson, Patrik and Gerdes, Alex and Kiselyov, Oleg and Oliviera, Bruno~C.~d.~S.},
year = 2008,
title = {Comparing Libraries for Generic Programming in Haskell},
number = {UU-CS-2008-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008009,
author = {Jager, Cor-Jan and Vos, Stefan and Borgers, Michiel and Harmsen, Frank and Brinkkemper, Sjaak and Wijngaert, Lidwien~van~de},
year = 2008,
title = {Controlling risk prior to offshore application development - Investigation and mitigation of collaboration and application risk},
number = {UU-CS-2008-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2008001,
author = {Heeren, Bastiaan and Jeuring, Johan and Leeuwen, Arthur~van and Gerdes, Alex},
year = 2008,
title = {Specifying Strategies for Exercises},
number = {UU-CS-2008-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007053,
author = {Hage, Jurriaan and Harju, Tero},
year = 2007,
title = {On Involutive Anti-Automorphisms of Finite Abelian Groups},
number = {UU-CS-2007-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-053.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007049,
author = {Fokker, Jeroen and Swierstra, S.~Doaitse},
year = 2007,
title = {Abstract Interpretation of Functional Programs using an Attribute Grammar System},
number = {UU-CS-2007-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007041,
author = {Aydinli, Ömer~Faruk and Brinkkemper, Sjaak and Ravesteyn, Pascal},
year = 2007,
title = {Business Process Improvement in Organizational Design of E-Government Services},
number = {UU-CS-2007-041},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-041.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007037,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Baars, A.},
year = 2007,
title = {Trace-based Reflexive Testing of OO Programs},
number = {UU-CS-2007-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007036,
author = {Jeuring, Johan},
year = 2007,
title = {Feedback in exercise assistants},
number = {UU-CS-2007-036},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-036.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007029,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007027,
author = {Dolstra, Eelco and Hage, Jur and Heeren, Bastiaan and Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Middelkoop, Arie and Rodriguez, Alexey and Schie, John~van and Löh, Clara},
year = 2007,
title = {Morph Endo! Task Description of the Tenth Interstellar Contest on Fuun Programming},
number = {UU-CS-2007-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007026,
author = {Ralyté, Jolita and Brinkkemper, Sjaak and Henderson-Sellers, Brian},
year = 2007,
title = {Poster Proceedings of the IFIP WG8.1 Working Conference on Situational Method Engineering: Fundamentals and Experiences (ME07)},
number = {UU-CS-2007-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007023,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2007,
title = {The Neon DSEL for Mining Helium Programs},
number = {UU-CS-2007-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007022,
author = {Brinkkemper, Sj.},
year = 2007,
title = {SAIM - A situational method  for application integration },
number = {UU-CS-2007-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007021,
author = {Fabriek, Matthias and Brand, Mischa~van~den and Brinkkemper, Sjaak and Harmsen, Frank and Helms, Remko},
year = 2007,
title = {Improving offshore communication by choosing the right coordination strategy},
number = {UU-CS-2007-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007017,
author = {Jeuring, Johan and Passier, Harrie and Stuurman, Sylvia},
year = 2007,
title = {A Generic Framework for Developing Exercise Assistants},
number = {UU-CS-2007-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007012,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2007,
title = {Mining Helium programs with Neon},
number = {UU-CS-2007-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007008,
author = {Stuurman, Sylvia and Jeuring, Johan},
year = 2007,
title = {Turning an interactive tool implemented in Haskell into a web application -- An experience report},
number = {UU-CS-2007-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2007007,
author = {Jeuring, Johan and Pasman, Wouter},
year = 2007,
title = {Strategy Feedback in an E-learning Tool for Mathematical Exercises},
number = {UU-CS-2007-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006065,
author = {Li, Chen and Akker, Marjan~van~den and Brinkkemper, Sjaak},
year = 2006,
title = {An Integer Linear Programming Approach to Product Software Release Planning & Scheduling},
number = {UU-CS-2006-065},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-065.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006063,
author = {Akker, Marjan~van~den and Brinkemper, Sjaak and Diepen, Guido and Versendaal, Johan},
year = 2006,
title = {Software product release planning through optimization and what-if analysis},
number = {UU-CS-2006-063},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-063.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006062,
author = {Hage, Jurriaan},
year = 2006,
title = {Programmeerplagiaatdetectie met Marble},
number = {UU-CS-2006-062},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-062.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006061,
author = {Dignum, Virginia and Dignum, Frank},
year = 2006,
title = {A Landscape of Agent Systems in the Real World},
number = {UU-CS-2006-061},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-061.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006060,
author = {Dignum, Virginia and Dignum, Frank},
year = 2006,
title = {Towards formal semantics for reorganization},
number = {UU-CS-2006-060},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-060.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006059,
author = {Li, C. and Akker, J.M.~van~den and Brinkkemper, S. and Diepen, G.},
year = 2006,
title = {Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product},
number = {UU-CS-2006-059},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-059.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006057,
author = {Weerd, Inge~van~de and Brinkkemper, Sjaak and Versendaal, Johan},
year = 2006,
title = {Incremental method evolution in requirements management: A case study at Baan 1994-2006},
number = {UU-CS-2006-057},
institution = {Department of Information and Computing Sciences, Utrecht University},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006055,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Strategies for solving constraints in program analysis},
number = {UU-CS-2006-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006054,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Heuristics for type error discovery and recovery (revised revised)},
number = {UU-CS-2006-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006051,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2006,
title = {Exploiting Type Annotations},
number = {UU-CS-2006-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-051.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006049,
author = {Löh, Andres and Jeuring, Johan and Rodriguez, Alexey (editors)~et~al.},
year = 2006,
title = {The Generic Haskell user's guide, Version 1.60 - Diamond release},
number = {UU-CS-2006-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006047,
author = {Hage, Jurriaan and Keeken, Peter~van},
year = 2006,
title = {Mining for Helium},
number = {UU-CS-2006-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006045,
author = {Versendaal, Johan and Ebert, Christof and Brinkkemper, Sjaak (editors)},
year = 2006,
title = {Proceedings of the First International Workshop on Software Product Management (Pre-publication)},
number = {UU-CS-2006-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006044,
author = {Jansen, Slinger and Brinkkemper, Sjaak and Souer, Jurriaan},
year = 2006,
title = {A Case Study of a product software vendor's Customer Configuration Updating Process: GX Creative Online Development},
number = {UU-CS-2006-044},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-044.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006043,
author = {Jansson, Patrik and Jeuring, Johan and Programming, students~of~the~Utrecht~University~Generic class},
year = 2006,
title = {Testing properties of generic functions},
number = {UU-CS-2006-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006040,
author = {Lodder, Josje and Jeuring, Johan and Passier, Harrie},
year = 2006,
title = {An interactive tool for manipulating logical formulae},
number = {UU-CS-2006-040},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-040.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006039,
author = {Jeuring, Johan and Rodriguez, Alexey and Smeding, Gideon},
year = 2006,
title = {Generating generic functions},
number = {UU-CS-2006-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006030,
author = {Veltkamp, Remco~C. and Ruijsenaars, Remco and Spagnuolo, Michela and Zwol, Roelof~van and Haar, Frank~ter},
year = 2006,
title = {SHREC2006: 3D Shape Retrieval Contest},
number = {UU-CS-2006-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006028,
author = {Hage, Jurriaan and Harju, Tero},
year = 2006,
title = {Towards a characterization of bipartite switching classes by means of forbidden subgraphs},
number = {UU-CS-2006-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006026,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Typed Contracts for Functional Programming},
number = {UU-CS-2006-026},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-026.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006025,
author = {Atanassow, Frank and Jeuring, Johan},
year = 2006,
title = {Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell},
number = {UU-CS-2006-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006024,
author = {Jeuring, Johan and Plasmeijer, Rinus},
year = 2006,
title = {Generic Programming for Software Evolution},
number = {UU-CS-2006-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006022,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2006,
title = {Comparing approaches to generic programming in Haskell },
number = {UU-CS-2006-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006021,
author = {Passier, Harrie and Jeuring, Johan},
year = 2006,
title = {Feedback in an interactive equation solver},
number = {UU-CS-2006-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006020,
author = {Holdermans, Stefan and Jeuring, Johan and Löh, Andres and Rodriguez, Alexey},
year = 2006,
title = {Generic Views on Data Types},
number = {UU-CS-2006-020},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-020.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006016,
author = {Berge, Hanne~ten and Ramaekers, Stephan and Brinkkemper, Sjaak and Pilot, Albert},
year = 2006,
title = {Netherware: analysis, results, and success factors of the designed curriculum unit},
number = {UU-CS-2006-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006014,
author = {Weerd, Inge~van~de and Brinkkemper, Sjaak and Nieuwenhuis, Richard and Versendaal, Johan and Bijlsma, Lex},
year = 2006,
title = {A Reference Framework for Software Product Management},
number = {UU-CS-2006-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006009,
author = {Bravenboer, Martin and Groot, René~de and Visser, Eelco},
year = 2006,
title = {MetaBorg in Action: Examples of Domain-specific Language Embedding and Assimilation using Stratego/XT},
number = {UU-CS-2006-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006008,
author = {Weerd, Inge~van~de and Versendaal, Johan and Brinkkemper, Sjaak},
year = 2006,
title = {A Product Software Knowledge Infrastructure for Situational Capability Maturation: Vision and Case Studies in Product Management},
number = {UU-CS-2006-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006007,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2006,
title = {Heuristics for type error discovery and recovery (revised)},
number = {UU-CS-2006-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006004,
author = {Koning, Henk and Box, Rik and Brinkkemper, Sjaak},
year = 2006,
title = {An Inquiry Tool for Stakeholder Concerns of Architectural Viewpoints: a Case Study at a large Financial Service Provider},
number = {UU-CS-2006-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006003,
author = {Koning, Henk and Bos, Rik and Brinkkemper, Sjaak},
year = 2006,
title = {A Lightweight Method for the Modeling of Enterprise Architectures: Introduction and Emperical Validation},
number = {UU-CS-2006-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2006002,
author = {Batenburg, Ronald and Versendaal, Johan},
year = 2006,
title = {Alignment matters - Improving business functions using the Procurement Alignment Framework},
number = {UU-CS-2006-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2006/2006-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005060,
author = {Rodriguez, Alexey and Jeuring, Johan and Löh, Andres},
year = 2005,
title = {Type Inference for Generic Haskell},
number = {UU-CS-2005-060},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-060.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005059,
author = {Msc., Rob~Neering and Batenburg, Dr.~Ronald and Bunk, Drs.~Erik and Harmsen, Dr.~Frank and Brinkkemper, Prof.~dr.~Sjaak},
year = 2005,
title = {Het IT-methodenlandschap in Nederland anno 2005
Via selectie, implementatie en toepassing naar succes?}, number = {UU-CS-2005-059}, institution = {Department of Information and Computing Sciences, Utrecht University}, urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-059.pdf}}, pubcat = {techreport} }
@TECHREPORT{UUCS2005055,
author = {Hage, Jurriaan},
year = 2005,
title = {The Helium Logging Facility},
number = {UU-CS-2005-055},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-055.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005053,
author = {Kallenberg, Karl~Trygve and Visser, Eelco (editor)},
year = 2005,
title = {Proceedings of the Sixth Stratego Users Day},
number = {UU-CS-2005-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-053.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005052,
author = {Bravenboer, Martin and Kallenberg, Karl~Trygve and Vermaas, Rob and Visser, Eelco},
year = 2005,
title = {Stratego/XT 0.16. Components for Transformation Systems},
number = {UU-CS-2005-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-052.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005050,
author = {Souer, Jurriaan and Weerd, Inge~van~de and Versendaal, Johan and Brinkkemper, Sjaak},
year = 2005,
title = {Situational Requirements Engineering for the Development of Content Management System-based Web Applications},
number = {UU-CS-2005-050},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-050.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005046,
author = {Prasetya, I.S.W.B. and Azurat, A. and Vos, T.E.J. and Leeuwen, A.~van and Suhartanto, H.},
year = 2005,
title = {Theorem Prover Supported Logics for Small Imperative Languages},
number = {UU-CS-2005-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005043,
author = {Weerd, Inge~van~de},
year = 2005,
title = {WEM: A design method for CMS-based web implementations},
number = {UU-CS-2005-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005041,
author = {Jansen, Slinger and Brinkkemper, Sjaak},
year = 2005,
title = {Definition and Validation of the Key Process Areas of Release, Delivery and Deployment of Product Software Vendors: turning the ugly duckling into a swan},
number = {UU-CS-2005-041},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-041.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005039,
author = {Dolstra, Eelco and Bravenboer, Martin and Visser, Eelco},
year = 2005,
title = {Service Configuration Management},
number = {UU-CS-2005-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005038,
author = {Graaumans, Joris},
year = 2005,
title = {A Collection of XML documents and Query Tasks},
number = {UU-CS-2005-038},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-038.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005035,
author = {Bravenboer, Martin and Vermaas, Rob and Vinju, Jurgen and Visser, Eelco},
year = 2005,
title = {Generalized Type-Based Disambiguation of Meta Programs with Concrete Object Syntax},
number = {UU-CS-2005-035},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-035.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005034,
author = {Visser, Eelco},
year = 2005,
title = {Transformations for Abstractions},
number = {UU-CS-2005-034},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-034.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005033,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2005,
title = {Ruler: Programming Type Rules},
number = {UU-CS-2005-033},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-033.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005032,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2005,
title = {Making Implicit Parameters Explicit},
number = {UU-CS-2005-032},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-032.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005031,
author = {Bagge, Anya~Helene and Bravenboer, Martin and Kalleberg, Karl~Trygve and Muilwijk, Koen and Visser, Eelco},
year = 2005,
title = {Adaptive Code Reuse by Aspects, Cloning and Renaming},
number = {UU-CS-2005-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005030,
author = {Kalleberg, Karl~Trygve and Visser, Eelco},
year = 2005,
title = {Combining Aspect-Oriented and Strategic Programming},
number = {UU-CS-2005-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005029,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2005,
title = {Heuristics for type error discovery and recovery},
number = {UU-CS-2005-029},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-029.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005025,
author = {Guerra, Rui and Baars, Arthur~I. and Swierstra, S.~Doaitse and Saraiva, João},
year = 2005,
title = {Preserving order in non-order preserving parsers},
number = {UU-CS-2005-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005022,
author = {Visser, E.},
year = 2005,
title = {A Survey of Strategies in Rule-Based Program Transformation Systems},
number = {UU-CS-2005-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005019,
author = {Zwol, Roelof~van and Callista, Astrid},
year = 2005,
title = {Content Authoring in an XML-based and Author Friendly Environment},
number = {UU-CS-2005-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005016,
author = {Hage, Jurriaan and Heeren, Bastiaan},
year = 2005,
title = {Ordering Type Constraints: A Structured Approach},
number = {UU-CS-2005-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005015,
author = {Dignum, Virginia and Dignum, Frank},
year = 2005,
title = {Task and Social Coordination in Agent Organizations},
number = {UU-CS-2005-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005012,
author = {Holdermans, Stefan and Jeuring, Johan and L\"oh, Andres},
year = 2005,
title = {Generic Views on Data Types},
number = {UU-CS-2005-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005009,
author = {Batenburg, Ronald and Helms, Remko and Versendaal, Johan},
year = 2005,
title = {The Maturity of Product Lifecycle Management in Dutch Organizations. A Strategic Perspective},
number = {UU-CS-2005-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005008,
author = {Atanassow, Frank and Jeuring, Johan},
year = 2005,
title = {Inferring Type Isomorphisms Generically - With an application to an XML Schema-Haskell data binding},
number = {UU-CS-2005-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005007,
author = {Ehrenfeucht, Andrzej and Hage, Jurriaan and Harju, Tero and Rozenberg, Grzegorz},
year = 2005,
title = {The Embedding Problem for Switching Classes},
number = {UU-CS-2005-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005006,
author = {Olmos, K. and Visser, E.},
year = 2005,
title = {Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules},
number = {UU-CS-2005-006},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-006.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005005,
author = {Bravenboer, M. and Dam, A.~van and Olmos, K. and Visser, E.},
year = 2005,
title = {Program Transformation with Scoped Dynamic Rewrite Rules},
number = {UU-CS-2005-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005004,
author = {Loeh, Andres and Clarke, Johan~Jeuring~(editors);~Dave and Hinze, Ralf and Rodriguez, Alexey and Wit, Jan~de},
year = 2005,
title = {Generic Haskell User's Guide -- Version 1.42 (Coral)},
number = {UU-CS-2005-004},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-004.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005002,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Swierstra, S.D. and Widjaja, B.},
year = 2005,
title = {Web Cube: a Programming Model for Reliable Web Applications},
number = {UU-CS-2005-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005001,
author = {Versendaal, Johan and Beukers, Mark and Batenburg, Ronald},
year = 2005,
title = {Busines Alignment in the Procurement Domain},
number = {UU-CS-2005-001},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-001.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004065,
author = {Helms, Remko and Brinkkemper, Sjaak and Oosterum, Job~van and Nijs, Frank~de},
year = 2004,
title = {Knowledge Entry Maps: structuring of method knowledge in the IT industry},
number = {UU-CS-2004-065},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-065.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004063,
author = {Akker, Marjan~van~den and Brinkkemper, Sjaak and Diepen, Guido and Versendaal, Johan},
year = 2004,
title = {Flexible Release Composition using Integer Linear Programming},
number = {UU-CS-2004-063},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-063.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-063.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004059,
author = {Dijkstra, Atze and Swierstra, S.~Doaitse},
year = 2004,
title = {Explicit implicit parameters},
number = {UU-CS-2004-059},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-059.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004054,
author = {Prasetya, I.~S.~W.~B. and Azurat, A. and Vos, T.E.J.},
year = 2004,
title = {Building Verification Condition Generators by Compositional Extensions},
number = {UU-CS-2004-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004052,
author = {Leijen, Daan},
year = 2004,
title = {The lazy virtual machine specification},
number = {UU-CS-2004-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-052.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004051,
author = {Leijen, Daan},
year = 2004,
title = {First-class labels for extensible rows},
number = {UU-CS-2004-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-051.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004046,
author = {Jonge, Merijn~de},
year = 2004,
title = {Build-level Component-Based Software Engineering},
number = {UU-CS-2004-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004045,
author = {Dolstra, Eelco and Jonge, Merijn~de and Visser, Eelco},
year = 2004,
title = {Nix: A Safe and Policy-Free System for Software Deployment},
number = {UU-CS-2004-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004044,
author = {Dolstra, Eelco and Visser, Eelco and Jonge, Merijn~de},
year = 2004,
title = {Imposing a Memory Management Discipline on Software Deployment},
number = {UU-CS-2004-044},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-044.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004039,
author = {Hage, Bastiaan~Heeren~en~Jurriaan},
year = 2004,
title = {A first attempt at type class directives},
number = {UU-CS-2004-039},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-039.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004037,
author = {Dijkstra, Atze and Swierstra, Doaitse},
year = 2004,
title = {Typing Haskell with an Attribute Grammar (Part I)},
number = {UU-CS-2004-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-037.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004035,
author = {Helms, Remko and Brinkkemper, Sjaak and Nijs, Frank~de and Oosterum, Job~van},
year = 2004,
title = {Knowledge Entry Maps: ontology to structure method knowledge in the IT industry},
number = {UU-CS-2004-035},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-035.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004027,
author = {Kreveld, Marc~van and Reinbacher, Iris and Arampatzis, Avi and Zwol, Roelof~van},
year = 2004,
title = {Distributed Ranking Methods for Geographic Information Retrieval},
number = {UU-CS-2004-027},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-027.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-027.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004025a,
author = {Swierstra, S.~Doaitse},
year = 2004,
title = {Linear, Online, Functional Pretty Printing (corrected and extended version)},
number = {UU-CS-2004-025a},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-025a.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004024,
author = {Jonge, Merijn~de},
year = 2004,
title = {Decoupling Source Trees into Build-level Components},
number = {UU-CS-2004-024},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-024.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004023,
author = {Ehrenfeucht, Andrzej and Hage, Jurriaan and Harju, Tero and Rosenberg, Grzegorz},
year = 2004,
title = {Embedding in Switching Classes with Skew Gains},
number = {UU-CS-2004-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004021,
author = {Batenburg, Ronald and Breedveld, Elly and Haaf, Jolijn~van and Pardoel, Kitty and Versendaal, Johan},
year = 2004,
title = {ICT-Kanskaart Vergrijzing: Innovatieve ICT-Kansen op het Terrein van de Vergrijzingsproblematiek},
number = {UU-CS-2004-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004019,
author = {Dignum, V. and Dignum, F. and Meyer, J.J.},
year = 2004,
title = {An Agent-Mediated Approach to the Support of Knowledge Sharing in Organizations},
number = {UU-CS-2004-019},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-019.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-019.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004017,
author = {Dignum, Virginia},
year = 2004,
title = {An Overview of Agents in Knowledge Management},
number = {UU-CS-2004-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004015,
author = {Vázquez-Salceda, Javier and Dignum, Virginia and Dignum, Frank},
year = 2004,
title = {Organizing Multi-Agent Systems},
number = {UU-CS-2004-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004012,
author = {Fischer, Bernd and Visser, Eelco},
year = 2004,
title = {Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax},
number = {UU-CS-2004-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-012.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004011,
author = {Visser, Eelco},
year = 2004,
title = {Program Transformation with Stratego/XT. Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 },
number = {UU-CS-2004-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004005,
author = {Beun, Robbert-Jan and Eijk, Rogier~M.~van and Prüst, Huub},
year = 2004,
title = {Ontological Feedback in Multiagent Systems},
number = {UU-CS-2004-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-005.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004003,
author = {Diggelen, Jurriaan~van and Beun, Robbert~Jan and Dignum, Frank and Eijk, Rogier~M.~van and Meyer, John-Jules},
year = 2004,
title = {Optimal communication vocubularies in the presence of heterogeneous ontologies},
number = {UU-CS-2004-003},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-003.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003054,
author = {Helms, Remko},
year = 2003,
title = {Putting Engineering into the Enterprise System},
number = {UU-CS-2003-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003053,
author = {Sent, Danielle and Gaag, Linda~C.~van~der and Witteman, Cilia~L.M. and Aleman, Berthe~M.P. and Taal, Babs~G.},
year = 2003,
title = {The elicitation of test-selection strategies: a case study in oncology},
number = {UU-CS-2003-053},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-053.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-053.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003052,
author = {Dolstra, E. and Florijn, G. and Visser, E.},
year = 2003,
title = {Timeline Variability: The Variability of Binding Time of Variation Points},
number = {UU-CS-2003-052},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-052.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003051,
author = {Dolstra, E. and Florijn, G. and Jonge, M.~de and Visser, E.},
year = 2003,
title = {Capturing Timeline Variability with Transparent Configuration Environments},
number = {UU-CS-2003-051},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-051.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003050,
author = {Johann, P. and Visser, E.},
year = 2003,
title = { Strategies for Fusing Logic and Control via Local, Application-Specific Transformations },
number = {UU-CS-2003-050},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-050.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003049,
author = {Olmos, K. and Visser, E.},
year = 2003,
title = {Turning dynamic typing into static typing by program specialization},
number = {UU-CS-2003-049},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-049.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003048,
author = {Wijngaarden, Jonne~van and Visser, Eelco},
year = 2003,
title = {Program Transformation Mechanics. A Classification of Mechanisms for Program Transformation with a Survey of Existing Transformation Systems},
number = {UU-CS-2003-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-048.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003043,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2003,
title = {A UNITY-based Framework towards Component Based Systems},
number = {UU-CS-2003-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003030,
author = {Clark, Dave (editor)},
year = 2003,
title = {Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)},
number = {UU-CS-2003-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003028,
author = {Versendaal, Johan and Brinkkemper, Sjaak},
year = 2003,
title = {Improvement Framework for Buyer-Owned Trading Exchanges: Procurement at Komatsu America Corp. - Peoria Manufacturing Operations},
number = {UU-CS-2003-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003023,
author = {Atanassow, Frank and Clarke, Dave and Jeuring, Johan},
year = 2003,
title = {Scripting XML with Generic Haskell},
number = {UU-CS-2003-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-023.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003022,
author = {Lö, Andres and Clarke, Dave and Jeuring, Johan},
year = 2003,
title = {Dependency-style Generic Haskell},
number = {UU-CS-2003-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003016,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Applications},
number = {UU-CS-2003-016},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-016.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003015,
author = {Hinze, Ralf and Jeuring, Johan},
year = 2003,
title = {Generic Haskell: Practice and Theory},
number = {UU-CS-2003-015},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-015.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002048,
author = {Clarke, Dave and Wrigstad, Tobias},
year = 2002,
title = {External Uniqueness is Unique Enough},
number = {UU-CS-2002-048},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-048.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-048.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002047,
author = {Clarke, David and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {The Generic Haskell User's Guide. Version 1.23 - Beryl release},
number = {UU-CS-2002-047},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-047.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002045,
author = {Graaumans, Joris},
year = 2002,
title = {XML query requirements},
number = {UU-CS-2002-045},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-045.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002042,
author = {Olmos, Karina and Visser, Eelco},
year = 2002,
title = {Strategies for Source-to-Source Constant Propagation},
number = {UU-CS-2002-042},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-042.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-042.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002035,
author = {Heeren, Bastiaan and Hage, Jurriaan},
year = 2002,
title = {Parametric Type Inferencing for Helium},
number = {UU-CS-2002-035},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-035.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-035.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002031,
author = {Heeren, Bastiaan and Hage, Jurriaan and Swierstra, Doaitse},
year = 2002,
title = {Generalizing Hindley-Milner Type Inference Algorithms},
number = {UU-CS-2002-031},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002030,
author = {Schrage, Martijn~M. and Jeuring, Johan and Swierstra, S.~Doaitse},
year = 2002,
title = {Combinators for layered software architectures},
number = {UU-CS-2002-030},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-030.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-030.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002028,
author = {Visser, E.},
year = 2002,
title = {Meta-programming with concrete object syntax},
number = {UU-CS-2002-028},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-028.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002025,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2002,
title = {!UNITY: A Theory of General UNITY},
number = {UU-CS-2002-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002023,
author = {Jeuring, Johan and Hagg, Paul},
year = 2002,
title = {Generic Programming for XML Tools},
number = {UU-CS-2002-023},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-023.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002022,
author = {Dolstra, E. and Visser, E.},
year = 2002,
title = {Building interpreters with rewriting strategies},
number = {UU-CS-2002-022},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-022.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002021,
author = {Bravenboer, Martin and Visser, Eelco},
year = 2002,
title = {Rewriting Strategies for Instruction Selection},
number = {UU-CS-2002-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-021.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002017,
author = {Hage, Jurriaan and Harju, Tero and Welzl, Emo},
year = 2002,
title = {Euler graphs, triangle-free graphs and bipartite graphs in switching classes},
number = {UU-CS-2002-017},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-017.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-017.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002011,
author = {Hinze, Ralf and Jeuring, Johan and Löh, Andres},
year = 2002,
title = {Type-indexed data types},
number = {UU-CS-2002-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002009,
author = {Heeren, Bastiaan and Jeuring, Johan and Swierstra, Doaitse and Azero~Alcocer, Pablo},
year = 2002,
title = {Improving type-error messages in functional languages},
number = {UU-CS-2002-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-009.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-009.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002008,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A preliminary report on xMECH},
number = {UU-CS-2002-008},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-008.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002007,
author = {Azurat, A. and Prasetya, I.S.W.B.},
year = 2002,
title = {A Survey on Embedding Programming Logics in a Theorem Prover},
number = {UU-CS-2002-007},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-007.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200162,
author = {Hinze, Ralf (editor)},
year = 2001,
title = {Preliminary proceedings of the 2001 ACM SIGPLAN Haskell Workshop (HW'2001)},
number = {UU-CS-2001-62},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-62.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200154,
author = {Visser, Eelco (editor)},
year = 2001,
title = {Proceedings of the Second Stratego Users Day},
number = {UU-CS-2001-54},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-54.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-54.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200142,
author = {Bravenboer, Martin and Visser, Eelco},
year = 2001,
title = {Guiding visitors: separating navigation from computation},
number = {UU-CS-2001-42},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-42.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200141,
author = {Vos, T.E.J. and Swierstra, S.D.},
year = 2001,
title = {Program refinement in UNITY},
number = {UU-CS-2001-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-41.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-41.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200140,
author = {Vos, T.E.J. and Swierstra, S.D.},
year = 2001,
title = {Proving distributed hylomorphisms},
number = {UU-CS-2001-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200139,
author = {Brand, M.G.J.~van~den and Scheerder, J. and Vinju, J.J. and Visser, E.},
year = 2001,
title = {Disambiguation filters for scannerless generalized LR parsers},
number = {UU-CS-2001-39},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-39.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200138,
author = {Dolstra, E. and Visser, E.},
year = 2001,
title = {First-class rules and generic traversal},
number = {UU-CS-2001-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200135,
author = {Leijen, D.~J.~P. and Meijer, H.~J.~M.},
year = 2001,
title = {Parsec: Direct style monadic parser combinators for the real world},
number = {UU-CS-2001-35},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-35.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200134,
author = {Jansson, P. and Jeuring, J.~T.},
year = 2001,
title = {Polytypic data conversion programs},
number = {UU-CS-2001-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200133,
author = {Hinze, R. and Jeuring, J.~T.},
year = 2001,
title = {Functional Pearl. Weaving a Web},
number = {UU-CS-2001-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200132,
author = {Bagge, O.~S. and Haveraaen, M. and Visser, E.},
year = 2001,
title = {CodeBoost. A framework for transforming C++ programs},
number = {UU-CS-2001-32},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-32.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-32.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200131,
author = {Visser, E.},
year = 2001,
title = {A survey of rewriting strategies in program transformation systems},
number = {UU-CS-2001-31},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-31.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200130,
author = {Johann, P. and Visser, E.},
year = 2001,
title = {Fusing logic and control with local transformations: an example optimization},
number = {UU-CS-2001-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200129,
author = {Visser, E.},
year = 2001,
title = {Scoped dynamic rewrite rules},
number = {UU-CS-2001-29},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-29.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200128,
author = {Visser, E.},
year = 2001,
title = {Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5},
number = {UU-CS-2001-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-28.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200127,
author = {Hage, J.},
year = 2001,
title = {Enumerating submultisets of multisets},
number = {UU-CS-2001-27},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-27.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200126,
author = {Clarke, D. and Hinze, R.~T.~W. and Jeuring, J.~T. and Löh, A. and Wit, J.~de},
year = 2001,
title = {The Generic Haskell User's Guide},
number = {UU-CS-2001-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200118,
author = {Dijkstra, Atze and Swierstra, Doaitse~S.},
year = 2001,
title = {Lazy Functional Parser Combinators in Java},
number = {UU-CS-2001-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200109,
author = {Hinze, R.~T.~W.},
year = 2001,
title = {A Simple Implementation Technique for Priority Search Queues},
number = {UU-CS-2001-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200101,
author = {Gaag, L.~C.~van~der and Renooij, S. and Witteman, C.~L.~M. and Aleman, B.~M.~P. and Taal, B.~G.},
year = 2001,
title = {Probabilities for a probabilistic network: A case-study in Oesophageal Carcinoma},
number = {UU-CS-2001-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200043,
author = {Johann, P. and Visser, E.},
year = 2000,
title = {Warm fusion in Stratego - A case study in the generation of program transformation systems},
number = {UU-CS-2000-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-43.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200019,
author = {Jeuring, J.~T.},
year = 2000,
title = {Proceedings Workshop on Generic Programming (WGP2000)},
number = {UU-CS-2000-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-19.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200010,
author = {Vos, T.E.J. and Swierstra, S.~D.},
year = 2000,
title = {Sequential program composition in Unity},
number = {UU-CS-2000-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200009,
author = {Vos, T.E.J. and Swierstra, S.~D.},
year = 2000,
title = {Defining a non-concrete recursive type in HOL which includes sets},
number = {UU-CS-2000-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-09.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200007,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 2000,
title = {Formal design of self-stabilizing programs: Theory and examples},
number = {UU-CS-2000-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200002,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 2000,
title = {Factorizing fault tolerance},
number = {UU-CS-2000-02},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-02.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-02.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200001,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D. and Widjaja, B.},
year = 2000,
title = {Component-wise formal approach to design distributed systems},
number = {UU-CS-2000-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199928,
author = {Meijer, H.~J.~M.},
year = 1999,
title = {Proceedings of the 1999 Haskell Workshop},
number = {UU-CS-1999-28},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-28.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199926,
author = {Dijkstra, Atze and Schrage, Martijn and Swierstra, Doaitse},
year = 1999,
title = {SKIT, An open architecture for courseware authoring},
number = {UU-CS-1999-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-26.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199919,
author = {Renooij, S. and Witteman, C.~L.~M.},
year = 1999,
title = {Talking probabilities: communicating probabilistic information with words and numbers},
number = {UU-CS-1999-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-19.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199915,
author = {Gaag, L.~C.~van~der and Renooij, S. and Witteman, C.~L.~M. and Aleman, B.~M.~P. and Taal, B.~G.},
year = 1999,
title = {How to elicit many probabilities},
number = {UU-CS-1999-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-15.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1999/1999-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199730,
author = {Saraiva, J. and Swierstra, S.~D. and Kuiper, M.~F.},
year = 1997,
title = {Strictification of computations on trees},
number = {UU-CS-1997-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-30.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1997/1997-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199651,
author = {Saraiva, J. and Swierstra, S.~D. and Kuiper, M.~F. and Pennings, M.},
year = 1996,
title = {Strictification of lazy functions},
number = {UU-CS-1996-51},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-51.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-51.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199650,
author = {Saraiva, J. and Kuiper, M.~F. and Swierstra, S.~D.},
year = 1996,
title = {Effective function cache management for incremental attribute evaluation},
number = {UU-CS-1996-50},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-50.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-50.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199637,
author = {Vos, T.E.J. and Swierstra, S.~D. and Prasetya, S.~W.~B.},
year = 1996,
title = {Formal methods and mechanical verification applied to the development of a convergent distributed sorting program},
number = {UU-CS-1996-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199601,
author = {Prasetya, S.~W.~B.},
year = 1996,
title = {Formalizing UNITY with HOL},
number = {UU-CS-1996-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199507,
author = {Prasetya, S.~W.~B. and Swierstra, S.~D.},
year = 1995,
title = {Formal design of self-stabilizing programs},
number = {UU-CS-1995-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1995/1995-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199450,
author = {Florijn, G.},
year = 1994,
title = {Modelling Office Processes with Functional Parsers},
number = {UU-CS-1994-50},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-50.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199419,
author = {Prasetya, I.S.W.B.},
year = 1994,
title = {Mechanization of Substitution Rule and Compostionality of UNITY in HOL},
number = {UU-CS-1994-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199406,
author = {Meijer, E.},
year = 1994,
title = {Hazard Algebra for Asynchronous Circuits},
number = {UU-CS-1994-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199405,
author = {Meijer, E.},
year = 1994,
title = {More Advice on Proving a Compiler Correct: Improve a Correct Compiler},
number = {UU-CS-1994-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199404,
author = {Hutton, G. and Meijer, E.},
year = 1994,
title = {Back to Basics: Deriving Presentations Changers Without Relations},
number = {UU-CS-1994-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199401,
author = {Jeuring, J.~T. and Swierstra, S.~D.},
year = 1994,
title = {Bottom-up grammar analysis - A functional formulation},
number = {UU-CS-1994-01},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-01.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1994/1994-01.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9346,
author = {Pennings, M.},
year = 1993,
title = {Multi-traversal tree-decoration in a functional setting: monads versus bindings},
number = {RUU-CS-93-46},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-46.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-46.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9329,
author = {Rietman, F.},
year = 1993,
title = {The Secrets of Causality},
number = {RUU-CS-93-29},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-29.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9308,
author = {Florijn, Gert and Soepenberg, Leo and Dijkstra, Atze},
year = 1993,
title = {Mapping objects to files: a UNIX file system interface to an object management system},
number = {RUU-CS-93-08},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-08.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9307,
author = {Udink, R.~T. and Kok, J.~N.},
year = 1993,
title = {On the relation between Unity properties and sequences of states},
number = {RUU-CS-93-07},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-07.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1993/1993-07.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9225,
author = {Lentfert, P.J.A. and Swierstra, S.D.},
year = 1992,
title = {Towards the formal design of self-stabilizing distributed algorithms},
number = {RUU-CS-92-25},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-25.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9223,
author = {Verwer, N.},
year = 1992,
title = {Congruences and quotients in categories of algebras},
number = {RUU-CS-92-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9218,
author = {Kuiper, M.F.},
year = 1992,
title = {Speeding up parallelism detection for attribute grammars},
number = {RUU-CS-92-18},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-18.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9216,
author = {Swierstra, D. and Moor, O.~de},
year = 1992,
title = {Virtual data structures},
number = {RUU-CS-92-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9211,
author = {Pennings, M. and Swierstra, D. and Vogt, H.},
year = 1992,
title = {Using cached functions and constructors for incremental attribute evaluation},
number = {RUU-CS-92-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1992/1992-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9134,
author = {Back, R.J.R. and Sere, K.},
year = 1991,
title = {Superposition refinement of parallel algorithms},
number = {RUU-CS-91-34},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-34.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9117,
author = {Sere, K.},
year = 1991,
title = {Stepwise refinement of reactive processor farms},
number = {RUU-CS-91-17},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-17.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9114,
author = {Swierstra, S.D. and Vogt, H.H.},
year = 1991,
title = {Higher order attribute grammars, Lecture notes of the International Summer School on Attribute Grammars, applications and systems},
number = {RUU-CS-91-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9111,
author = {Sere, K. and Wright, J.~von},
year = 1991,
title = {Mechanising proofs of program transformaton rules},
number = {RUU-CS-91-11},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1991/1991-11.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9043,
author = {Kars, W.T.M.},
year = 1990,
title = {From game trees to game graphs},
number = {RUU-CS-90-43},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-43.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9038,
author = {Verwer, N.},
year = 1990,
title = {Categorical semantics as a basis for program transformation},
number = {RUU-CS-90-38},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-38.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9036,
author = {Vogt, H. and Swierstra, D. and Kuiper, M.},
year = 1990,
title = {On the efficient incremental evaluation of higher order attribute grammars},
number = {RUU-CS-90-36},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-36.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9030,
author = {Lentfert, P.J.A. and Swierstra, S.D. and Uittenbogaard, A.H.},
year = 1990,
title = {Distributed incremental maximum finding in hierarchically divided graphs},
number = {RUU-CS-90-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9023,
author = {Vogt, H. and Berg, A.~van~den and Freije, A.},
year = 1990,
title = {Rapid development of a program transformation system with attribute grammars and dynamic transformations},
number = {RUU-CS-90-23},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-23.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9014,
author = {Henglein, F.},
year = 1990,
title = {A lower bound for full polymorphic type inference: Girard-Reynolds Typability is DEXPTIME-hard},
number = {RUU-CS-90-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9012,
author = {Swierstra, S.D. and Vogt, H.H.},
year = 1990,
title = {Higher order attribute grammars: a merge between functional and object oriented programming},
number = {RUU-CS-90-12},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-12.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9006,
author = {Verwer, N.},
year = 1990,
title = {Deriving programming laws categorically},
number = {RUU-CS-90-06},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-06.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9005,
author = {Verwer, N.},
year = 1990,
title = {Homomorphisms, factorisation and promotion},
number = {RUU-CS-90-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9004,
author = {Meertens, L.},
year = 1990,
title = {Paramorphisms},
number = {RUU-CS-90-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS9003,
author = {Jeuring, J.},
year = 1990,
title = {Algorithms from theorems},
number = {RUU-CS-90-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1990/1990-03.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8933,
author = {Henglein, F.},
year = 1989,
title = {Fast left-linear semi-unification},
number = {RUU-CS-89-33},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-33.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8914,
author = {Fokker, J.},
year = 1989,
title = {The systematic construction of a one-combinator basis},
number = {RUU-CS-89-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8909,
author = {Meertens, L.},
year = 1989,
title = {Constructing a calculus of programs},
number = {RUU-CS-89-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8905,
author = {Lentfert, P.J.A. and Uittenbogaard, A.H. and Swierstra, S.D.},
year = 1989,
title = {Distributed hierarchical routing},
number = {RUU-CS-89-05},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-05.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8904,
author = {Vogt, H.H. and Swierstra, S.D. and Kuiper, M.F.},
year = 1989,
title = {Higher order attribute grammars},
number = {RUU-CS-89-04},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1989/1989-04.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8830,
author = {Verwer, N.},
year = 1988,
title = {Data conversions in abstract data types},
number = {RUU-CS-88-30},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1988/1988-30.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8726,
author = {Moor, O.~de},
year = 1987,
title = {The role of divide in divide-and-rule algorithms},
number = {RUU-CS-87-26},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-26.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8724,
author = {Moor, O.~de},
year = 1987,
title = {Elimination of variables from functional programs},
number = {RUU-CS-87-24},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1987/1987-24.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8616,
author = {Kuiper, M.~F. and Swierstra, S.~D.},
year = 1986,
title = {Using attribute grammars to derive efficient functional programs},
number = {RUU-CS-86-16},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-16.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-16.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8615,
author = {Visser, A. and Moor, O.~de and Walsteijn, M.J.},
year = 1986,
title = {How to prove the first and second incompleteness theorem using concatenation},
number = {RUU-CS-86-15},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-15.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8614,
author = {Walsteijn, M.J. and Kuiper, M.F.},
year = 1986,
title = {Attribute grammars in Prolog},
number = {RUU-CS-86-14},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1986/1986-14.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8519,
author = {Raaf, A.J.~de and A.Dijkstra and Swierstra, S.D.},
year = 1985,
title = {A LAN with real-time facilities based on OSI concepts},
number = {RUU-CS-85-19},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1985/1985-19.pdf}},
pubcat = {techreport}
}
@TECHREPORT{RUUCS8303,
author = {Oostrum, P.~van},
year = 1983,
title = {Interaction with personal information systems (in Dutch)},
number = {RUU-CS-83-03},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1983/1983-03.pdf}},
pubcat = {techreport}
}