I would like to thank Mark van den Brand for the initial subject of this thesis and his continuous scientific and personal support. For numerous discussions and well advise, I thank Pieter Olivier and Coen Visser. I want to mention Chris Verhoef and Alex Sellink because they are great sources of inspiration. I honor my parents, Annelies and Fred Vinju, and my sister Krista for always supporting and loving me. Contents
|
675
|
Extreme Programming Explained, Embrace Change, Addison-Wesley Professional; 1st edition
– Beck
- 2000
|
|
394
|
Receptive fields, binocular interaction and functional architecture in the cat’s visual cortex
– Hubel, Wiesel
- 1962
|
|
366
|
Deforestation: Transforming programs to eliminate trees
– Wadler
- 1988
|
|
336
|
RCS--a system for version control
– Tichy
- 1985
|
|
233
|
ApplicationLevel Multicast Using Content-Addressable Networks
– Ratnasamy, Handley, et al.
- 2001
|
|
232
|
ALMI: An Application Level Multicast Infrastructure
– Pendarakis, Shi, et al.
- 2001
|
|
227
|
Spikes: exploring the neural code
– Rieke, Warland, et al.
- 1999
|
|
219
|
Backpropagation applied to handwritten zip code recognition, Neural Computation
– Cun, Boser, et al.
- 1989
|
|
205
|
A meta-environment for generating programming environments
– Klint
- 1993
|
|
179
|
A survey and critique of techniques for extracting rules from trained neural networks. Knowledge Based Systems. 8(6): 373–389. nants, such as ‘Exports of goods’, ‘Imports of goods’, ‘Scientific publications’ and ‘Tax revenue’. The results indicate that ac
– Andrews, Diederich, et al.
- 1995
|
|
178
|
A Quorum-Based Commit Protocol
– Skeen
- 1982
|
|
157
|
Learning representations by back-propagating errors. Nature
– Rumelhart, Hinton, et al.
- 1986
|
|
136
|
A machine oriented logic based on the resolution principle
– Robinson
- 1965
|
|
135
|
Synaptic depression and cortical gain control
– Abbott, Varela, et al.
- 1997
|
|
129
|
Regulation of synaptic efficacy by coincidence of postsynaptic aps and epsps
– Markram, Lubke, et al.
- 1997
|
|
126
|
Functional Programming and Parallel Graph Rewriting
– Plasmeijer, Eekelen
- 1993
|
|
114
|
Algorithm 232: Heapsort
– Williams
- 1964
|
|
111
|
Pattern recognition computation using action potential timing for stimulus representation
– Hopfield
- 1995
|
|
108
|
Applied optimal control
– Bryson, Ho
- 1975
|
|
105
|
Computer Arithmetic: Algorithms and Hardware Designs
– Parhami
- 2000
|
|
103
|
SNMPV2 and CMIP: The Practical Guide to Network Management Standards
– STALLINGS, SNMP
- 1993
|
|
100
|
Algebraic Specification
– Bergstra, Heering, et al.
- 1989
|
|
99
|
Functional architecture of macaque monkey visual cortex
– Hubel, Wiesel
- 1977
|
|
97
|
A framework for protocol composition in Horus
– Renesse, Birman, et al.
- 1995
|
|
92
|
Design of High-Performance Microprocessor Circuits
– Chandrakasan, Bowhill, et al.
- 2001
|
|
83
|
Reliability of spike timing in neocortical neurons
– Mainen, Sejnowski
- 1995
|
|
78
|
Global competition and local cooperation in a network of neural oscillators
– Terman, Wang
- 1995
|
|
75
|
Redistribution of synaptic efficacy between neocortical pyramidal neurons. Nature
– Markram, Tsodyks
- 1996
|
|
74
|
Mutagenesis: ILP experiments in a nondeterminate biological domain
– Srinivasan, Muggleton, et al.
- 1994
|
|
73
|
Spatiotemporal firing patterns in the frontal cortex of behaving monkeys
– Abeles, Bergman, et al.
- 1993
|
|
71
|
editors. Language Prototyping. An Algebraic Specification Approach
– Deursen, Heering, et al.
- 1996
|
|
69
|
The application of inductive logic programming to finite element mesh design
– Dolsak, Muggleton
- 1992
|
|
69
|
Synchronization of oscillatory neuronal responses in cat striate cortex: Temporal properties
– Gray, Engel, et al.
- 1992
|
|
66
|
Brite: Universal topology generation from a user’s perspective
– MEDINA, LAKHINA, et al.
- 2001
|
|
63
|
Experimentation in Software Engineering: An Introduction
– Wohlin, Runeson, et al.
- 2000
|
|
56
|
The ASF+SDF Meta-Environment: a component-based language development environment
– Brand, Heering, et al.
- 2001
|
|
54
|
The Discrete Time ToolBus: A Software Coordination Architecture
– Bergstra
- 1998
|
|
54
|
Java program verification via a Hoare logic with abrupt termination
– Huisman, Jacobs
|
|
52
|
Ten years of Hoare's logic, a survey, part I
– Apt
- 1981
|
|
50
|
Lower Bounds for the Computational Power of Networks of Spiking Neurons
– Maass
- 1996
|
|
49
|
Cheap deforestation for non-strict functional languages
– Gill
- 1996
|
|
48
|
An empirical study of global software development: Distance and speed
– Herbsleb, Mockus, et al.
|
|
44
|
A new mesh generation scheme for arbitrary planar domains
– Lo
- 1985
|
|
42
|
Information encoding and the responses of single neurons in the primate temporal visual cortex
– Tovee, Rolls, et al.
- 1993
|
|
42
|
WHATIF—a molecular modeling and drug design program
– Vriend
- 1990
|
|
41
|
Fast Sigmoidal Networks via Spiking Neurons. Neural computation 9(2):279
– Maass
- 1997
|
|
37
|
Introduction to the Theory of Neural Computation
– Hertz, Krogh, et al.
- 1991
|
|
37
|
Strategic pattern matching
– Visser
- 1999
|
|
36
|
Learning Internal Representations by Error Back-propagation." Nature 323
– Rumelhart, Hinton, et al.
- 1986
|
|
34
|
Rules and variables in neural nets
– Ajjanagadde, Shastri
- 1991
|
