The evolution of type theory in logic and mathematics / Twan Dismas Laurens LaanPreservation of termination for explicit substitution / Carolus Johannes BlooDiscrete-time process algebra / Jan Joris VereijkenIPA dissertation seriesIns and outs in refusal testing / Alexander Wilhelmus HeerinkAn asynchronous low-power 80C51 microcontroller / Johan Sebastiaan Henri van GageldonkIn terms of nets : system design with Petri nets and process algebra / Antonius André BastenInductive datatypes with laws and subtyping : a relational model / Theodorus Sebastiaan VoermansTowards probabilistic unification-based parsing / Hugo Wilfried Laurenz ter DoestLearning reliability: a study on indecisiveness in sample selection / Emilia Ivanova BarakovaRecombinative evolutionary search / Cornelis Hendricus Maria van KemenadeScheduler optimization in real-time distributed databases / Maarten Peter BodlaenderMessage Sequence Chart : syntax and semantics / Michel Adriaan ReniersNonlinear approaches to satisfiability problems / Johannes Pieter WarnersAnalysing industrial protocols with formal methods / Judi Maria Tirza RomijnPurely functional implementation of attribute grammars / João Alexandre Baptista Vieira SaraivaAlgebras and automata for timed and stochastic systems / Pedro R. D'ArgenioTheories and tools for the design of delay-insensitive communicating processes / Willem Charles MallonCryptology and statecraft in the Dutch Republic / Karl Maria Michael de LeeuwStudies in computer aided verification of protocols / Willem Otto David GriffioenThe design of the Math∫pad editor / Richard VerhoevenA framework for debugging heterogeneous applications : on bugs and trees / Pieter Antonius OlivierAnother formal specification language / Erik Harald SaamanDesign of a fruit juice blending and packaging plant / Jeroen FeyCocktail: a tool for deriving correct programs / Michael Gerardus Johannes FranssenReasoning about Java programs in higher order logic using PVS and Isabelle / Marieke HuismanNeural networks for analysis of data in environmental epidemiology : a case-study into acute effects of air pollution episodes / Maarten Herman LamersStructural aspects of switching classes / Jurriaan HageReactive machine control : a simulation approach using →Ch⇋ / Albert Theo HofkampLanguages for analysis and testing of event sequences / Andreas Gerhardus EngelsMechanical verification of concurrency control and recovery protocols / Dmitri Aleksandrovich ChkliaevTechniques for understanding legacy software systems / Tobias KuipersChoice quantification in process algebra / Sebastiaan Pascal LuttikAlea jacta est : verification of probabilistic, real-time and parametric systems / Mariëlle Ida Antoinette StoelingaCitius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems / Ansgar FehnkerModels of molecular computing / Nikè van VugtEnhancing state space reduction techniques for model checking / Dragan BošnačkiFormal specification and analysis of industrial systems / Victor Bos en Jeroen Johannes Theodorus KleijnAdaptive information filtering : concepts and algorithms / Daniel Remy TauritzModels and logics for process algebra / Mark Bastiaan van der Zwaag
author
UNITY in diversity : a stratified approach to the verification of distributed algorithms / Tanja Ernestina Jozefina VosObject-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow / Jan ZwanenburgImproving design processes through structured reflection : a domain-independent approach / Isabelle Marcelle Marie Jeanne ReymenAgents, objects and events : a computational approach to knowledge, observation and communication / René Marie Charles AhnSchool timetable construction : algorithms and complexity / Robertus Johannes WillemenExploring software systems / Leonardus Martinus Franciscus MoonenGeneric traversal over typed source code representations / Johannes Michiel Willem VisserCasual multimedia process annotations, CoMPAs / Hartmut BenzRandom redundant storage for video on demand / Joep Jozef David AertsOn model checking the dynamics of object-based software : a foundational approach / Dino Salvo DistefanoIncomplete proofs and terms and their use in interactive theorem proving / Gueorgui Ivanov JojgovEvolution of finite populations in dynamic environments / Anthony Mariette Louis LiekensHybrid process algebra / Pieter Jan Laurens CuijpersReal-time scheduling for media processing using conditionally guaranteed budgets / Reinder J. BrilModeling and remodeling in bone tissue / Ronald RuimermanScenario-based system architecting : a systematic approach to developing future-proof system architectures / Mugurel Theodor IonitaEvolutionary agent-based economics / Floortje AlkemadeKey management and link-layer security of wireless sensor networks : energy-efficient attack and defense / Yee Wei LawCoalgebraic analysis of probabilistic systems / Ana SokolovaTheories for model-based testing: real-time and coverage / Laura Brandán Briones